如图，矩形A′BC′O′是矩形OABC（边OA在x轴正半轴上，边OC在y轴正半轴上）绕B点逆时针旋转得到的，O′点在x轴的正半轴上，B点的坐标为（1，3）．