若
a_2
=
0a2=0，代入方程得
k
b^2k=b2，与假设矛盾。
＞
0a2＞0，则
（a_2，
b）（a2，b）
也是满足条件的解。由最小性假设，应有
geq
a_1a2≥a1，但通过韦达关系可推出
frac{b^2
-
k}{a_1}
＜
a_1a2=a1b2?k＜a1，矛盾。
0a2＜0，代入方程会导致
a_2^2
+
b^2
