如图所示,ab=ac,ef垂直bc 求证ae=af