Let $E$ and $F$ on $AC$ and $AB$ respectively in $\triangle ABC$ such that $DE || BC$ then draw line $l$ through $A$ such that $l || BC$ let $D'$ and $E'$ reflection of $D$ and $E$ to $l$ respectively prove that $D'B, E'C$ and $l$ are congruence.
Problem
Source: 2022 Iran second round mathematical Olympiad P1
Tags: geometry
22.05.2022 22:07
lema 1: $ED \parallel E'D'$ proof: $EH_1=E'H_1$ $DH_2=D'H_2$ $\implies$ $EH_1=E'H_1=DH_2=D'H_2$ $\implies$ $ED \parallel E'D'$ $H_{1}H_{2} \parallel ED$ $\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, \blacksquare$ lema2:$SX=XD'$ proof: $XH_2 \parallel SD $ $\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\stackrel{ thales}{\implies}$ $SX=XD'$ $D'H_2=H_2 D $ $\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, \blacksquare$ we create a new E' such this: reflection $T$ over $x$ and named $E''$ we must prove that $E''=E'$ lema3:$ED \parallel E''D'$ proof: $\measuredangle E''XD=\measuredangle SXT$ $XD'=XS \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, \implies$ $XST \cong E''D'X \implies ED \parallel E''D'$ $XE''=TX$ $\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, \blacksquare$ so $E''$ lie on $E'D'$ line we have $ED=E''D' , ST=E''D'$ so we must prove that $ED=ST$ and for prove this: $\frac{ES}{AX}=\frac{BE}{BA}=\frac{CD}{CA}=\frac{DT}{AX}$ so we have $\frac{ES}{AX}=\frac{DT}{AX}$ $\implies ES=DT \implies ES+SD=DT+SD=ST=ED$ $\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, \blacksquare$ so $E''=E'$
Attachments:


22.09.2022 02:41
solved also here
13.10.2022 00:36
It has a easy but nice solution via Trig-Ceva.
14.02.2023 21:44
Let $F$ be the intersection of $E'B , D'C$ It is clear that $D'E' =// DE$ , since $D'E'$ is the reflection of $DE$ over the line $l$ Let $h_{1} , h , h'_{1} , h'$ be the heights of triangles $ADE , ABC , FD'E' , FBC$ from vertices $A , A , F , F$ respectively. Then , since $\triangle ADE \sim ABC$ and $FD'E' \sim FBC \Rightarrow \frac{h_{1}}{h} = \frac{h'_{1}}{h'} = \frac{DE}{BC} = \frac{DE'}{BC}$ But since $h + h_{1} = h' + h'_{1} \Rightarrow h_{1} = h'_{1} \Rightarrow AF // BC \Rightarrow AF \equiv l$ , as desired
Attachments:

14.02.2023 21:58
JustARandomGuy__ wrote: Let $F$ be the intersection of $E'B , D'C$ It is clear that $D'E' =// DE$ , since $D'E'$ is the reflection of $DE$ over the line $l$ Let $h_{1} , h , h'_{1} , h'$ be the heights of triangles $ADE , ABC , FD'E' , FBC$ from vertices $A , A , F , F$ respectively. Then , since $\triangle ADE \sim ABC$ and $FD'E' \sim FBC \Rightarrow \frac{h_{1}}{h} = \frac{h'_{1}}{h'} = \frac{DE}{BC} = \frac{DE'}{BC}$ But since $h + h_{1} = h' + h'_{1} \Rightarrow h_{1} = h'_{1} \Rightarrow AF // BC \Rightarrow AF \equiv l$ , as desired splendid solution!
15.02.2023 02:41
Generalized problem: Let $D$ and $E$ on $AC$ and $AB$ respectively , a line $l$ through $A$ such that $l ,BC,DE$ share a point ( finite point or infinity point); let $D'$ and $E'$ be the reflections of $D$ and $E$ wrt $l$ respectively . Prove that $D'B, E'C$ and $l$ are concurrent. The proof based on harmonic bundles.