如图,正方形ABCD的一个顶点B在直线l上,过A作AE⊥l与E点,过C作CF⊥l于F点.求证:AE+CF=EF