Maths Olympiad Prep

Library / Estonian Mathematical Olympiad /45 of 93

Estonian Mathematical Olympiad

Geometry Difficulty 6.1 National Olympiad Prove it Estonia

Points EE and FF are chosen respectively on the sides CACA and ABAB of triangle ABCABC. Lines BEBE and CFCF intersect at PP. Let QQ be a point such that PBQCPBQC is a parallelogram and RR a point such that AERFAERF is a parallelogram. Prove that PR∥AQPR \parallel AQ.

Solutions — 2

Solution 1

Let SS be a point such that PESFPESF is a parallelogram (Fig. 15). We first show that PR∥ASPR \parallel AS. For this note that ∠PER=∠SFA\angle PER = \angle SFA since PE∥FSPE \parallel FS and ER∥AFER \parallel AF. Additionally PE=FSPE = FS and ER=AFER = AF, thus triangles PERPER and SFASFA are congruent. From this we deduce that PR∥ASPR \parallel AS.

In order to prove the problem statement it now suffices to show that AA, SS and QQ are collinear. Let XX be the point of intersection of ESES and AFAF and YY be the point of intersection of FSFS and AEAE (Fig. 16).

First we show that XY∥BCXY \parallel BC. Denote AEAC=κ\frac{AE}{AC} = \kappa and AFAB=λ\frac{AF}{AB} = \lambda. As EX∥CFEX \parallel CF, we have AXAF=AEAC=κ\frac{AX}{AF} = \frac{AE}{AC} = \kappa. Thus AXAB=AXAF⋅AFAB=κ⋅λ\frac{AX}{AB} = \frac{AX}{AF} \cdot \frac{AF}{AB} = \kappa \cdot \lambda. Analogously, we get AYAC=κ⋅λ\frac{AY}{AC} = \kappa \cdot \lambda. Consequently, AXAB=AYAC\frac{AX}{AB} = \frac{AY}{AC}, which implies XY∥BCXY \parallel BC.

The fact just proven implies XYBC=AXAB\frac{XY}{BC} = \frac{AX}{AB}. It suffices to notice that the triangles BCQBCQ and XYSXYS are similar as their respective sides are parallel. Thus XS→=XY→\overrightarrow{XS} = \overrightarrow{XY} which implies XS→=AXAB\overrightarrow{XS} = \frac{AX}{AB}. Since XS∥BQXS \parallel BQ, this implies that the points AA, SS and QQ are collinear.

Figure 1
Fig. 15
Figure 2
Fig. 16

Solution 2

Denote AC⃗=e⃗1\vec{AC} = \vec{e}_1 and AB⃗=e⃗2\vec{AB} = \vec{e}_2. Take κ,λ\kappa, \lambda such that AE⃗=κe⃗1\vec{AE} = \kappa \vec{e}_1 and AF⃗=λe⃗2\vec{AF} = \lambda \vec{e}_2. Then
AR⃗=AE⃗+AF⃗=κe⃗1+λe⃗2,EB⃗=AB⃗−AE⃗=e⃗2−κe⃗1,FC⃗=AC⃗−AF⃗=e⃗1−λe⃗2. \begin{aligned} \vec{AR} &= \vec{AE} + \vec{AF} = \kappa \vec{e}_1 + \lambda \vec{e}_2, \\ \vec{EB} &= \vec{AB} - \vec{AE} = \vec{e}_2 - \kappa \vec{e}_1, \\ \vec{FC} &= \vec{AC} - \vec{AF} = \vec{e}_1 - \lambda \vec{e}_2. \end{aligned}
Take also α,β\alpha, \beta such that EP⃗=αEB⃗\vec{EP} = \alpha \vec{EB} and FP⃗=βFC⃗\vec{FP} = \beta \vec{FC}. Then
AP⃗=AF⃗+βFC⃗=λe⃗2+β(e⃗1−λe⃗2)=βe⃗1+(1−β)λe⃗2,AP⃗=AE⃗+αEB⃗=κe⃗1+α(e⃗2−κe⃗1)=(1−α)κe⃗1+αe⃗2. \begin{aligned} \vec{AP} &= \vec{AF} + \beta \vec{FC} = \lambda \vec{e}_2 + \beta(\vec{e}_1 - \lambda \vec{e}_2) = \beta \vec{e}_1 + (1 - \beta)\lambda \vec{e}_2, \\ \vec{AP} &= \vec{AE} + \alpha \vec{EB} = \kappa \vec{e}_1 + \alpha(\vec{e}_2 - \kappa \vec{e}_1) = (1 - \alpha)\kappa \vec{e}_1 + \alpha \vec{e}_2. \end{aligned}
Consequently, βe⃗1+(1−β)λe⃗2=(1−α)κe⃗1+αe⃗2\beta \vec{e}_1 + (1 - \beta) \lambda \vec{e}_2 = (1 - \alpha) \kappa \vec{e}_1 + \alpha \vec{e}_2. As vectors e⃗1\vec{e}_1 and e⃗2\vec{e}_2 are not parallel, the equality can hold only if the respective coefficients are equal, i.e., β=(1−α)κ\beta = (1 - \alpha)\kappa and (1−β)λ=α(1 - \beta)\lambda = \alpha. This implies AP⃗=βe⃗1+αe⃗2\vec{AP} = \beta \vec{e}_1 + \alpha \vec{e}_2. Now we obtain
PR⃗=AR⃗−AP⃗=(κe⃗1+λe⃗2)−(βe⃗1+αe⃗2)=(κ−β)e⃗1+(λ−α)e⃗2,AQ⃗=AC⃗+CQ⃗=AC⃗+PB⃗=AC⃗+AB⃗−AP⃗=e⃗1+e⃗2−(βe⃗1+αe⃗2)=(1−β)e⃗1+(1−α)e⃗2. \begin{aligned} \vec{PR} &= \vec{AR} - \vec{AP} = (\kappa \vec{e}_1 + \lambda \vec{e}_2) - (\beta \vec{e}_1 + \alpha \vec{e}_2) = (\kappa - \beta) \vec{e}_1 + (\lambda - \alpha) \vec{e}_2, \\ \vec{AQ} &= \vec{AC} + \vec{CQ} = \vec{AC} + \vec{PB} = \vec{AC} + \vec{AB} - \vec{AP} \\ &= \vec{e}_1 + \vec{e}_2 - (\beta \vec{e}_1 + \alpha \vec{e}_2) = (1 - \beta) \vec{e}_1 + (1 - \alpha) \vec{e}_2. \end{aligned}
The lines PRPR and AQAQ being parallel is equivalent to the vectors PR⃗\vec{PR} and AQ⃗\vec{AQ} being parallel, which in turn is equivalent to their coefficients being proportional. Hence it suffices to show that κ−β1−β=λ−α1−α\frac{\kappa - \beta}{1 - \beta} = \frac{\lambda - \alpha}{1 - \alpha}, or equivalently,
(κ−β)(1−α)=(λ−α)(1−β). (\kappa - \beta)(1 - \alpha) = (\lambda - \alpha)(1 - \beta).
As κ(1−α)=β\kappa(1 - \alpha) = \beta and λ(1−β)=α\lambda(1 - \beta) = \alpha, we have
(κ−β)(1−α)=κ(1−α)−β(1−α)=β−β+αβ=αβ,(λ−α)(1−β)=λ(1−β)−α(1−β)=α−α+αβ=αβ. \begin{aligned} (\kappa - \beta)(1 - \alpha) &= \kappa(1 - \alpha) - \beta(1 - \alpha) = \beta - \beta + \alpha\beta = \alpha\beta, \\ (\lambda - \alpha)(1 - \beta) &= \lambda(1 - \beta) - \alpha(1 - \beta) = \alpha - \alpha + \alpha\beta = \alpha\beta. \end{aligned}
Hence the desired equality holds and the proof is complete.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.