因为题（1）已证四边形ABCD是矩形，有AD∥BC，AD=BC，∠BCD=90°，∠EDF=∠OBC=∠OCB，因为CE⊥AC，即∠ACD+∠ECD=90°，所以∠EDF=∠OBC=∠OCB=∠ECD，又因为∠E=∠E，所以△DEF∽△CED∽△BEC，由△DEF∽△CED可知DE/EF=CE/DE，由△CED∽△BEC可知CE/DE=BC/CD，所以DE/EF=BC/CD=AD/CD。
