由于EF∥AD
所以∠F=∠DAC(同位角)
且∠AGF=∠GAD(内错角)
由于AD平分∠BAC
∴∠BAD=∠DAC
由∠F=∠DAC,∠FGA=∠DAB
所以∠F=∠DAC=∠BAD=∠AGF
所以∠F=∠AGF