三角函数式及证明.doc

三角函数公式及证明 （本文由hahacjh@ 编辑整理 2013.5.3） 基本定义 1.任意角的三角函数值： 在此单位圆中，弧AB的长度等于； B点的横坐标，纵坐标 ； （由 三角形OBC面积弧形OAB的面积三角形OMA的面积 可得： （）） 2.正切： 基本定理 1.勾股定理： 1.正弦定理：=== 2R （R为三角形外接圆半径） 2.余弦定理：a=b+c-2bc 3.诱导公试: 奇变偶不变，符号看相线 4.正余弦和差公式: ① ② 推导结论 基本结论 正切和差公式： 3.二倍角公式（包含万能公式）： 4.半角公式：（符号的选择由所在的象限确定） 5.积化和差公式： 6.和差化积公式： ① ② ③ ④ 7.三角形面积公式 S⊿=a=ab=bc=ac = =2R === =pr = (海伦公式，证明见下文) (其中, r为三角形内切圆半径) 定理结论的证明 勾股定理的证明： 本证明选自《几何原本》(欧几里得)第I卷 命题47. 正弦定理的证明： 做三角形外接圆进行证明；需利用结论同弧所对的圆周角相等，及直径所对圆周角为直角； 同弧所对圆周角相等的证明： 本证明选自《几何原本》(欧几里得)第III卷 命题20. 直径所对圆周角为直角的证明： 本证明选自《几何原本》(欧几里得)第III卷 命题31. 余弦定理的证明： 本证明选自《几何原本》(欧几里得)第II卷 命题12,13. 诱导公式的证明： 同理可证 本证明选自人教版高中数学教材. 5.正余弦和差公式的证明: 可得的结论 本证明选自人教版高中数学教材. 海伦公式的证明: 本证明选自 /view/78e82de50975f46527d3e182.html of vision. 3, build, fitting in with the urban master plan in Yibin city rapid rail transit long term network, as well as the vision of Yibin city, and future development of rail transit network. 4, Yibin city, preliminary rail traffic levels service levels, system model, and technical standards. 5, to ensure that network can be implemented. 6, stable conditions for planning and supporting of Yibin city track traffic construction and formation of rail transit industry, provide conditions for the start-up and development of rail transit in Yibin city. 1.7 technical course technology is the projects research program and research ideas. Technology reflects the various stages in the process, logical relations between various levels, research, techniques and phases. Network planning process the whole process can be divided into four parts, namely, background research, network architecture research, planning and implementation of research and programming interfaces. Figure 1.7-1 Yibin city rail transit network planning technology roadmap planning interface is mainly responsible for network planning interface with follow-up planning tasks. Network planning Urban planning system in a transitional position, online network planning is c