Difference between revisions of "2021 AIME I Problems/Problem 13"

m (Solution 2)
Line 2: Line 2:
 
Circles <math>\omega_1</math> and <math>\omega_2</math> with radii <math>961</math> and <math>625</math>, respectively, intersect at distinct points <math>A</math> and <math>B</math>. A third circle <math>\omega</math> is externally tangent to both <math>\omega_1</math> and <math>\omega_2</math>. Suppose line <math>AB</math> intersects <math>\omega</math> at two points <math>P</math> and <math>Q</math> such that the measure of minor arc <math>\widehat{PQ}</math> is <math>120^{\circ}</math>. Find the distance between the centers of <math>\omega_1</math> and <math>\omega_2</math>.
 
Circles <math>\omega_1</math> and <math>\omega_2</math> with radii <math>961</math> and <math>625</math>, respectively, intersect at distinct points <math>A</math> and <math>B</math>. A third circle <math>\omega</math> is externally tangent to both <math>\omega_1</math> and <math>\omega_2</math>. Suppose line <math>AB</math> intersects <math>\omega</math> at two points <math>P</math> and <math>Q</math> such that the measure of minor arc <math>\widehat{PQ}</math> is <math>120^{\circ}</math>. Find the distance between the centers of <math>\omega_1</math> and <math>\omega_2</math>.
  
==Solution 1==
+
==Solution 1 (Properties of Radical Axis)==
 
Let <math>O_i</math> and <math>r_i</math> be the center and radius of <math>\omega_i</math>, and let <math>O</math> and <math>r</math> be the center and radius of <math>\omega</math>.
 
Let <math>O_i</math> and <math>r_i</math> be the center and radius of <math>\omega_i</math>, and let <math>O</math> and <math>r</math> be the center and radius of <math>\omega</math>.
  
Line 57: Line 57:
 
Therefore, <math>d=2(r_2-r_1) = 2(961-625)=\boxed{672}</math>.
 
Therefore, <math>d=2(r_2-r_1) = 2(961-625)=\boxed{672}</math>.
  
==Solution 2==
+
==Solution 2 (Linearity)==
 +
Let <math>O_{1}</math> and <math>O_{2}</math> be the centers of <math>\omega_{1}</math> and <math>\omega_{2}</math> respectively, and let <math>O</math> be the center of <math>\omega</math>. Then, the distance from <math>O</math> to the radical axis <math>\ell\equiv\overline{AB}</math> of <math>\omega_{1}, \omega_{2}</math> is equal to <math>\frac{1}{2}r</math>. Let <math>x=O_{1}O_{2}</math> and <math>O^{\prime}</math> the orthogonal projection of <math>O</math> onto line <math>\ell</math>. Define the function <math>f:\mathbb{R}^{2}\rightarrow\mathbb{R}</math> by <cmath>f(X)=\text{Pow}_{\omega_{1}}(X)-\text{Pow}_{\omega_{2}}(X).</cmath> Then <cmath>\begin{align*} f(O_{1})=-961^{2}-(x-625)(x+625)&=-x^{2}+625^{2}-961^{2}, \\ f(O_{2})=(x-961)(x+961)-(-625^{2})&=x^{2}+625^{2}-961^{2}, \\ f(O)=r(r+2\cdot961)-r(r+2\cdot625)&=672r, \\ f(O^{\prime})&=0. \end{align*}</cmath> By [https://services.artofproblemsolving.com/download.php?id=YXR0YWNobWVudHMvMC84LzkzZjZjZmFlMGViY2E3MDMxNWQzY2IzNzFlZTk5NWFmOTM5ZGY1LnBkZg==&rn=TGluZWFyaXR5IG9mIFBvd2VyIG9mIGEgUG9pbnQucGRm Linearity of Power of a Point], <cmath>\frac{f(O_{2})-f(O_{1})}{f(O)-f(O^{\prime})}=\frac{O_{2}O_{1}}{OO^{\prime}}=\frac{x}{\tfrac{1}{2}r}=\frac{2x}{r}.</cmath> Notice that <math>f(O_{2})-f(O_{1})=2x^{2}</math> and <math>f(O)-f(O^{\prime})=672r</math>, thus <cmath>\begin{align*}\frac{2x^{2}}{672r}&=\frac{2x}{r} \\ 2\cdot x^{2}\cdot r&=2\cdot x\cdot 672\cdot r \\ x^{2}&=672\cdot x \\ x&=\boxed{672}\end{align*}</cmath> since <math>r</math> is nonzero.
 +
 
 +
==Solution 3==
 
Denote by <math>O_1</math>, <math>O_2</math>, and <math>O</math> the centers of <math>\omega_1</math>, <math>\omega_2</math>, and <math>\omega</math>, respectively. Let <math>R_1 = 961</math> and <math>R_2 = 625</math> denote the radii of <math>\omega_1</math> and <math>\omega_2</math> respectively, <math>r</math> be the radius of <math>\omega</math>, and <math>\ell</math> the distance from <math>O</math> to the line <math>AB</math>. We claim that<cmath>\dfrac{\ell}{r} = \dfrac{R_2-R_1}{d},</cmath>where <math>d = O_1O_2</math>. This solves the problem, for then the <math>\widehat{PQ} = 120^\circ</math> condition implies <math>\tfrac{\ell}r = \cos 60^\circ = \tfrac{1}{2}</math>, and then we can solve to get <math>d = \boxed{672}</math>.
 
Denote by <math>O_1</math>, <math>O_2</math>, and <math>O</math> the centers of <math>\omega_1</math>, <math>\omega_2</math>, and <math>\omega</math>, respectively. Let <math>R_1 = 961</math> and <math>R_2 = 625</math> denote the radii of <math>\omega_1</math> and <math>\omega_2</math> respectively, <math>r</math> be the radius of <math>\omega</math>, and <math>\ell</math> the distance from <math>O</math> to the line <math>AB</math>. We claim that<cmath>\dfrac{\ell}{r} = \dfrac{R_2-R_1}{d},</cmath>where <math>d = O_1O_2</math>. This solves the problem, for then the <math>\widehat{PQ} = 120^\circ</math> condition implies <math>\tfrac{\ell}r = \cos 60^\circ = \tfrac{1}{2}</math>, and then we can solve to get <math>d = \boxed{672}</math>.
 
<asy>
 
<asy>
Line 86: Line 89:
 
Denote by <math>O_1</math> and <math>O_2</math> the centers of <math>\omega_1</math> and <math>\omega_2</math> respectively. Set <math>X</math> as the projection of <math>O</math> onto <math>O_1O_2</math>, and denote by <math>Y</math> the intersection of <math>AB</math> with <math>O_1O_2</math>. Note that <math>\ell = XY</math>. Now recall that<cmath>d(O_2Y-O_1Y) = O_2Y^2 - O_1Y^2 = R_2^2 - R_1^2.</cmath>Furthermore, note that<cmath>\begin{align*}d(O_2X - O_1X) &= O_2X^2 - O_1X^2= O_2O^2 - O_1O^2 \\ &= (R_2 + r)^2 - (R_1+r)^2 = (R_2^2 - R_1^2) + 2r(R_2 - R_1).\end{align*}</cmath>Substituting the first equality into the second one and subtracting yields<cmath>2r(R_2 - R_1) = d(O_2X - O_1X) - d(O_2Y - O_1Y) = 2dXY,</cmath>which rearranges to the desired.
 
Denote by <math>O_1</math> and <math>O_2</math> the centers of <math>\omega_1</math> and <math>\omega_2</math> respectively. Set <math>X</math> as the projection of <math>O</math> onto <math>O_1O_2</math>, and denote by <math>Y</math> the intersection of <math>AB</math> with <math>O_1O_2</math>. Note that <math>\ell = XY</math>. Now recall that<cmath>d(O_2Y-O_1Y) = O_2Y^2 - O_1Y^2 = R_2^2 - R_1^2.</cmath>Furthermore, note that<cmath>\begin{align*}d(O_2X - O_1X) &= O_2X^2 - O_1X^2= O_2O^2 - O_1O^2 \\ &= (R_2 + r)^2 - (R_1+r)^2 = (R_2^2 - R_1^2) + 2r(R_2 - R_1).\end{align*}</cmath>Substituting the first equality into the second one and subtracting yields<cmath>2r(R_2 - R_1) = d(O_2X - O_1X) - d(O_2Y - O_1Y) = 2dXY,</cmath>which rearranges to the desired.
  
==Solution 3 (Inversion)==
+
==Solution 4 (Quick)==
WLOG assume <math>\omega</math> is a line. Note the angle condition is equivalent to the angle between <math>AB</math> and <math>\omega</math> being <math>60^\circ</math>. We claim the angle between <math>AB</math> and <math>\omega</math> is fixed as <math>\omega</math> varies.
 
 
 
Proof: Perform an inversion at <math>A</math>, sending <math>\omega_1</math> and <math>\omega_2</math> to two lines <math>\ell_1</math> and <math>\ell_2</math> intersecting at <math>B'</math>. Then <math>\omega</math> is sent to a circle tangent to lines <math>\ell_1</math> and <math>\ell_2</math>, which clearly intersects <math>AB'</math> at a fixed angle. Therefore the angle between <math>AB</math> and <math>\omega</math> is fixed as <math>\omega</math> varies.
 
 
 
Now simply take <math>\omega</math> to be a line. If <math>\omega</math> intersects <math>\omega_1</math> and <math>\omega_2</math> and <math>X,Y</math>, respectively, and the circles' centers are <math>O_1</math> and <math>O_2</math>, then the projection of <math>O_2</math> to <math>O_1X</math> at <math>F</math> gives that <math>O_2FO_1</math> is a <math>30\text{-}60\text{-}90</math> triangle. Therefore,<cmath>O_1O_2=2O_1F=2(O_1X-O_2Y)=2(961-625)=\boxed{672}.</cmath>
 
 
 
~spartacle
 
 
 
==Solution 4 (Radical Axis, Harmonic Quadrilaterals, and Similar Triangles)==
 
 
Suppose we label the points as shown [https://services.artofproblemsolving.com/download.php?id=YXR0YWNobWVudHMvNC9mLzRiM2JjYThjYmZlY2ViZGI0ODhjYzE4YzMyMmM0M2QyOTZlMmU5LmpwZw==&rn=MTU4ODUxMDg3XzczMDI0ODE4MTAwNjA5N184NDQzMjQxMjM3MDQ2NzQ5NjM4X24uanBn here]. By radical axis, the tangents to <math>\omega</math> at <math>D</math> and <math>E</math> intersect on <math>AB</math>. Thus <math>PDQE</math> is harmonic, so the tangents to <math>\omega</math> at <math>P</math> and <math>Q</math> intersect at <math>X \in DE</math>. Moreover, <math>OX \parallel O_1O_2</math> because both <math>OX</math> and <math>O_1O_2</math> are perpendicular to <math>AB</math>, and <math>OX = 2OP</math> because <math>\angle POQ = 120^{\circ}</math>. Thus<cmath>O_1O_2 = O_1Y - O_2Y = 2 \cdot 961 - 2\cdot 625 = \boxed{672}</cmath>by similar triangles.
 
Suppose we label the points as shown [https://services.artofproblemsolving.com/download.php?id=YXR0YWNobWVudHMvNC9mLzRiM2JjYThjYmZlY2ViZGI0ODhjYzE4YzMyMmM0M2QyOTZlMmU5LmpwZw==&rn=MTU4ODUxMDg3XzczMDI0ODE4MTAwNjA5N184NDQzMjQxMjM3MDQ2NzQ5NjM4X24uanBn here]. By radical axis, the tangents to <math>\omega</math> at <math>D</math> and <math>E</math> intersect on <math>AB</math>. Thus <math>PDQE</math> is harmonic, so the tangents to <math>\omega</math> at <math>P</math> and <math>Q</math> intersect at <math>X \in DE</math>. Moreover, <math>OX \parallel O_1O_2</math> because both <math>OX</math> and <math>O_1O_2</math> are perpendicular to <math>AB</math>, and <math>OX = 2OP</math> because <math>\angle POQ = 120^{\circ}</math>. Thus<cmath>O_1O_2 = O_1Y - O_2Y = 2 \cdot 961 - 2\cdot 625 = \boxed{672}</cmath>by similar triangles.
  

Revision as of 21:16, 7 June 2022

Problem

Circles $\omega_1$ and $\omega_2$ with radii $961$ and $625$, respectively, intersect at distinct points $A$ and $B$. A third circle $\omega$ is externally tangent to both $\omega_1$ and $\omega_2$. Suppose line $AB$ intersects $\omega$ at two points $P$ and $Q$ such that the measure of minor arc $\widehat{PQ}$ is $120^{\circ}$. Find the distance between the centers of $\omega_1$ and $\omega_2$.

Solution 1 (Properties of Radical Axis)

Let $O_i$ and $r_i$ be the center and radius of $\omega_i$, and let $O$ and $r$ be the center and radius of $\omega$.

Since $\overline{AB}$ extends to an arc with arc $120^\circ$, the distance from $O$ to $\overline{AB}$ is $r/2$. Let $X=\overline{AB}\cap \overline{O_1O_2}$. Consider $\triangle OO_1O_2$. The line $\overline{AB}$ is perpendicular to $\overline{O_1O_2}$ and passes through $X$. Let $H$ be the foot from $O$ to $\overline{O_1O_2}$; so $HX=r/2$. We have by tangency $OO_1=r+r_1$ and $OO_2=r+r_2$. Let $O_1O_2=d$. [asy] unitsize(3cm); pointpen=black; pointfontpen=fontsize(9);  pair A=dir(110), B=dir(230), C=dir(310);   DPA(A--B--C--A);    pair H = foot(A, B, C);  draw(A--H); pair X = 0.3*B + 0.7*C; pair Y = A+X-H; draw(X--1.3*Y-0.3*X); draw(A--Y, dotted);  pair R1 = 1.3*X-0.3*Y; pair R2 = 0.7*X+0.3*Y; draw(R1--X);   D("O",A,dir(A)); D("O_1",B,dir(B)); D("O_2",C,dir(C)); D("H",H,dir(270)); D("X",X,dir(225)); D("A",R1,dir(180)); D("B",R2,dir(180));  draw(rightanglemark(Y,X,C,3));   [/asy] Since $X$ is on the radical axis of $\omega_1$ and $\omega_2$, it has equal power with respect to both circles, so \[O_1X^2 - r_1^2 = O_2X^2-r_2^2 \implies O_1X-O_2X = \frac{r_1^2-r_2^2}{d}\]since $O_1X+O_2X=d$. Now we can solve for $O_1X$ and $O_2X$, and in particular, \begin{align*} O_1H &= O_1X - HX = \frac{d+\frac{r_1^2-r_2^2}{d}}{2} - \frac{r}{2} \\ O_2H &= O_2X + HX = \frac{d-\frac{r_1^2-r_2^2}{d}}{2} + \frac{r}{2}.  \end{align*} We want to solve for $d$. By the Pythagorean Theorem (twice): \begin{align*} &\qquad -OH^2 = O_2H^2 - (r+r_2)^2 = O_1H^2 - (r+r_1)^2 \\ &\implies \left(d+r-\tfrac{r_1^2-r_2^2}{d}\right)^2 - 4(r+r_2)^2 = \left(d-r+\tfrac{r_1^2-r_2^2}{d}\right)^2 - 4(r+r_1)^2 \\ &\implies 2dr - 2(r_1^2-r_2)^2-8rr_2-4r_2^2 = -2dr+2(r_1^2-r_2^2)-8rr_1-4r_1^2 \\ &\implies 4dr = 8rr_2-8rr_1 \\ &\implies d=2r_2-2r_1 \end{align*} Therefore, $d=2(r_2-r_1) = 2(961-625)=\boxed{672}$.

Solution 2 (Linearity)

Let $O_{1}$ and $O_{2}$ be the centers of $\omega_{1}$ and $\omega_{2}$ respectively, and let $O$ be the center of $\omega$. Then, the distance from $O$ to the radical axis $\ell\equiv\overline{AB}$ of $\omega_{1}, \omega_{2}$ is equal to $\frac{1}{2}r$. Let $x=O_{1}O_{2}$ and $O^{\prime}$ the orthogonal projection of $O$ onto line $\ell$. Define the function $f:\mathbb{R}^{2}\rightarrow\mathbb{R}$ by \[f(X)=\text{Pow}_{\omega_{1}}(X)-\text{Pow}_{\omega_{2}}(X).\] Then \begin{align*} f(O_{1})=-961^{2}-(x-625)(x+625)&=-x^{2}+625^{2}-961^{2}, \\ f(O_{2})=(x-961)(x+961)-(-625^{2})&=x^{2}+625^{2}-961^{2}, \\ f(O)=r(r+2\cdot961)-r(r+2\cdot625)&=672r, \\ f(O^{\prime})&=0. \end{align*} By Linearity of Power of a Point, \[\frac{f(O_{2})-f(O_{1})}{f(O)-f(O^{\prime})}=\frac{O_{2}O_{1}}{OO^{\prime}}=\frac{x}{\tfrac{1}{2}r}=\frac{2x}{r}.\] Notice that $f(O_{2})-f(O_{1})=2x^{2}$ and $f(O)-f(O^{\prime})=672r$, thus \begin{align*}\frac{2x^{2}}{672r}&=\frac{2x}{r} \\ 2\cdot x^{2}\cdot r&=2\cdot x\cdot 672\cdot r \\ x^{2}&=672\cdot x \\ x&=\boxed{672}\end{align*} since $r$ is nonzero.

Solution 3

Denote by $O_1$, $O_2$, and $O$ the centers of $\omega_1$, $\omega_2$, and $\omega$, respectively. Let $R_1 = 961$ and $R_2 = 625$ denote the radii of $\omega_1$ and $\omega_2$ respectively, $r$ be the radius of $\omega$, and $\ell$ the distance from $O$ to the line $AB$. We claim that\[\dfrac{\ell}{r} = \dfrac{R_2-R_1}{d},\]where $d = O_1O_2$. This solves the problem, for then the $\widehat{PQ} = 120^\circ$ condition implies $\tfrac{\ell}r = \cos 60^\circ = \tfrac{1}{2}$, and then we can solve to get $d = \boxed{672}$. [asy] import olympiad; size(230pt); defaultpen(linewidth(0.8)+fontsize(10pt)); real r1 = 17, r2 = 27, d = 35, r = 18; pair O1 = origin, O2 = (d,0); path w1 = circle(origin,r1), w2 = circle((d,0),r2), w1p = circle(origin,r1+r), w2p = circle((d,0), r2 + r); pair[] X = intersectionpoints(w1,w2), Y = intersectionpoints(w1p,w2p); pair O = Y[1]; path w = circle(Y[1],r); pair Xp = 5 * X[1] - 4 * X[0]; pair[] P = intersectionpoints(Xp--X[0],w); label("$O_1$",origin,N); label("$O_2$",(d,0),N); label("$O$",Y[1],SW); draw(origin--Y[1]--(d,0)--cycle,gray(0.6)); pair T = foot(O,O1,O2), Tp = foot(O,X[0],X[1]); draw(Tp--O--T^^rightanglemark(O,T,O1,60)^^rightanglemark(O,Tp,X[0],60),gray(0.6)); draw(w^^w1^^w2^^P[0]--X[0]); dot(Y[1]^^origin^^(d,0)); label("$X$",T,N,gray(0.6)); label("$Y$",foot(X[0],O1,O2),NE,gray(0.6)); label("$\ell$",(O+Tp)/2,S,gray(0.6)); [/asy]

Denote by $O_1$ and $O_2$ the centers of $\omega_1$ and $\omega_2$ respectively. Set $X$ as the projection of $O$ onto $O_1O_2$, and denote by $Y$ the intersection of $AB$ with $O_1O_2$. Note that $\ell = XY$. Now recall that\[d(O_2Y-O_1Y) = O_2Y^2 - O_1Y^2 = R_2^2 - R_1^2.\]Furthermore, note that\begin{align*}d(O_2X - O_1X) &= O_2X^2 - O_1X^2= O_2O^2 - O_1O^2 \\ &= (R_2 + r)^2 - (R_1+r)^2 = (R_2^2 - R_1^2) + 2r(R_2 - R_1).\end{align*}Substituting the first equality into the second one and subtracting yields\[2r(R_2 - R_1) = d(O_2X - O_1X) - d(O_2Y - O_1Y) = 2dXY,\]which rearranges to the desired.

Solution 4 (Quick)

Suppose we label the points as shown here. By radical axis, the tangents to $\omega$ at $D$ and $E$ intersect on $AB$. Thus $PDQE$ is harmonic, so the tangents to $\omega$ at $P$ and $Q$ intersect at $X \in DE$. Moreover, $OX \parallel O_1O_2$ because both $OX$ and $O_1O_2$ are perpendicular to $AB$, and $OX = 2OP$ because $\angle POQ = 120^{\circ}$. Thus\[O_1O_2 = O_1Y - O_2Y = 2 \cdot 961 - 2\cdot 625 = \boxed{672}\]by similar triangles.

~mathman3880

Solution 5 (Olympiad Geometry)

Let $O_i$ be the center of $\omega_i$ and $r_i$ the radius of $\omega_i$ for $i\in\{1,2\}$. Let $O_1O_2=x$ and $\omega$ have radius $r$. Let $O$ be the center of $\omega$. Then, the distance between $O$ and the radical axis of $\omega_1$ and $\omega_2$ is $\frac 12 r$. It is well-known that the function $f(\bullet)=\mbox{Pow}_{\omega_1}(\bullet)-\mbox{Pow}_{\omega_2}(\bullet)$ is linear (see here) and that to compute it, it suffices to project $\bullet$ onto line $O_1O_2$. Moreover, $f(O_2)-f(O_1)=x^2+x^2=2x^2$. Hence, we have \[2r[r_1-r_2]=r[r+2r_1]-r[r+2r_2]=f(O)=\pm \frac 12 r\cdot 2x^2\cdot \frac 1x = \pm xr.\]Cancel out $r$ to yield \[x=\pm 2[r_1-r_2] = \pm 672,\]so the answer is $\boxed{672}$.

~GeronimoStilton

Video Solution

Who wanted to see animated video solutions can see this. I found this really helpful.

https://youtu.be/YtZ8_7i833E

P.S: This video is not made by me. And solution is same like below solutions.

≈@rounak138

See Also

2021 AIME I (ProblemsAnswer KeyResources)
Preceded by
Problem 12
Followed by
Problem 14
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. AMC logo.png