a は、整数係数の2次方程式の解で、かつ有理数でないとする。
a*b が整数になるとき、bはaの共役無理数or共役複素数 の有理数倍 といえるでしょうか。