推导二维平面上点绕原点旋转的公式

二维平面上点绕原点旋转的公式：

要推导二维平面上点绕原点旋转的公式，我们可以使用向量和矩阵的方法，或者通过三角函数的性质来直接推导。这里，我将使用三角函数的方法来进行推导。