Inter-universal geometry と ABC予想 (応援スレ) 64

>>470-471

>>474の
>そして、(cos(1)、sin(1))が有理点になる
>だが、ゲルフォント・シュナイダーの定理よりcos(1)、sin(1)は超越数だから、(cos(1)、sin(1))は有理点ではない
ここは
>そして、(1/√2、1/√2)が有理点になる
>だが、√2は無理数だから、(1/√2、1/√2)は有理点ではない
の間違い