Maths Olympiad Prep

Track / Stage 6 / 54 of 400 #1694 of 2604

Problem 1694

National Olympiad, first round
Geometry Difficulty 6.0 Prove it Thailand Mathematical Olympiad · Thailand

Let △ABC\triangle ABC be a triangle with AB≤ACAB \leq AC and let PP be an interior point on the angle bisector of ∠BAC\angle BAC. Let D,ED, E be points on the segments PC,PBPC, PB respectively such that ∠PBD=∠PCE\angle PBD = \angle PCE. The line BDBD meets ACAC at XX, and CECE meets ABAB at YY.
Prove that BX≤CYBX \leq CY.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

We use Kelly's lemma

Lemma 1 (Kelly). Given a triangle ABCABC. Suppose the cevians BEBE and CFCF are such that ∠CBE≥∠BCF\angle CBE \geq \angle BCF and ∠ABE≥∠ACF\angle ABE \geq \angle ACF. Then BE≤CFBE \leq CF.

Proof (From Crux). Choose QQ on the segment AEAE so that ∠QBE=∠QCF\angle QBE = \angle QCF. Let CFCF meets BE,BQBE, BQ at P,QP, Q respectively. In the triangle QBCQBC, since ∠QBC≥∠QCB\angle QBC \geq \angle QCB, we have QC≥QBQC \geq QB. Observe that △QBE∼△QCR\triangle QBE \sim \triangle QCR, hence from that BQ≤CQBQ \leq CQ we obtain BE≤CRBE \leq CR. Clearly CR≤CFCR \leq CF, therefore BE≤CFBE \leq CF. □\square

Now we apply Kelly's lemma to our problem. We want to show that
∠\angle DBC ≥∠\geq \angle ECB and∠\quad \text{and} \quad \angle ABP ≥∠\geq \angle ACP.

Reflect the point CC about the line APAP to C′C'. By symmetry
∠ABP≥∠AC′P=∠ACP. \angle ABP \geq \angle AC'P = \angle ACP.
To show that ∠DBC≥∠ECB\angle DBC \geq \angle ECB, we use sine law in the triangles ABPABP and ACPACP respectively to get
BP=APsin⁡(A/2)sin⁡(∠ABP),CP=APsin⁡(A/2)sin⁡(∠ACP). BP = AP \frac{\sin(A/2)}{\sin(\angle ABP)}, \quad CP = AP \frac{\sin(A/2)}{\sin(\angle ACP)}.
Thus BP≤CPBP \leq CP. In the triangle PBCPBC, since BP≤CPBP \leq CP, it follows that ∠PCB≤∠PBC\angle PCB \leq \angle PBC. Therefore
∠DBC≥∠ECB. \angle DBC \geq \angle ECB.
This proves the claim and the problem.

Figure 1

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