有理数解を持たない

背理法を使う証明問題