半角公式 EditToHeaderToFooter

半角公式は、$$ \ffd{\theta}{2} $$の三角関数を$$ \theta $$の三角関数に変換する公式。未定記号で書くと、$$ e^{\theta/2} $$$$ = $$$$ \rt{e^\theta} $$と同形の$$ \ctri \ffd{\theta}{2} $$$$ = $$$$ \rt{\ctri \theta} $$になるが、正弦陰性則を適応するために両辺を二乗した式を用いる。

$$ \ctri^2 \ffd{\theta}{2} $$$$ \Rightarrow $$$$ \ctri \theta $$

ちなみに、これは半角公式の未定表記の両辺を交換した式になっている。

まず、正弦合わせの結果、式は次のようになる：

$$ \iro[ak]-\! $$$$ \csin^2 \ffd{\theta}{2} $$$$ \Rightarrow $$$$ \ccos \theta $$
$$ \phantom-\! $$$$ \ccos^2 \ffd{\theta}{2} $$$$ \Rightarrow $$$$ \ccos \theta $$

続けて、符号合わせは必要は無く、値域合わせに入る。値域合わせの式は次の通り：

以上より、次の２式を得る：

$$ \iro[ak]-\! $$$$ \csin^2 \ffd{\theta}{2} $$$$ = $$$$ \ffd{\ccos \theta \iro[md]{\,-\,1}}{\iro[md]{2}} $$
$$ \phantom-\! $$$$ \ccos^2 \ffd{\theta}{2} $$$$ = $$$$ \ffd{\ccos \theta \iro[md]{\,+\,1}}{\iro[md]{2}} $$

*1 $$ \ffd{(-1::1) - 1}{2} $$$$ = $$$$ \ffd{-2::0}{2} $$$$ = $$$$ (-1::0) $$
*2 $$ \ffd{(-1::1) + 1}{2} $$$$ = $$$$ \ffd{0::2}{2} $$$$ = $$$$ (0::1) $$

つづき ── 積和公式? EditToHeaderToFooter
    初基 一覧 検索 最新 バックアップ リンク元   ヘルプ   最終更新のRSS