0013風吹けば名無し垢版 | 大砲2022/06/12(日) 11:28:58.18ID:ntMN7Bs20 >>7 存在したとする 外角は2π/nとなるが、格子多角形より、 tan(2π/n)は有理数となる ここで、1=[Q(tan(2π/n)):Q]≧[Q(exp(2πi/n)):Q]/2 = φ(n)/2 であるが、n≧7であれば φ(n)=2となるのは矛盾