如图，有圆 $A$，取圆上任意一点 $B$, 将其绕点 $A$ 逆时针旋转到点 $C$ 处，旋转角为 $\alpha$，求点 $C$ 坐标。
相当于用 $\alpha, r, a, b, x_1, y_1$ 表示 $x_2, y_2$。
结论优先，最好能有现成的程序，推导过程我个蒟蒻可能听不懂……