consider the quadratic:
y = (ax + b)^2 + (cx + d)^2 + (ex + f)^2 (a, b, c, d, e, f are real)
since y >= 0, it follows that the quadratic either has 1 or no real roots.
this implies the discriminant <= 0.
(2ab + 2cd + 2ef)^2 - 4(a^2 + c^2 + e^2)(b^2 + d^2 + f^2) <= 0
(ab + cd...