计算方法与几何证题 谢彦麟编著 2011年版

计算方法与几何证题
作者： 谢彦麟编著
出版时间：2011年版
内容简介
　　《计算方法与几何证题》由谢彦麟编著。《计算方法与几何证题》共分十一章，内容包括：借助基本量把证明题化为计算题的基本过程；用三角计算证题；用解析几何计算证题；解定值问题及极值问题；解较难的几何计算题（实际是未给出结论的证明题）；用解析几何计算求轨迹；证动直线（圆）过定点或切于定圆，动圆与定直线相切；用复数、向量计算解几何题；证明二次曲线的几何性质；证明不等关系及杂例；用计算方法解立体几何题等。附录中介绍了几何定理证明机械化的过程。
目录
第一章 借助基本量把证明题化为计算题的基本过程第二章 用三角计算证题第三章 用解析几何计算证题第四章 解定值问题及极值问题第五章 解较难的几何计算题(实际是未给出结论的证明题)第六章 用解析几何计算求轨迹第七章 证动直线(圆)过定点或切于定圆，动圆与定直线相切第八章 用复数、向量计算解几何题第九章 证明二次曲线的几何性质第十章 证明不等关系及杂例第十一章 用计算方法解立体几何题附录 几何定理证明机械化的过程简介