返回题库

AIME 2019 II · 第 8 题

AIME 2019 II — Problem 8

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem

The polynomial f(z)=az2018+bz2017+cz2016f(z)=az^{2018}+bz^{2017}+cz^{2016} has real coefficients not exceeding 20192019, and f(1+3i2)=2015+20193if\left(\tfrac{1+\sqrt{3}i}{2}\right)=2015+2019\sqrt{3}i. Find the remainder when f(1)f(1) is divided by 10001000.

解析

Solution 1

We have 1+3i2=ω\frac{1+\sqrt{3}i}{2} = \omega where ω=eiπ3\omega = e^{\frac{i\pi}{3}} is a primitive 6th root of unity. Then we have

f(ω)=aω2018+bω2017+cω2016=aω2+bω+c\begin{aligned} f(\omega) &= a\omega^{2018} + b\omega^{2017} + c\omega^{2016}\\ &= a\omega^2 + b\omega + c \end{aligned} We wish to find f(1)=a+b+cf(1) = a+b+c. We first look at the real parts. As Re(ω2)=12\text{Re}(\omega^2) = -\frac{1}{2} and Re(ω)=12\text{Re}(\omega) = \frac{1}{2}, we have 12a+12b+c=2015    a+b+2c=4030-\frac{1}{2}a + \frac{1}{2}b + c = 2015 \implies -a+b + 2c = 4030. Looking at imaginary parts, we have Im(ω2)=Im(ω)=32\text{Im}(\omega^2) = \text{Im}(\omega) = \frac{\sqrt{3}}{2}, so 32(a+b)=20193    a+b=4038\frac{\sqrt{3}}{2}(a+b) = 2019\sqrt{3} \implies a+b = 4038. As aa and bb do not exceed 2019, we must have a=2019a = 2019 and b=2019b = 2019. Then c=40302=2015c = \frac{4030}{2} = 2015, so f(1)=4038+2015=6053    f(1)(mod1000)=053f(1) = 4038 + 2015 = 6053 \implies f(1) \pmod{1000} = \boxed{053}.

-scrabbler94

Solution 2

Denote 1+3i2\frac{1+\sqrt{3}i}{2} with ω\omega.

By using the quadratic formula (b±b24ac2a\frac{-b\pm\sqrt{b^2-4ac}}{2a}) in reverse, we can find that ω\omega is the solution to a quadratic equation of the form ax2+bx+c=0ax^2+bx+c=0 such that 2a=22a=2, b=1-b=1, and b24ac=3b^2-4ac=-3. This clearly solves to a=1a=1, b=1b=-1, and c=1c=1, so ω\omega solves x2x+1=0x^2-x+1=0.

Multiplying x2x+1=0x^2-x+1=0 by x+1x+1 on both sides yields x3+1=0x^3+1=0. Muliplying this by x31x^3-1 on both sides yields x61=0x^6-1=0, or x6=1x^6=1. This means that ω6=1\omega^6=1.

We can use this to simplify the equation aω2018+bω2017+cω2016=f(ω)=2015+20193ia\omega^{2018}+b\omega^{2017}+c\omega^{2016}=f(\omega)=2015+2019\sqrt{3}i to aω2+bω+c=2015+20193i.a\omega^2+b\omega+c=2015+2019\sqrt{3}i.

As in Solution 1, we use the values ω=12+32i\omega=\frac{1}{2}+\frac{\sqrt{3}}{2}i and ω2=12+32i\omega^2=-\frac{1}{2}+\frac{\sqrt{3}}{2}i to find that 12a+12b+c=2015-\frac{1}{2}a+\frac{1}{2}b+c=2015 and 32a+32b=20193    a+b=4038.\frac{\sqrt{3}}{2}a+\frac{\sqrt{3}}{2}b=2019\sqrt{3} \implies a+b=4038. Since neither aa nor bb can exceed 20192019, they must both be equal to 20192019. Since aa and bb are equal, they cancel out in the first equation, resulting in c=2015c=2015.

Therefore, f(1)=a+b+c=2019+2019+2015=6053f(1)=a+b+c=2019+2019+2015=6053, and 6053mod1000=0536053\bmod1000=\boxed{053}. ~emerald_block

Solution 3

Calculate the first few powers of 1+3i2\frac{1+\sqrt{3}i}{2}.

(1+3i2)1=1+3i2(\frac{1+\sqrt{3}i}{2})^1=\frac{1+\sqrt{3}i}{2} (1+3i2)2=1+3i2(\frac{1+\sqrt{3}i}{2})^2=\frac{-1+\sqrt{3}i}{2} (1+3i2)3=1(\frac{1+\sqrt{3}i}{2})^3=-1 (1+3i2)4=13i2(\frac{1+\sqrt{3}i}{2})^4=\frac{-1-\sqrt{3}i}{2} (1+3i2)5=13i2(\frac{1+\sqrt{3}i}{2})^5=\frac{1-\sqrt{3}i}{2} (1+3i2)6=1(\frac{1+\sqrt{3}i}{2})^6=1

We figure that the power of 1+3i2\frac{1+\sqrt{3}i}{2} repeats in a cycle 6.

f(1+3i2)=(a(1+3i2)2+b(1+3i2)+c)(1+3i2)2016f(\frac{1+\sqrt{3}i}{2})=(a(\frac{1+\sqrt{3}i}{2})^2+b(\frac{1+\sqrt{3}i}{2})+c)(\frac{1+\sqrt{3}i}{2})^{2016}

Since 2016 is a multiple of 6, (1+3i2)2016=1(\frac{1+\sqrt{3}i}{2})^{2016}=1

f(1+3i2)=a(1+3i2)+b(1+3i2)+cf(\frac{1+\sqrt{3}i}{2})=a(\frac{-1+\sqrt{3}i}{2})+b(\frac{1+\sqrt{3}i}{2})+c f(1+3i2)=(12a+12b+c)+(3i2a+3i2b)=2015+20193if(\frac{1+\sqrt{3}i}{2})=(-\frac{1}{2}a+\frac{1}{2}b+c)+(\frac{\sqrt{3}i}{2}a+\frac{\sqrt{3}i}{2}b)=2015+2019\sqrt{3}i

Therefore, 12a+12b+c=2015-\frac{1}{2}a+\frac{1}{2}b+c=2015 and 3i2a+3i2b=20193i\frac{\sqrt{3}i}{2}a+\frac{\sqrt{3}i}{2}b=2019\sqrt{3}i

Using the first equation, we can get that a+b+2c=4030-a+b+2c=4030, and using the second equation, we can get that a+b=4038a+b=4038.

Since all coefficients are less than or equal to 20192019, a=b=2019a=b=2019.

Therefore, 2c=40302c=4030 and c=2015c=2015.

f(1)=a+b+c=2019+2019+2015=6053f(1)=a+b+c=2019+2019+2015=6053, and the remainder when it divides 10001000 is 053.\boxed{053}.

~Interstigation