正接定理(せいせつていり、英: tangent identity)とは、三角関数の中でも特に正接関数に関する重要な公式のことを指す。この定理は、三角形の内角に関する等式を表すことができ、三角関数の計算において幅広く利用される。
正接定理は以下のように表される。
tan(a+b)=1−tanatanbtana+tanb
この式では、aやbなどは角度を示す変数であり、tanは正接関数を表す。具体的には、aとbの値が与えられたとき、a+bの正接関数を求めることができる。また、この定理を用いることで、三角形の内角に関する等式を導くこともできる。
この定理を証明するには、以下の式変形が必要となる。
tan(a+b)=cos(a+b)sin(a+b)=cosacosb−sinasinbsinacosb+cosasinb=1−cosacosbsinasinbcosasina+cosbsinb=1−tanatanbtana+tanb
このように、正接定理を用いることで三角関数の計算を簡単にすることができる。また、この定理を応用すれば、三角形の面積や周長、高さなど、多くの三角形に関する問題を解くことができる。
リンク
Law of tangents[EN]