因为 ABCD 是正方形,EF垂直于AC
所以 角EFC=角ECF=45度
所以 EF=CE
因为 AD=AE,EF垂直于AC,
所以 角AEC=角ADE
所以 角EDF=角DEF
所以 DF=EF
已证 EF=CE DF=EF
所以 CE=DF
以为 AD=CD=AE
所以 CD+DF=AC