角ADE=角B,
角A为公共角
三角形内和为180度,
角AED=180度-(角A+角ADE)
角C=180度-(角A+角B)
所以角AED=角C
所以三角形ADE相似三角形ABC,(角角角)
AD/AB=AE/AC
所以:
AD*AC=AE*AB