Maths Olympiad Prep

Library / /111 of 121

Geometry Difficulty 7.2 National Olympiad, round 2 Prove it India

Problem:
Let ABCABC be a triangle in which no angle is 9090^{\circ}. For any point PP in the plane of the triangle, let A1,B1,C1A_{1}, B_{1}, C_{1} denote the reflections of PP in the sides BC,CA,ABBC, CA, AB respectively. Prove the following statements:

a. If PP is the incentre or an excentre of ABCABC, then PP is the circumcentre of A1B1C1A_{1}B_{1}C_{1};

b. If PP is the circumcentre of ABCABC, then PP is the orthocentre of A1B1C1A_{1}B_{1}C_{1};

c. If PP is the orthocentre of ABCABC, then PP is either the incentre or an excentre of A1B1C1A_{1}B_{1}C_{1}.

Solution

Solution:

a.
Figure 1
If P=IP=I is the incentre of triangle ABCABC, and rr its inradius, then it is clear that A1I=B1I=C1I=2rA_{1}I = B_{1}I = C_{1}I = 2r. It follows that II is the circumcentre of A1B1C1A_{1}B_{1}C_{1}. On the other hand if P=I1P=I_{1} is the excentre of ABCABC opposite AA and r1r_{1} the corresponding exradius, then again we see that A1I1=B1I1=C1I1=2r1A_{1}I_{1} = B_{1}I_{1} = C_{1}I_{1} = 2r_{1}. Thus I1I_{1} is the circumcentre of A1B1C1A_{1}B_{1}C_{1}.

Figure 2

b.
Let P=OP=O be the circumcentre of ABCABC. By definition, it follows that OA1OA_{1} bisects and is bisected by BCBC and so on. Let D,E,FD, E, F be the mid-points of BC,CA,ABBC, CA, AB respectively. Then FEFE is parallel to BCBC. But E,FE, F are also mid-points of OB1,OC1OB_{1}, OC_{1} and hence FEFE is parallel to B1C1B_{1}C_{1} as well. We conclude that BCBC is parallel to B1C1B_{1}C_{1}. Since OA1OA_{1} is perpendicular to BCBC, it follows that OA1OA_{1} is perpendicular to B1C1B_{1}C_{1}. Similarly OB1OB_{1} is perpendicular to C1A1C_{1}A_{1} and OC1OC_{1} is perpendicular to A1B1A_{1}B_{1}. These imply that OO is the orthocentre of A1B1C1A_{1}B_{1}C_{1}. (This applies whether OO is inside or outside ABCABC.)

c.
Let P=HP=H, the orthocentre of ABCABC. We consider two possibilities; HH falls inside ABCABC and HH falls outside ABCABC.

Suppose HH is inside ABCABC; this happens if ABCABC is an acute triangle. It is known that A1,B1,C1A_{1}, B_{1}, C_{1} lie on the circumcircle of ABCABC. Thus C1A1A=C1CA=90A\angle C_{1}A_{1}A = \angle C_{1}CA = 90^{\circ} - A. Similarly B1A1A=B1BA=90A\angle B_{1}A_{1}A = \angle B_{1}BA = 90^{\circ} - A. These show that C1A1A=B1A1A\angle C_{1}A_{1}A = \angle B_{1}A_{1}A. Thus A1AA_{1}A is an internal bisector of C1A1B1\angle C_{1}A_{1}B_{1}. Similarly we can show that B1BB_{1}B bisects A1B1C1\angle A_{1}B_{1}C_{1} and C1CC_{1}C bisects B1C1A1\angle B_{1}C_{1}A_{1}. Since A1A,B1B,C1CA_{1}A, B_{1}B, C_{1}C concur at HH, we conclude that HH is the incentre of A1B1C1A_{1}B_{1}C_{1}.

OR If D,E,FD, E, F are the feet of perpendiculars of A,B,CA, B, C to the sides BC,CA,ABBC, CA, AB respectively, then we see that EF,FD,DEEF, FD, DE are respectively parallel to B1C1,C1A1,A1B1B_{1}C_{1}, C_{1}A_{1}, A_{1}B_{1}. This implies that C1A1H=FDH=ABE=90A\angle C_{1}A_{1}H = \angle FDH = \angle ABE = 90^{\circ} - A, as BDHFBDHF is a cyclic quadrilateral. Similarly, we can show that B1A1H=90A\angle B_{1}A_{1}H = 90^{\circ} - A. It follows that A1HA_{1}H is the internal bisector of C1A1B1\angle C_{1}A_{1}B_{1}. We can proceed as in the earlier case.

If HH is outside ABCABC, the same proofs go through again, except that two of A1H,B1H,C1HA_{1}H, B_{1}H, C_{1}H are external angle bisectors and one of these is an internal angle bisector. Thus HH becomes an excentre of triangle A1B1C1A_{1}B_{1}C_{1}.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.