Maths Olympiad Prep

Library / /4 of 8

, 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 DD' 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 PQADPQ \perp AD. Therefore, DD' lies on the line ADAD and we may deduce that either D=AD' = A or DD' 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, DD' lies on the ray DADA and therefore D=AD' = A. By angle chasing we obtain
PDQ=PDQ=180BAC \angle PD'Q = \angle PDQ = 180^{\circ} - \angle BAC
and since D=AD' = A we also know PDQ=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, PQBCPQ \parallel BC from which it follows that DDBCDD' \perp BC. But the distance from DD' 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=DA = 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 DP=DPD'P = DP and we also have DP=BPDP = BP. Hence, DP=BPD'P = BP and similarly DQ=CQD'Q = CQ. Note that APDQDAPDQD' is cyclic with diameter PQPQ. Therefore, APD=AQD\angle APD' = \angle AQD', from which we obtain BPD=CQD\angle BPD' = \angle CQD'. So triangles DPBD'PB and DQCD'QC are similar. It follows that PDQ=PDC+CDQ=PDC+BDP=BDC\angle PD'Q = \angle PD'C + \angle CD'Q = \angle PD'C + \angle BD'P = \angle BD'C and DPDQ=DBDC\frac{D'P}{D'Q} = \frac{D'B}{D'C}. So we also obtain that triangles DPQD'PQ and DBCD'BC are similar. But since DPQDPQ and DPQD'PQ are congruent, we may deduce that BDC=PDQ=PDQ=90\angle BD'C = \angle PD'Q = \angle PDQ = 90^{\circ}. Therefore, DD' 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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.