想问下楼主证明矩阵旋转的正确性是要怎么证明呀？