證明：

當a、b、c 是互不相等的有理數時，

1/[(a-b)^2] + 1/[(b-c)^2] + 1/[(c-a)^2] 肯定是一個有理數的平方。

令a-b=x, b-c=y, c-a=y                                                   (0)

1/[(a-b)^2] + 1/[(b-c)^2] + 1/[(c-a)^2] = 

(y^2 z^2 + x^2 z^2 + x^2 y^2)/(x^2 y^2 z^2)                (1)

從(0),我們知道

x+y+z=0                                                                          (3)

(x+y+z)^2=x^2 + y^2 + z^2 + 2xy + 2yz + 2xz = 0

xy + yz + xz = -(x^2 + y^2 + z^2)/2

(xy + yz + xz)^2 = [(x^2 + y^2 + z^2)/2]^2                   (4)

(xy + yz + xz)^2 =

(xy)^2 + (yz)^2 + (xz)^2 + 2xyyz +2yzxz +2xyxz =

(xy)^2 + (yz)^2 + (xz)^2 + 2xyz(y+z+x)=

(xy)^2 + (yz)^2 + (xz)^2

這樣，我們就得到

(xy)^2 + (yz)^2 + (xz)^2 = [(x^2 + y^2 + z^2)/2]^2      (5)

把(5)代入(1), 我們得到

1/[(a-b)^2] + 1/[(b-c)^2] + 1/[(c-a)^2] = 

[(x^2 + y^2 + z^2)/2]^2 / (xyz)^2

有理數的加減乘除運算的結果都是有理數，這樣，們就證明了

1/[(a-b)^2] + 1/[(b-c)^2] + 1/[(c-a)^2] 肯定是一個有理數的平方。