返回题库

AIME 2022 I · 第 14 题

AIME 2022 I — Problem 14

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem

Given ABC\triangle ABC and a point PP on one of its sides, call line \ell the splitting line\textit{splitting line} of ABC\triangle ABC through PP if \ell passes through PP and divides ABC\triangle ABC into two polygons of equal perimeter. Let ABC\triangle ABC be a triangle where BC=219BC = 219 and ABAB and ACAC are positive integers. Let MM and NN be the midpoints of AB\overline{AB} and AC,\overline{AC}, respectively, and suppose that the splitting lines of ABC\triangle ABC through MM and NN intersect at 30.30^\circ. Find the perimeter of ABC.\triangle ABC.

The Geometry Part - Solution 1

Consider the splitting line through MM. Extend DD on ray BCBC such that CD=CACD=CA. Then the splitting line bisects segment BDBD, so in particular it is the midline of triangle ABDABD and thus it is parallel to ADAD. But since triangle ACDACD is isosceles, we can easily see ADAD is parallel to the angle bisector of CC, so the splitting line is also parallel to this bisector, and similar for the splitting line through NN. Some simple angle chasing reveals the condition is now equivalent to A=120\angle A=120^\circ.

- MortemEtInteritum

The Geometry Part - Solution 2

Let PMPM and QNQN be the splitting lines. Reflect BB across QQ to be BB' and CC across PP to be CC'. Take SBS_B and SCS_C, which are spiral similarity centers on the other side of BCBC as AA such that SBBCSBBA\triangle S_BB'C \sim \triangle S_BBA and SCCBSCCA\triangle S_CC'B \sim \triangle S_CCA. This gets that because SBCB=SBCB=SBAB\angle S_BCB = \angle S_BCB' = \angle S_BAB and SCBC=SCBC=SCAC\angle S_CBC = \angle S_CBC' = \angle S_CAC, then SBS_B and SCS_C are on ABC\triangle ABC's circumcircle. Now, we know that SBBBSBAC\triangle S_BBB' \sim \triangle S_BAC and SCCCSCAB\triangle S_CCC' \sim \triangle S_CAB so because BA=BCBA=B'C and CA=CBCA=C'B, then SBB=SBBS_BB=SBB' and SCC=SCCS_CC=S_CC' and SBQBCS_BQ \perp BC and SCPBCS_CP \perp BC.

We also notice that because QQ and NN correspond on SBBB\triangle S_BBB' and SBAC\triangle S_BAC, and because PP and MM correspond on SCCC\triangle S_CCC' and SCAB\triangle S_CAB, then the angle formed by NQNQ and BABA is equal to the angle formed by BCB'C and NQNQ which is equal to BSBQ=QSBB\angle BS_BQ = \angle QS_BB'. Thus, CBA=2CQN\angle CBA=2\angle CQN. Similarly, BCA=2QPM\angle BCA = 2\angle QPM and so CBA+BCA=2PQN+2QPM=60\angle CBA + \angle BCA = 2\angle PQN + 2\angle QPM = 60^{\circ} and A=120\angle A = 120^{\circ}.

- kevinmathz

The NT Part

We now need to solve a2+ab+b2=32732a^2+ab+b^2 = 3^2\cdot 73^2. A quick (mod9)(\bmod 9) check gives that 3a3\mid a and 3b3\mid b. Thus, it's equivalent to solve x2+xy+y2=732x^2+xy+y^2 = 73^2.

Let ω\omega be one root of ω2+ω+1=0\omega^2+\omega+1=0. Then, recall that Z[ω]\mathbb Z[\omega] is the ring of integers of Q[3]\mathbb Q[\sqrt{-3}] and is a unique factorization domain. Notice that N(xyω)=(xyω)(xyω2)=x2+xy+y2N(x-y\omega) = (x-y\omega)(x-y\omega^2) = x^2+xy+y^2. Therefore, it suffices to find an element of Z[ω]\mathbb Z[\omega] with the norm 73273^2.

To do so, we factor 7373 in Z[ω]\mathbb Z[\omega]. Since it's 1(mod3)1\pmod 3, it must split. A quick inspection gives 73=(8ω)(8ω2)73 = (8-\omega)(8-\omega^2). Thus, N(8ω)=73N(8-\omega) = 73, so

732=N((8ω)2)=N(6416ω+ω2)=N(6416ω+(1ω))=N(6317ω),\begin{aligned} 73^2 &= N((8-\omega)^2) \\ &= N(64 - 16\omega + \omega^2) \\ &= N(64 - 16\omega + (-1-\omega)) \\ &= N(63 - 17\omega), \end{aligned} giving the solution x=63x=63 and y=17y=17, yielding a=189a=189 and b=51b=51, so the sum is 459\boxed{459}. Since 8ω8-\omega and 8ω28-\omega^2 are primes in Z[ω]\mathbb Z[\omega], the solution must divide 73273^2. One can then easily check that this is the unique solution.

- MarkBcc168

解析

Solution (Geometry + Number Theory)

Denote BC=aBC = a, CA=bCA = b, AB=cAB = c.

Let the splitting line of ABC\triangle ABC through MM (resp. NN) crosses ABC\triangle ABC at another point XX (resp. YY).

WLOG, we assume cbc \leq b.

Case 1\textbf{Case 1}: acba \leq c \leq b.

We extend segment ABAB to DD, such that BD=aBD = a. We extend segment ACAC to EE, such that CE=aCE = a.

In this case, XX is the midpoint of AEAE, and YY is the midpoint of ADAD.

Because MM and XX are the midpoints of ABAB and AEAE, respectively, MXBEMX \parallel BE. Because NN and YY are the midpoints of ACAC and ADAD, respectively, NYCDNY \parallel CD.

Because CB=CECB = CE, CBE=CEB=ACB2\angle CBE =\angle CEB = \frac{\angle ACB}{2}. Because BC=BDBC = BD, BCD=BDC=ABC2\angle BCD = \angle BDC = \frac{\angle ABC}{2}.

Let BEBE and CDCD intersect at OO. Because MXBEMX \parallel BE and NYCDNY \parallel CD, the angle formed between lines MXMX and NYNY is congruent to BOD\angle BOD. Hence, BOD=30\angle BOD = 30^\circ or 150150^\circ.

We have

BOD=CBE+BCD=ACB2+ABC2=90A2.\begin{aligned} \angle BOD & = \angle CBE + \angle BCD \\ & = \frac{\angle ACB}{2} + \frac{\angle ABC}{2} \\ & = 90^\circ - \frac{\angle A}{2} . \end{aligned} Hence, we must have BOD=30\angle BOD = 30^\circ, not 150150^\circ. Hence, A=120\angle A = 120^\circ.

This implies a>ba > b and a>ca >c. This contradicts the condition specified for this case.

Therefore, this case is infeasible.

Case 2\textbf{Case 2}: cabc \leq a \leq b.

We extend segment CBCB to DD, such that BD=cBD = c. We extend segment ACAC to EE, such that CE=aCE = a.

In this case, XX is the midpoint of AEAE, and YY is the midpoint of CDCD.

Because MM and XX are the midpoints of ABAB and AEAE, respectively, MXBEMX \parallel BE. Because NN and YY are the midpoints of ACAC and CDCD, respectively, NYADNY \parallel AD.

Because CB=CECB = CE, CBE=CEB=ACB2\angle CBE =\angle CEB = \frac{\angle ACB}{2}. Because BA=BDBA = BD, BAD=BDA=ABC2\angle BAD = \angle BDA = \frac{\angle ABC}{2}.

Let OO be a point of ACAC, such that BOADBO \parallel AD. Hence, OBC=BDA=B2\angle OBC = \angle BDA = \frac{B}{2}.

Because MXBEMX \parallel BE and NYADNY \parallel AD and ADBOAD \parallel BO, the angle formed between lines MXMX and NYNY is congruent to OBE\angle OBE. Hence, OBE=30\angle OBE = 30^\circ or 150150^\circ.

We have

OBE=OBC+CBE=ABC2+ACB2=90A2.\begin{aligned} \angle OBE & = \angle OBC + \angle CBE \\ & = \frac{\angle ABC}{2} + \frac{\angle ACB}{2} \\ & = 90^\circ - \frac{\angle A}{2} . \end{aligned} Hence, we must have OBE=30\angle OBE = 30^\circ, not 150150^\circ. Hence, A=120\angle A = 120^\circ.

This implies a>ba > b and a>ca >c. This contradicts the condition specified for this case.

Therefore, this case is infeasible.

Case 3\textbf{Case 3}: cbac \leq b \leq a.

We extend segment CBCB to DD, such that BD=cBD = c. We extend segment BCBC to EE, such that CE=bCE = b.

In this case, XX is the midpoint of BEBE, and YY is the midpoint of CDCD.

Because MM and XX are the midpoints of ABAB and BEBE, respectively, MXAEMX \parallel AE. Because NN and YY are the midpoints of ACAC and CDCD, respectively, NYADNY \parallel AD.

Because CA=CECA = CE, CAE=CEB=ACB2\angle CAE =\angle CEB = \frac{\angle ACB}{2}. Because BA=BDBA = BD, BAD=BDA=ABC2\angle BAD = \angle BDA = \frac{\angle ABC}{2}.

Because MXAEMX \parallel AE and NYADNY \parallel AD, the angle formed between lines MXMX and NYNY is congruent to DAE\angle DAE. Hence, DAE=30\angle DAE = 30^\circ or 150150^\circ.

We have

DAE=BAD+CAE+BAC=ABC2+ACB2+BAC=90+BAC2.\begin{aligned} \angle DAE & = \angle BAD + \angle CAE + \angle BAC \\ & = \frac{\angle ABC}{2} + \frac{\angle ACB}{2} + \angle BAC \\ & = 90^\circ + \frac{\angle BAC}{2} . \end{aligned} Hence, we must have OBE=150\angle OBE = 150^\circ, not 3030^\circ. Hence, BAC=120\angle BAC = 120^\circ.

In ABC\triangle ABC, by applying the law of cosines, we have

a2=b2+c22bccosBAC=b2+c22bccos120=b2+c2+bc.\begin{aligned} a^2 & = b^2 + c^2 - 2bc \cos \angle BAC\\ & = b^2 + c^2 - 2bc \cos 120^\circ \\ & = b^2 + c^2 + bc . \end{aligned} Because a=219a = 219, we have

b2+c2+bc=2192.b^2 + c^2 + bc = 219^2 . Now, we find integer solution(s) of this equation with cbc \leq b.

Multiplying this equation by 4, we get

(2c+b)2+3b2=4382.(1)\left( 2 c + b \right)^2 + 3 b^2 = 438^2 . \hspace{1cm} (1) Denote d=2c+bd = 2 c + b. Because cbc \leq b, b<d3bb < d \leq 3 b.

Because 43823b20(mod3)438^2 - 3 b^2 \equiv 0 \pmod{3}, d20(mod3)d^2 \equiv 0 \pmod{3}. Thus, d0(mod3)d \equiv 0 \pmod{3}. This implies d20(mod9)d^2 \equiv 0 \pmod{9}.

We also have 43820(mod9)438^2 \equiv 0 \pmod{9}. Hence, 3b20(mod9)3 b^2 \equiv 0 \pmod{9}. This implies b0(mod3)b \equiv 0 \pmod{3}.

Denote b=3pb = 3 p and d=3qd = 3 q. Hence, p<q3pp < q \leq 3 p. Hence, Equation (1) can be written as

q2+3p2=1462.(2)q^2 + 3 p^2 = 146^2 . \hspace{1cm} (2) Now, we solve this equation.

First, we find an upper bound of qq.

We have q2+3p2q2+3(q3)2=4q23q^2 + 3 p^2 \geq q^2 + 3 \left( \frac{q}{3} \right)^2 = \frac{4 q^2}{3}. Hence, 4q231462\frac{4 q^2}{3} \leq 146^2. Hence, q733<731.8=131.4q \leq 73 \sqrt{3} < 73 \cdot 1.8 = 131.4. Because qq is an integer, we must have q131q \leq 131.

Second, we find a lower bound of qq.

We have q2+3p2<q2+3q2=4q2q^2 + 3 p^2 < q^2 + 3 q^2 = 4 q^2. Hence, 4q2>14624 q^2 > 146^2. Hence, q>73q > 73. Because qq is an integer, we must have q74q \geq 74.

Now, we find the integer solutions of pp and qq that satisfy Equation (2) with 74q13174 \leq q \leq 131.

First, modulo 9,

q214623p243(0 or 1)4 or 1.\begin{aligned} q^2 & \equiv 146^2 - 3 p^2 \\ & \equiv 4 - 3 \cdot ( 0 \text{ or } 1 ) \\ & \equiv 4 \text{ or } 1 . \end{aligned} Hence q±1,±2(mod9)q \equiv \pm 1, \pm 2 \pmod{9}.

Second, modulo 5,

q214623p21+2p21+2(0 or 1 or 1)1 or 3 or 1.\begin{aligned} q^2 & \equiv 146^2 - 3 p^2 \\ & \equiv 1 + 2 p^2 \\ & \equiv 1 + 2 \cdot ( 0 \text{ or } 1 \text{ or } -1 ) \\ & \equiv 1 \text{ or } 3 \text{ or } - 1 . \end{aligned} Because q20 or 1 or 1q^2 \equiv 0 \text{ or } 1 \text{ or } - 1, we must have q21 or 1q^2 \equiv 1 \text{ or } - 1. Hence, 5q5 \nmid q.

Third, modulo 7,

q214623p213(0 or 1 or 5 or 2)1 or 2 or 3 or 5.\begin{aligned} q^2 & \equiv 146^2 - 3 p^2 \\ & \equiv 1 - 3 \cdot ( 0 \text{ or } 1 \text{ or } 5 \text{ or } 2 ) \\ & \equiv 1 \text{ or } 2 \text{ or } 3 \text{ or } 5 . \end{aligned} Because q20 or 1 or 2 or 4(mod7)q^2 \equiv 0 \text{ or } 1 \text{ or } 2 \text{ or } 4 \pmod{ 7 }, we must have q21 or 2(mod7)q^2 \equiv 1 \text{ or } 2 \pmod{7}. Hence, q1,3,4,6(mod7)q \equiv 1, 3, 4, 6 \pmod{7}.

Given all conditions above, the possible qq are 74, 83, 88, 92, 97, 101, 106, 109, 116, 118, 127.

By testing all these numbers, we find that the only solution is q=97q = 97. This implies p=63p = 63.

Hence, b=3p=189b = 3p = 189 and d=3q=291d = 3q = 291. Hence, c=db2=51c = \frac{d - b}{2} = 51.

Therefore, the perimeter of ABC\triangle ABC is b+c+a=189+51+219=(459) b + c + a = 189 + 51 + 219 = \boxed{\textbf{(459) }}.

~Steven Chen (www.professorchenedu.com)

Solution (Number Theory Part)

We wish to solve the Diophantine equation a2+ab+b2=32732a^2+ab+b^2=3^2 \cdot 73^2. It can be shown that 3a3|a and 3b3|b, so we make the substitution a=3xa=3x and b=3yb=3y to obtain x2+xy+y2=732x^2+xy+y^2=73^2 as our new equation to solve for.

Notice that r2+r+1=(rω)(rω2)r^2+r+1=(r-\omega)(r-{\omega}^2), where ω=ei2π3\omega=e^{i\frac{2\pi}{3}}. Thus,

x2+xy+y2=y2((x/y)2+(x/y)+1)=y2(xyω)(xyω2)=(xyω)(xyω2).x^2+xy+y^2 = y^2((x/y)^2+(x/y)+1) = y^2 (\frac{x}{y}-\omega)(\frac{x}{y}-{\omega}^2) = (x-y\omega)(x-y{\omega}^2). Note that 82+12+81=738^2+1^2+8 \cdot 1=73. Thus, (8ω)(8ω2)=73(8-\omega)(8-{\omega}^2)=73. Squaring both sides yields

(8ω)2(8ω2)2=732(6317ω)(6317ω2)=732.\begin{aligned} (8-\omega)^2(8-{\omega}^2)^2&=73^2\\ (63-17\omega)(63-17{\omega}^2)&=73^2. \end{aligned} Thus, by (2)(2), (63,17)(63, 17) is a solution to x2+xy+y2=732x^2+xy+y^2=73^2. This implies that a=189a=189 and b=51b=51, so our final answer is 189+51+219=459189+51+219=\boxed{459}.

~ Leo.Euler

Solution(Visual geometry)

AIME diagram

AIME diagram

AIME diagram

We look at upper and middle diagrams and get BAC=120\angle BAC = 120^\circ.

Next we use only the lower Diagram. Let II be incenter ABC\triangle ABC, E be midpoint of biggest arc BC.\overset{\Large\frown} {BC}. Then bisector AIAI cross circumcircle ABC\triangle ABC at point EE. Quadrilateral ABECABEC is cyclic, so

BEC=180ABC=60    BE=CE=IE=BC.\angle BEC = 180^\circ - \angle ABC = 60^\circ \implies BE = CE = IE = BC. AEBC=ABCE+ACBE    AE=AB+ACAE \cdot BC = AB \cdot CE + AC \cdot BE \implies AE = AB + AC     AI+EI=AB+AC,AI=AB+ACBC\implies AI +EI = AB + AC, \hspace{10mm} AI = AB+ AC – BC is integer.

AI=2ABACcosCAIAB+AC+BC=ABACAB+AC+BC=AI = \frac {2AB \cdot AC \cdot cos \angle CAI}{AB+AC + BC} = \frac {AB \cdot AC}{AB+AC + BC} = =AB+ACBC    AC2+AB2+ABAC=BC2.= AB + AC – BC \implies AC^2 + AB^2 + AB \cdot AC = BC^2. A quick (mod9)(\mod9) check gives that 3AC3\mid AC and 3AB3\mid AB.

AIA0I0=EA0EI0=2BC3BC=233BC=33.88.AI \le A_0I_0 = EA_0 – EI_0 = \frac{2 BC}{\sqrt{3}} – BC = \frac {2 - \sqrt{3}}{\sqrt{3}} BC = 33.88. Denote a=BC3=73,b=AC3,c=AB3,l=AI311.a= \frac {BC}{3}= 73, b = \frac {AC}{3}, c = \frac {AB}{3}, l = \frac {AI}{3} \le 11.

We have equations in integers bca+b+c=b+ca=l11.\frac{bc}{a+b+c} = b + c – a = l \le 11.

The solution (b>c)(b > c) is

b=a+l+a26al3l22,c=a+la26al3l22.b = \frac{a + l +\sqrt{a^2 – 6al – 3l^2}}{2}, c = \frac{a + l -\sqrt{a^2 – 6al – 3l^2}}{2}. Suppose, a26al3l2=(a3lt)2    12l2t+t+6l=2a=146.a^2 – 6al – 3l^2 = (a – 3l – t)^2 \implies \frac {12l^2}{t} + t + 6l= 2a = 146.

Now we check all possible t=2,3,4,6,12,ml.t = {2,3,4,6,12, ml}.

Case t=2    6l2+6l=1462    l2+l=24    \Ot = 2 \implies 6l^2 + 6l = 146 – 2 \implies l^2 + l = 24 \implies \O

Case t=3    4l2+6l=1463=143    \O.t = 3 \implies 4l^2 + 6l = 146 – 3 = 143\implies \O.

Case t=4    3l2+6l=1464=142    \O.t = 4 \implies 3l^2 + 6l = 146 – 4 =142 \implies \O.

Case t=6    2l2+6l=1466=140    l=7,b=63,c=17.t = 6 \implies 2l^2 + 6l = 146 – 6 = 140 \implies l = 7, b = 63, c = 17.

Case t=12    l2+6l=14612=134    \O.t = 12 \implies l^2 + 6l = 146 – 12 = 134 \implies \O.

Case t=ml    12lm+6l+ml=146    12m+6+m=732l    \O.t = ml \implies \frac{12l}{m} + 6l + ml = 146 \implies \frac{12}{m} + 6 + m = \frac{73 \cdot 2}{l}\implies \O.

vladimir.shelomovskii@gmail.com, vvsss

Solution (The Geometry Part Using Menelaus)

AIME diagram

Let the 2 splitting lines crossing NN and MM cross BCBC at GG and HH. Extend ABAB and NGNG so that the two lines intersect at EE and extend ACAC and MHMH so that the two lines intersect at FF. Let aa,bb,cc be the corresponding side lengths for A\angle A,B\angle B,C\angle C. According to the question, MHMH and NGNG creates two sections of ABC\triangle ABC of equal perimeter, we could list out the equations:

BG+c=aBGBG+c=a-BG CH+b=aCHCH+b=a-CH BG+GH+CH=aBG+GH+CH=a

This results in:

BG=ac2BG=\frac{a-c}{2} CH=ab2CH=\frac{a-b}{2} GH=b+c2GH=\frac{b+c}{2}

Now, we can apply the Menelaus Theorem to ABC\triangle ABC. Let BE=xBE = x:

BEAEANCNCGBG=1\frac{BE}{AE}\cdot\frac{AN}{CN}\cdot\frac{CG}{BG} = 1 xx+c1a+c2ac2=1\frac{x}{x+c}\cdot1\cdot\frac{\frac{a+c}{2}}{\frac{a-c}{2}} = 1 xx+ca+cac=1\frac{x}{x+c}\cdot\frac{a+c}{a-c} = 1 x+cx=a+cac\frac{x+c}{x}=\frac{a+c}{a-c} cx=2cac\frac{c}{x}=\frac{2c}{a-c} BE=x=ac2=BGBE=x=\frac{a-c}{2}=BG Similarly, CF=CHCF=CH.

Therefore, BGE=E\angle BGE = \angle E and CHF=F\angle CHF = \angle F. Because the splitting lines of ABC\triangle ABC through MM and NN intersect at 3030^\circ, NOF\angle NOF = 3030^\circ. BGE+CHF=BGE+CHF=NOF=30\angle BGE+\angle CHF=\angle BGE+\angle CHF=\angle NOF=30^\circ.

We conclude that A=360EFEOF(reflex)=36030210=120\angle A=360^\circ-\angle E-\angle F-\angle EOF(reflex)=360^\circ-30^\circ-210^\circ=120^\circ

Apply the Law of Cosines on ABC\triangle ABC

c2+a22accos120=2192c^2+a^2-2ac\cos 120^\circ=219^2 a2+c2+ac=2192=47961a^2+c^2+ac=219^2=47961

To find the final answer, you would only need to solve this equation, which steps could be found in previous solutions.

~cassphe

Video Solution

https://youtu.be/T6zq1e1RZdg

~MathProblemSolvingSkills.com

Video Solution

https://www.youtube.com/watch?v=kkous52vPps&t=3023s

~Steven Chen (wwww.professorchenedu.com)

Animated Video Solution

https://youtu.be/o-aDdxdnTWY

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