∵AE为该圆直径
故由三角形正弦定理知:
AE=AB/SinC;——1
在直角三角形ADC中:
SinC=AD/AC;——2
故将2式带入1式得:
AE=AB/(AD/AC);
即:AB*AC=AE*AD;
得证