Maths Olympiad Prep

Track / Stage 7 / 86 of 300 #1486 of 1964

Problem 1486

National Olympiad second round; IMO P1/P4
Geometry Difficulty 7.1 Prove it

Point MM is chosen in triangle ABCABC so that the radii of the circumcircles of triangles AMC,BMCAMC, BMC, and BMABMA are no smaller than the radius of the circumcircle of ABCABC. Prove that all four radii are equal.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

1. Given: Point M M is chosen in triangle ABC ABC such that the radii of the circumcircles of triangles △AMC \triangle AMC , △BMC \triangle BMC , and △BMA \triangle BMA are no smaller than the radius of the circumcircle of △ABC \triangle ABC .

2. To Prove: All four radii are equal.

3. Step 1: Let R R be the circumradius of △ABC \triangle ABC , and let R1 R_1 , R2 R_2 , and R3 R_3 be the circumradii of △AMC \triangle AMC , △BMC \triangle BMC , and △BMA \triangle BMA respectively. We are given that:
R1≥R,R2≥R,R3≥R R_1 \geq R, \quad R_2 \geq R, \quad R_3 \geq R

4. Step 2: Recall the formula for the circumradius R R of a triangle △ABC \triangle ABC :
R=a2sin⁡A=b2sin⁡B=c2sin⁡C R = \frac{a}{2 \sin A} = \frac{b}{2 \sin B} = \frac{c}{2 \sin C}
where a,b,c a, b, c are the sides opposite to angles A,B,C A, B, C respectively.

5. Step 3: For the circumradius of △AMC \triangle AMC to be at least R R , we must have:
∠AMC≥180∘−∠ABC \angle AMC \geq 180^\circ - \angle ABC
This is because the circumradius R1 R_1 of △AMC \triangle AMC is given by:
R1=AM⋅CM2sin⁡∠AMC R_1 = \frac{AM \cdot CM}{2 \sin \angle AMC}
For R1≥R R_1 \geq R , we need sin⁡∠AMC≤sin⁡(180∘−∠ABC)=sin⁡∠ABC \sin \angle AMC \leq \sin (180^\circ - \angle ABC) = \sin \angle ABC , which implies ∠AMC≥180∘−∠ABC \angle AMC \geq 180^\circ - \angle ABC .

6. Step 4: Similarly, for the circumradius of △BMC \triangle BMC to be at least R R , we must have:
∠BMC≥180∘−∠BAC \angle BMC \geq 180^\circ - \angle BAC

7. Step 5: For the circumradius of △BMA \triangle BMA to be at least R R , we must have:
∠BMA≥180∘−∠ACB \angle BMA \geq 180^\circ - \angle ACB

8. Step 6: Adding these inequalities, we get:
∠AMC+∠BMC+∠BMA≥(180∘−∠ABC)+(180∘−∠BAC)+(180∘−∠ACB) \angle AMC + \angle BMC + \angle BMA \geq (180^\circ - \angle ABC) + (180^\circ - \angle BAC) + (180^\circ - \angle ACB)
Simplifying, we have:
∠AMC+∠BMC+∠BMA≥540∘−(∠ABC+∠BAC+∠ACB) \angle AMC + \angle BMC + \angle BMA \geq 540^\circ - (\angle ABC + \angle BAC + \angle ACB)
Since ∠ABC+∠BAC+∠ACB=180∘ \angle ABC + \angle BAC + \angle ACB = 180^\circ (sum of angles in △ABC \triangle ABC ), we get:
∠AMC+∠BMC+∠BMA≥540∘−180∘=360∘ \angle AMC + \angle BMC + \angle BMA \geq 540^\circ - 180^\circ = 360^\circ

9. Step 7: However, the sum of the angles around point M M in the plane is exactly 360∘ 360^\circ . Therefore, equality must hold in all the inequalities:
∠AMC=180∘−∠ABC,∠BMC=180∘−∠BAC,∠BMA=180∘−∠ACB \angle AMC = 180^\circ - \angle ABC, \quad \angle BMC = 180^\circ - \angle BAC, \quad \angle BMA = 180^\circ - \angle ACB

10. Step 8: Since equality holds, the circumradii R1,R2,R3 R_1, R_2, R_3 must all be equal to R R .

■\blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.