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

2023 AIME I Problems/Problem 12

Revision as of 22:54, 14 March 2023 by MRENTHUSIASM (talk | contribs) (→‎Video Solution by MOP 2024)

Problem

Let $\triangle ABC$ be an equilateral triangle with side length $55.$ Points $D,$ $E,$ and $F$ lie on $\overline{BC},$ $\overline{CA},$ and $\overline{AB},$ respectively, with $BD = 7,$ $CE=30,$ and $AF=40.$ Point $P$ inside $\triangle ABC$ has the property that \[\angle AEP = \angle BFP = \angle CDP.\] Find $\tan^2(\angle AEP).$

Diagram

[asy] /* Made by MRENTHUSIASM */ size(400); pair A, B, C, D, E, F, P; A = 55*sqrt(3)/3 * dir(90); B = 55*sqrt(3)/3 * dir(210); C = 55*sqrt(3)/3 * dir(330); D = B + 7*dir(0); E = A + 25*dir(C-A); F = A + 40*dir(B-A); P = intersectionpoints(Circle(D,54*sqrt(19)/19),Circle(F,5*sqrt(19)/19))[0]; draw(anglemark(A,E,P,20),red); draw(anglemark(B,F,P,20),red); draw(anglemark(C,D,P,20),red); add(pathticks(anglemark(A,E,P,20), n = 1, r = 0.2, s = 12, red)); add(pathticks(anglemark(B,F,P,20), n = 1, r = 0.2, s = 12, red)); add(pathticks(anglemark(C,D,P,20), n = 1, r = 0.2, s = 12, red)); draw(A--B--C--cycle^^P--E^^P--F^^P--D); dot("$A$",A,1.5*dir(A),linewidth(4)); dot("$B$",B,1.5*dir(B),linewidth(4)); dot("$C$",C,1.5*dir(C),linewidth(4)); dot("$D$",D,1.5*S,linewidth(4)); dot("$E$",E,1.5*dir(30),linewidth(4)); dot("$F$",F,1.5*dir(150),linewidth(4)); dot("$P$",P,1.5*dir(-30),linewidth(4)); label("$7$",midpoint(B--D),1.5*S,red); label("$30$",midpoint(C--E),1.5*dir(30),red); label("$40$",midpoint(A--F),1.5*dir(150),red); [/asy] ~MRENTHUSIASM

Solution 1 (Coordinates Bash)

By Miquel's theorem, $P=(AEF)\cap(BFD)\cap(CDE)$ (intersection of circles). The law of cosines can be used to compute $DE=42$, $EF=35$, and $FD=13$. Toss the points on the coordinate plane; let $B=(-7, 0)$, $D=(0, 0)$, and $C=(48, 0)$, where we will find $\tan^{2}\left(\measuredangle CDP\right)$ with $P=(BFD)\cap(CDE)$.

By the extended law of sines, the radius of circle $(BFD)$ is $\frac{13}{2\sin 60^{\circ}}=\frac{13}{3}\sqrt{3}$. Its center lies on the line $x=-\frac{7}{2}$, and the origin is a point on it, so $y=\frac{23}{6}\sqrt{3}$.

The radius of circle $(CDE)$ is $\frac{42}{2\sin 60^{\circ}}=14\sqrt{3}$. The origin is also a point on it, and its center is on the line $x=24$, so $y=2\sqrt{3}$.

The equations of the two circles are \begin{align*}(BFD)&:\left(x+\tfrac{7}{2}\right)^{2}+\left(y-\tfrac{23}{6}\sqrt{3}\right)^{2}=\tfrac{169}{3} \\ (CDE)&:\left(x-24\right)^{2}+\left(y-2\sqrt{3}\right)^{2}=588\end{align*} These equations simplify to \begin{align*}(BFD)&:x^{2}+7x+y^{2}-\tfrac{23}{3}\sqrt{3}y=0 \\ (CDE)&: x^{2}-48x+y^{2}-4\sqrt{3}y=0\end{align*} Subtracting these two equations gives that both their points of intersection, $D$ and $P$, lie on the line $55x-\tfrac{11}{3}\sqrt{3}y=0$. Hence, $\tan^{2}\left(\measuredangle AEP\right)=\tan^{2}\left(\measuredangle CDP\right)=\left(\frac{55}{\tfrac{11}{3}\sqrt{3}}\right)^{2}=3\left(\tfrac{55}{11}\right)^{2}=\boxed{075}$. To scale, the configuration looks like the figure below: [asy] /* Made by MRENTHUSIASM */ size(400); pair A, B, C, D, E, F, P; A = 55*sqrt(3)/3 * dir(90); B = 55*sqrt(3)/3 * dir(210); C = 55*sqrt(3)/3 * dir(330); D = B + 7*dir(0); E = A + 25*dir(C-A); F = A + 40*dir(B-A); P = intersectionpoints(Circle(D,54*sqrt(19)/19),Circle(F,5*sqrt(19)/19))[0]; filldraw(D--E--F--cycle,yellow); draw(A--B--C--cycle); draw(circumcircle(A,E,F)^^circumcircle(B,D,F)^^circumcircle(C,D,E),blue); dot("$A$",A,1.5*dir(A),linewidth(4)); dot("$B$",B,1.5*dir(B),linewidth(4)); dot("$C$",C,1.5*dir(C),linewidth(4)); dot("$D$",D,1.5*S,linewidth(4)); dot("$E$",E,1.5*dir(30),linewidth(4)); dot("$F$",F,1.5*dir(150),linewidth(4)); dot("$P$",P,1.5*dir(-30),linewidth(4)); label("$7$",midpoint(B--D),1.5*S,red); label("$30$",midpoint(C--E),1.5*dir(30),red); label("$40$",midpoint(A--F),1.5*dir(150),red); [/asy]

Solution 2 (Vectors/Complex)

Denote $\theta = \angle AEP$.

In $AFPE$, we have $\overrightarrow{AF} + \overrightarrow{FP} + \overrightarrow{PE} + \overrightarrow{EA} = 0$. Thus, \[ AF + FP e^{i \theta} + PE e^{i \left( \theta + 60^\circ \right)} + EA e^{- i 120^\circ} = 0. \]

Taking the real and imaginary parts, we get \begin{align*} AF + FP \cos \theta + PE \cos \left( \theta + 60^\circ \right) + EA \cos \left( - 120^\circ \right) & = 0 \hspace{1cm} (1) \\ FP \sin \theta + PE \sin \left( \theta + 60^\circ \right) + EA \sin \left( - 120^\circ \right) & = 0 \hspace{1cm} (2) \end{align*}

In $BDPF$, analogous to the analysis of $AFPE$ above, we get \begin{align*} BD + DP \cos \theta + PF \cos \left( \theta + 60^\circ \right) + FB \cos \left( - 120^\circ \right) & = 0 \hspace{1cm} (3) \\ DP \sin \theta + PF \sin \left( \theta + 60^\circ \right) + FB \sin \left( - 120^\circ \right) & = 0 \hspace{1cm} (4) \end{align*}

Taking $(1) \cdot \sin \left( \theta + 60^\circ \right) - (2) \cdot \cos \left( \theta + 60^\circ \right)$, we get \[ AF \sin \left( \theta + 60^\circ \right) + \frac{\sqrt{3}}{2} FP - EA \sin \theta = 0 . \hspace{1cm} (5) \]

Taking $(3) \cdot \sin \theta - (4) \cdot \cos \theta$, we get \[ BD \sin \theta - \frac{\sqrt{3}}{2} FP + FB \sin \left( \theta + 120^\circ \right) . \hspace{1cm} (6) \]

Taking $(5) + (6)$, we get \[ AF \sin \left( \theta + 60^\circ \right) - EA \sin \theta + BD \sin \theta + FB \sin \left( \theta + 120^\circ \right) . \]

Therefore, \begin{align*} \tan \theta & = \frac{\frac{\sqrt{3}}{2} \left( AF + FB \right)} {\frac{FB}{2} + EA - \frac{AF}{2} - BD} \\ & = 5 \sqrt{3} . \end{align*}

Therefore, $\tan^2 \theta = \boxed{075}$.

~Steven Chen (Professor Chen Education Palace, www.professorchenedu.com)

Solution 3 (Synthetic)

Drop the perpendiculars from $P$ to $\overline{AB}$, $\overline{AC}$, $\overline{BC}$, and call them $Q,R,$ and $S$ respectively. This gives us three similar right triangles $FQP$, $ERP$, and $DSP.$

The sum of the perpendiculars to a point $P$ within an equilateral triangle is always constant, so we have that $PQ+PR+PS=\dfrac{55 \sqrt{3}}{2}.$

The sum of the lengths of the alternating segments split by the perpendiculars from a point $P$ within an equilateral triangle is always equal to half the perimeter, so $QA+RC+SB = \dfrac{165}{2},$ which means that $FQ+ER+DS = QA+RC+SB - CE - AF - BD = \dfrac{165}{2} - 30 - 40 - 7 = \dfrac{11}{2}.$

Finally, $\tan AEP = \dfrac{PQ}{FQ} = \dfrac{PR}{ER} = \dfrac{PS}{DS} = \dfrac{PQ+PR+PS}{FQ+ER+DS} = 5 \sqrt{3}.$

Thus, $\tan^2 AEP = \boxed{075}.$

~anon

Solution 4 (Law of Cosines)

This solution is inspired by AIME 1999 Problem 14 Solution 2 (a similar question)

Draw line segments from $P$ to points $A$, $B$, and $C$. And label the angle measure of $\angle{BFP}$, $\angle{CDP}$, and $\angle{AEP}$ to be $\alpha$

Using Law of Cosines (note that $\cos{\angle{AFP}}=\cos{\angle{BDP}}=\cos{\angle{CEP}}=\cos{180^\circ-\alpha}=-\cos{\alpha}$)

\begin{align*} (1) \ BP^2 &= FP^2+15^2-2\cdot FP\cdot15\cdot\cos(\alpha)\\ (2) \ BP^2 &= DP^2+7^2+2\cdot DP\cdot7\cdot\cos(\alpha)\\ (3) \ CP^2 &= DP^2+48^2-2\cdot DP\cdot48\cdot\cos(\alpha)\\ (4) \ CP^2 &= EP^2+30^2+2\cdot EP\cdot30\cdot\cos(\alpha)\\ (5) \ AP^2 &= EP^2+25^2-2\cdot EP\cdot25\cdot\cos(\alpha)\\ (6) \ AP^2 &= FP^2+40^2+2\cdot FP\cdot40\cdot\cos(\alpha)\\ \end{align*}

We can perform this operation $(1) - (2) + (3) - (4) + (5) - (6)$:

Leaving us with (after combining and simplifying) \[\cos{\alpha}=\frac{-11}{2\cdot(DP+EP+FP)}\]

Therefore, we want to solve for $DP+EP+FP$

Notice that $\angle{APC}=\angle{APC}=\angle{APC}=120^\circ$

We can use Law of Cosines again to solve for the sides of $\triangle{DEF}$, which have side lengths of $13$, $42$, and $35$, and area $120\sqrt{3}$.

Label the lengths of $PD$, $PE$, and $PF$ to be $x$, $y$, and $z$.

Therefore, using the $\sin$ area formula,

\begin{align*} [\triangle{DEF}] &= \frac{1}{2}\cdot\sin{120°}\cdot(xy+yz+zx) = 120\sqrt{3} \\ xy+yz+zx &= 2^5\cdot3\cdot5 \end{align*}

In addition, we know that

\begin{align*} x^2+y^2+xy&=42^2\\ y^2+z^2+yz&=35^2\\ z^2+x^2+zx&=13^2\\ \end{align*}

By using Law of Cosines for $\triangle{DPE}$, $\triangle{EPF}$, and $\triangle{FPD}$ respectively

Because we want $DP+EP+FP$, which is $x+y+z$, we see that

\begin{align*} (x+y+z)^2 &= \frac{x^2+y^2+x+y^2+z^2+yz+z^2+x^2+3(zx+xy+yz+zx)}{2} \\ (x+y+z)^2 &= \frac{42^2+35^2+13^2+3\cdot2^5\cdot3\cdot5}{2} \\ (x+y+z)^2 &= 2299 \\ x+y+z &= 11\sqrt{19} \end{align*}

So plugging the results back into the equation before, we get

\begin{align*} \cos{\alpha} &= \frac{-1}{2\sqrt{19}}\\ \sin{\alpha} &= \frac{5\sqrt{3}}{2\sqrt{19}} \end{align*}

Giving us \[\tan^2{\alpha}=\boxed{075}\]

~Danielzh

Solution 5

By the law of cosines, \[FE=\sqrt{AF^2+AE^2-2AF\cdot AE\cos\angle FAE}=35.\] Similarly we get $FD=13$ and $DE=42$. $\angle AEP=\angle BFP=\angle CDP\overset\triangle=\theta$ implies that $AFPE$, $BDPF$, and $CDPE$ are three cyclic quadrilaterals, as shown below: [asy] /* Made by MRENTHUSIASM */ size(400); pair A, B, C, D, E, F, P; A = 55*sqrt(3)/3 * dir(90); B = 55*sqrt(3)/3 * dir(210); C = 55*sqrt(3)/3 * dir(330); D = B + 7*dir(0); E = A + 25*dir(C-A); F = A + 40*dir(B-A); P = intersectionpoints(Circle(D,54*sqrt(19)/19),Circle(F,5*sqrt(19)/19))[0]; draw(anglemark(A,E,P,20),red); draw(anglemark(B,F,P,20),red); draw(anglemark(C,D,P,20),red); add(pathticks(anglemark(A,E,P,20), n = 1, r = 0.2, s = 12, red)); add(pathticks(anglemark(B,F,P,20), n = 1, r = 0.2, s = 12, red)); add(pathticks(anglemark(C,D,P,20), n = 1, r = 0.2, s = 12, red)); draw(A--B--C--cycle^^P--E^^P--F^^P--D); draw(P--A^^P--B^^P--C,dashed); draw(circumcircle(A,E,F)^^circumcircle(B,D,F)^^circumcircle(C,D,E),blue); dot("$A$",A,1.5*dir(A),linewidth(4)); dot("$B$",B,1.5*dir(B),linewidth(4)); dot("$C$",C,1.5*dir(C),linewidth(4)); dot("$D$",D,1.5*S,linewidth(4)); dot("$E$",E,1.5*dir(30),linewidth(4)); dot("$F$",F,1.5*dir(150),linewidth(4)); dot("$P$",P,1.5*dir(-30),linewidth(4)); label("$7$",midpoint(B--D),1.5*S,red); label("$30$",midpoint(C--E),1.5*dir(30),red); label("$40$",midpoint(A--F),1.5*dir(150),red); [/asy] Using the law of sines in each, \[\frac{AP}{35}=\frac{AP}{FE}=\frac{CP}{42}=\frac{CP}{ED}=\frac{BP}{13}=\frac{BP}{DF}=\frac{\sin\theta}{\sin\frac\pi3}.\] So we can set $AP=35k$, $BP=13k$, and $CP=42k$. Let $PD=d$, $PE=e$, and $PF=f$. Applying Ptolemy theorem in the cyclic quadrilaterals, \[\begin{cases}AP\cdot FE=AF\cdot PE+AE\cdot PF,\\CP\cdot ED=CE\cdot PD+CD\cdot PE,\\BP\cdot DF=BD\cdot PF+BF\cdot PD.\end{cases} \implies \begin{cases} 1225k=40e+25f,\\1764k=30d+48e,\\169k=15d+7f, \end{cases}\] We can solve out $d=\frac{54k}5$, $e=30k$, $f=k$. By the law of cosines in $\triangle PEF$, $FE=\sqrt{900k^2+k^2-60k\cdot\left(\frac{-1}2\right)}=\sqrt{931}k$. The law of sines yield $\frac{\sin\angle AEP}{\sin\angle FAE}=\frac{AP}{FE}=\frac{35k}{\sqrt{931}k}=\frac{35}{\sqrt{931}}$. Lastly, $\sin\angle AEP=\frac{5\sqrt{57}}{38}$, then $\tan\angle AEP=5\sqrt3$. The answer is \[\left(5\sqrt3\right)^2=\boxed{075}.\]

Animated Video Solution

https://youtu.be/5d98iXeyu4E

~Star League (https://starleague.us)

See also

2023 AIME I (Problems • Answer Key • Resources)
Preceded by
Problem 11 		Followed by
Problem 13
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

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=2023_AIME_I_Problems/Problem_12&oldid=190989"