Maths Olympiad Prep

Library / APMO /13 of 25

APMO, 2016

Geometry Difficulty 7.7 National Olympiad, round 2 Prove it Asia Pacific Mathematics Olympiad (APMO)

We say that a triangle ABCABC is great if the following holds: for any point DD on the side BCBC, if PP and QQ are the feet of the perpendiculars from DD to the lines ABAB and ACAC, respectively, then the reflection of DD in the line PQPQ lies on the circumcircle of the triangle ABCABC.
Prove that triangle ABCABC is great if and only if ∠A=90∘\angle A = 90^{\circ} and AB=ACAB = AC.

Solution

For every point DD on the side BCBC, let D′D' be the reflection of DD in the line PQPQ. We will first prove that if the triangle satisfies the condition then it is isosceles and right-angled at AA.

Choose DD to be the point where the angle bisector from AA meets BCBC. Note that PP and QQ lie on the rays ABAB and ACAC respectively. Furthermore, PP and QQ are reflections of each other in the line ADAD, from which it follows that PQ⊥ADPQ \perp AD. Therefore, D′D' lies on the line ADAD and we may deduce that either D′=AD' = A or D′D' is the second point of the angle bisector at AA and the circumcircle of ABCABC. However, since APDQAPDQ is a cyclic quadrilateral, the segment PQPQ intersects the segment ADAD. Therefore, D′D' lies on the ray DADA and therefore D′=AD' = A. By angle chasing we obtain
∠PD′Q=∠PDQ=180∘−∠BAC \angle PD'Q = \angle PDQ = 180^{\circ} - \angle BAC
and since D′=AD' = A we also know ∠PD′Q=∠BAC\angle PD'Q = \angle BAC. This implies that ∠BAC=90∘\angle BAC = 90^{\circ}.

Now we choose DD to be the midpoint of BCBC. Since ∠BAC=90∘\angle BAC = 90^{\circ}, we can deduce that DQPDQP is the medial triangle of triangle ABCABC. Therefore, PQ∥BCPQ \parallel BC from which it follows that DD′⊥BCDD' \perp BC. But the distance from D′D' to BCBC is equal to both the circumradius of triangle ABCABC and to the distance from AA to BCBC. This can only happen if A=D′A = D'. This implies that ABCABC is isosceles and right-angled at AA.

Figure 1
Figure 2
Figure 3

We will now prove that if ABCABC is isosceles and right-angled at AA then the required property in the problem holds. Let DD be any point on side BCBC. Then D′P=DPD'P = DP and we also have DP=BPDP = BP. Hence, D′P=BPD'P = BP and similarly D′Q=CQD'Q = CQ. Note that APDQD′APDQD' is cyclic with diameter PQPQ. Therefore, ∠APD′=∠AQD′\angle APD' = \angle AQD', from which we obtain ∠BPD′=∠CQD′\angle BPD' = \angle CQD'. So triangles D′PBD'PB and D′QCD'QC are similar. It follows that ∠PD′Q=∠PD′C+∠CD′Q=∠PD′C+∠BD′P=∠BD′C\angle PD'Q = \angle PD'C + \angle CD'Q = \angle PD'C + \angle BD'P = \angle BD'C and D′PD′Q=D′BD′C\frac{D'P}{D'Q} = \frac{D'B}{D'C}. So we also obtain that triangles D′PQD'PQ and D′BCD'BC are similar. But since DPQDPQ and D′PQD'PQ are congruent, we may deduce that ∠BD′C=∠PD′Q=∠PDQ=90∘\angle BD'C = \angle PD'Q = \angle PDQ = 90^{\circ}. Therefore, D′D' lies on the circle with diameter BCBC, which is the circumcircle of triangle ABCABC.

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.