Maths Olympiad Prep

Library / Macedonian Mathematical Olympiad /15 of 23

Macedonian Mathematical Olympiad

Geometry Difficulty 6.5 National Olympiad Prove it North Macedonia

Let k1k_1, k2k_2 and k3k_3 be three circles with centers O1O_1, O2O_2 and O3O_3 respectively, such that none of the centers lies inside any of the two other circles. The circles k1k_1 and k2k_2 intersect in AA and PP, k1k_1 and k3k_3 intersect in CC and PP and k2k_2 and k3k_3 intersect in BB and PP. Let XX be a point on k1k_1 such that the intersection of the line XAXA with the circle k2k_2 is YY and the intersection of the line XCXC with k3k_3 is ZZ and so that YY belongs neither inside k1k_1 nor inside k3k_3 and ZZ belongs neither inside k1k_1 nor inside k2k_2.

a) Prove that the triangles XYZXYZ and O1O2O3O_1O_2O_3 are similar.
b) Prove that the area of the triangle XYZXYZ is not greater than four times the area of the triangle O1O2O3O_1O_2O_3. Is the maximum attainable?

Нека k1k_1, k2k_2 и k3k_3 се три кружници со центри во O1O_1, O2O_2 и O3O_3 соодветно, такви што ниту еден од центрите не се наоѓа во внатрешноста на другите две кружници. Кружниците k1k_1 и k2k_2 се сечат во AA и PP, k1k_1 и k3k_3 се сечат во CC и PP и k2k_2 и k3k_3 се сечат во BB и PP. Нека XX е точка на k1k_1 таква што пресекот на правата XAXA со кружницата k2k_2 е YY и пресекот на правата XCXC со k3k_3 е ZZ и притоа YY не припаѓа во внатрешноста ниту на k1k_1 ниту на k3k_3 и ZZ не припаѓа во внатрешноста ниту на k1k_1 ниту на k2k_2.

а) Докажи дека триаголниците XYZXYZ и O1O2O3O_1O_2O_3 се слични меѓу себе.
б) Докажи дека плоштината на триаголникот XYZXYZ не е поголема од четири пати по плоштината на триаголникот O1O2O3O_1O_2O_3. Дали се достигнува максимумот?

Solutions — 2

Solution 1

We will first show that the points YY, BB and ZZ are collinear. Since the quadrilateral BYAPBYAP is inscribed we have ∠PBY=∠PAX\angle PBY = \angle PAX. Since the quadrilateral AXCPAXCP is inscribed we have ∠PAX=∠PCZ\angle PAX = \angle PCZ. Since the quadrilateral CPBZCPBZ is inscribed we obtain ∠PBZ+∠PCZ=180∘\angle PBZ + \angle PCZ = 180^\circ. Therefore ∠YBZ=∠YBP+∠PBZ=180∘\angle YBZ = \angle YBP + \angle PBZ = 180^\circ.

Let us notice that ∠CO1O3=∠PO1O3\angle CO_1O_3 = \angle PO_1O_3 and ∠AO1O2=∠PO1O2\angle AO_1O_2 = \angle PO_1O_2, from where it follows that ∠O2O1O3=12∠AO1C=∠AXC\angle O_2O_1O_3 = \frac{1}{2} \angle AO_1C = \angle AXC. Similarly ∠O1O2O3=∠AYB\angle O_1O_2O_3 = \angle AYB and ∠O1O3O2=∠CZB\angle O_1O_3O_2 = \angle CZB. It follows that △XYZ∼△O1O2O3\triangle XYZ \sim \triangle O_1O_2O_3, with which we've proven the statement under a).

Let the line X1Y1X_1Y_1 be parallel to O1O2O_1O_2 and pass through AA, where X1X_1 lies on k1k_1 and Y1Y_1 lies on k2k_2. Let Z1Z_1 be the intersection of the line X1CX_1C with the circle k3k_3. From the afore-proven, the points Y1Y_1, BB and Z1Z_1 are collinear and △X1Y1Z1∼△O1O2O3\triangle X_1Y_1Z_1 \sim \triangle O_1O_2O_3. Furthermore, ∠PXA=∠PX1A\angle PXA = \angle PX_1A and ∠PYA=∠PY1A\angle PYA = \angle PY_1A. Therefore △PXY∼△PX1Y1\triangle PXY \sim \triangle PX_1Y_1. Let PTPT be the altitude dropped from the vertex PP to the side XYXY. PAPA is the altitude of the triangle PX1Y1PX_1Y_1. Since PAPA is a hypotenuse in the right-angled triangle PATPAT we get PT‾≤PA‾\overline{PT} \leq \overline{PA}. Therefore PPXY≤PPX1Y1P_{PXY} \leq P_{PX_1Y_1} and analogously PPYZ≤PPY1Z1P_{PYZ} \leq P_{PY_1Z_1} and PPXZ≤PPX1Z1P_{PXZ} \leq P_{PX_1Z_1}. From this we get PXYZ≤PX1Y1Z1P_{XYZ} \leq P_{X_1Y_1Z_1}. The points PP, O1O_1 and X1X_1 are collinear since ∠PAX1=90∘\angle PAX_1 = 90^\circ. Similarly PP, O2O_2 and Y1Y_1 are collinear and PP, O3O_3 and Z1Z_1 are collinear. We get that O1O2O_1O_2, O1O3O_1O_3 and O2O3O_2O_3 are midsegments in the triangles X1Y1PX_1Y_1P, X1Z1PX_1Z_1P and Y1Z1PY_1Z_1P respectively, and so PX1Y1Z1=4PO1O2O3P_{X_1Y_1Z_1} = 4P_{O_1O_2O_3}. This gives us the required inequality. Equality is attained when the points XX and X1X_1 coincide, and with that the points YY and Y1Y_1 as well as the points ZZ and Z1Z_1 coincide.

Figure 1

Solution 2

Прво ќе докажеме дека точките YY, BB и ZZ се колинеарни. Бидејќи четириаголникот BYAPBYAP е тетивен имаме ∠PBY=∠PAX\angle PBY = \angle PAX. Бидејќи четириаголникот AXCPAXCP е тетивен ∠PAX=∠PCZ\angle PAX = \angle PCZ. Бидејќи четириаголникот CPBZCPBZ е тетивен добиваме ∠PBZ+∠PCZ=180∘\angle PBZ + \angle PCZ = 180^\circ. Значи ∠YBZ=∠YBP+∠PBZ=180∘\angle YBZ = \angle YBP + \angle PBZ = 180^\circ.

Да забележиме дека ∠CO1O3=∠PO1O3\angle CO_1O_3 = \angle PO_1O_3 и ∠AO1O2=∠PO1O2\angle AO_1O_2 = \angle PO_1O_2, од каде следува ∠O2O1O3=12∠AO1C=∠AXC\angle O_2O_1O_3 = \frac{1}{2} \angle AO_1C = \angle AXC. Слично ∠O1O2O3=∠AYB\angle O_1O_2O_3 = \angle AYB и ∠O1O3O2=∠CZB\angle O_1O_3O_2 = \angle CZB. Следува дека △XYZ∼△O1O2O3\triangle XYZ \sim \triangle O_1O_2O_3, со што го докажавме тврдењето под а).

Нека правата X1Y1X_1Y_1 е паралелна со O1O2O_1O_2 и минува низ AA, каде X1X_1 лежи на k1k_1 и Y1Y_1 лежи на k2k_2. Нека Z1Z_1 е пресечната точка на правата X1CX_1C со кружницата k3k_3. Од претходно докажаното точките Y1Y_1, BB и Z1Z_1 се колинеарни и △X1Y1Z1∼△O1O2O3\triangle X_1Y_1Z_1 \sim \triangle O_1O_2O_3. Уште повеќе, ∠PXA=∠PX1A\angle PXA = \angle PX_1A и ∠PYA=∠PY1A\angle PYA = \angle PY_1A. Па △PXY∼△PX1Y1\triangle PXY \sim \triangle PX_1Y_1. Нека PTPT е висината спуштена од темето PP кон страната XYXY. PAPA е висината на триаголникот PX1Y1PX_1Y_1. Бидејќи PAPA е хипотенуза во правоаголниот триаголник PATPAT добиваме PT‾≤PA‾\overline{PT} \leq \overline{PA}. Па PPXY≤PPX1Y1P_{PXY} \leq P_{PX_1Y_1} и аналогно PPYZ≤PPY1Z1P_{PYZ} \leq P_{PY_1Z_1} и PPXZ≤PPX1Z1P_{PXZ} \leq P_{PX_1Z_1}. Од ова добиваме PXYZ≤PX1Y1Z1P_{XYZ} \leq P_{X_1Y_1Z_1}. Точките PP, O1O_1 и X1X_1 се колинеарни затоа што ∠PAX1=90∘\angle PAX_1 = 90^\circ. Слично PP, O2O_2 и Y1Y_1 се колинеарни и PP, O3O_3 и Z1Z_1 се колинеарни. Добиваме дека O1O2O_1O_2, O1O3O_1O_3 и O2O3O_2O_3 се средни линии во триаголниците X1Y1PX_1Y_1P, X1Z1PX_1Z_1P и Y1Z1PY_1Z_1P соодветно, па PX1Y1Z1=4PO1O2O3P_{X_1Y_1Z_1} = 4P_{O_1O_2O_3}. Од ова се добива бараното неравенство. Равенство се достигнува кога точките XX и X1X_1 се соовпаѓаата, а со тоа и точките YY и Y1Y_1 се соовпаѓаат и точките ZZ и Z1Z_1 се соовпаѓаат.

Figure 2

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.