高中新课程·数学同步导学 选修4-1 几何证明选讲

几何定理机器证明的几何不变量方法

用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...

用三角、解析几何、复数、向量计算解数学竞赛几何题

本书共4章，包括：解平面几何证明题，解平面几个计算题、定值问题、极值问题、求轨迹、证明动直线（圆）过定点或切于定圆、动圆与定直线相切、求变元的取值范围，解立体几何，解解析几何。最后又提供了8个附录，以丰......

世界著名平面几何经典著作钩沉 建国初期平面三角老课本

本书为世界著名经典著作钩沉系列图书中的一本，是建国初期平面三角的经典教材。本书分为三角函数测角法，三角函数表，三角形的解法，习题四部分。详细的介绍了平面三角的相关知识。本书适合各阶段数学爱好者参考阅...

神奇的三角形操盘法

本书与其他股票类书籍所不同的是无需去分析各种繁琐的指标和信息，而这些技术和信息均具不确定因素，且第一次提出了股票三角形理论，新颖、独到的见解。其内容介绍的就是根据三角形的对角线、中位线、反对角线等...

时间会证明一切

本书是一部散文随笔集。作者以干净、清新和风趣的文字，书写着身边的人与人生，写出了真情实感和经过内心沉淀的真知灼见。敏锐的视角和纤细的笔触，透过对人生、对情感、对事业的领悟，反映了生活的简单与复杂，折射...

证明方法与理论

本书阐述数学证明的基本原理，主要包括：证明方法；证明理论（关于证明的定理）；专门知识的表示和转换方法（实现几何、代数等专业领域命题证明的通用方法和定理）。作者对数学证明的普遍性问题给与阐述，力图解决：......

长城证明

本书以纪实小说的形式，记述了冀东迁安地下党区委书记李方州毁家纾难，积极开展抗日工作，最终英勇牺牲的英雄事迹。 李方州出身于一个富裕家庭，因为接受先进思想教育，积极从事爱国抗日活动，最后加入中国共产党，......

民事诉讼证明的方法论 以事实证明为中心

诉讼证明既是一种运用理性和逻辑进行思维的认识活动，也是一种实践活动；既从属于法律论证活动，又有自己独特的实践性特征；诉讼证明既是一种对话性、论辩性、交涉性的活动，又是一种说服性的活动，诉讼证明既有当事.....

量刑证据与证明问题研究

本书共分八章，第一章为量刑事实的证明与认定：以刑事裁判文书为样本；第二章为量刑证据的可采性；第三章为量刑事实的举证责任和证明标准；第四章为死刑案件中的量刑证明标准；第五章为社会调查报告；第六章为被害人......