>>668
ゲルフォント・シュナイダーの定理に従えば、そうはならないという事実がある
2^√2 の無理性の証明を高校数学の範囲で証明してもつまらない
2^√2 を互いに素な整数を使って有理数で表して議論していって矛盾を導く可能性が高い