Du willst doch beweisen : Q ist orthogonal.
Dazu musst du zeigen:
Wenn ich irgend zwei Vektoren z1 und z2 aus R^2 nehme, dann
ist das Skalraprodukt z1*z2 das gleiche wie das Skalarprodukt Q(z1)*Q(z2)
Deshalb habe ich den Beweis mit Q(z1)*Q(z2) begonnen und da man ja eine
Information über die Bilder der Basisvektoren hat, habe ich erst mal versucht die
Basisvektoren ins Spiel zu bringen und deshalb eine Darstellung von z1 und z2 durch
die Basisvektoren betrachtet.
Am Ende habe ich das übrigens nicht weiter ausgeführt, weil ich dachte, das sei klar:
Das Skalarprodukt z1*z2 ist tatsächlich gleich x1*x2+y1*y2, weil bei
(x1*b1 + y1*b2) * (x2*b1 + y2*b2 ) die Terme b1*b1 = 1 und b2*b2 = 1 und b1*b2 =0
sind, denn B ist ja eine Orthonormalbasis und das heißt ja: Jeder Basisvektor
hat mit sich selbst das Skalarprodukt 1 und mit jedem anderen Basisvektor das
Skalarprodukt 0.