设原矩阵为A
A*A'=[cos a - sin a 0] [cosa sina 0]
[sina a cos a 0] * [-sina cosa 0]
[0 0 1] [0 0 1]
=[1 0 0]
[0 1 0]
[0 0 1]
=E
所以根据正交矩阵的定义,A为正交矩阵
设原矩阵为A
A*A'=[cos a - sin a 0] [cosa sina 0]
[sina a cos a 0] * [-sina cosa 0]
[0 0 1] [0 0 1]
=[1 0 0]
[0 1 0]
[0 0 1]
=E
所以根据正交矩阵的定义,A为正交矩阵