Example 8. A Hidden Angle in Parallel Lines
The final example shows how a constructed parallel line turns the problem into ordinary angle chasing.
Problem. In triangle \(ABC\), point \(D\) lies on side \(BC\). Through \(D\), draw lines \(DE\parallel AB\) and \(DF\parallel AC\), where \(E\in AC\), \(F\in AB\). Prove that if \(AD\) is the angle bisector of angle \(A\), then \(AD\) is also the angle bisector of \(\angle EDF\).
Solution.Since \(DE\parallel AB\), the angle between \(DE\) and \(AD\) equals the angle between \(AB\) and \(AD\), that is \(\angle BAD\). Since \(DF\parallel AC\), the angle between \(AD\) and \(DF\) equals \(\angle DAC\). By the condition, \(AD\) bisects angle \(A\), so \(\angle BAD=\angle DAC\). Therefore \(AD\) divides \(\angle EDF\) into two equal parts.