根据直角三角形斜边上的中点，知道CD为其斜边的中线，那么AD=DC=DB,所以将∠B转移至∠DCF，而因为Rt△ECF和Rt△EFD并且共用斜边EF，那么以EF为直径做圆，则C,F,D,E四点都在圆上，那么∠DCF和∠DEF所对应的弧长相等，所以∠DCF=∠DEF，所以等价转换，
