数学正方形几何已知:正方形ABCD对角线AC上截取CE=CD.EF垂直于AC交AD于F.求证:AE=EF=FD(图比较简