这是【坐标系的旋转】公式.
你可以画一个圆（以O为圆心）,在第一象限的1/4劣弧上,靠近x轴的地方标一个点A（x,y),靠近y轴的地方标一个点A′(x′,y′).设角AOB为t.
分别过A,A′作x,y轴的平行线.利用三角形,相似三角形的性质,不难求出这个公式.（当然要用三角函数的sin,cos的定义了）.我就不画图,也不推导了.相信你可以完成.