>>834
Wolframで判定

Element[Sqrt[2],Rationals]