人教版高中数学必修第册（A版）第五章 三角函数等式不成立公式证明 剖析公式公式证明 剖析公式公式证明 剖析公式由圆的旋转对称性可知：公式证明 剖析公式化简得：由两点间的距离公式得：公式证明 剖析公式公式证明 剖析公式口诀：CCSS,符号相反公式史料 了解文化19世纪法国数学家萨吕斯提出坐标法，1941年，美国数学家麦克肖恩在此基础上进行改进，应用全等以及两点间的距离公式进行推导，称为单位圆法模型，如图1。图 1拓展思考 三角形面积推导两角差的余弦公式中国科学院张景中先生从上世纪80年代就开始研究用面积法解决几何证明问题，进而形成了几何学中的新体系，并创造了几何定理机器证明的“消点法.)(2OACBbabBCsinbOOaABcosacosbsina证明：公式应用 巩固新知证明：公式应用 巩固新知梳理总结 深化思维模型思想推理思想抽象思想数形结合思想生活实例生活实例圆的旋转对称性圆的旋转对称性两点间的距离公式两点间的距离公式作业布置 发展素养 2.思考题(1)运用课堂上所提的面积法及图形，推导两角差的余弦公式；(2)通过查阅相关资料，自主研究公式的其他推导方法.1.课本P217练习1，3，4(3)仿照本节课的研究思路，并结合已学知识进行探究性证明，你还能得到其他等式吗？
