不计质量的弹簧，圆弧AB部分光滑，半径为R，平面BC部分粗糙，长为l，C点右方的平面光滑．滑块质量为m，从圆弧最高处A无初速下滑（如图），与弹簧相接触并压缩弹簧，最后又返回到B相对于车静止．求：
在数学课上，老师提出如下问题：
已知：Rt△ABC，∠ABC=90°
求作：矩形ABCD．
小敏的作法如下：
①作线段AC的垂直平分线交AC于点O；②连接BO并延长，在延长线上截取OD=BO；③连接DA，DC．则四边形ABCD即为所求．
判断小敏的作法是否正确？若正确，请证明；若不正确，请说明理由．
