数値計算爺にはできない問題を質問します

√2は無理数であることを証明せよ。