证明:因为AD⊥EB,EF⊥BF,所以DF²=ED×DB (1)
因为∠EDG=∠ADB,∠DEG=∠DAB,所以三角形DEG∽三角形ABD,因此
DE/DA=DG/DB,即DE*DB=DA*DG (2)
由(1)(2)可得DF²=AD×DG