>>423
p+q√m (p,q有理数 mは平方数でない正整数)
の形で題意を満たす条件を求める形にすりゃあ楽になるかもだけど
それでも大変ぽいね