Ta thay `1=ab+ac+bc` vào `( 1 + a^2 ) ( 1 + b^2) (1 + c^2)` ta có:
`(ab+ac+bc+a^2)(ab+ac+bc+b^2)(ab+ac+bc+c^2)`
`=[(ab+a^2)+(ac+bc)][(ab+b^2)+(ac+bc)][(ab+bc)+(ac+c^2)]`
`=[a(a+b)+c(a+b)][b(a+b)+c(a+b)][b(a+c)+c(a+c)]`
`=(a+b)(a+c)(a+b)(b+c)(a+c)(b+c)`
`=(a+b)^2(a+c)^2(b+c)^2`
`=[(b+a)(a+c)(b+c)]^2.`
Ta có: `ab + ac + bc = 1⇒ab,ac,bc` là các số hữu tỉ `⇒a,b,c` là các số hữu tỉ `⇒`ta có `dpcm.`
Vậy nếu `a,b,c∈Q` thỏa mãn `1=ab+ac+bc` thì `( 1 + a^2 ) ( 1 + b^2) (1 + c^2)` là bình phương của một số hữu tỉ.