정삼각형, 각의 이등분선, 수직이등분선 복합 작도 추론 문제

문제

주어진 선분 AB에 대해 다음 작도를 수행하였다.

1. 선분 AB를 한 변으로 하는 정삼각형 ABC를 작도한다.
2. $\angle BAC$의 이등분선을 작도하고, 이 이등분선이 변 BC와 만나는 점을 D라 한다.
3. 선분 AD의 수직이등분선을 작도한다. 이 수직이등분선이 변 AB와 만나는 점을 E, 변 AC와 만나는 점을 F라 한다.

위 작도 결과에 대한 설명으로 옳지 않은 것은?