证明:因为AD是三角形ABC的外接圆的直径
所以角ABD=90度 AD=2AO
因为AE垂直BC
所以角AEC=90度
因为角D=角C=弧AB/2
所以直角三角形ABD和直角三角形AEC相似
所以AB/AE=AD/AC
即AB乘以AC=AE乘以AD
所以AB乘以AC=2AE乘以AO
证明:因为AD是三角形ABC的外接圆的直径
所以角ABD=90度 AD=2AO
因为AE垂直BC
所以角AEC=90度
因为角D=角C=弧AB/2
所以直角三角形ABD和直角三角形AEC相似
所以AB/AE=AD/AC
即AB乘以AC=AE乘以AD
所以AB乘以AC=2AE乘以AO