正方形ABCD中,E为AC上的一点,且AE=AD过E做EF垂直于AC,交CD于F,求证:CD+DF=AC