四边形ABCD中,AC⊥BC,AD⊥BD,E,F为AB,CD的中点,求证:EF⊥DC