Wenn die vj mit j=1,...n eine Orthonormalbasis sind, gibt es αj∈R mit x=j=1∑nαjvj
Daraus folgt viTx=j=1∑nαjviTvj=j=1∑nαjδij=αi
also x=j=1∑n(vjTx)vj und deshalb
∥x∥2=xTx=i=1∑n(viTx)viT⋅i=1∑n(viTx)vi=i,j=1∑n(viTx)viT(vjTx)vj=i,j=1∑n(viTx)δij(vjTx)=i=1∑n(viTx)2