如图,直线a经过正方形ABCD的顶点A,分别过正方形的顶点B,D作BF⊥a于点F,DE⊥a于点E,求证EF=BF+DE