Difference between revisions of "2014 USAJMO Problems/Problem 6"
(Created page with "==Problem== Let <math>ABC</math> be a triangle with incenter <math>I</math>, incircle <math>\gamma</math> and circumcircle <math>\Gamma</math>. Let <math>M,N,P</math> be the mid...") |
(→Solution) |
||
Line 7: | Line 7: | ||
==Solution== | ==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.''' | ||
+ | |||
+ | We will first prove part (a) via contradiction: assume that line <math>IC</math> intersects line <math>MP</math> at Q and line <math>EF</math> and R, with R and Q not equal to V. Let x = <A/2 = <IAE and y = <C/2 = <ICA. We know that <math>MP // AC</math> because <math>MP</math> is a midsegment of triangle <math>ABC</math>; thus, by alternate interior angles (A.I.A) <MVE = <FEA = (180° - 2x) / 2 = 90° - x, because triangle <math>AFE</math> is isosceles. Also by A.I.A, <MQC = <QCA = y. Furthermore, because <math>AI</math> is an angle bisector of triangle <math>AFE</math>, it is also an altitude of the triangle; combining this with <QIA = x + y from the Exterior Angle Theorem gives <FRC = 90° - x - y. <VRQ = <FRC = 90° - x - y because they are vertical angles; however, .... This completes part (b). | ||
+ | |||
+ | Now, we attempt part (b). Using a similar argument to part (a), point U lies on line <math>BI</math>. Because <MVC = <VCA = <MCV, triangle <math>VMC</math> is isosceles. Similarly, triangle <math>BMU</math> is isosceles, from which we derive that VM = MC = MB = MU. Hence, triangle <math>VUM</math> is isosceles. | ||
+ | |||
+ | Note that X lies on both the circumcircle and the perpendicular bisector of segment <math>BC</math>. .... |
Revision as of 09:47, 17 May 2014
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.
We will first prove part (a) via contradiction: assume that line intersects line at Q and line and R, with R and Q not equal to V. Let x = <A/2 = <IAE and y = <C/2 = <ICA. We know that because is a midsegment of triangle ; thus, by alternate interior angles (A.I.A) <MVE = <FEA = (180° - 2x) / 2 = 90° - x, because triangle is isosceles. Also by A.I.A, <MQC = <QCA = y. Furthermore, because is an angle bisector of triangle , it is also an altitude of the triangle; combining this with <QIA = x + y from the Exterior Angle Theorem gives <FRC = 90° - x - y. <VRQ = <FRC = 90° - x - y because they are vertical angles; however, .... This completes part (b).
Now, we attempt part (b). Using a similar argument to part (a), point U lies on line . Because <MVC = <VCA = <MCV, triangle is isosceles. Similarly, triangle is isosceles, from which we derive that VM = MC = MB = MU. Hence, triangle is isosceles.
Note that X lies on both the circumcircle and the perpendicular bisector of segment . ....