Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "2014 USAJMO Problems/Problem 6"

(→‎Solution)
(→‎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.''' [Diagram and additional <math>\LaTeX</math> by pinetree1]
 
  
 
<center>
 
<center>

Revision as of 15:42, 7 March 2018

Problem

Let $ABC$ be a triangle with incenter $I$, incircle $\gamma$ and circumcircle $\Gamma$. Let $M,N,P$ be the midpoints of sides $\overline{BC}$, $\overline{CA}$, $\overline{AB}$ and let $E,F$ be the tangency points of $\gamma$ with $\overline{CA}$ and $\overline{AB}$, respectively. Let $U,V$ be the intersections of line $EF$ with line $MN$ and line $MP$, respectively, and let $X$ be the midpoint of arc $BAC$ of $\Gamma$.

(a) Prove that $I$ lies on ray $CV$.

(b) Prove that line $XI$ bisects $\overline{UV}$.

Solution

[asy] unitsize(5cm); import olympiad; pair A, B, C, I, M, N, P, E, F, U, V, X, R; A = dir(190); B = dir(120); C = dir(350); I = incenter(A, B, C); label("$A$", A, W); label("$B$", B, dir(90)); label("$C$", C, dir(0)); dot(I); label("$I$", I, SSE); draw(A--B--C--cycle); real r, R; r = inradius(A, B, C); R = circumradius(A, B, C); path G, g; G = circumcircle(A, B, C); g = incircle(A, B, C); draw(G); draw(g); label("$\Gamma$", dir(35), dir(35)); label("$\gamma$", 2/3 * dir(125)); M = (B+C)/2; N = (A+C)/2; P = (A+B)/2; label("$M$", M, NE); label("$N$", N, SE); label("$P$", P, W); E = tangent(A, I, r, 1); F = tangent(A, I, r, 2); label("$E$", E, SW); label("$F$", F, WNW); U = extension(E, F, M, N); V = intersectionpoint(P--M, F--E); label("$U$", U, S); label("$V$", V, NE); draw(P--M--U--F); X = dir(235); label("$X$", X, dir(235)); draw(X--I, dashed); draw(C--V, dashed); draw(A--I); label("$x^\circ$", A + (0.2,0), dir(90)); label("$y^\circ$", C + (-0.4,0), dir(90)); [/asy]

(a)

Solution 1: We will prove this via contradiction: assume that line $IC$ intersects line $MP$ at $Q$ and line $EF$ and $R$, with $R$ and $Q$ not equal to $V$. Let $x = \angle A/2 = \angle IAE$ and $y = \angle C/2 = \angle ICA$. We know that $\overline{MP} \parallel \overline{AC}$ because $MP$ is a midsegment of triangle $ABC$; thus, by alternate interior angles (A.I.A) $\angle MVE = \angle FEA = (180^\circ - 2x) / 2 = 90^\circ - x$, because triangle $AFE$ is isosceles. Also by A.I.A, $\angle MQC = \angle QCA = y$. Furthermore, because $AI$ is an angle bisector of triangle $AFE$, it is also an altitude of the triangle; combining this with $\angle QIA = x + y$ from the Exterior Angle Theorem gives $\angle FRC = 90 - x - y$. Also, $\angle VRQ = \angle FRC = 90 - x - y$ because they are vertical angles. This completes part (a).

Solution 2: First we show that the intersection $V'$of $MP$ with the internal angle bisector of $C$ is the same as the intersection $V''$ of $EF$ with the internal angle bisector of $C.$ Let $D$ denote the intersection of $AB$ with the internal angle bisector of $C,$ and let $a,b,c$ denote the side lengths of $BC, AC, AB.$ By Menelaus on $V'', F, E,$ with respect to $\triangle ADC,$ \[\frac{AF}{FD}\cdot \frac{DV''}{V''C}\cdot \frac{CE}{EA}=-1\] \[\frac{DV''}{V''C}=-\frac{\frac{bc}{a+b}+\frac{a-b-c}{2}}{\frac{a+b-c}{2}}=\frac{b-a}{b+a}.\] Similarly, \[\frac{BP}{PD}\cdot \frac{DV'}{V'C}\cdot \frac{CM}{MB}=-1\] \[\frac{DV'}{V'C}=-\frac{\frac{ac}{a+b}-\frac{c}{2}}{\frac{c}{2}}=\frac{b-a}{b+a}.\] Since $V'$ and $V''$ divide $CD$ in the same ratio, they must be the same point. Now, since $\frac{b-a}{b+a}>-1,$ $I$ lies on ray $CV.$ $\blacksquare$

(b)

Solution 1: Using a similar argument to part (a), point U lies on line $BI$. Because $\angle MVC = \angle VCA = \angle MCV$, triangle $VMC$ is isosceles. Similarly, triangle $BMU$ is isosceles, from which we derive that $VM = MC = MB = MU$. Hence, triangle $VUM$ is isosceles.

Note that $X$ lies on both the circumcircle and the perpendicular bisector of segment $BC$. Let $D$ be the midpoint of $UV$; our goal is to prove that points $X$, $D$, and $I$ are collinear, which equates to proving $X$ lies on ray $ID$.

Because $MD$ is also an altitude of triangle $MVU$, and $MD$ and $IA$ are both perpendicular to $EF$, $\overline{MD} \parallel \overline{IA}$. Furthermore, we have $\angle VMD = \angle UMD = x$ because $APMN$ is a parallelogram. (incomplete)

Solution 2: Let $I_A$, $I_B$, and $I_C$ be the excenters of $ABC$. Note that the circumcircle of $ABC$ is the nine-point circle of $I_AI_BI_C$. Since $AX$ is the external angle bisector of $\angle BAC$, $X$ is the midpoint of $I_BI_C$. Now $UV$ and $I_BI_C$ are parallel since both are perpendicular to the internal angle bisector of $\angle BAC$. Since $IX$ bisects $I_BI_C$, it bisects $UV$ as well.

Solution 3: Let $X'$ be the antipode of $X$ with respect to the circumcircle of triangle $ABC$. Then, by the Incenter-Excenter lemma, $X'$ is the center of a circle containing $B$, $I$, and $C$. Because $XX'$ is a diameter, $XB$ and $XC$ are tangent to the aforementioned circle; thus by a well-known symmedian lemma, $XI$ coincides with the $I$-symmedian of triangle $IBC$. From part (a); we know that $BVUC$ is cyclic (we can derive a similar argument for point $U$); thus $XI$ coincides with the median of triangle $VIU$, and we are done.

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=2014_USAJMO_Problems/Problem_6&oldid=92815"