∠AEFも∠ADFも90°で、90°になるってことは、AFが直径の円周上にあるってことになるから。