右の図のように, 円 0の周上に3点A, B, C を ABBC となるよ うにとり,線分 ACの中点をDとする。 また, 線分 BD の延長と円Oとの交点で,点Bとは異なる点をEと し,線分 AE の中点をFとする。 このとき, △ABC ADFE であ ることを証明しなさい。 [神奈川県〕 AA B AC