如图，小强在河的一边，要测河面的一只船B与对岸码头A的距离，他的做法如下：

①在岸边确定一点C，使C与A，B在同一直线上；

②在AC的垂直方向画线段CD，取其中点O；

③画DF⊥CD使F、O、A在同一直线上；

④在线段DF上找一点E，使E与O、B共线．

他说测出线段EF的长就是船B与码头A的距离．他这样做有道理吗？为什么？