返回题库

AIME 1987 · 第 14 题

AIME 1987 — Problem 14

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem

Compute

(104+324)(224+324)(344+324)(464+324)(584+324)(44+324)(164+324)(284+324)(404+324)(524+324).\frac{(10^4+324)(22^4+324)(34^4+324)(46^4+324)(58^4+324)}{(4^4+324)(16^4+324)(28^4+324)(40^4+324)(52^4+324)}.
解析

Solution 1 (Sophie Germain Identity)

The Sophie Germain Identity states that a4+4b4a^4 + 4b^4 can be factored as (a2+2b22ab)(a2+2b2+2ab).\left(a^2 + 2b^2 - 2ab\right)\left(a^2 + 2b^2 + 2ab\right). Each of the terms is in the form of x4+324.x^4 + 324. Using Sophie Germain, we get that

x4+324=x4+434=(x2+23223x)(x2+232+23x)=(x(x6)+18)(x(x+6)+18),\begin{aligned} x^4 + 324 &= x^4 + 4\cdot 3^4 \\ &= \left(x^2 + 2 \cdot 3^2 - 2\cdot 3\cdot x\right)\left(x^2 + 2 \cdot 3^2 + 2\cdot 3\cdot x\right) \\ &= (x(x-6) + 18)(x(x+6)+18), \end{aligned} so the original expression becomes

[(10(106)+18)(10(10+6)+18)][(22(226)+18)(22(22+6)+18)][(58(586)+18)(58(58+6)+18)][(4(46)+18)(4(4+6)+18)][(16(166)+18)(16(16+6)+18)][(52(526)+18)(52(52+6)+18)],\frac{[(10(10-6)+18)(10(10+6)+18)][(22(22-6)+18)(22(22+6)+18)]\cdots[(58(58-6)+18)(58(58+6)+18)]}{[(4(4-6)+18)(4(4+6)+18)][(16(16-6)+18)(16(16+6)+18)]\cdots[(52(52-6)+18)(52(52+6)+18)]}, which simplifies to

(10(4)+18)(10(16)+18)(22(16)+18)(22(28)+18)(58(52)+18)(58(64)+18)(4(2)+18)(4(10)+18)(16(10)+18)(16(22)+18)(52(46)+18)(52(58)+18).\frac{(10(4)+18)(10(16)+18)(22(16)+18)(22(28)+18)\cdots(58(52)+18)(58(64)+18)}{(4(-2)+18)(4(10)+18)(16(10)+18)(16(22)+18)\cdots(52(46)+18)(52(58)+18)}. Almost all of the terms cancel out! We are left with 58(64)+184(2)+18=373010=373.\frac{58(64)+18}{4(-2)+18} = \frac{3730}{10} = \boxed{373}.

~Azjps (Solution)

~MRENTHUSIASM (Minor Reformatting)

Solution 2 (Completing the Square and Difference of Squares)

In both the numerator and the denominator, each factor is of the form N4+324=N4+182N^4+324=N^4+18^2 for some positive integer N.N.

We factor N4+182N^4+18^2 by completing the square, then applying the difference of squares:

N4+182=(N4+36N2+182)36N2=(N2+18)2(6N)2=(N26N+18)(N2+6N+18)=((N3)2+9)((N+3)2+9).\begin{aligned} N^4+18^2&=\left(N^4+36N^2+18^2\right)-36N^2 \\ &=\left(N^2+18\right)^2-(6N)^2 \\ &=\left(N^2-6N+18\right)\left(N^2+6N+18\right) \\ &=\left((N-3)^2+9\right)\left((N+3)^2+9\right). \end{aligned} The original expression now becomes

[(72+9)(132+9)][(192+9)(252+9)][(312+9)(372+9)][(432+9)(492+9)][(552+9)(612+9)][(12+9)(72+9)][(132+9)(192+9)][(252+9)(312+9)][(372+9)(432+9)][(492+9)(552+9)]=612+912+9=373.\frac{\left[(7^2+9)(13^2+9)\right]\left[(19^2+9)(25^2+9)\right]\left[(31^2+9)(37^2+9)\right]\left[(43^2+9)(49^2+9)\right]\left[(55^2+9)(61^2+9)\right]}{\left[(1^2+9)(7^2+9)\right]\left[(13^2+9)(19^2+9)\right]\left[(25^2+9)(31^2+9)\right]\left[(37^2+9)(43^2+9)\right]\left[(49^2+9)(55^2+9)\right]}=\frac{61^2+9}{1^2+9}=\boxed{373}. ~MRENTHUSIASM

Solution 3 (Complex Numbers)

In both the numerator and the denominator, each factor is of the form N4+324=N4+182N^4+324=N^4+18^2 for some positive integer N.N.

We factor N4+182N^4+18^2 by solving the equation N4+182=0,N^4+18^2=0, or N4=182.N^4=-18^2.

Two solutions follow from here:

Solution 3.1 (Polar Form)

We rewrite NN to the polar form

N=r(cosθ+isinθ)=rcisθ,N=r(\cos\theta+i\sin\theta)=r\operatorname{cis}\theta, where rr is the magnitude of NN such that r0,r\geq0, and θ\theta is the argument of NN such that 0θ<2π.0\leq\theta<2\pi.

By De Moivre's Theorem, we have

N4=r4cis(4θ)=182(1),N^4=r^4\operatorname{cis}(4\theta)=18^2(-1), from which

  1. r4=182,r^4=18^2, so r=32.r=3\sqrt2.

  2. {cos(4θ)=1sin(4θ)=0,\begin{cases} \begin{aligned} \cos(4\theta) &= -1 \\ \sin(4\theta) &= 0 \end{aligned}, \end{cases} so θ=π4,3π4,5π4,7π4.\theta=\frac{\pi}{4},\frac{3\pi}{4},\frac{5\pi}{4},\frac{7\pi}{4}.

By the Factor Theorem, we get

N4+182=(N32cisπ4)(N32cis3π4)(N32cis5π4)(N32cis7π4)=[(N32cisπ4)(N32cis7π4)][(N32cis3π4)(N32cis5π4)]=[(N(3+3i))(N(33i))][(N(3+3i))(N(33i))]=[((N3)3i)((N3)+3i)][((N+3)3i)((N+3)+3i)]=[(N3)2+9][(N+3)2+9].\begin{aligned} N^4+18^2&=\biggl(N-3\sqrt2\operatorname{cis}\frac{\pi}{4}\biggr)\biggl(N-3\sqrt2\operatorname{cis}\frac{3\pi}{4}\biggr)\biggl(N-3\sqrt2\operatorname{cis}\frac{5\pi}{4}\biggr)\biggl(N-3\sqrt2\operatorname{cis}\frac{7\pi}{4}\biggr) \\ &=\biggl[\biggl(N-3\sqrt2\operatorname{cis}\frac{\pi}{4}\biggr)\biggl(N-3\sqrt2\operatorname{cis}\frac{7\pi}{4}\biggr)\biggr]\biggl[\biggl(N-3\sqrt2\operatorname{cis}\frac{3\pi}{4}\biggr)\biggl(N-3\sqrt2\operatorname{cis}\frac{5\pi}{4}\biggr)\biggr] \\ &=\left[(N-(3+3i))(N-(3-3i))\right]\left[(N-(-3+3i))(N-(-3-3i))\right] \\ &=\left[((N-3)-3i)((N-3)+3i)\right]\left[((N+3)-3i)((N+3)+3i)\right] \\ &=\left[(N-3)^2+9\right]\left[(N+3)^2+9\right]. \end{aligned} We continue with the last paragraph of Solution 2 to get the answer 373.\boxed{373}.

~MRENTHUSIASM

Solution 3.2 (Rectangular Form)

We rewrite NN to the rectangular form

N=a+biN=a+bi for some real numbers aa and b.b.

Note that N2=±18i,N^2=\pm18i, so there are two cases:

  1. N2=18iN^2=18i

    We have

(a+bi)2=18ia2b2+2abi=18i.\begin{aligned} (a+bi)^2&=18i \\ a^2-b^2+2abi&=18i. \end{aligned} We need {a2b2=02ab=18,\begin{cases} \begin{aligned} a^2-b^2 &= 0 \\ 2ab &= 18 \end{aligned}, \end{cases} from which (a,b)=(3,3),(3,3),(a,b)=(3,3),(-3,-3), or N=3+3i,33i.N=3+3i,-3-3i.

  1. N2=18iN^2=-18i

    We have

(a+bi)2=18ia2b2+2abi=18i.\begin{aligned} (a+bi)^2&=-18i \\ a^2-b^2+2abi&=-18i. \end{aligned} We need {a2b2=02ab=18,\begin{cases} \begin{aligned} a^2-b^2 &= 0 \\ 2ab &= -18 \end{aligned}, \end{cases} from which (a,b)=(3,3),(3,3),(a,b)=(3,-3),(-3,3), or N=33i,3+3i.N=3-3i,-3+3i.

By the Factor Theorem, we get

N4+182=(N(3+3i))(N(33i))(N(33i))(N(3+3i))=[(N(3+3i))(N(33i))][(N(3+3i))(N(33i))]=[((N3)3i)((N3)+3i)][((N+3)3i)((N+3)+3i)]=[(N3)2+9][(N+3)2+9].\begin{aligned} N^4+18^2&=(N-(3+3i))(N-(-3-3i))(N-(3-3i))(N-(-3+3i)) \\ &=\left[(N-(3+3i))(N-(3-3i))\right]\left[(N-(-3+3i))(N-(-3-3i))\right] \\ &=\left[((N-3)-3i)((N-3)+3i)\right]\left[((N+3)-3i)((N+3)+3i)\right] \\ &=\left[(N-3)^2+9\right]\left[(N+3)^2+9\right]. \end{aligned} We continue with the last paragraph of Solution 2 to get the answer 373.\boxed{373}.

~MRENTHUSIASM

Solution 4

We use Sophie Germain's Identity to rewrite the first couple of multiplicands in the numerator and denominator. By Sophie Germain's:

(104+324)=(104+434)=(102+2103+232)(1022103+232)=(178)(58)(10^4 + 324) = (10^4 + \cdot 4 \cdot 3^4) = (10^2 + 2 \cdot 10 \cdot 3 + 2 \cdot 3^2)(10^2 - 2 \cdot 10 \cdot 3 + 2 \cdot 3^2) = (178)(58) (224+324)=(222+2322+232)(2222322+232)=(634)(370)(22^4 + 324) = (22^2 + 2 \cdot 3 \cdot 22 + 2 \cdot 3^2)(22^2 - 2 \cdot 3 \cdot 22 + 2 \cdot 3^2) = (634)(370) (44+324)=(42+243+232)(42243+232)=(58)(10)(4^4 + 324) = (4^2 + 2 \cdot 4 \cdot 3 + 2 \cdot 3^2)(4^2 - 2 \cdot 4 \cdot 3 + 2 \cdot 3^2) = (58)(10) (164+324)=(162+2163+232)(1622163+232)=(370)(178)(16^4 + 324) = (16^2 + 2 \cdot 16 \cdot 3 + 2 \cdot 3^2)(16^2 - 2 \cdot 16 \cdot 3 + 2 \cdot 3^2) = (370)(178) If we only had these terms, then the fraction would rewrite to (58)(178)(370)(634)(10)(58)(178)(370)\frac{(58)(178)(370)(634)}{(10)(58)(178)(370)}. However, we notice most of the terms cancel, leaving us only with the largest term in the numerator and the smallest term in the denominator (63410\frac{634}{10}). We hypothesize that this will happen with the fraction as a whole. Then we will only be left with the largest term in the numerator, which is (582+2583+232)=3730(58^2 + 2 \cdot 58 \cdot 3 + 2 \cdot 3^2) = 3730. The fraction simplifies to 373010=373\frac{3730}{10} = \boxed{373}.

~ cxsmi

Video Solution by OmegaLearn

https://youtu.be/ZWqHxc0i7ro?t=1023

~ pi_is_3.14

Video Solution

https://www.youtube.com/watch?v=yoOWcx2Otcw

~Michael Penn