证明：∵AD⊥BC，
∴△ADB为直角三角形，
又∵DE⊥AB，由射影定理知，AD²=AE•AB．
同理可得AD²=AF•AC，
∴AE•AB=AF•AC．