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°.