|
战巡
发表于 2023-11-9 03:17
令$BC$中点为$O$,连$FO$
显然有$BO=CO=FO$,于是$\angle FOB=\angle CBF=\angle BED$,故此$DE\parallel FO$,即有
\[\frac{BD}{DO}=\frac{BE}{EF}=2\]
即$BE=2EF=2CF$
另一方面,$\angle BAC=\angle CFE=90\du$,即有$A,B,C,F$共圆,有$\angle CBF=\angle CAF$,以及$\angle CFA=135\du=\angle CEB$,即$\Delta CFA \sim \Delta CEB$,也就有
\[\frac{1}{\sqrt{2}}=\frac{CF}{CE}=\frac{AF}{BE}=\frac{AF}{2CF}\]
于是
\[AF=\sqrt{2}CF=CE\]
同样由共圆得到$\angle BFA=\angle BCA=45\du=\angle CEF$,于是$AF\parallel CE$
合起来就有$AFCE$为平行四边形 |
|