围绕原点逆时针旋转角度为θ,那麼对应点坐标(x',y')和原来的坐标(x,y)之间的关系是:
x'=xcosθ-ysinθ
y'=xsinθ+ycosθ
旋转90°,代入公式得P1(-1,3)
旋转180°,代入公式得P2(-3,-1)
旋转270°,代入公式得P3(1,-3)
易证PP1P2P3是正方形,面积公式S=c²/2,c是对角线长度
两点之间距离公式求得对角线为2√10,所以面积为20
P(a,b)
则P1(-b,a),P2(-a,-b),P3(b,-a)
S=[2√(a²+b²)]²/2=2(a²+b²)