不成立反证法，假设命题成立，由(1)可知，EF的长度是与BE-AF的位置有关的。设EF的长度为x，当E点与D点重合时，F,F'均在射线CD上，且EF=EF'，但AF不一定等于AF'，所与题设相矛盾。故得证（1）结论在（2）题设下不成立。
