Also haben wir für alle \(v,w \in \R^n\):
$$\langle Av,Aw\rangle=\langle A^tAv,w\rangle =\langle v,w \rangle\Rightarrow A^tA=E$$
Den letzten Schluss kann man auch noch begründen:
Wenn \(\langle A^tAv-v,w\rangle\) für alle v,w, dann gilt speziell \(\langle A^tAv-v, A^tAv-v\rangle=0\), also \(A^tAv=v\) für alle v.
Die beiden anderen Aussagen ergeben sich dann direkt aus der Defintion des Matrizenprodukts.