Difference between revisions of "2014 USAJMO Problems/Problem 6"
(→Solution) |
|||
Line 87: | Line 87: | ||
'''Solution 2:''' Let <math>I_A</math>, <math>I_B</math>, and <math>I_C</math> be the excenters of <math>ABC</math>. Note that the circumcircle of <math>ABC</math> is the nine-point circle of <math>I_AI_BI_C</math>. Since <math>AX</math> is the external angle bisector of <math>\angle BAC</math>, <math>X</math> is the midpoint of <math>I_BI_C</math>. Now <math>UV</math> and <math>I_BI_C</math> are parallel since both are perpendicular to the internal angle bisector of <math>\angle BAC</math>. Since <math>IX</math> bisects <math>I_BI_C</math>, it bisects <math>UV</math> as well. | '''Solution 2:''' Let <math>I_A</math>, <math>I_B</math>, and <math>I_C</math> be the excenters of <math>ABC</math>. Note that the circumcircle of <math>ABC</math> is the nine-point circle of <math>I_AI_BI_C</math>. Since <math>AX</math> is the external angle bisector of <math>\angle BAC</math>, <math>X</math> is the midpoint of <math>I_BI_C</math>. Now <math>UV</math> and <math>I_BI_C</math> are parallel since both are perpendicular to the internal angle bisector of <math>\angle BAC</math>. Since <math>IX</math> bisects <math>I_BI_C</math>, it bisects <math>UV</math> as well. | ||
+ | |||
+ | '''Solution 3:''' Let <math>X'</math> be the antipode of <math>X</math> with respect to the circumcircle of triangle <math>ABC</math>. Then, by the Incenter-Excenter lemma, <math>X'</math> is the center of a circle containing <math>B</math>, <math>I</math>, and <math>C</math>. Because <math>XX'</math> is a diameter, <math>XB</math> and <math>XC</math> are tangent to the aforementioned circle; thus by a well-known symmedian lemma, <math>XI</math> coincides with the <math>I</math>-symmedian of triangle <math>IBC</math>. From part (a); we know that <math>BVUC</math> is cyclic (we can derive a similar argument for point <math>U</math>); thus <math>XI</math> coincides with the median of triangle <math>VIU</math>, and we are done. |
Revision as of 20:01, 12 April 2016
Problem
Let be a triangle with incenter , incircle and circumcircle . Let be the midpoints of sides , , and let be the tangency points of with and , respectively. Let be the intersections of line with line and line , respectively, and let be the midpoint of arc of .
(a) Prove that lies on ray .
(b) Prove that line bisects .
Solution
Extra karma will be awarded to the benefactor who so kindly provides a diagram and additional LATEX for this solution. Before then, please peruse your own diagram. [Diagram and additional by pinetree1]
(a)
Solution 1: We will prove this via contradiction: assume that line intersects line at and line and , with and not equal to . Let and . We know that because is a midsegment of triangle ; thus, by alternate interior angles (A.I.A) , because triangle is isosceles. Also by A.I.A, . Furthermore, because is an angle bisector of triangle , it is also an altitude of the triangle; combining this with from the Exterior Angle Theorem gives . Also, because they are vertical angles. This completes part (a).
Solution 2: First we show that the intersection of with the internal angle bisector of is the same as the intersection of with the internal angle bisector of Let denote the intersection of with the internal angle bisector of and let denote the side lengths of By Menelaus on with respect to Similarly, Since and divide in the same ratio, they must be the same point. Now, since lies on ray
(b)
Solution 1: Using a similar argument to part (a), point U lies on line . Because , triangle is isosceles. Similarly, triangle is isosceles, from which we derive that . Hence, triangle is isosceles.
Note that lies on both the circumcircle and the perpendicular bisector of segment . Let be the midpoint of ; our goal is to prove that points , , and are collinear, which equates to proving lies on ray .
Because is also an altitude of triangle , and and are both perpendicular to , . Furthermore, we have because is a parallelogram. (incomplete)
Solution 2: Let , , and be the excenters of . Note that the circumcircle of is the nine-point circle of . Since is the external angle bisector of , is the midpoint of . Now and are parallel since both are perpendicular to the internal angle bisector of . Since bisects , it bisects as well.
Solution 3: Let be the antipode of with respect to the circumcircle of triangle . Then, by the Incenter-Excenter lemma, is the center of a circle containing , , and . Because is a diameter, and are tangent to the aforementioned circle; thus by a well-known symmedian lemma, coincides with the -symmedian of triangle . From part (a); we know that is cyclic (we can derive a similar argument for point ); thus coincides with the median of triangle , and we are done.