Maths Olympiad Prep

Track / Stage 7 / 63 of 300 #1463 of 1964

Problem 1463

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.

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:
R1R,R2R,R3R 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=a2sinA=b2sinB=c2sinC 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:
AMC180ABC \angle AMC \geq 180^\circ - \angle ABC
This is because the circumradius R1 R_1 of AMC \triangle AMC is given by:
R1=AMCM2sinAMC R_1 = \frac{AM \cdot CM}{2 \sin \angle AMC}
For R1R R_1 \geq R , we need sinAMCsin(180ABC)=sinABC \sin \angle AMC \leq \sin (180^\circ - \angle ABC) = \sin \angle ABC , which implies AMC180ABC \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:
BMC180BAC \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:
BMA180ACB \angle BMA \geq 180^\circ - \angle ACB

8. Step 6: Adding these inequalities, we get:
AMC+BMC+BMA(180ABC)+(180BAC)+(180ACB) \angle AMC + \angle BMC + \angle BMA \geq (180^\circ - \angle ABC) + (180^\circ - \angle BAC) + (180^\circ - \angle ACB)
Simplifying, we have:
AMC+BMC+BMA540(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+BMA540180=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=180ABC,BMC=180BAC,BMA=180ACB \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 and solution reproduced as published; topic, difficulty and ordering added by this site.