bibliographic details : 几何证题法