0。a2?kba+b2?k=0。
固定
bb，将其视为关于
aa
的二次方程。设
a_1a1
为一个解，则另一解
a_2a2
满足韦达定理：
a_1
+
a_2
=
k
b，
quad
b^2
-
k。a1+a2=kb，a1a2=b2?k。
由此可得
b
a_1a2=kb?a1，且
为整数。
最小解矛盾
