aが無理数で、(a-1)^2が有理数であるとき
a=1±√b （ただし√bは無理数、b>0）

これを証明なしで用いてもいいのでしょうか？