What is the square of the length of the third side of the triangle formed by a and -b?

It is

(a - b, a - b) = (a, a) + (bb) -2 (a, b)

which is the law of cosines.

If a and b are orthogonal this gives the Pythagorean theorem.