a, b, c, dを任意の実数とするとき、

(a-c)^2 * (b-d)^2 ≧ (a-b)^2 * (c-d)^2 + (a-d)^2 * (b-c)^2

が成り立つことを証明してください。