Maths Olympiad Prep

Library / Brazilian Math Olympiad /49 of 66

Brazilian Math Olympiad

Geometry Difficulty 6.5 National Olympiad Prove it Brazil

Let △ABC\triangle ABC be a triangle and OO its circumcenter. Lines ABAB and ACAC meet the circumcircle of OBCOBC again in B1≠BB_1 \neq B and C1≠CC_1 \neq C, respectively, lines BABA and BCBC meet the circumcircle of OACOAC again in A2≠AA_2 \neq A and C2≠CC_2 \neq C, respectively, and lines CACA and CBCB meet the circumcircle of OABOAB in A3≠AA_3 \neq A and B3≠BB_3 \neq B, respectively. Prove that lines A2A3A_2A_3, B1B3B_1B_3 and C1C2C_1C_2 have a common point.

Solutions — 2

Solution 1

One can guess, by drawing a good diagram, that the common point is OO and that the lines A2A3A_2A_3, B1B3B_1B_3 and C1C2C_1C_2 are the perpendicular bisectors of the triangle ABCABC. So it is sufficient to prove that A2A3A_2A_3 is the perpendicular bisector of BCBC. For the sake of simplicity, let ∠A=∠BAC\angle A = \angle BAC, ∠B=∠ABC\angle B = \angle ABC and ∠C=∠ACB\angle C = \angle ACB. Then, considering that the perpendicular bisector of BCBC also bisects the angle ∠BOC\angle BOC, it suffices to prove that the angle between either the lines OA2OA_2, OA3OA_3 and either the lines OBOB, OCOC is ∠A\angle A or 180∘−∠A180^\circ - \angle A.

By the definition of A2A_2 and A3A_3, O,A,A2,CO, A, A_2, C lies on the same circle, as well as O,A,A3,BO, A, A_3, B. Now, if AA and A2A_2 are opposite vertices in the quadrilateral AOA2CAOA_2C then ∠A2OC=∠A2AC\angle A_2OC = \angle A_2AC and, since A2A_2 lies on ABAB, ∠A2AC=∠A\angle A_2AC = \angle A or ∠A2AC=180∘−∠A\angle A_2AC = 180^\circ - \angle A. Either way, we are done. If AA and A2A_2 are neighbors in the quadrilateral AA2OCAA_2OC, then ∠A2OC=180∘−∠A2AC\angle A_2OC = 180^\circ - \angle A_2AC and we are done again. Finally, if AA and A2A_2 are neighbors in the quadrilateral AA2COAA_2CO, then ∠A2OC=∠A2AC\angle A_2OC = \angle A_2AC and we are done. The result follows analogously to O,A,A3,BO, A, A_3, B, so all cases are covered.

Solution 2

Another solution can be found by applying an inversion with respect to the circumcircle of ABCABC. It can be shown that it maps A2A_2 to A3A_3, B1B_1 to B3B_3 and C1C_1 to C2C_2, proving directly that all lines A2A3A_2A_3, B1B3B_1B_3 and C1C2C_1C_2 pass through the center of inversion OO.

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.