• 1. (2017·黄州模拟) 如图，ABCD是正方形，点G是BC上的任意一点，DE⊥AG于E，BF∥DE，交AG于F．

  求证：AF=BF+EF．