Maths Olympiad Prep

Library / /5 of 6

Geometry Difficulty 6.8 National olympiad Prove it India

Let ABCABC be an acute-angled triangle with incentre II. Draw a line perpendicular to BIBI at II and let it intersect BCBC and BABA at DD and EE respectively. Let PP and QQ be respectively the incentres of the triangles BIABIA and BICBIC. Suppose the four points D,E,P,QD, E, P, Q are concyclic. Prove that BA=BCBA = BC.

Solution

Join DEDE and PQPQ. Let SS be the centre of the circle Γ\Gamma passing through E,P,Q,DE, P, Q, D. Let PP' denote the reflection of PP in BIBI. Since PBI=QBI\angle PBI = \angle QBI, it follows that PP' lies on BQBQ. Since EE and DD are symmetric about the line EIEI, and PP and PP' are also symmetric about BIBI, it follows that PP' lies on Γ\Gamma. Since QQ lies on Γ\Gamma and PP' lies on the line BQBQ, we conclude that Q=PQ = P'. This means BIBI is the perpendicular bisector of PQPQ. Since BIBI is already the perpendicular bisector of EDED, it follows that EDED is parallel to PQPQ.
Consider the circumcircle of the triangle AICAIC. We have
Figure 1
BIC=180{}(B/2+C/2)=90{}+(A/2). \angle BIC = 180^\{\circ\} - (B/2 + C/2) = 90^\{\circ\} + (A/2).
Since BID=90{}\angle BID = 90^\{\circ\}, we see that DIC=A/2=IAC\angle DIC = A/2 = \angle IAC. Hence EDED is tangent to the circumcircle of AIC\triangle AIC at II. Hence the circumcentre of the triangle AICAIC lies on the line BSBS. This implies that BSBS is the perpendicular bisector of ACAC as well. It follows that EDACED \parallel AC. Thus PQEDABPQ \parallel ED \parallel AB.
Since BSBS is the perpendicular bisector of PQPQ and that of ACAC, we see that PQCAPQCA is an isosceles trapezium. Hence P,Q,C,AP, Q, C, A are concyclic. This gives PAC=QCA\angle PAC = \angle QCA. Therefore A=C\angle A = \angle C and hence BA=BCBA = BC.

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.