证明：
∵DF垂直平分AB
∴D是AB的中点,∠F+∠B＝90
∵∠ACB＝90
∴AD＝CD,∠A+∠B＝90
∴∠DCA＝∠A,∠F＝∠A
∴∠DCA＝∠F
∵∠CDE＝∠FDC
∴△CDE∽△FDC
∴CD/DE＝DF/CD
∴CD²＝DE×DF