ベストアンサー
√nが有理数a/bに等しいと仮定すると √n = a/b (aは非負整数、bは正整数) となり、これより n = a^2/b^2 nb^2 = a^2 …(#1) となる。 nは平方数ではない自然数なので、nを素因数分解すれば少なくとも1個の素数pのべき乗数が奇数になる。 b^2を素因数分解した時の素数pのべき乗数は偶数(0を含む)なので、nb^2を素因数分解した時の素数pのべき乗数は奇数である。 一方a^2を素因数分解した時の素数pのべき乗数は偶数(0を含む)なので、(#1)の両辺は素因数分解した時の素数pのべき乗数が一致しない。これは矛盾である。 ゆえに仮定は誤りで、√nは無理数である。
この回答はいかがでしたか? リアクションしてみよう