\frac{{AE}}{{{\rm{AF}}}}=\frac{{AC}}{{AB}}\Rightarrow AE.AB= {\rm{AF}}{\rm{.AC}}