证明：由题自己作图,在三角形DCF和三角形DAC中,因为∠A=∠C=90度,所以A、B、C、D四点共圆,所以∠CDB＝∠CAB,而∠CDB＋∠DCF＝90度、∠CAB＋∠DAC＝90度得∠DCF＝∠DAC,又∠CDF＝∠ADC,所以三角形DCF和三角形DAC相似,所以CD/DA＝DF/CD,得CD平方=DF×DA.