因 \(DF\parallel BC\) 且 \(DC\) 是 \(\angle C\) 的角平分线，俺们有 \(\angle FDC=\angle DCB=\angle FCD\)，换言之 \(\triangle FDC\) 是等腰三角形，\(DF=FC\)。类似可推断 \(\triangle BDE\) 是等腰三角形，即 \(DE=EB\)。这样就有
\[
EF=DF-DE=FC-EB
\]

锟斤拷锟洁辑时锟斤拷: 2021-11-10 05:40:03