与旋转有关的计算与证明