< .. , ... > ist ja dann eine hermitesche Sesquilinearfom, also ist
< u+v , u-v > = < u,u > + <v,u> + <u,-v> + <v,-v>
= < u,u > - <v,v> + <v,u> - <u,v>
Und wegen der gleichen Beträge von v und u ist < u,u > - <v,v> = 0
also geht es weiter mit
= <v,u> - <u,v>
und <v,u> ist das Konjugierte von < u,v >
Und wenn man diese voneinander subtrahiert,
fällt der Realteil weg. q.e.d.