DE=BE=EC=4(三角形ODE全等于OEC);
连接OE,OE=5;OB=√73;
作EH垂直BD于H,
EH=BE*OC/OB=12/√73;
则DF/EF=OD/EH=v73/4(ODF与EFH相似)