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