如图，矩形OABC在平面直角坐标系中，O为坐标原点，点A（0，4），C（2，0）．将矩形OABC绕点O按顺时针方向旋转135°，得到矩形EFGH（点E与O重合）．