1. (2022八下·花都期末) 如图，在正方形ABCD中，点E、F分别是边BC、CD上的点．若AB＝4，BE＝2，CF＝1．

1. （1） 请求出AF的长；
3. （2） 求证：∠AEF＝90°．