1. Given: Point M is chosen in triangle ABC such that the radii of the circumcircles of triangles △AMC, △BMC, and △BMA are no smaller than the radius of the circumcircle of △ABC.
2. To Prove: All four radii are equal.
3. Step 1: Let R be the circumradius of △ABC, and let R1, R2, and R3 be the circumradii of △AMC, △BMC, and △BMA respectively. We are given that:
R1≥R,R2≥R,R3≥R
4. Step 2: Recall the formula for the circumradius R of a triangle △ABC:
R=2sinAa=2sinBb=2sinCc
where a,b,c are the sides opposite to angles A,B,C respectively.
5. Step 3: For the circumradius of △AMC to be at least R, we must have:
∠AMC≥180∘−∠ABC
This is because the circumradius R1 of △AMC is given by:
R1=2sin∠AMCAM⋅CM
For R1≥R, we need sin∠AMC≤sin(180∘−∠ABC)=sin∠ABC, which implies ∠AMC≥180∘−∠ABC.
6. Step 4: Similarly, for the circumradius of △BMC to be at least R, we must have:
∠BMC≥180∘−∠BAC
7. Step 5: For the circumradius of △BMA to be at least R, we must have:
∠BMA≥180∘−∠ACB
8. Step 6: Adding these inequalities, we get:
∠AMC+∠BMC+∠BMA≥(180∘−∠ABC)+(180∘−∠BAC)+(180∘−∠ACB)
Simplifying, we have:
∠AMC+∠BMC+∠BMA≥540∘−(∠ABC+∠BAC+∠ACB)
Since ∠ABC+∠BAC+∠ACB=180∘ (sum of angles in △ABC), we get:
∠AMC+∠BMC+∠BMA≥540∘−180∘=360∘
9. Step 7: However, the sum of the angles around point M in the plane is exactly 360∘. Therefore, equality must hold in all the inequalities:
∠AMC=180∘−∠ABC,∠BMC=180∘−∠BAC,∠BMA=180∘−∠ACB
10. Step 8: Since equality holds, the circumradii R1,R2,R3 must all be equal to R.
■