Cho các biến a, b, c, d, e, f thuộc số hữu tỉ thõa mãn đẳng thức
$cde + 4abf= ac ^ 2 + bd ^ 2 + fc ^ 2$
Ta tiếp tục có hai giá trị A và B có công thức là
$A = d ^ 2 - 4af \\B = - 4ab + c ^ 2 + 2cd + d ^ 2 - 4ae - 4af$.
Chứng minh rằng nếu A và B dương thì ta luôn luôn nhận được
$ \sqrt{A} $ và $ \sqrt{B} $ là một số hữu tỉ.