第一章 借助基本量把证明题化为计算题的基本过程

第二章 用三角计算证题

第三章 用解析几何计算证题

第四章 解定值问题及极值问题

第五章 解较难的几何计算题（实际是未给出结论的证明题）

第六章 用解析几何计算求轨迹

第七章 证动直线（圆）过定点或切于定圆，动圆与定直线相切

第八章 用复数、向量计算解几何题

第九章 证明二次曲线的几何性质

第十章 证明不等关系及杂例

第十一章 用计算方法解立体几何题

附录 几何定理证明机械化的过程简介