二维旋转的推导

核心在于、旋转是刚体旋转、那么被旋转点到参考点的距离是不变的

也就是下图的两条绿边的长度是相等的

相等意味着什么？意味着有方程可以列！