Maths Olympiad Prep

Library / /441 of 520

Geometry Difficulty 6.1 National olympiad Prove it

Let ABCABC be a triangle, EE and DD points on the sides [AB][AB] and [AC][AC] such that BE=CDBE = CD. Let PP be the intersection of the diagonals of the quadrilateral BEDCBEDC and QQ the second intersection point of the circumcircles of EPB\triangle EPB and DPC\triangle DPC. Let KK and LL be the midpoints of [BE][BE] and [CD][CD] respectively, and RR the intersection of the perpendicular to (QK)(QK) passing through KK and the perpendicular to (QL)(QL) passing through LL.

Show that:
a) QQ lies on the bisector of angle BAC^\widehat{BAC}.

b) RR lies on the circumcircle of triangle ABCABC.

Solution

a) QQ is the center of the similarity ρ\rho mapping BB to DD and EE to CC. Since BE=CDBE = CD, its dilation factor is 1, i.e., it is a rotation. In particular, calling Q1Q_1 and Q2Q_2 the projections of QQ onto (AB)(AB) and (CD)(CD), since ρ\rho maps Q1Q_1 to Q2Q_2, Q1=Q2Q_1 = Q_2, i.e., QQ lies on the bisector (the attentive reader will note that it needs to be verified that it is indeed the internal bisector, which can be easily done by a continuity argument by considering the extremal case).

b) We first observe that ρ\rho maps KK to LL. In particular, QK=QLQK = QL, and thus RK=RLRK = RL. Moreover, the angle of the rotation is KQL^\widehat{KQL} but is also, since the line (EB)(EB) is mapped to the line (CD)(CD), the angle between the lines (BA)(BA) and (CA)(CA). In particular, A,K,QA, K, Q, and LL are concyclic by the inscribed angle theorem. Since it is also clear that K,Q,LK, Q, L, and RR are concyclic, K,Q,L,AK, Q, L, A, and RR are concyclic. The goal of the exercise is to show that RR is the center of the similarity mapping KK to LL and BB to CC. Let RR' be the center of this similarity. RR', like RR, lies on the circumcircle of KQLKQL. Furthermore, since KB=LCKB = LC, this similarity is a rotation, dd', where, as for RR, RK=RLR'K = R'L. Thus, RR and RR' are among the two points dd' intersection of the perpendicular bisector of [KL][KL] and the circumcircle of KALKAL, and a somewhat convoluted argument of positioning (the meticulous reader will note that it can be formalized without too much difficulty) shows that they are in fact the same. Hence the conclusion.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.