Cho các số x và y có dạng: x=a12+b1 và y=a22+b2, trong đó a1, a2, b1, b2 là các số hữu tỉ. Chứng minh: x/y với y ≠ 0 cũng có dạng a2 + b với a và b là các số hữu tỉ.