2

微分から加法定理を示す‼︎

185
0

はじめに読んで欲しい

この記事は初心者が書いています。微分できるかとか定義がちゃんとしてるかが厳密でないかも知れません。誤りや分かりずらい点があったらご指摘いただけると嬉しいです。あとここではsin(x)しかしないと思いますが、cos(x)の方も同様に出来ると思います。

sin(x)の定義

sin(x)は、逆関数を使って定義できます。
y(1,1)に対して
f(y)=0ydt1t2という関数を定義します。これは平面上で第一成分が非負で、第2成分がyになる単位円上の一点と(0,1)までの弧の長さ(y<0の時は値が負になりますが)を割り当てる図形的な関数になります。π=2f(1)とすると、f(y)(π/2,π/2]から(1,1]への逆関数f1(x)を持ちます。

f1(x)は定義域で僕が欲しいようなsin(x)と一致します。これを全ての実数に広げたいです。全ての実数について、ある整数nxで、x+nxπ(π/2,π/2]となるものがただ一つ取れます。これを用いてsin(x)を定義します。

sin(x)

sin(x)={f1((1)nx(x+nxπ))x+nxππ2 (1)nxx+nxπ=π2

キモいのは、sin(x)f1(x)をひっくり返してくっ付けてを繰り返したような関数であることを言おうとているからです。場合分けがあるのはひっくり返り返すから対称的であって欲しいのに(π/2,π/2]π/2の部分で非対称だからです。もっとシンプルな式があるかを知らないので、ここではこれを定義とします。
これでsin(x)が定義できました〜。

加法定理

加法定理の証明の前に、いくつかの補題を示します。

sin(x)と微分との関係

(1)sin(x)2+sin(x)2=1
(2)sin(0)=1
(3)sin(x)+sin(x)=0

(1)
逆関数の性質と極限から全ての実数でsin(x)=±1sin(x)2と書ける。
よってsin(x)2=1sin(x)2が言える。
(2)
sin(x)x=0付近で単調増加する。よってsin(0)は非負であり、(1)の式よりsin(0)=1である。
(3)
(1)の式を一度微分すると2sin(x)sin(x)+2sin(x)sin(x)=0となる。

sin(x)の微分というのは加法定理からも導けますが、実は上の式はそれを用いずにいい感じに証明できます。←ここ大事
そして実は微分から、加法定理を示すことができるのです‼︎
では、加法定理を示す上での重要(だと思う)補題をもう一つ。

大事な補題

g(x,y)が平面上で微分可能な関数とする。以下は同値である。
(1)g(x+y,0)=g(x,y)
(2)gx(x,y)=gy(x,y)

(12)
gx(x,y)=limh0g(x+h,y)g(x,y)h=limh0g(x+y+h,0)g(x,y)h=limh0g(x,y+h)g(x,y)h=gy(x,y)
(12)
h(x,y)=g(x+y,xy)と置く。hy(x,y)=gx(x+y,xy)gy(x+y,xy)=0よってh(x,y)yに依らずxのみで値が決定される。
g(x,y)=h(x+y2,xy2)=h(x+y2,x+y2)=g(x+y,0)

もう何だか証明の糸口が見えますネ。

加法定理

sin(x+y)=sin(x)sin(y)+sin(x)sin(y)

g(x,y)=sin(x)sin(y)+sin(x)sin(y)とすると補題1より、
gx(x,y)=sin(x)sin(y)+sin(x)sin(y)=sin(x)sin(y)sin(x)sin(y)となり、xyを入れ替えれば、
gx(x,y)=gy(x,y)分かる。補題3より
sin(x)sin(y)+sin(x)sin(y)=sin(x+y)sin(0)+sin(x+y)sin(0)
が言えて、最後に補題2の(2)と(3)よりsin(x)sin(y)+sin(x)sin(y)=sin(x+y)

この式に代入することでsin(πx)=sin(x)が得られて、cos(x)=sin(πx)と置いてやれば、ようやくsin(x)cos(y)+cos(x)sin(y)=sin(x+y)という見慣れた形になると思います。

以上が、微分って加法定理使わずに導けね?てか、加法定理って微分から導けね?っていう話でした〜。

終わりに

繰り返しになりますが訂正すべき所を見つけてたら、優しく教えて欲しいです。

投稿日:202429
更新日:2024212
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

数学が人並みに好きです。人並みです。独学でやってるので間違いが多いかもしれません。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに読んで欲しい
  2. sin(x)の定義
  3. 加法定理
  4. 終わりに