∵FG平分∠A₁FD，∴∠1=∠2，
又∵A₁和A是重合的，
∴∠3=∠4，∴∠2+∠3+∠1+∠4=180°，
∴∠2+∠3=90°，即∠EFG=90°．