如图19-18,矩形ABCD中,E、F分别是AB、CD上的点,求证:EF