因D为AB中点
故CD=1/2AB=AD
故∠A=∠ACD
又∠A与∠E同为∠B的余角
故∠A=∠E
故∠E=∠ACD
又∠CDE=∠EDC
故△DFC∽△DCE
由此得
DC/DF=DE/DC
故DC²=DE·DF