在image rotation中对于旋转矩阵的推导很好理解，只需使用两角和差公式即可轻松推导出来。