## Elementary Geometry for College Students (6th Edition)

Using theorem 6.3.7, we obtain that $AB \times AC = AF^2$ and $AD \times AE = AF^2$. Using substitution, we obtain: $AC \times AB = AE \times AD$