如图 AD是三角形ABC的外接圆O的直径 AE垂直BC于点E 求证AB乘以AC等于2AE乘以AO