勾股定理与旋转