如图,正方形ABCD的边长为1,点F在线段CD上运动,AE平分∠BAF交BC边于点E.
(1)过A作AG⊥AF,交CB延长线于点G,求证:①AG=AF,②AF=DF+BE;
(2)延长AF交BC延长线于点H,若AE=EH,求此时DF的长.