延长OD至G使DG=DO，取BH=AD。
易证OHF全等ODE；
易证DHF全等GDE。所以GE=DF，
DF+EF=GE+EO ≥ GO=2DO
--
FROM 120.229.34.*