Difference between revisions of "2016 AIME I Problems/Problem 6"
m (Deleted a unrelated line) |
m (→Solution 1) |
||
(10 intermediate revisions by 6 users not shown) | |||
Line 2: | Line 2: | ||
In <math>\triangle ABC</math> let <math>I</math> be the center of the inscribed circle, and let the bisector of <math>\angle ACB</math> intersect <math>AB</math> at <math>L</math>. The line through <math>C</math> and <math>L</math> intersects the circumscribed circle of <math>\triangle ABC</math> at the two points <math>C</math> and <math>D</math>. If <math>LI=2</math> and <math>LD=3</math>, then <math>IC=\tfrac{m}{n}</math>, where <math>m</math> and <math>n</math> are relatively prime positive integers. Find <math>m+n</math>. | In <math>\triangle ABC</math> let <math>I</math> be the center of the inscribed circle, and let the bisector of <math>\angle ACB</math> intersect <math>AB</math> at <math>L</math>. The line through <math>C</math> and <math>L</math> intersects the circumscribed circle of <math>\triangle ABC</math> at the two points <math>C</math> and <math>D</math>. If <math>LI=2</math> and <math>LD=3</math>, then <math>IC=\tfrac{m}{n}</math>, where <math>m</math> and <math>n</math> are relatively prime positive integers. Find <math>m+n</math>. | ||
− | |||
==Solution 1== | ==Solution 1== | ||
Suppose we label the angles as shown below. | Suppose we label the angles as shown below. | ||
Line 34: | Line 33: | ||
label("$\gamma$",C,5*dir(midangle(I,C,B)),fontsize(8)); | label("$\gamma$",C,5*dir(midangle(I,C,B)),fontsize(8)); | ||
</asy> | </asy> | ||
− | As <math>\angle BCD</math> and <math>\angle BAD</math> intercept the same arc, we know that <math>\angle BAD=\gamma</math>. Similarly, <math>\angle ABD=\gamma</math>. Also, using <math>\triangle ICA</math>, we find <math>\angle CIA=180-\alpha-\gamma</math>. Therefore, <math>\angle AID=\alpha+\gamma | + | As <math>\angle BCD</math> and <math>\angle BAD</math> intercept the same arc, we know that <math>\angle BAD=\gamma</math>. Similarly, <math>\angle ABD=\gamma</math>. Also, using <math>\triangle ICA</math>, we find <math>\angle CIA=180-\alpha-\gamma</math>. Therefore, <math>\angle AID=\alpha+\gamma=\angle DAI</math>, so <math>\triangle AID</math> must be isosceles with <math>AD=ID=5</math>. Similarly, <math>BD=ID=5</math>. Then <math>\triangle DLB \sim \triangle ALC</math>, hence <math>\frac{AL}{AC} = \frac{3}{5}</math>. Also, <math>AI</math> bisects <math>\angle LAC</math>, so by the Angle Bisector Theorem <math>\frac{CI}{IL} =\frac{AC}{AL}= \frac{5}{3}</math>. Thus <math>CI = \frac{10}{3}</math>, and the answer is <math>\boxed{013}</math>. |
− | ==Solution 2== | + | ==Solution 2 (Incenter/Excenter)== |
+ | See the diagram in Solution 1. | ||
+ | |||
+ | Let <math>\Delta ABC</math>'s <math>C</math>-excenter be <math>J_C</math>. Since <math>CI</math> is an angle bisector, <math>\angle ACD = \angle BCD</math>, meaning that <math>D</math> is the midpoint of arc <math>\overarc{BC}</math>. By the [[Incenter/Excenter Lemma]], <math>DA=DI=DB=DJ_C=2+3=5</math>, and applying Power of a Point on circle <math>D</math> gives <math>AL\cdot AB = LI\cdot LJ_C = 2(3+5) = 16</math>. Applying Power of a Point again on <math>\Delta ABC</math>'s circumcircle gives <math>AL\cdot LB = LC\cdot LD = 16</math>, and since <math>LD = 3</math>, <math>LC = \frac{16}{3}</math>. Thus <math>IC = LC-LI = \frac{16}{3}-2 = \frac{10}{3}</math>. We submit <math>10+3=\boxed{013}</math>. | ||
+ | - NamelyOrange | ||
+ | |||
+ | ==Solution 3== | ||
WLOG assume <math>\triangle ABC</math> is isosceles. Then, <math>L</math> is the midpoint of <math>AB</math>, and <math>\angle CLB=\angle CLA=90^\circ</math>. Draw the perpendicular from <math>I</math> to <math>CB</math>, and let it meet <math>CB</math> at <math>E</math>. Since <math>IL=2</math>, <math>IE</math> is also <math>2</math> (they are both inradii). Set <math>BD</math> as <math>x</math>. Then, triangles <math>BLD</math> and <math>CEI</math> are similar, and <math>\tfrac{2}{3}=\tfrac{CI}{x}</math>. Thus, <math>CI=\tfrac{2x}{3}</math>. <math>\triangle CBD \sim \triangle CEI</math>, so <math>\tfrac{IE}{DB}=\tfrac{CI}{CD}</math>. Thus <math>\tfrac{2}{x}=\tfrac{(2x/3)}{(2x/3+5)}</math>. Solving for <math>x</math>, we have: | WLOG assume <math>\triangle ABC</math> is isosceles. Then, <math>L</math> is the midpoint of <math>AB</math>, and <math>\angle CLB=\angle CLA=90^\circ</math>. Draw the perpendicular from <math>I</math> to <math>CB</math>, and let it meet <math>CB</math> at <math>E</math>. Since <math>IL=2</math>, <math>IE</math> is also <math>2</math> (they are both inradii). Set <math>BD</math> as <math>x</math>. Then, triangles <math>BLD</math> and <math>CEI</math> are similar, and <math>\tfrac{2}{3}=\tfrac{CI}{x}</math>. Thus, <math>CI=\tfrac{2x}{3}</math>. <math>\triangle CBD \sim \triangle CEI</math>, so <math>\tfrac{IE}{DB}=\tfrac{CI}{CD}</math>. Thus <math>\tfrac{2}{x}=\tfrac{(2x/3)}{(2x/3+5)}</math>. Solving for <math>x</math>, we have: | ||
<math>x^2-2x-15=0</math>, or <math>x=5, -3</math>. <math>x</math> is positive, so <math>x=5</math>. As a result, <math>CI=\tfrac{2x}{3}=\tfrac{10}{3}</math> and the answer is <math>\boxed{013}</math> | <math>x^2-2x-15=0</math>, or <math>x=5, -3</math>. <math>x</math> is positive, so <math>x=5</math>. As a result, <math>CI=\tfrac{2x}{3}=\tfrac{10}{3}</math> and the answer is <math>\boxed{013}</math> | ||
− | ==Solution | + | ==Solution 4== |
WLOG assume <math>\triangle ABC</math> is isosceles (with vertex <math>C</math>). Let <math>O</math> be the center of the circumcircle, <math>R</math> the circumradius, and <math>r</math> the inradius. A simple sketch will reveal that <math>\triangle ABC</math> must be obtuse (as an acute triangle will result in <math>LI</math> being greater than <math>DL</math>) and that <math>O</math> and <math>I</math> are collinear. Next, if <math>OI=d</math>, <math>DO+OI=R+d</math> and <math>R+d=DL+LI=5</math>. Euler gives us that <math>d^{2}=R(R-2r)</math>, and in this case, <math>r=LI=2</math>. Thus, <math>d=\sqrt{R^{2}-4R}</math>. Solving for <math>d</math>, we have <math>R+\sqrt{R^{2}-4R}=5</math>, then <math>R^{2}-4R=25-10R+R^{2}</math>, yielding <math>R=\frac{25}{6}</math>. Next, <math>R+d=5</math> so <math>d=\frac{5}{6}</math>. Finally, <math>OC=OI+IC</math> gives us <math>R=d+IC</math>, and <math>IC=\frac{25}{6}-\frac{5}{6}=\frac{10}{3}</math>. Our answer is then <math>\boxed{013}</math>. | WLOG assume <math>\triangle ABC</math> is isosceles (with vertex <math>C</math>). Let <math>O</math> be the center of the circumcircle, <math>R</math> the circumradius, and <math>r</math> the inradius. A simple sketch will reveal that <math>\triangle ABC</math> must be obtuse (as an acute triangle will result in <math>LI</math> being greater than <math>DL</math>) and that <math>O</math> and <math>I</math> are collinear. Next, if <math>OI=d</math>, <math>DO+OI=R+d</math> and <math>R+d=DL+LI=5</math>. Euler gives us that <math>d^{2}=R(R-2r)</math>, and in this case, <math>r=LI=2</math>. Thus, <math>d=\sqrt{R^{2}-4R}</math>. Solving for <math>d</math>, we have <math>R+\sqrt{R^{2}-4R}=5</math>, then <math>R^{2}-4R=25-10R+R^{2}</math>, yielding <math>R=\frac{25}{6}</math>. Next, <math>R+d=5</math> so <math>d=\frac{5}{6}</math>. Finally, <math>OC=OI+IC</math> gives us <math>R=d+IC</math>, and <math>IC=\frac{25}{6}-\frac{5}{6}=\frac{10}{3}</math>. Our answer is then <math>\boxed{013}</math>. | ||
− | ==Solution | + | ==Solution 5== |
Since <math>\angle{LAD} = \angle{BDC}</math> and <math>\angle{DLA}=\angle{DCB}</math>, <math>\triangle{DLA}\sim\triangle{DBC}</math>. Also, <math>\angle{DAC}=\angle{BLC}</math> and <math>\angle{ACD}=\angle{LCB}</math> so <math>\triangle{DAC}\sim\triangle{BLC}</math>. Now we can call <math>AC</math>, <math>b</math> and <math>BC</math>, <math>a</math>. By angle bisector theorem, <math>\frac{AD}{DB}=\frac{AC}{BC}</math>. So let <math>AD=bk</math> and <math>DB=ak</math> for some value of <math>k</math>. Now call <math>IC=x</math>. By the similar triangles we found earlier, <math>\frac{3}{ak}=\frac{bk}{x+2}</math> and <math>\frac{b}{x+5}=\frac{x+2}{a}</math>. We can simplify this to <math>abk^2=3x+6</math> and <math>ab=(x+5)(x+2)</math>. So we can plug the <math>ab</math> into the first equation and get <math>(x+5)(x+2)k^2=3(x+2) \rightarrow k^2(x+5)=3</math>. We can now draw a line through <math>A</math> and <math>I</math> that intersects <math>BC</math> at <math>E</math>. By mass points, we can assign a mass of <math>a</math> to <math>A</math>, <math>b</math> to <math>B</math>, and <math>a+b</math> to <math>D</math>. We can also assign a mass of <math>(a+b)k</math> to <math>C</math> by angle bisector theorem. So the ratio of <math>\frac{DI}{IC}=\frac{(a+b)k}{a+b}=k=\frac{2}{x}</math>. So since <math>k=\frac{2}{x}</math>, we can plug this back into the original equation to get <math>\left(\frac{2}{x}\right)^2(x+5)=3</math>. This means that <math>\frac{3x^2}{4}-x-5=0</math> which has roots -2 and <math>\frac{10}{3}</math> which means our <math>CI=\frac{10}{3}</math> and our answer is <math>\boxed{013}</math>. | Since <math>\angle{LAD} = \angle{BDC}</math> and <math>\angle{DLA}=\angle{DCB}</math>, <math>\triangle{DLA}\sim\triangle{DBC}</math>. Also, <math>\angle{DAC}=\angle{BLC}</math> and <math>\angle{ACD}=\angle{LCB}</math> so <math>\triangle{DAC}\sim\triangle{BLC}</math>. Now we can call <math>AC</math>, <math>b</math> and <math>BC</math>, <math>a</math>. By angle bisector theorem, <math>\frac{AD}{DB}=\frac{AC}{BC}</math>. So let <math>AD=bk</math> and <math>DB=ak</math> for some value of <math>k</math>. Now call <math>IC=x</math>. By the similar triangles we found earlier, <math>\frac{3}{ak}=\frac{bk}{x+2}</math> and <math>\frac{b}{x+5}=\frac{x+2}{a}</math>. We can simplify this to <math>abk^2=3x+6</math> and <math>ab=(x+5)(x+2)</math>. So we can plug the <math>ab</math> into the first equation and get <math>(x+5)(x+2)k^2=3(x+2) \rightarrow k^2(x+5)=3</math>. We can now draw a line through <math>A</math> and <math>I</math> that intersects <math>BC</math> at <math>E</math>. By mass points, we can assign a mass of <math>a</math> to <math>A</math>, <math>b</math> to <math>B</math>, and <math>a+b</math> to <math>D</math>. We can also assign a mass of <math>(a+b)k</math> to <math>C</math> by angle bisector theorem. So the ratio of <math>\frac{DI}{IC}=\frac{(a+b)k}{a+b}=k=\frac{2}{x}</math>. So since <math>k=\frac{2}{x}</math>, we can plug this back into the original equation to get <math>\left(\frac{2}{x}\right)^2(x+5)=3</math>. This means that <math>\frac{3x^2}{4}-x-5=0</math> which has roots -2 and <math>\frac{10}{3}</math> which means our <math>CI=\frac{10}{3}</math> and our answer is <math>\boxed{013}</math>. | ||
− | ==Solution | + | ==Solution 6== |
Since <math>\angle BCD</math> and <math>\angle BAD</math> both intercept arc <math>BD</math>, it follows that <math>\angle BAD=\gamma</math>. Note that <math>\angle AID=\alpha+\gamma</math> by the external angle theorem. It follows that <math>\angle DAI=\angle AID=\alpha+\gamma</math>, so we must have that <math>\triangle AID</math> is isosceles, yielding <math>AD=ID=5</math>. Note that <math>\triangle DLA \sim \triangle DAC</math>, so <math>\frac{DA}{DL} = \frac{DC}{DA}</math>. This yields <math>DC = \frac{25}{3}</math>. It follows that <math>CI = DC - DI = \frac{10}{3}</math>, giving a final answer of <math>\boxed{013}</math>. | Since <math>\angle BCD</math> and <math>\angle BAD</math> both intercept arc <math>BD</math>, it follows that <math>\angle BAD=\gamma</math>. Note that <math>\angle AID=\alpha+\gamma</math> by the external angle theorem. It follows that <math>\angle DAI=\angle AID=\alpha+\gamma</math>, so we must have that <math>\triangle AID</math> is isosceles, yielding <math>AD=ID=5</math>. Note that <math>\triangle DLA \sim \triangle DAC</math>, so <math>\frac{DA}{DL} = \frac{DC}{DA}</math>. This yields <math>DC = \frac{25}{3}</math>. It follows that <math>CI = DC - DI = \frac{10}{3}</math>, giving a final answer of <math>\boxed{013}</math>. | ||
− | ==Solution | + | ==Solution 7== |
Let <math>I_C</math> be the excenter opposite to <math>C</math> in <math>ABC</math>. By the incenter-excenter lemma <math>DI=DC \therefore</math> <math>LI_C=8,LI=2,II_C=10</math>. Its well known that <math>(I_C,I,L,C)=-1 \implies \dfrac{LI_C}{LI}.\dfrac{CI}{CI_C}=-1 \implies \dfrac{CI}{CI+10}=\dfrac{1}{4} \implies \boxed{CI=\dfrac{10}{3}}</math>.<math>\blacksquare</math> | Let <math>I_C</math> be the excenter opposite to <math>C</math> in <math>ABC</math>. By the incenter-excenter lemma <math>DI=DC \therefore</math> <math>LI_C=8,LI=2,II_C=10</math>. Its well known that <math>(I_C,I,L,C)=-1 \implies \dfrac{LI_C}{LI}.\dfrac{CI}{CI_C}=-1 \implies \dfrac{CI}{CI+10}=\dfrac{1}{4} \implies \boxed{CI=\dfrac{10}{3}}</math>.<math>\blacksquare</math> | ||
~Pluto1708 | ~Pluto1708 | ||
Line 59: | Line 64: | ||
(https://artofproblemsolving.com/community/c759169h1918283_geometry_problem) | (https://artofproblemsolving.com/community/c759169h1918283_geometry_problem) | ||
− | ==Solution | + | ==Solution 8== |
We can just say that quadrilateral <math>ADBC</math> is a right kite with right angles at <math>A</math> and <math>B</math>. Let us construct another similar right kite with the points of tangency on <math>AC</math> and <math>BC</math> called <math>E</math> and <math>F</math> respectively, point <math>I</math>, and point <math>C</math>. Note that we only have to look at one half of the circle since the diagram is symmetrical. Let us call <math>CI</math> <math>x</math> for simplicity's sake. Based on the fact that <math>\triangle BCD</math> is similar to <math>\triangle FCI</math> we can use triangle proportionality to say that <math>BD</math> is <math>2\frac{x+5}{x}</math>. Using geometric mean theorem we can show that <math>BL</math> must be <math>\sqrt{3x+6}</math>. With Pythagorean Theorem we can say that <math>3x+6+9=4{(\frac{x+5}{x})}^2</math>. Multiplying both sides by <math>x^2</math> and moving everything to LHS will give you <math>3{x}^3+11{x}^2-40x-100=0</math> Since <math>x</math> must be in the form <math>\frac{p}{q}</math> we can assume that <math>x</math> is most likely a positive fraction in the form <math>\frac{p}{3}</math> where <math>p</math> is a factor of <math>100</math>. Testing the factors in synthetic division would lead <math>x = \frac{10}{3}</math>, giving us our desired answer <math>\boxed{013}</math>. ~Lopkiloinm | We can just say that quadrilateral <math>ADBC</math> is a right kite with right angles at <math>A</math> and <math>B</math>. Let us construct another similar right kite with the points of tangency on <math>AC</math> and <math>BC</math> called <math>E</math> and <math>F</math> respectively, point <math>I</math>, and point <math>C</math>. Note that we only have to look at one half of the circle since the diagram is symmetrical. Let us call <math>CI</math> <math>x</math> for simplicity's sake. Based on the fact that <math>\triangle BCD</math> is similar to <math>\triangle FCI</math> we can use triangle proportionality to say that <math>BD</math> is <math>2\frac{x+5}{x}</math>. Using geometric mean theorem we can show that <math>BL</math> must be <math>\sqrt{3x+6}</math>. With Pythagorean Theorem we can say that <math>3x+6+9=4{(\frac{x+5}{x})}^2</math>. Multiplying both sides by <math>x^2</math> and moving everything to LHS will give you <math>3{x}^3+11{x}^2-40x-100=0</math> Since <math>x</math> must be in the form <math>\frac{p}{q}</math> we can assume that <math>x</math> is most likely a positive fraction in the form <math>\frac{p}{3}</math> where <math>p</math> is a factor of <math>100</math>. Testing the factors in synthetic division would lead <math>x = \frac{10}{3}</math>, giving us our desired answer <math>\boxed{013}</math>. ~Lopkiloinm | ||
− | ==Solution | + | ==Solution 9 (Cyclic Quadrilaterals)== |
<asy> | <asy> | ||
Line 93: | Line 98: | ||
label("$\gamma$",C,5*dir(midangle(I,C,B)),fontsize(8)); | label("$\gamma$",C,5*dir(midangle(I,C,B)),fontsize(8)); | ||
</asy> | </asy> | ||
− | + | Connect <math>D</math> to <math>A</math> and <math>D</math> to <math>B</math> to form quadrilateral <math>ACBD</math>. Since quadrilateral <math>ACBD</math> is cyclic, we can apply Ptolemy's Theorem on the quadrilateral. | |
− | + | Denote the length of <math>BD</math> and <math>AD</math> as <math>z</math> (they must be congruent, as <math>\angle ABD</math> and <math>\angle DAB</math> are both inscribed in arcs that have the same degree measure due to the angle bisector intersecting the circumcircle at <math>D</math>), and the lengths of <math>BC</math>, <math>AC</math>, <math>AB</math>, and <math>CI</math> as <math>a,b,c, x</math>, respectively. | |
After applying Ptolemy's, one will get that: | After applying Ptolemy's, one will get that: | ||
Line 117: | Line 122: | ||
-mathislife52 | -mathislife52 | ||
− | ==Solution | + | ==Solution 10(Visual)== |
[[File:2016 AIME I 6b.png|500px]] | [[File:2016 AIME I 6b.png|500px]] | ||
'''vladimir.shelomovskii@gmail.com, vvsss''' | '''vladimir.shelomovskii@gmail.com, vvsss''' | ||
− | ==Solution | + | ==Solution 11== |
Let <math>AB=c,BC=a,CA=b</math>, and <math>x=\tfrac{a+b}{c}</math>. Then, notice that <math>\tfrac{CI}{IL}=\tfrac{a+b}{c}=x</math>, so <math>CI=IL\cdot{}x=2x</math>. Also, by the incenter-excenter lemma, <math>AD=BD=ID=IL+LD=5</math>. Therefore, by Ptolemy's Theorem on cyclic quadrilateral <math>ABCD</math>, <math>5a+5b=c(2x+5)</math>, so <math>5\left(\tfrac{a+b}{c}\right)=2x+5</math>, so <math>5x=2x+5</math>. Solving, we get that <math>x=\tfrac{5}{3}</math>, so <math>CI=\tfrac{10}{3}</math> and the answer is <math>10+3=\boxed{013}</math>. | Let <math>AB=c,BC=a,CA=b</math>, and <math>x=\tfrac{a+b}{c}</math>. Then, notice that <math>\tfrac{CI}{IL}=\tfrac{a+b}{c}=x</math>, so <math>CI=IL\cdot{}x=2x</math>. Also, by the incenter-excenter lemma, <math>AD=BD=ID=IL+LD=5</math>. Therefore, by Ptolemy's Theorem on cyclic quadrilateral <math>ABCD</math>, <math>5a+5b=c(2x+5)</math>, so <math>5\left(\tfrac{a+b}{c}\right)=2x+5</math>, so <math>5x=2x+5</math>. Solving, we get that <math>x=\tfrac{5}{3}</math>, so <math>CI=\tfrac{10}{3}</math> and the answer is <math>10+3=\boxed{013}</math>. | ||
− | ==Solution | + | ==Solution 12== |
Perform a <math>\sqrt{bc}</math> Inversion followed by a reflection along the angle bisector of <math>\angle BCA</math>. | Perform a <math>\sqrt{bc}</math> Inversion followed by a reflection along the angle bisector of <math>\angle BCA</math>. | ||
Line 143: | Line 148: | ||
~kamatadu | ~kamatadu | ||
+ | |||
+ | |||
+ | ==Solution 13== | ||
+ | Without loss of generality, let <math>\triangle ABC</math> be isosceles. Note that by the incenter-excenter lemma, <math>DI = DA = DB.</math> Hence, <math>DA=DB=5.</math> Let the point of tangency of the incircle and <math>\overline{BC}</math> be <math>F</math> and the point of tangency of the incircle and <math>\overline{AC}</math> be <math>E.</math> We note that <math>\angle ALC = \angle BLC = 90^\circ</math> and <math>LA=LB=4,</math> which immediately gives <math>AE=BF=4.</math> Applying the Pythagorean Theorem on <math>\triangle ALC</math> and <math>\triangle IEC</math> gives <math>2^2+x^2=y^2</math> and <math>4^2+(2+y)^2 = (4+x)^2.</math> Solving for <math>y</math> gives us <math>y=\frac{10}{3}.</math> Therefore, <math>IC = \frac{10}{3}</math> so the answer is <math>\boxed{13}.</math> | ||
+ | |||
+ | ~peelybonehead | ||
+ | |||
+ | ==Solution 14 (Trig)== | ||
+ | Let <math>C_1\in AB</math> be the point such that <math>IC_1\perp AB</math>, and let <math>D_1\in AB</math> be defined similarly for <math>D</math>. We know that <math>\triangle IC_1L\sim\triangle DD_1L</math>, so by triangle ratios <math>DD_1=\frac{3}{2}r</math>, where <math>r</math> is the inradius. Additionally, by cyclic quadrilaterals, we know that <math>\angle BAD=\angle DAB=\frac{\gamma}{2}</math>, where <math>\gamma</math> is equivalent to <math>\angle ACB</math>. Thus <math>\triangle ADB</math> is isosceles and <math>DD_1</math> is the perpendicular bisector of the triangle, so <math>AD_1=\frac{c}{2}</math>. Since <math>\tan\left(\frac{\gamma}{2}\right)=\sqrt{\frac{(s-a)(s-b)}{s(s-c)}}</math> from formulas (where <math>s</math> is half the perimeter of <math>\triangle ABC</math>) and since <math>\tan\left(\frac{\gamma}{2}\right)=\frac{\frac{3}{2}r}{\frac{1}{2}c}</math> from <math>\triangle ADB</math>, we can set up an equation: | ||
+ | |||
+ | <math>\sqrt{\frac{(s-a)(s-b)}{s(s-c)}}=\frac{\frac{3}{2}r}{\frac{1}{2}c}\implies\frac{\sqrt{s(s-a)(s-b)(s-c)}}{s(s-c)}=\frac{3rs}{cs}\implies\frac{[ABC]}{s(s-c)}=\frac{3[ABC]}{cs}</math> | ||
+ | |||
+ | <math>\implies\frac{1}{s-c}=\frac{3}{c}\implies \frac{s}{c}=\frac{4}{3}</math> | ||
+ | |||
+ | Let <math>C_2\in AB</math> such that <math>CC_2\perp AB</math>. Then <math>CC_2=\frac{2[ABC]}{c}</math>. Using the area formula <math>[ABC]=rs</math> and our fact from above yields <math>CC_2=\frac{8}{3}r</math>. We then notice that <math>\triangle CC_2L\sim\triangle IC_1L</math>, so if we let <math>x=CI</math>, by triangle ratios we find that <math>\frac{\frac{8}{3}r}{x+2}=\frac{r}{2}</math>, leading to <math>x=\frac{10}{3}</math>. Thus the answer is <math>10+3=\boxed{013}</math>. | ||
+ | |||
+ | ~eevee9406 | ||
== See also == | == See also == | ||
{{AIME box|year=2016|n=I|num-b=5|num-a=7}} | {{AIME box|year=2016|n=I|num-b=5|num-a=7}} | ||
{{MAA Notice}} | {{MAA Notice}} |
Latest revision as of 07:39, 5 January 2025
Contents
Problem
In let
be the center of the inscribed circle, and let the bisector of
intersect
at
. The line through
and
intersects the circumscribed circle of
at the two points
and
. If
and
, then
, where
and
are relatively prime positive integers. Find
.
Solution 1
Suppose we label the angles as shown below.
As
and
intercept the same arc, we know that
. Similarly,
. Also, using
, we find
. Therefore,
, so
must be isosceles with
. Similarly,
. Then
, hence
. Also,
bisects
, so by the Angle Bisector Theorem
. Thus
, and the answer is
.
Solution 2 (Incenter/Excenter)
See the diagram in Solution 1.
Let 's
-excenter be
. Since
is an angle bisector,
, meaning that
is the midpoint of arc
. By the Incenter/Excenter Lemma,
, and applying Power of a Point on circle
gives
. Applying Power of a Point again on
's circumcircle gives
, and since
,
. Thus
. We submit
.
- NamelyOrange
Solution 3
WLOG assume is isosceles. Then,
is the midpoint of
, and
. Draw the perpendicular from
to
, and let it meet
at
. Since
,
is also
(they are both inradii). Set
as
. Then, triangles
and
are similar, and
. Thus,
.
, so
. Thus
. Solving for
, we have:
, or
.
is positive, so
. As a result,
and the answer is
Solution 4
WLOG assume is isosceles (with vertex
). Let
be the center of the circumcircle,
the circumradius, and
the inradius. A simple sketch will reveal that
must be obtuse (as an acute triangle will result in
being greater than
) and that
and
are collinear. Next, if
,
and
. Euler gives us that
, and in this case,
. Thus,
. Solving for
, we have
, then
, yielding
. Next,
so
. Finally,
gives us
, and
. Our answer is then
.
Solution 5
Since and
,
. Also,
and
so
. Now we can call
,
and
,
. By angle bisector theorem,
. So let
and
for some value of
. Now call
. By the similar triangles we found earlier,
and
. We can simplify this to
and
. So we can plug the
into the first equation and get
. We can now draw a line through
and
that intersects
at
. By mass points, we can assign a mass of
to
,
to
, and
to
. We can also assign a mass of
to
by angle bisector theorem. So the ratio of
. So since
, we can plug this back into the original equation to get
. This means that
which has roots -2 and
which means our
and our answer is
.
Solution 6
Since and
both intercept arc
, it follows that
. Note that
by the external angle theorem. It follows that
, so we must have that
is isosceles, yielding
. Note that
, so
. This yields
. It follows that
, giving a final answer of
.
Solution 7
Let be the excenter opposite to
in
. By the incenter-excenter lemma
. Its well known that
.
~Pluto1708
Alternate solution: We can use the angle bisector theorem on and bisector
to get that
. Since
, we get
. Thus,
and
.
(https://artofproblemsolving.com/community/c759169h1918283_geometry_problem)
Solution 8
We can just say that quadrilateral is a right kite with right angles at
and
. Let us construct another similar right kite with the points of tangency on
and
called
and
respectively, point
, and point
. Note that we only have to look at one half of the circle since the diagram is symmetrical. Let us call
for simplicity's sake. Based on the fact that
is similar to
we can use triangle proportionality to say that
is
. Using geometric mean theorem we can show that
must be
. With Pythagorean Theorem we can say that
. Multiplying both sides by
and moving everything to LHS will give you
Since
must be in the form
we can assume that
is most likely a positive fraction in the form
where
is a factor of
. Testing the factors in synthetic division would lead
, giving us our desired answer
. ~Lopkiloinm
Solution 9 (Cyclic Quadrilaterals)
Connect
to
and
to
to form quadrilateral
. Since quadrilateral
is cyclic, we can apply Ptolemy's Theorem on the quadrilateral.
Denote the length of and
as
(they must be congruent, as
and
are both inscribed in arcs that have the same degree measure due to the angle bisector intersecting the circumcircle at
), and the lengths of
,
,
, and
as
, respectively.
After applying Ptolemy's, one will get that:
Next, since is cyclic, triangles
and
are similar, yielding the following equation once simplifications are made to the equation
, with the length of
written in terms of
using the angle bisector theorem on triangle
:
Next, drawing in the bisector of to the incenter
, and applying the angle bisector theorem, we have that:
Now, solving for in the second equation, and
in the third equation and plugging them both back into the first equation, and making the substitution
, we get the quadratic equation:
Solving, we get , which gives
and
, when we rewrite the above equations in terms of
. Thus, our answer is
and we're done.
-mathislife52
Solution 10(Visual)
vladimir.shelomovskii@gmail.com, vvsss
Solution 11
Let , and
. Then, notice that
, so
. Also, by the incenter-excenter lemma,
. Therefore, by Ptolemy's Theorem on cyclic quadrilateral
,
, so
, so
. Solving, we get that
, so
and the answer is
.
Solution 12
Perform a Inversion followed by a reflection along the angle bisector of
.
It's well known that
where
is the
excenter.
Also by Fact 5, .
So,
~kamatadu
Solution 13
Without loss of generality, let be isosceles. Note that by the incenter-excenter lemma,
Hence,
Let the point of tangency of the incircle and
be
and the point of tangency of the incircle and
be
We note that
and
which immediately gives
Applying the Pythagorean Theorem on
and
gives
and
Solving for
gives us
Therefore,
so the answer is
~peelybonehead
Solution 14 (Trig)
Let be the point such that
, and let
be defined similarly for
. We know that
, so by triangle ratios
, where
is the inradius. Additionally, by cyclic quadrilaterals, we know that
, where
is equivalent to
. Thus
is isosceles and
is the perpendicular bisector of the triangle, so
. Since
from formulas (where
is half the perimeter of
) and since
from
, we can set up an equation:
Let such that
. Then
. Using the area formula
and our fact from above yields
. We then notice that
, so if we let
, by triangle ratios we find that
, leading to
. Thus the answer is
.
~eevee9406
See also
2016 AIME I (Problems • Answer Key • Resources) | ||
Preceded by Problem 5 |
Followed by Problem 7 | |
1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15 | ||
All AIME Problems and Solutions |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.