おっちゃんです。
>>632
どうやら、昨日は
cos(2θ)∈Q(sin(θ))
が任意の実数で成り立つことを示したのか。
まあ、私も>>42を高校数学で解ける気はしなく、他の事情もあるので下りる。
本気で書くと、私にとっても都合が悪くなってしまう。
まあ、z＝cos(π/n)＋isin(π/n) とおくと z^n＝-1 から z^{2n}＝1
が得られることも含めて議論を進めることは予測出来る。