Maths Olympiad Prep

Library / Mathematical Olympiad in Ukraine, Fourth Round (March 23, ) /8 of 8

Mathematical Olympiad in Ukraine, Fourth Round (March 23, ), 2010

Geometry Difficulty 6.6 National Olympiad Prove it Ukraine

Acute-angled triangle ABCABC is given. On the perpendicular bisectors to sides ABAB and BCBC respectively, points PP and QQ are chosen. Let MM and NN be the projections of PP and QQ onto ACAC (Fig.09). It turns out, that 2MN=AC2MN = AC. Prove, that circumcircle of triangle PBQPBQ passes through the circumcenter of triangle ABCABC.

Figure 1
Fig.09

Solution

Let OO be the circumcenter of ABCABC. Let our perpendicular bisectors meet sides ABAB and BCBC at points KK and LL respectively. Then KLKL is a midline of triangle ABCABC. Therefore, KL∥ACKL \parallel AC and 2KL=AC2KL = AC. Thus, MKLNMKLN is parallelogram, because KL∥MNKL \parallel MN and KL=MNKL = MN. Due to the fact, that PM⊥ACPM \perp AC and QN⊥ACQN \perp AC, we have PN∥QNPN \parallel QN. Moreover, PM∥QNPM \parallel QN and KM∥LNKM \parallel LN, thus, ∠PMK=∠QNL\angle PMK = \angle QNL (Fig.10).

∠AKP=∠AMP=90∘\angle AKP = \angle AMP = 90^\circ, thus P,K,MP, K, M and AA lie on the same circle with diameter PAPA. By analogy, we obtain that Q,N,CQ, N, C and LL lie on the same circle with diameter CQCQ, points O,K,BO, K, B and LL belong to the circle with diameter BOBO. From these observations, it follows ∠PAK=∠PMK=∠QNL=∠QCL\angle PAK = \angle PMK = \angle QNL = \angle QCL.

PP and QQ belong to perpendicular bisectors of the segments ABAB and BCBC respectively, thus APBAPB and BQCBQC are isosceles triangles. From this, we obtain ∠PBA=∠PAB=∠QCB=∠QBC\angle PBA = \angle PAB = \angle QCB = \angle QBC. Hence, ∠PBQ=∠KBL=180∘−∠KOL=180∘−∠POQ\angle PBQ = \angle KBL = 180^\circ - \angle KOL = 180^\circ - \angle POQ, in other words, points P,B,Q,OP, B, Q, O are cyclic, which provides desired result.

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.