∵EG∥AD
∴∠CAD=∠CGF(同位角相等)
∴∠BAD=∠AFG(内错角相等)
∵AD平分∠BAC
∴∠BAD=∠CAD(角平分线定义)
∴∠AGF=∠AFG(等量代换)
∴AF=AG(等角对等边)