Originally Posted byluckyc1423

is a basis of (proof left as an excercise for the reader).

Now is a basis for , so ,

where:

is an orthogonal basis for .

Now let:

and:

.

Now if I have done this right we should have

is an orthogonal basis of , with an orthogonal basis

of , and and orthogonal basis of .

RonL