Skalarprodukt/K/Cauchy Schwarz/Fakt/Beweis

Beweis

Bei ${}w=0$ ist die Aussage richtig. Es sei also ${}w\neq 0$ und damit auch ${}\Vert {w}\Vert \neq 0$ . Damit hat man die Abschätzungen

{}{\begin{aligned}0&\leq \left\langle v-{\frac {\left\langle v,w\right\rangle }{\Vert {w}\Vert ^{2}}}w,v-{\frac {\left\langle v,w\right\rangle }{\Vert {w}\Vert ^{2}}}w\right\rangle \\&=\left\langle v,v\right\rangle -{\frac {\left\langle v,w\right\rangle }{\Vert {w}\Vert ^{2}}}\left\langle w,v\right\rangle -{\frac {\overline {\left\langle v,w\right\rangle }}{\Vert {w}\Vert ^{2}}}\left\langle v,w\right\rangle +{\frac {\left\langle v,w\right\rangle {\overline {\left\langle v,w\right\rangle }}}{\Vert {w}\Vert ^{4}}}\left\langle w,w\right\rangle \\&=\left\langle v,v\right\rangle -{\frac {\left\langle v,w\right\rangle }{\Vert {w}\Vert ^{2}}}{\overline {\left\langle v,w\right\rangle }}-{\frac {\overline {\left\langle v,w\right\rangle }}{\Vert {w}\Vert ^{2}}}\left\langle v,w\right\rangle +{\frac {\left\langle v,w\right\rangle {\overline {\left\langle v,w\right\rangle }}}{\Vert {w}\Vert ^{2}}}\\&=\left\langle v,v\right\rangle -{\frac {\left\langle v,w\right\rangle {\overline {\left\langle v,w\right\rangle }}}{\Vert {w}\Vert ^{2}}}\\&=\left\langle v,v\right\rangle -{\frac {\vert {\left\langle v,w\right\rangle }\vert ^{2}}{\Vert {w}\Vert ^{2}}}.\end{aligned}}

Multiplikation mit ${}\Vert {w}\Vert ^{2}$ und Wurzelziehen ergibt das Resultat.