Rt△ABCRt \triangle ABC Rt△ABC 中，∠ABC=90∘\angle ABC = 90^{\circ} ∠ABC=90∘。DDD 是 BCBCBC 上一动点，BCBCBC 是 ∠ABC\angle ABC∠ABC 的角平分线交 ACACAC 于 EEE,OFOFOF 垂直平分 ADADAD。求证 CF=BE+22CDCF = BE + \frac{\sqrt 2}{2} CDCF=BE+22CD。
