【计算几何】推导坐标的旋转公式

推导这个公式可以有很多种办法，这里只介绍其中一种。