猫式/三角関数/加法定理 のバックアップ(No.1) |
加法定理加法定理は、加減算の三角関数を三角関数の積に分解する公式。 三角関数は指数関数の仲間であり、加法定理は指数法則の1つに相当する。三角関数がかのどちらかで未定であることをと表記すると、加法定理を指数法則と似た形で書ける:
要は、加法が乗法になるのがと*1。 等号ではないのは、符号や係数、定数項などを省略しているため。そこで、式の左辺がそれぞれ、、、の場合について、等号が成立するように右辺を決めて行くのが組立の仕事。 1. 正弦合わせ 組立はの決定から始める。三角関数は三角公式の骨組みのようなもので、これが決まらないと何も決まらない。 猫式では、個々の項に対し、乗算しているの数をその項の正弦数と定義する。加法定理の右辺にあるには未定表記が2つあるため、組み合せは2×2=4通り。それぞれの正弦数は次のようになる:
正弦数に関して次の組立規則が成り立つ:
これらは猫式組立の真髄である。説明するには、大学で習う知識が必要になるため、後回し。ともかく、これらの規則を適応すると、負号が1つ現れ、右辺はそれぞれ2組ずつ絞られる:
これは、指数法則ではしかないため、右辺はの1通りに決まるが、三角関数の場合はとがあるため、組合せは1通りに決まらないと考える程度で良い。 問題は2組の候補から左辺に来るべき1つの値を作り出す方法である。結論から言えば、単純に加算で繋げて積和形にすれば良い*2。ここまでの作業で次の形になる: 2. 符号合わせ 続けて、式に残る符号を決める。一般に、数式では「」が普通であり、「」になるには理由が必要。実は、加法定理の中、左辺に減算の無い次の2式は既に出来上がっている。 残りの2式では、の符号が「」に反転するため、右辺でも符号反転が起こる。結果的に、右辺でもをに置き換えて、符号を計算することになるが、計算をしない猫式では次の簡易方法を用いる: 三角公式では、がと符号を消すのを除き、他は全てのように符号を通す。このため、右辺はのみを見つけ、見つからなければ符号反転させれば良い。 以上の結果、加法定理の4式は次のようになる。 つづき ── 倍角公式? |