11/07/29 11:32:33.76 Xvd4ufWj0
>>129
√17を有理数と仮定する
√17=p/q ただしp,qは整数かつ互いに素
両辺2乗して17q^2=p^2
両辺を素因数分解したとき 左辺の素因数１７の個数は奇数だが右辺の個数は偶数
これは素因数分解の一意性に反する
よって背理法により題意はなりたつ
11/07/29 11:32:33.76 Xvd4ufWj0
>>129
√17を有理数と仮定する
√17=p/q ただしp,qは整数かつ互いに素
両辺2乗して17q^2=p^2
両辺を素因数分解したとき 左辺の素因数１７の個数は奇数だが右辺の個数は偶数
これは素因数分解の一意性に反する
よって背理法により題意はなりたつ