/三角関数公式
/三角公式
%indent
////////////////////////////////////////////////////////////////
* 三角公式 [#o665df9a]
* 三角公式 ── 三角関数の公式 [#o665df9a]

三角関数の公式と言えば、加法定理を初めとし、
積和公式と和積公式に、倍角公式と半角公式が続き、
$$ \sin $$と$$ \cos $$がごちゃごぎゃしたあの公式群。
丸暗記するには相当の記憶力が必要で、覚えたとしても紛らわしくて混同しやすい。
三角関数の公式と言えば、加法定理を始めとし、積和公式と和積公式に、倍角公式と半角公式が続き、
$$ \sin $$と$$ \cos $$がごちゃごぎゃした公式群である。
丸暗記するには大変で、紛らわしくて間違いやすいのが最悪の特徴と言っても良い。

これも大学で複素数の指数関数を習えば少しは簡単に導けるようになるのだが、
これも大学で複素数版の指数関数を習えば簡単に導けるようにはなるが、
残念ながら、高校の公式に対して楽をしようって話は聞かない。
でも、猫式は楽できるなら楽をする。
しかし、猫式は楽できるのなら楽をする。
簡略のため、以降は、三角関数の公式を''三角公式''、複素数の指数関数を''複素指数''と略す。

簡略のため、猫式では、三角関数の公式を''三角公式''、複素数の指数関数を''複素指数''と略す。
複素指数から三角関数を導く過程を高速化した結果、
複素指数を使わずとも、三角関数の性質に、単純な法則を２つ追加するだけで三角公式を作り出せる。
もはや真面に計算してないため、「導く」と言わずに、この手法を公式を''組み立てる''と呼ぶ。
複素指数から三角公式を導く過程を高速化した結果、
複素指数を使わずとも、三角関数の性質に、複素数に代わる単純な法則を２つ追加するだけで三角公式を作り出せる。
その結果、もはや真面に計算してなく、公式を導くと言うより、パズルの如く公式を組み立てるような作業になっている。
このため、この手法を''三角公式組立術''と呼ぶ。

三角関数で組み立てるのは以下の16本
覚えるとしたら黒字の部分で、赤字、青字、緑字は全て規則に従って組み立てる。
なお、公式が通常の形と異なって見えるのは、符号整理をしていないため。
猫式組立術が分かれば、こっちの方が規則的であるのが分かる。
これから組み立てる三角公式は以下18本。
覚えるとしたら黒字の部分で、他は全て規則に従って組み立てる。
なお、通常の公式と異なるのは、符号整理をしていないため。
猫式組立術が分かれば、こっちの方が規則的と思えるようになる。
//
#ceq(e)
        $$ \csin(\alpha \clr[ai]+ \beta) $ = $ \csin \alpha $ \ccos \beta $ \clr[ai]+ $ \ccos \alpha $ \csin \beta $$
    &br;$$ \csin(\alpha \clr[ak]- \beta) $ = $ \csin \alpha $ \ccos \beta $ \clr[ak]- $ \ccos \alpha $ \csin \beta $$
    &br;$$ \ccos(\alpha \clr[ai]+ \beta) $ = $ \ccos \alpha $ \ccos \beta $ \clr[ak]- $ \csin \alpha $ \csin \beta $$
    &br;$$ \ccos(\alpha \clr[ak]- \beta) $ = $ \ccos \alpha $ \ccos \beta $ \clr[ak]+ $ \csin \alpha $ \csin \beta $$
        $$ \phantom{+} $ \csin(\alpha \clr[ao]+ \beta) $ = $ \csin \alpha $ \ccos \beta $ \clr[ao]+ $ \ccos \alpha $ \csin \beta $$
    &br;$$ \phantom{+} $ \csin(\alpha \clr[ak]- \beta) $ = $ \csin \alpha $ \ccos \beta $ \clr[ak]- $ \ccos \alpha $ \csin \beta $$
    &br;$$ \phantom{+} $ \ccos(\alpha \clr[ao]+ \beta) $ = $ \ccos \alpha $ \ccos \beta $ \clr[ak]- $ \csin \alpha $ \csin \beta $$
    &br;$$ \phantom{+} $ \ccos(\alpha \clr[ak]- \beta) $ = $ \ccos \alpha $ \ccos \beta $ \clr[mr]+ $ \csin \alpha $ \csin \beta $$
#ceq(q)
        $$ \csin \clr[md]2 \theta $ = $ \clr[md]2 $ \csin \theta $ \ccos \theta                        $$
        $$ \csin \clr[md]2 \theta $ = $ \clr[md]2 $ \csin \theta $ \ccos \theta                         $$
    &br;$$ \ccos \clr[md]2 \theta $ = $ \ccos^{\clr[md]2} \theta $ \clr[ak]- $ \csin^{\clr[md]2} \theta $$
    &br;$$ \ccos \clr[md]2 \theta $ = $ \clr[md]2 $ \ccos^{\clr[md]2} \theta $ \clr[ak]- $ \clr[md]1    $$
    &br;$$ \ccos \clr[md]2 \theta $ = $ \clr[md]1 $ \clr[ak]- $ \clr[md]2 $ \csin^{\clr[md]2} \theta    $$
#ceq(q)
        $$ \phantom{=} $ \ccos^{\clr[md]2} $ \ffd{\theta}{\clr[md]2} $ = $ \ffd{\ccos \theta \, \clr[ai]+ \, \clr[md]{1}}{\clr[md]{2}} $$
        $$ \phantom{=} $ \ccos^{\clr[md]2} $ \ffd{\theta}{\clr[md]2} $ = $ \ffd{\ccos \theta \, \clr[ao]+ \, \clr[md]{1}}{\clr[md]{2}} $$
    &br;$$  \clr[ak]-  $ \csin^{\clr[md]2} $ \ffd{\theta}{\clr[md]2} $ = $ \ffd{\ccos \theta \, \clr[ak]- \, \clr[md]{1}}{\clr[md]{2}} $$
#ceq(end)
//
#ceq(e)
        $$ \phantom{+} $ \csin \alpha $ \ccos \beta $ = $ \clr[md]{\ffd12} $ \! \Big( \! $ \csin(\alpha + \beta) $ \clr[ai]+ $ \csin(\alpha - \beta) $ \! \Big) $$
        $$ \phantom{+} $ \csin \alpha $ \ccos \beta $ = $ \clr[md]{\ffd12} $ \! \Big( \! $ \csin(\alpha + \beta) $ \clr[ao]+ $ \csin(\alpha - \beta) $ \! \Big) $$
    &br;$$ \phantom{+} $ \ccos \alpha $ \csin \beta $ = $ \clr[md]{\ffd12} $ \! \Big( \! $ \csin(\alpha + \beta) $ \clr[ak]- $ \csin(\alpha - \beta) $ \! \Big) $$
    &br;$$ \phantom{+} $ \ccos \alpha $ \ccos \beta $ = $ \clr[md]{\ffd12} $ \! \Big( \! $ \ccos(\alpha + \beta) $ \clr[ai]+ $ \ccos(\alpha - \beta) $ \! \Big) $$
    &br;$$ \phantom{+} $ \ccos \alpha $ \ccos \beta $ = $ \clr[md]{\ffd12} $ \! \Big( \! $ \ccos(\alpha + \beta) $ \clr[ao]+ $ \ccos(\alpha - \beta) $ \! \Big) $$
    &br;$$  \clr[ak]-  $ \csin \alpha $ \csin \beta $ = $ \clr[md]{\ffd12} $ \! \Big( \! $ \ccos(\alpha + \beta) $ \clr[ak]- $ \ccos(\alpha - \beta) $ \! \Big) $$
#ceq(q)
        $$ \csin A $ \clr[ai]+ $ \csin B $ = $ \phantom{+} $ \clr[md]2 $ \csin \ffd{A+B}{\clr[md]2} $ \ccos \ffd{A-B}{\clr[md]2} $$
        $$ \csin A $ \clr[ao]+ $ \csin B $ = $ \phantom{+} $ \clr[md]2 $ \csin \ffd{A+B}{\clr[md]2} $ \ccos \ffd{A-B}{\clr[md]2} $$
    &br;$$ \csin A $ \clr[ak]- $ \csin B $ = $ \phantom{+} $ \clr[md]2 $ \ccos \ffd{A+B}{\clr[md]2} $ \csin \ffd{A-B}{\clr[md]2} $$
    &br;$$ \ccos A $ \clr[ai]+ $ \ccos B $ = $ \phantom{+} $ \clr[md]2 $ \ccos \ffd{A+B}{\clr[md]2} $ \ccos \ffd{A-B}{\clr[md]2} $$
    &br;$$ \ccos A $ \clr[ao]+ $ \ccos B $ = $ \phantom{+} $ \clr[md]2 $ \ccos \ffd{A+B}{\clr[md]2} $ \ccos \ffd{A-B}{\clr[md]2} $$
    &br;$$ \ccos A $ \clr[ak]- $ \ccos B $ = $  \clr[ak]-  $ \clr[md]2 $ \csin \ffd{A+B}{\clr[md]2} $ \csin \ffd{A-B}{\clr[md]2} $$
#ceq(end)

まずは、論より証拠。
いきなり実践編という形で組立術を紹介する。
ここでは、高校生でも扱えるよう、複素指数を抜きに話を進めていく。
ただし、既に知っているはずの実数の指数法則は参考に使う。
その後、理論編で組立に使う「正弦奇偶則」、「正弦陰性則」という猫式特有の法則を説明する。
以下は、まず論より証拠と、実践編という形で組立術をいきなり紹介する。
ここでは、高校生でも扱えるよう複素指数を抜きに話を進めていく。
ただし、参考に高校で習う実数版の指数の法則は使う。

その後、理論編で組立に使う「''正弦陰性則''」、「''正弦奇偶則''」という猫式特有の法則を説明する。
ここから猫式の三角関数の世界が広がってゆく。

%bodynote

////////////////////////////////////////////////////////////////
* 実践編 [#f5326b04]
* 目次 [#f5326b04]

- [[加法定理>./加法定理]]
- [[倍角公式>./倍角公式]]
- [[半角公式>./半角公式]]
- [[積和公式>./積和公式]]
- [[和積公式>./和積公式]]
- 実践編
-- [[加法定理>./加法定理]]
-- [[倍角公式>./倍角公式]]
-- [[半角公式>./半角公式]]
-- [[積和公式>./積和公式]]
-- [[和積公式>./和積公式]]
//- [[補足>./補足]]
- 理論編
-- [[虚数正弦>./虚数正弦]]

////////////////////////////////////////////////////////////////
* 理論編 [#qdb045c4]
%bodynote

- [[虚数正弦>./虚数正弦]]

////////////////////////////////////////////////////////////////
//* [#q45d181d]
//
//- [[正道：三角公式の高速導出>./高速導出]] ── 加法定理から全ての公式を素早く導く。
//- [[邪道：三角公式の猫式組立>./猫式組立/実践編]] ── 関数に性質から、特定の公式を形式的に組み立てる。
//- [[./猫式組立]]
//
//ちなみに、邪道も一応は後付け説明が可能：[[三角公式の猫式組立（理論編）>./猫式組立/理論編]]

%bodynote
    数学 一覧 検索 最新 バックアップ リンク元   ヘルプ   最終更新のRSS