ADの中点をMとし
BCに垂直でMを通る線を引きとBCとの交点をNとする
△ENMと△FNMで
NはBCの中点になるからEN=FN
垂直に引いたから∠ENM＝∠FNM
共通だからNM＝NM
よって△ENM≡△FNM
だからEM＝FM
ADEFはADを直径とする同一円周上にあることになるので
∠AFD＝90°