四边形ABCD中,角C=90度,E、F分别为AD、BC上的点,AE=CF,EF与BD互相平分,证明四边形ABCD是矩形。