已知长方形ABCD中,AD平行BC,将其折叠,使得点A与点C重合,折痕为EF,求证AC平分EF