角AED=角ADB=90度
角BAD为公共角
所以:三角形ADB相似于三角形AED
AE/AD=AD/AB
AD^2=AE*AB
角AFD=角ADC=90度
角CAD为公共角
所以:三角形ADC相似于三角形AFD
AF/AD=AD/AC
AD^2=AF*AC
所以:AE*AB=AF*AC
角AED=角ADB=90度
角BAD为公共角
所以:三角形ADB相似于三角形AED
AE/AD=AD/AB
AD^2=AE*AB
角AFD=角ADC=90度
角CAD为公共角
所以:三角形ADC相似于三角形AFD
AF/AD=AD/AC
AD^2=AF*AC
所以:AE*AB=AF*AC