在正方形ABCD中,CE垂直于DE,求证CE=DF