Ich lass mal die Vektorpfeile weg:
Es gilt | x+y|
2 = (x+y)*(x+y) (Skalraprodukt)
= x*x + 2*x*y + y*y
= |x|
2 + 2*x*y + | y|
2 Damit gilt die zu beweisende Gleichung genau dann,
wenn x*y =0Und ( je nach Def. des Skalarproduktes ) etwa mit
x*y =|x|*|y|*cos(Alpha) ( wenn Alpha der Wi. zwischen x und y ist)
ist dies ( für x und y ungleich 0) genau dann erfüllt, wenn Alpha=90°.