返回题库

AIME 1995 · 第 2 题

AIME 1995 — Problem 2

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem

Find the last three digits of the product of the positive roots of 1995xlog1995x=x2\sqrt{1995}x^{\log_{1995}x}=x^2.

解析

Solution 1

Taking the log1995\log_{1995} (logarithm) of both sides and then moving to one side yields the quadratic equation 2(log1995x)24(log1995x)+1=02(\log_{1995}x)^2 - 4(\log_{1995}x) + 1 = 0. Applying the quadratic formula yields that log1995x=1±22\log_{1995}x = 1 \pm \frac{\sqrt{2}}{2}. Thus, the product of the two roots (both of which are positive) is 19951+2/2199512/2=199521995^{1+\sqrt{2}/2} \cdot 1995^{1 - \sqrt{2}/2} = 1995^2, making the solution (20005)2025(mod1000)(2000-5)^2 \equiv \boxed{025} \pmod{1000}.

Solution 2

Instead of taking log1995\log_{1995}, we take logx\log_x of both sides and simplify:

logx(1995xlog1995x)=logx(x2)\log_x(\sqrt{1995}x^{\log_{1995}x})=\log_x(x^{2}) logx1995+logxxlog1995x=2\log_x\sqrt{1995}+\log_x x^{\log_{1995}x}=2 12logx1995+log1995x=2\dfrac{1}{2} \log_x 1995 + \log_{1995} x = 2

We know that logx1995\log_x 1995 and log1995x\log_{1995} x are reciprocals, so let a=log1995xa=\log_{1995} x. Then we have 12(1a)+a=2\dfrac{1}{2}\left(\dfrac{1}{a}\right) + a = 2. Multiplying by 2a2a and simplifying gives us 2a24a+1=02a^2-4a+1=0, as shown above.

Because a=log1995xa=\log_{1995} x, x=1995ax=1995^a. By the quadratic formula, the two roots of our equation are a=2±22a=\frac{2\pm\sqrt2}{2}. This means our two roots in terms of xx are 19952+221995^\frac{2+\sqrt2}{2} and 1995222.1995^\frac{2-\sqrt2}{2}. Multiplying these gives 199521995^2

19952(mod1000)9952(mod1000)(5)2(mod1000)25(mod1000)1995^2\pmod{1000}\equiv 995^2\pmod{1000}\equiv (-5)^2\pmod{1000}\equiv 25\pmod{1000}, so our answer is 025\boxed{025}.

Solution 3

Let y=log1995xy=\log_{1995}x. Rewriting the equation in terms of yy, we have

1995(1995y)y=19952y\sqrt{1995}\left(1995^y\right)^y=1995^{2y} 1995y2+12=19952y1995^{y^2+\frac{1}{2}}=1995^{2y} y2+12=2yy^2+\frac{1}{2}=2y 2y24y+1=02y^2-4y+1=0 y=4±16(4)(2)(1)4=4±84=2±82=1±2y=\frac{4\pm\sqrt{16-\left(4\right)\left(2\right)\left(1\right)}}{4}=\frac{4\pm\sqrt{8}}{4}=\frac{2\pm\sqrt{8}}{2}={1\pm\sqrt{2}} Thus, the product of the positive roots is (19952+82)(1995282)=19952=(20005)2\left(1995^{\frac{2+\sqrt{8}}{2}}\right)\left(1995^{\frac{2-\sqrt{8}}{2}}\right)=1995^2=\left(2000-5\right)^2, so the last three digits are 025\boxed{025}.

Solution 4 (Basically Solution 3 but more detail)

Set y=log1995(x)y = \log_{1995}(x).

Then we have

1995xy=x2\sqrt{1995}x^{y}=x^2 Also, because y=log1995(x)y = \log_{1995}(x), we have 1995y=x1995^y = x, so, our new definition is

19951995y2=19952y\sqrt{1995} \cdot 1995^{y^2}=1995^{2y} Upon which squaring both sides to remove 1995\sqrt{1995}

199519952y2=19954y1995 \cdot 1995^{2y^2}=1995^{4y} 19952y2+1=19954y1995^{2y^2+1}=1995^{4y} 2y2+1=4y2y^2+1=4y 2y24y+1=02y^2-4y+1=0 Solving the equation yields y1=2+22y_1 = \frac{2 + \sqrt{2}}{2} and y2=222y_2 = \frac{2 - \sqrt{2}}{2}, in which now we want to find 1995y11995y2mod10001995^{y_1} \cdot 1995^{y_2} \mod 1000, or 19952+22+222mod10001995^{\frac{2+ \sqrt{2}}{2} + \frac{2 - \sqrt{2}}{2}} \mod 1000, or 19952mod10001995^2 \mod 1000, or (20005)2mod1000(2000-5)^2 \mod 1000, or (20002102000+25)mod1000(2000^2-10 \cdot 2000+25) \mod 1000 or (00+25)mod1000(0-0+25) \mod 1000 or simply 025\boxed{025}.

~Pinotation