如图,ab等于de,be等于cf,角b等于角def,求证ac垂直df