下面是“利用直角三角形作矩形”尺规作图的过程．
已知：如图1，在Rt△ABC中，∠ABC=90°．
求作：矩形ABCD．
小明的作法如下：
如图2，（1）分别以点A、C为圆心，大于AC同样长为半径作弧，两弧交于点E、F；
（2）作直线EF，直线EF交AC于点O；
（3）作射线BO，在BO上截取OD，使得OD=OB；
（4）连接AD，CD．
∴四边形ABCD就是所求作的矩形．
老师说，“小明的作法正确．”
请回答，小明作图的依据是：__________________________________________________.