如图,在正方形ABCD中,E是AB上的一点,F在AD上,且角FCE=45度,求证:三角形AEF的周长=2AB