延长AE与BC，使AE、BC交于G点。∵E是BC的中点∴DE=CE∵四边行ABCD是正方形∴∠ADC=∠BCD=∠GCD=90°又∵∠AED和∠CEG是对顶角根据角角边的关系得△ADE=△GCE∴AE=GE又∵EF⊥AE∴△AEF=△GEF∴∠AFE=∠GFE=CFE∴EF是∠AFC的角平分线
