三角形ABC中,AD垂直BC,以AD为直径的圆O交AB于E,交AC于F.求证:AE乘以AB=AF乘以AC.