加法定理の証明をやります。
加法定理の証明
直角三角形を描きます。
\(\sin(\alpha + \beta)\)や\(\cos(\alpha + \beta)\)を、\(\sin \alpha\)、\(\sin \beta\)、\(\cos \alpha\)、\(\cos \beta\)、を使って表すことができると便利そうです。
\(\sin 75^\circ\)の例はあまりにも恣意的な気もしますが、\(30^\circ\)と\(45^\circ\)に分解して今までの議論を使うことができるようになります。
(ほぼ)すべての人が感覚的に正しいと思い、徹底的に考えても正しいと思い、直観としても正しいと思うことを公理として、公理系を発展させることの例として加法定理は好例と思います。
「その公理はどう考えても成立するだろう。」という公理を批判する変わった人がいます。自分も直観主義論理派なので、あまり人のことは言えませんが。
\(\sin \alpha\)と\(\cos \alpha\)は、すぐにわかります。
次の戦略
\(\sin \beta\)と\(\cos \beta\)を見つけること。
広告
IT開発関連書とビジネス書が豊富な翔泳社の通販『SEshop』![](https://www12.a8.net/0.gif?a8mat=356SUU+1823JM+407E+5YJRM)
さくらのレンタルサーバ
![](https://www19.a8.net/0.gif?a8mat=2ZN7UA+4P34KY+D8Y+67RK2)
ムームードメイン
![](https://www16.a8.net/0.gif?a8mat=2ZN7UA+4UG10Y+348+1BNBJM)
Oisix(おいしっくす)
![](https://www17.a8.net/0.gif?a8mat=35H9RO+40OCS2+3RK+2T8BZM)
らでぃっしゅぼーや
![](https://www17.a8.net/0.gif?a8mat=35H9RT+5I9D82+1YGO+1ZIL6Q)
珈琲きゃろっと
![](https://www13.a8.net/0.gif?a8mat=3T0BIX+5TKLPU+2CG0+5YJRM)
エプソムソルト
![](https://www13.a8.net/0.gif?a8mat=3T4CGA+8AA6UQ+R12+609HU)