(a-c)*(b-d)=(a-b)*(c-d)+(a-d)*(b-c)なので
両辺を二乗すると
(a-c)^2*(b-d)^2
={(a-b)*(c-d)+(a-d)*(b-c)}^2≧(a-b)^2*(c-d)^2+(a-d)^2*(b-c)^2