连结CF
∵BC的长是不变的,∴若证明DF最小值大于BC则可得DF>BC.
∵D在BC上,F在AB延长线上,∴当D与C重合时,DF最小为CF
又∵在△CFB中,角CBF为钝角,∴CF>BC
即DF>BC