A MECHANIZATION METHOD OF GEOMETRY AND ITS APPLICATIONS——II. CURVE PAIRS OF BERTRAND TYPE