- バックアップ一覧
- ソース を表示
- 三角公式Test は削除されています。
- 1 (2011.0912 (月) 0840.4400)
三角公式 ── 三角関数の公式 
三角関数の公式と言えば、加法定理を始めとし、積和公式と和積公式に、倍角公式と半角公式が続き、
と
がごちゃごぎゃした公式群である。丸暗記するには大変で、紛らわしくて間違いやすいのが最悪の特徴と言っても良い。
これも大学で複素数版の指数関数を習えば簡単に導けるようにはなるが、残念ながら、高校の公式に対して楽をしようって話は聞かない。しかし、猫式は楽できるのなら楽をする。簡略のため、以降は、三角関数の公式を三角公式、複素数の指数関数を複素指数と略す。
複素指数から三角公式を導く過程を高速化した結果、複素指数を使わずとも、三角関数の性質に、複素数に代わる単純な法則を２つ追加するだけで三角公式を作り出せる。その結果、もはや真面に計算してなく、公式を導くと言うより、パズルの如く公式を組み立てるような作業になっている。このため、この手法を三角公式組立術と呼ぶ。
これから組み立てる三角公式は以下18本。覚えるとしたら黒字の部分で、他は全て規則に従って組み立てる。なお、通常の公式と異なるのは、符号整理をしていないため。猫式組立術が分かれば、こっちの方が規則的と思えるようになる。
以下は、まず論より証拠と、実践編という形で組立術をいきなり紹介する。ここでは、高校生でも扱えるよう複素指数を抜きに話を進めていく。ただし、参考に高校で習う実数版の指数の法則は使う。
その後、理論編で組立に使う「正弦陰性則」、「正弦奇偶則」という猫式特有の法則を説明する。ここから猫式の三角関数の世界が広がってゆく。
目次
- 実践編
- 加法定理?
- 倍角公式?
- 半角公式?
- 積和公式?
- 和積公式?
- 理論編
![[PukiWiki]](image/NekoPunch.png "[PukiWiki]")
![$$ \phantom{+} \csin(\alpha \clr[ao]+ \beta) = \csin \alpha \ccos \beta \clr[ao]+ \ccos \alpha \csin \beta $$](./eq/eq-ni-287310a70c1f788262448a7e7d2cf7e8.png "\phantom{+} \csin(\alpha \clr[ao]+ \beta) = \csin \alpha \ccos \beta \clr[ao]+ \ccos \alpha \csin \beta")
![$$ \phantom{+} \csin(\alpha \clr[ak]- \beta) = \csin \alpha \ccos \beta \clr[ak]- \ccos \alpha \csin \beta $$](./eq/eq-ni-5e8e9e380d61a55310f1e5226d8e417f.png "\phantom{+} \csin(\alpha \clr[ak]- \beta) = \csin \alpha \ccos \beta \clr[ak]- \ccos \alpha \csin \beta")
![$$ \phantom{+} \ccos(\alpha \clr[ao]+ \beta) = \ccos \alpha \ccos \beta \clr[ak]- \csin \alpha \csin \beta $$](./eq/eq-ni-25b38c3e34d4f313742877129ddea5b7.png "\phantom{+} \ccos(\alpha \clr[ao]+ \beta) = \ccos \alpha \ccos \beta \clr[ak]- \csin \alpha \csin \beta")
![$$ \phantom{+} \ccos(\alpha \clr[ak]- \beta) = \ccos \alpha \ccos \beta \clr[mr]+ \csin \alpha \csin \beta $$](./eq/eq-ni-d3488db5c97f721a2e747f4eb53b0969.png "\phantom{+} \ccos(\alpha \clr[ak]- \beta) = \ccos \alpha \ccos \beta \clr[mr]+ \csin \alpha \csin \beta")
![$$ \csin \clr[md]2 \theta = \clr[md]2 \csin \theta \ccos \theta $$](./eq/eq-ni-2fb111ded8cce66800896dcefec58620.png "\csin \clr[md]2 \theta = \clr[md]2 \csin \theta \ccos \theta")
![$$ \ccos \clr[md]2 \theta = \ccos^{\clr[md]2} \theta \clr[ak]- \csin^{\clr[md]2} \theta $$](./eq/eq-ni-49629646fb2561f900cb6fcd14fc332a.png "\ccos \clr[md]2 \theta = \ccos^{\clr[md]2} \theta \clr[ak]- \csin^{\clr[md]2} \theta")
![$$ \ccos \clr[md]2 \theta = \clr[md]2 \ccos^{\clr[md]2} \theta \clr[ak]- \clr[md]1 $$](./eq/eq-ni-63bbf59bfb014452b4db02e11dfc5410.png "\ccos \clr[md]2 \theta = \clr[md]2 \ccos^{\clr[md]2} \theta \clr[ak]- \clr[md]1")
![$$ \ccos \clr[md]2 \theta = \clr[md]1 \clr[ak]- \clr[md]2 \csin^{\clr[md]2} \theta $$](./eq/eq-ni-877d6364e4ad0e31f0cc58b78868dfd9.png "\ccos \clr[md]2 \theta = \clr[md]1 \clr[ak]- \clr[md]2 \csin^{\clr[md]2} \theta")
![$$ \phantom{=} \ccos^{\clr[md]2} \ffd{\theta}{\clr[md]2} = \ffd{\ccos \theta \, \clr[ao]+ \, \clr[md]{1}}{\clr[md]{2}} $$](./eq/eq-ni-bfdad032d284c0002c51fc928acfbfe7.png "\phantom{=} \ccos^{\clr[md]2} \ffd{\theta}{\clr[md]2} = \ffd{\ccos \theta \, \clr[ao]+ \, \clr[md]{1}}{\clr[md]{2}}")
![$$ \clr[ak]- \csin^{\clr[md]2} \ffd{\theta}{\clr[md]2} = \ffd{\ccos \theta \, \clr[ak]- \, \clr[md]{1}}{\clr[md]{2}} $$](./eq/eq-ni-73579e9bbc0d6c98b409ae5a47d180a7.png "\clr[ak]- \csin^{\clr[md]2} \ffd{\theta}{\clr[md]2} = \ffd{\ccos \theta \, \clr[ak]- \, \clr[md]{1}}{\clr[md]{2}}")
![$$ \phantom{+} \csin \alpha \ccos \beta = \clr[md]{\ffd12} \! \Big( \! \csin(\alpha + \beta) \clr[ao]+ \csin(\alpha - \beta) \! \Big) $$](./eq/eq-ni-2c06ad503ac17ad1c0e34496bc24eff5.png "\phantom{+} \csin \alpha \ccos \beta = \clr[md]{\ffd12} \! \Big( \! \csin(\alpha + \beta) \clr[ao]+ \csin(\alpha - \beta) \! \Big)")
![$$ \phantom{+} \ccos \alpha \csin \beta = \clr[md]{\ffd12} \! \Big( \! \csin(\alpha + \beta) \clr[ak]- \csin(\alpha - \beta) \! \Big) $$](./eq/eq-ni-6d32a0cc250ee0a53a1ea79cd1b05741.png "\phantom{+} \ccos \alpha \csin \beta = \clr[md]{\ffd12} \! \Big( \! \csin(\alpha + \beta) \clr[ak]- \csin(\alpha - \beta) \! \Big)")
![$$ \phantom{+} \ccos \alpha \ccos \beta = \clr[md]{\ffd12} \! \Big( \! \ccos(\alpha + \beta) \clr[ao]+ \ccos(\alpha - \beta) \! \Big) $$](./eq/eq-ni-6e5ae46c369879ce5fc4de365b2300eb.png "\phantom{+} \ccos \alpha \ccos \beta = \clr[md]{\ffd12} \! \Big( \! \ccos(\alpha + \beta) \clr[ao]+ \ccos(\alpha - \beta) \! \Big)")
![$$ \clr[ak]- \csin \alpha \csin \beta = \clr[md]{\ffd12} \! \Big( \! \ccos(\alpha + \beta) \clr[ak]- \ccos(\alpha - \beta) \! \Big) $$](./eq/eq-ni-d66a4dbb1f08aca165577b48f664b420.png "\clr[ak]- \csin \alpha \csin \beta = \clr[md]{\ffd12} \! \Big( \! \ccos(\alpha + \beta) \clr[ak]- \ccos(\alpha - \beta) \! \Big)")
![$$ \csin A \clr[ao]+ \csin B = \phantom{+} \clr[md]2 \csin \ffd{A+B}{\clr[md]2} \ccos \ffd{A-B}{\clr[md]2} $$](./eq/eq-ni-b7b55ce2f83e5a246cdf97753e0cdb48.png "\csin A \clr[ao]+ \csin B = \phantom{+} \clr[md]2 \csin \ffd{A+B}{\clr[md]2} \ccos \ffd{A-B}{\clr[md]2}")
![$$ \csin A \clr[ak]- \csin B = \phantom{+} \clr[md]2 \ccos \ffd{A+B}{\clr[md]2} \csin \ffd{A-B}{\clr[md]2} $$](./eq/eq-ni-2be505b92773f920c18921245b075fc2.png "\csin A \clr[ak]- \csin B = \phantom{+} \clr[md]2 \ccos \ffd{A+B}{\clr[md]2} \csin \ffd{A-B}{\clr[md]2}")
![$$ \ccos A \clr[ao]+ \ccos B = \phantom{+} \clr[md]2 \ccos \ffd{A+B}{\clr[md]2} \ccos \ffd{A-B}{\clr[md]2} $$](./eq/eq-ni-a6f57e76ee79cc06994e36378f94905d.png "\ccos A \clr[ao]+ \ccos B = \phantom{+} \clr[md]2 \ccos \ffd{A+B}{\clr[md]2} \ccos \ffd{A-B}{\clr[md]2}")
![$$ \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} $$](./eq/eq-ni-0801ae09668d5bef4de040d7bfba4bfe.png "\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}")