>>954
>>958さんのことから、√2が無理数であることを示せばいい。背理法。

√2が有理数であると仮定すると、
√2=p/q  (p、qは互いに素な自然数)
とあらわせる。両辺を二乗して、
2=p^2/q^2
2*q^2=p^2
ここで、両辺の因数の数を比べると、左辺が奇数個、右辺が偶数個より、矛盾している。
よって√2は無理数であり、当然循環しない小数(Q,E,D)