第一章 借助基本量把证明题化为计算题的基本过程 1
第二章 用三角计算证题 4
第三章 用解析几何计算证题 30
第四章 解定值问题及极值问题 79
第五章 解较难的几何计算题（实际是未给出结论的证明题） 88
第六章 用解析几何计算求轨迹 99
第七章 证动直线（圆）过定点或切于定圆，动圆与定直线相切 113
第八章 用复数、向量计算解几何题 121
第九章 证明二次曲线的几何性质 146
第十章 证明不等关系及杂例 169
第十一章 用计算方法解立体几何题 179
附录 几何定理证明机械化的过程简介 198