如图7-78BC切△AEF的外接圆O于点D,且EF‖BC.求证:AD平分∠BAC.