初二数学主要模型训练

初二数学主要模型训练1（半角模型）.已知：如图,在正方形ABCD中,AD=AB,∠D=∠ABC=∠BAD=90∘,E,F分别为DC,BC边上的点,且∠EAF=45∘，连接EF，求证：1）EF=BF+D