19/02/03 05:09:06.36 wDePzez3.net
>>381に書いたけどもう一度書くと
Qを有理数体、Rを実数体とする。
オイラーの公式: e^(ix)=cos(x)+i*sin(x).
xをsin(x)≠0である任意の実数とする。
（すなわちxはπの整数倍でない任意の実数。）
K=Q(cos(x)), L=Q(e^(ix))=K(i*sin(x)) とおくと
L/K は2次拡大。また、L∩R=K という関係がある。
2次拡大であることはいいでしょう？
(i*sin(x))^2=cos(x)^2-1∈K でまた
Kは実の体で、虚数 i*sin(x)は含まれてないからL/Kは真の拡大だ。
2次ということは、2が素数であることから中間体が存在しないということ。
従って、sin(x)がLに含まれるなら、そもそもKに含まれていなければならない。
sin(x)がLに含まれないとき、Q(sin(x))/KはL/Kとは別の2次拡大だ。
次の命題が成立することが分かる。
命題 sin(x)∈K ⇔ i∈L.
この命題を>>42の問2に適用すると、結局、証明はiがQ(ζ)
（ζは1の原始n乗根）に含まれないことの証明に帰することが分かる。
（ e^(iπ/n)は1の原始2n乗根だが、それは-ζとして
実現できるから、体としてはn乗根の体と同じ。）
これはほとんど自明のようだが、キッチリ証明するためには
大学の数学が必要。
おっちゃんがごちゃごちゃ計算して「証明できた」と言っても
ほぼ確実に間違ってるので、予め注意しておく。