Difference between revisions of "2021 CIME I Problems/Problem 14"
Sugar rush (talk | contribs) |
|||
Line 1: | Line 1: | ||
+ | ==Problem== | ||
Let <math>ABC</math> be an acute triangle with orthocenter <math>H</math> and circumcenter <math>O</math>. The tangent to the circumcircle of <math>\triangle ABC</math> at <math>A</math> intersects lines <math>BH</math> and <math>CH</math> at <math>X</math> and <math>Y</math>, and <math>BY\parallel CX</math>. Let line <math>AO</math> intersect <math>\overline{BC}</math> at <math>D</math>. Suppose that <math>AO=25, BC=49</math>, and <math>AD=a-b\sqrt{c}</math> for positive integers <math>a, b, c,</math> where <math>c</math> is not divisible by the square of any prime. Find <math>a+b+c</math>. | Let <math>ABC</math> be an acute triangle with orthocenter <math>H</math> and circumcenter <math>O</math>. The tangent to the circumcircle of <math>\triangle ABC</math> at <math>A</math> intersects lines <math>BH</math> and <math>CH</math> at <math>X</math> and <math>Y</math>, and <math>BY\parallel CX</math>. Let line <math>AO</math> intersect <math>\overline{BC}</math> at <math>D</math>. Suppose that <math>AO=25, BC=49</math>, and <math>AD=a-b\sqrt{c}</math> for positive integers <math>a, b, c,</math> where <math>c</math> is not divisible by the square of any prime. Find <math>a+b+c</math>. | ||
− | ==Solution by TheUltimate123== | + | ==Solution 1 by TheUltimate123== |
Let <math>H</math> be the orthocenter of <math>\triangle ABC</math>, and let <math>E</math>, <math>F</math> be the feet of the altitudes from <math>B, C</math>. Also let <math>A'</math> be the antipode of <math>A</math> on the circumcircle and let <math>S=\overline{AH}\cap\overline{EF}</math>, as shown below: | Let <math>H</math> be the orthocenter of <math>\triangle ABC</math>, and let <math>E</math>, <math>F</math> be the feet of the altitudes from <math>B, C</math>. Also let <math>A'</math> be the antipode of <math>A</math> on the circumcircle and let <math>S=\overline{AH}\cap\overline{EF}</math>, as shown below: | ||
<asy> | <asy> | ||
Line 18: | Line 19: | ||
With <math>\overline{BY}\parallel\overline{CX}</math>, it follows that <math>BCXY</math> is an isosceles trapezoid. In particular, <math>HB=HY</math> and <math>HC=HX</math>. Since <math>\overline{SF}\parallel\overline{AY}</math>, we have <cmath>\frac{HS}{HA}=\frac{HF}{HY}=\frac{HF}{HB}=\cos A.</cmath> But note that <math>\triangle AEF\cup H\sim\triangle ABC\cup A'</math>, so <cmath>\frac{AD}{2R}=1-\frac{A'D}{2R}=1-\frac{HS}{HA}=1-\cos A,</cmath> i.e.\ <math>AD=2R(1-\cos A)</math>. We are given <math>R=25</math>, and by the law of sines, <math>\sin A=\frac{49}{50}</math>, so <math>\cos A=\frac{3\sqrt{11}}{50}</math>, and <math>AD=50-3\sqrt{11}</math>, so <math>50+3+11=\boxed{064}</math>. | With <math>\overline{BY}\parallel\overline{CX}</math>, it follows that <math>BCXY</math> is an isosceles trapezoid. In particular, <math>HB=HY</math> and <math>HC=HX</math>. Since <math>\overline{SF}\parallel\overline{AY}</math>, we have <cmath>\frac{HS}{HA}=\frac{HF}{HY}=\frac{HF}{HB}=\cos A.</cmath> But note that <math>\triangle AEF\cup H\sim\triangle ABC\cup A'</math>, so <cmath>\frac{AD}{2R}=1-\frac{A'D}{2R}=1-\frac{HS}{HA}=1-\cos A,</cmath> i.e.\ <math>AD=2R(1-\cos A)</math>. We are given <math>R=25</math>, and by the law of sines, <math>\sin A=\frac{49}{50}</math>, so <math>\cos A=\frac{3\sqrt{11}}{50}</math>, and <math>AD=50-3\sqrt{11}</math>, so <math>50+3+11=\boxed{064}</math>. | ||
+ | |||
+ | ==Solution 2== | ||
+ | Let <math>E</math> and <math>F</math> be the feet of the altitudes from <math>B</math> to <math>\overline{AC}</math> and from <math>C</math> to <math>\overline{AB}</math>, respectively. It is clear that <math>\overline{EF} \parallel \overline{XY}</math>, as <math>\angle XAE = \angle AEF = \angle B</math> and <math>\angle YAF = \angle AFE = \angle C</math>. We conjecture that quadrilateral <math>BCXY</math> is cyclic because it looks cyclic. Indeed, note that for this to be true we need <math>\angle XYC = \angle XBC</math>, but <math>\overline{EF} \parallel \overline{XY}</math> reduces this condition to <math>\angle EFC = \angle EBC</math>, which is obvious as <math>BCEF</math> is cyclic with <math>\angle BEC = \angle BFC = 90^{\circ}</math>. | ||
+ | |||
+ | <asy> | ||
+ | import olympiad; | ||
+ | size(7cm); defaultpen(linewidth(0.7)); | ||
+ | usepackage("mathptmx"); | ||
+ | pair A = (-15, 20), B = (-24, -7), C = (24, -7), O = (0, 0), H = A + B + C, Ap = -A, X = extension(B, H, A, A + rotate(90, O) * A), Y = extension(C, H, A, A + rotate(90, O) * A), D = extension(A, O, B, C), E = extension(A, C, B, X), F = extension(A, B, C, Y); | ||
+ | draw(A--B--C--cycle, blue); | ||
+ | draw(B--X^^C--Y, fuchsia); | ||
+ | draw(B--Y--X--C^^E--F, lightblue); | ||
+ | draw(H--A--D, lightblue+dotted); | ||
+ | draw(circle(O, 25), blue); | ||
+ | draw(circumcircle(B, C, X), lightblue); | ||
+ | dot("$A$", A, dir(127)); | ||
+ | dot("$B$", B, dir(225)); | ||
+ | dot("$C$", C, dir(315)); | ||
+ | dot("$H$", H, dir(285)); | ||
+ | dot("$X$", X, dir(80)); | ||
+ | dot("$Y$", Y, dir(175)); | ||
+ | dot("$D$", D, dir(270)); | ||
+ | dot("$E$", E, dir(15)); | ||
+ | dot("$F$", F, dir(210)); | ||
+ | dot("$O$", O, dir(210)); | ||
+ | dot(extension(A, H, E, F)); | ||
+ | draw(anglemark(C, Y, X, 105), pink); | ||
+ | draw(anglemark(C, F, E, 105), pink); | ||
+ | draw(anglemark(C, B, E, 105), pink); | ||
+ | </asy> | ||
+ | |||
+ | Thus, note that <math>BCXY</math> cyclic along with <math>\overline{BY} \parallel \overline{CX}</math> are enough to imply that it is an isosceles trapezoid and <math>XY = BC = 49</math>. Then, going back to <math>\overline{EF} \parallel \overline{XY}</math>, it is evident that <math>\triangle HEF</math> and <math>\triangle HXY</math> are directly similar and the ratio in which they are similar is given by <cmath>\frac{EF}{XY} =\frac{EF}{BC} =\frac{a \cos A}{a} = \cos A.</cmath> Consider the geometric transformation consisting of a homothety centered at <math>A</math> with ratio <math>\cos A</math> followed by a reflection about the bisector of <math>\angle A</math>, under which <math>\triangle ABC</math> maps to <math>\triangle AEF</math>. Then, point <math>D</math> (which lies on both <math>\overline{BC}</math> and <math>\overline{AO}</math>) maps to the point <math>D^{\prime}</math> on <math>\overline{EF}</math> such that <math>\overline{AO}</math> and <math>\overline{AD^{\prime}}</math> are isogonal wrt. <math>\angle A</math>. But we know that the circumcenter and orthocenter of <math>\triangle ABC</math> are isogonal conjugates, and this is enough to imply <math>D^{\prime}</math> lies on <math>\overline{AH}</math>. Now <cmath>\frac{HD^{\prime}}{HA} = \cos A \implies\frac{AD^{\prime}}{AH} = 1 - \cos A \implies AD^{\prime} = 2R \cos A(1 - \cos A) \implies AD = 2R(1 - \cos A)</cmath> where the final step comes from undoing the homothety and reflection, thereby dividing all lengths by the ratio <math>\cos A</math>. We are given <math>a = 49</math> and <math>R = 25</math>, thus <math>\sin A = \tfrac{a}{2R} = \tfrac{49}{50}</math>. It follows that, as <math>\triangle ABC</math> is an acute triangle, <math>\cos A = \sqrt{1 - \left(\tfrac{49}{50}\right)^{2}} = \tfrac{3\sqrt{11}}{50}</math>. Finally, <cmath>50\left(1 - \tfrac{3\sqrt{11}}{50}\right) = 50 - 3\sqrt{11}</cmath> and the answer is <math>50 + 3 + 11 = \boxed{64}</math>. | ||
+ | |||
+ | ~StressedPineapple | ||
==See also== | ==See also== |
Latest revision as of 13:10, 13 June 2025
Problem
Let be an acute triangle with orthocenter
and circumcenter
. The tangent to the circumcircle of
at
intersects lines
and
at
and
, and
. Let line
intersect
at
. Suppose that
, and
for positive integers
where
is not divisible by the square of any prime. Find
.
Solution 1 by TheUltimate123
Let be the orthocenter of
, and let
,
be the feet of the altitudes from
. Also let
be the antipode of
on the circumcircle and let
, as shown below:
Disregarding the condition
, we contend:
In general,
is cyclic.
Recall that
, so the claim follows from Reims' theorem on
With , it follows that
is an isosceles trapezoid. In particular,
and
. Since
, we have
But note that
, so
i.e.\
. We are given
, and by the law of sines,
, so
, and
, so
.
Solution 2
Let and
be the feet of the altitudes from
to
and from
to
, respectively. It is clear that
, as
and
. We conjecture that quadrilateral
is cyclic because it looks cyclic. Indeed, note that for this to be true we need
, but
reduces this condition to
, which is obvious as
is cyclic with
.
Thus, note that cyclic along with
are enough to imply that it is an isosceles trapezoid and
. Then, going back to
, it is evident that
and
are directly similar and the ratio in which they are similar is given by
Consider the geometric transformation consisting of a homothety centered at
with ratio
followed by a reflection about the bisector of
, under which
maps to
. Then, point
(which lies on both
and
) maps to the point
on
such that
and
are isogonal wrt.
. But we know that the circumcenter and orthocenter of
are isogonal conjugates, and this is enough to imply
lies on
. Now
where the final step comes from undoing the homothety and reflection, thereby dividing all lengths by the ratio
. We are given
and
, thus
. It follows that, as
is an acute triangle,
. Finally,
and the answer is
.
~StressedPineapple
See also
2021 CIME I (Problems • Answer Key • Resources) | ||
Preceded by Problem 13 |
Followed by Problem 15 | |
1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15 | ||
All CIME Problems and Solutions |