1. (2021·枣阳模拟) 如图，正方形ABCD中，G是BC边上任意一点（不与B、C重合），DE⊥AG于点E， BF⊥AG于F.

1. （1） 在图中用直尺和圆规作BF⊥AG于F，保留作图痕迹，不写作法；
3. （2） 求证：AF－BF＝EF.