I'm unable to do the following problem : Let be a vector space over whose dimension is and with an inner product . Let be a subspace of with dimension and be an orthonormal basis of .

We define the orthogonal projection over as .

Demonstrate that , .

My attempt : I suppose it's true and want to see that it's really true ( don't want to fall over any contradiction).

So . And I didn't reach anything.