Difference between revisions of "2004 IMO Problems/Problem 1"
m (→Solution) |
(→See also) |
||
(2 intermediate revisions by one other user not shown) | |||
Line 33: | Line 33: | ||
The problem is solved. | The problem is solved. | ||
+ | |||
+ | <math>\textbf{NOTE:}</math> We have <math>\angle{RKB} + \angle{KBA} + \angle{BAK} = 180^\circ \implies \angle{BAK} = 180^\circ - (180^\circ - \angle{RMB}) - \angle{KBA}</math>. Noting that <math>180^\circ - \angle{RMB} = 180^\circ - b - k = 180^\circ - (90^\circ - \tfrac{a}{2} + \tfrac{b}{2}) = 90^\circ + \tfrac{a}{2} - \tfrac{b}{2}</math>, we then have <cmath>\angle{BAK} = 180^\circ - (90^\circ + \tfrac{a}{2} - \tfrac{b}{2}) - b = 90^\circ - \tfrac{a}{2} - \tfrac{b}{2}</cmath> which is indeed the measure of <math>\angle{BAR}</math>. This implies that <math>K</math> lies on the bisector of <math>\angle{BAC}</math>, and from this, it is clear that <math>K</math> must lie on the interior of segment <math>BC</math>. Not proving that <math>K</math> had to lie in the interior of <math>BC</math> was a reason that a large portion of students who submitted a solution received a 1-point deduction. | ||
== See also == | == See also == | ||
− | * | + | *http://www.artofproblemsolving.com/community/c6h14020p99445 |
+ | |||
+ | {{IMO box|year=2004|before=First Problem|num-a=2}} |
Latest revision as of 23:51, 18 November 2023
Problem
Let be an acute-angled triangle with . The circle with diameter intersects the sides and at and respectively. Denote by the midpoint of the side . The bisectors of the angles and intersect at . Prove that the circumcircles of the triangles and have a common point lying on the side .
Solution
Let , , and . Call the circle with diameter and the circumcircle of .
Our ultimate goal is to show that . To show why this solves the problem, assume this statement holds true. Call the intersection point of the circumcircle of with side . Then, , and . Since , , implying also lies on the circumcircle of , thereby solving the problem.
We now prove that . Note that and are radii of , so is isosceles. The bisector of is thus the perpendicular bisector of . Since lies on the bisector of , . Angle computations yield that from and from .
The bisector of hits at the midpoint of the arc not containing . This point must lie on the perpendicular bisector of segment , which is the bisector of . It follows that is indeed the midpoint of arc , so , , , , are concyclic. Since and subtend the same arc , = . With being the bisector of , we have We know that . so we have . Since , and , we have
The problem is solved.
We have . Noting that , we then have which is indeed the measure of . This implies that lies on the bisector of , and from this, it is clear that must lie on the interior of segment . Not proving that had to lie in the interior of was a reason that a large portion of students who submitted a solution received a 1-point deduction.
See also
2004 IMO (Problems) • Resources | ||
Preceded by First Problem |
1 • 2 • 3 • 4 • 5 • 6 | Followed by Problem 2 |
All IMO Problems and Solutions |