计算题 考虑点P（x，y）绕点（3，5）逆时针旋转45度，得到点P^*（X^*，y^*），请写出变换矩阵。