複素数
詳しい話は全部書くと大変だから省くけど、数学ガール ガロア理論に色々と面白い話があった
学校で学び始めたらもう一度読めば、授業とも繋がって良さそうだなーと思った
円分多項式とか
g11sem2midterm前に色々考えた
複数解あるかどうかがすごいややこしい、全然りかい出来ていない感じがする
高校数学は気持ちで複素数を扱ってるなーという気がすごいした
何も分からないにたどり着いたw
冪乗の指数が整数なうちは、解がひとつ
（ド・モアブルの定理定理のnの範囲が整数なのもこれが理由）
2\piに整数をかけてもくるくる回って戻ってくるだけ、でも実数をかけちゃうと複数解生まれる
指数が実数になるとややこしい（多価関数?）
てか解が複数になっちゃうのは三角関数を持ち込んだからでは?
でもオイラーformは三角関数ではない
ルートをかぶせる(^0.5する)だけで解は複数になる
x^2=aの解は複数になりますが、無理関数f: x\mapsto\sqrt{x}自体は関数なので値が一意に定まります
オイラーの公式は、実数の累乗で解が複数になる現象を、三角関数で違う値が同値になれる現象と紐づけた
解の個数から攻める解釈も面白そう
ただもし関係性が解の個数だけだと、別に三角関数と対応付けする必要性が無くなっちゃうんですよね
周期関数なら何でも良くなる
ノコギリ波とか
個人的には、オイラーの公式の一番重要な点は指数関数と回転を結びつけた点にあるんじゃないかな～と考えています
「三角関数で違う値が同値になれる現象」
\cos\pi=\cos3\pi=\cdots\cos((2n+1)\pi)
違う値が同値になってるんじゃなくて、ただ三角関数が多価関数ってだけ?
違う入力に対して同じ出力が出ているだけです
2次関数f:x\mapsto x^2と全く同じです
f(-2)=f(2)
三角関数は多価関数ではないな
arccosも多価にならないように出来てる
これを多価にする=オイラーの公式のθの範囲を自由にする
ってことか
arccosは一価だからシンプル、複素数はオイラーが多価だからややこしい（値が複数になりえる）
このオイラーって何を示していますか？
オイラーformz=e^{i\theta}のことですか?
です
多価関数の定義で混乱している感じがします
多価関数
ある入力値xに対して、出力値yが一意に定まらない関係fのこと
\lnot\forall x\exists!y;f(x,y)=0
そもそも関数ではない
関数の定義を満たしていない
なのでy=f(x)と書くこと自体アウト
複素数の捉え方をずれてるような気もします
f: \theta\mapsto e^{i\theta}は多価関数ではない
多価になるのは、逆関数に相当する対数関数\ln z
\begin{aligned}&z=e^{i\theta}=e^{i\theta+2ni\pi}\quad\mathrm{for}\forall n\in\Bbb{Z}\\\iff&\ln z=i\theta+2ni\pi.\quad \mathrm{for}\forall n\in\Bbb{Z}\end{aligned}
複素数は回転を生む
関数\theta\mapsto e^{i\theta}を虚軸と実軸に投影したものが三角関数と考える解釈が個人的には好きです
これをxy平面に投影すると\cos\thetaに、xz平面に投影すると\sin\thetaになる
いい感じのの図を貼りたかったのですが、見つかりませんでした。すみません
Newton別冊とかにきれいな螺旋曲線が載っているので読んでみるといいです
どの別冊だったかは覚えてないです。
三角関数の計算をe^{i\theta}で置き換えるだけで計算が楽になる