证明旋转变换可逆性(计算机图形学)