证明2x2正交矩阵专置后还是正交矩阵

[ x1  x2 

  y1   y2]

x1^2+y1^2=1

x2^2 + y2^2=1

x1*x2  + y1*y2=0

如果专置后还是

x1^2 + x2^2=1

y1^2  +y2^2=1

x1*y1 + x2*y2=0

上图可以看出2个直接角三角型全等。从而得出结论。