已知P是直线l上的一点,将直线l绕P点逆时针方向旋转叫α(0<α<π/2)