Difference between revisions of "1988 USAMO Problems/Problem 4"
Realquarterb (talk | contribs) (→Solution) |
m (→Solution 2) |
||
Line 11: | Line 11: | ||
===Solution 2=== | ===Solution 2=== | ||
− | Let <math>M</math> denote the midpoint of arc <math>AC</math>. It is well known that <math>M</math> is equidistant from <math>A</math>, <math>C</math>, and <math>I</math> (to check, prove <math> | + | Let <math>M</math> denote the midpoint of arc <math>AC</math>. It is well known that <math>M</math> is equidistant from <math>A</math>, <math>C</math>, and <math>I</math> (to check, prove <math>\angle IAM = \angle AIM = \frac{\angle BAC + \angle ABC}{2}</math>), so that <math>M</math> is the circumcenter of <math>AIC</math>. Similar results hold for <math>BIC</math> and <math>CIA</math>, and hence <math>O_c</math>, <math>O_a</math>, and <math>O_b</math> all lie on the circumcircle of <math>ABC</math>. |
===Solution 3=== | ===Solution 3=== |
Revision as of 18:32, 17 August 2020
Problem
is a triangle with incenter . Show that the circumcenters of , , and lie on a circle whose center is the circumcenter of .
Solution
Solution 1
Let the circumcenters of , , and be , , and , respectively. It then suffices to show that , , , , , and are concyclic.
We shall prove that quadrilateral is cyclic first. Let , , and . Then and . Therefore minor arc in the circumcircle of has a degree measure of . This shows that , implying that . Therefore quadrilateral is cyclic.
This shows that point is on the circumcircle of . Analagous proofs show that and are also on the circumcircle of , which completes the proof.
Solution 2
Let denote the midpoint of arc . It is well known that is equidistant from , , and (to check, prove ), so that is the circumcenter of . Similar results hold for and , and hence , , and all lie on the circumcircle of .
Solution 3
Extend to point on . By The Incenter-Excenter Lemma, B, I, A are all concyclic. Thus, L is the circumcenter of triangle . In other words, , so is on . Similarly, we can show that and are on , and thus, are all concyclic. It follows that the circumcenters are equal.
See Also
1988 USAMO (Problems • Resources) | ||
Preceded by Problem 3 |
Followed by Problem 5 | |
1 • 2 • 3 • 4 • 5 | ||
All USAMO Problems and Solutions |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.