Given vectors such that and such that for every pair the two vectors
are orthogonal. Compute the length of the vectors and .
Let and . Then, since and are orthogonal we know that for every choice of we have
This must hold for all choices of and , so in particular, it must hold for . Substituting these values gives us the equation
Next, we have
Letting in our orthogonality equation we have