>>159
√2 = (p+ε)/q とおいた式を2乗して出てくるのは
   q^2 = ((p+ε)^2)/2
ではないか?