返回题库

AIME 2020 I · 第 2 题

AIME 2020 I — Problem 2

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem

There is a unique positive real number xx such that the three numbers log82x\log_8{2x}, log4x\log_4{x}, and log2x\log_2{x}, in that order, form a geometric progression with positive common ratio. The number xx can be written as mn\frac{m}{n}, where mm and nn are relatively prime positive integers. Find m+nm + n.

解析

Solution 1

Since these form a geometric series, log2xlog4x\frac{\log_2{x}}{\log_4{x}} is the common ratio. Rewriting this, we get logx4logx2=log24=2\frac{\log_x{4}}{\log_x{2}} = \log_2{4} = 2 by base change formula. Therefore, the common ratio is 2. Now log4xlog82x=2    log4x=2log82+2log8x    12log2x=23+23log2x\frac{\log_4{x}}{\log_8{2x}} = 2 \implies \log_4{x} = 2\log_8{2} + 2\log_8{x} \implies \frac{1}{2}\log_2{x} = \frac{2}{3} + \frac{2}{3}\log_2{x}

    16log2x=23    log2x=4    x=116\implies -\frac{1}{6}\log_2{x} = \frac{2}{3} \implies \log_2{x} = -4 \implies x = \frac{1}{16}. Therefore, 1+16=0171 + 16 = \boxed{017}.

~ JHawk0224

Solution 2

If we set x=2yx=2^y, we can obtain three terms of a geometric sequence through logarithm properties. The three terms are

y+13,y2,y.\frac{y+1}{3}, \frac{y}{2}, y. In a three-term geometric sequence, the middle term squared is equal to the product of the other two terms, so we obtain the following:

y2+y3=y24,\frac{y^2+y}{3} = \frac{y^2}{4}, which can be solved to reveal y=4y = -4. Therefore, x=24=116x = 2^{-4} = \frac{1}{16}, so our answer is 017\boxed{017}.

-molocyxu

Solution 3

Let rr be the common ratio. We have

r=log4(x)log8(2x)=log2(x)log4(x)r = \frac{\log_4{(x)}}{\log_8{(2x)}} = \frac{\log_2{(x)}}{\log_4{(x)}} Hence we obtain

(log4(x))(log4(x))=(log8(2x))(log2(x))(\log_4{(x)})(\log_4{(x)}) = (\log_8{(2x)})(\log_2{(x)}) Ideally we change everything to base 6464 and we can get:

(log64(x3))(log64(x3))=(log64(x6))(log64(4x2))(\log_{64}{(x^3)})(\log_{64}{(x^3)}) = (\log_{64}{(x^6)})(\log_{64}{(4x^2)}) Now divide to get:

log64(x3)log64(4x2)=log64(x6)log64(x3)\frac{\log_{64}{(x^3)}}{\log_{64}{(4x^2)}} = \frac{\log_{64}{(x^6)}}{\log_{64}{(x^3)}} By change-of-base we obtain:

log(4x2)(x3)=log(x3)(x6)=2\log_{(4x^2)}{(x^3)} = \log_{(x^3)}{(x^6)} = 2 Hence (4x2)2=x316x4=x3x=116(4x^2)^2 = x^3 \rightarrow 16x^4 = x^3 \rightarrow x = \frac{1}{16} and we have 1+16=0171+16 = \boxed{017} as desired.

~skyscraper

Solution 4 (Exponents > Logarithms)

Let rr be the common ratio, and let aa be the starting term (a=log8(2x)a=\log_{8}{(2x)}). We then have:

log8(2x)=a,log4(x)=ar,log2(x)=ar2\log_{8}{(2x)}=a, \log_{4}{(x)}=ar, \log_{2}{(x)}=ar^2 Rearranging these equations gives:

8a=2x,4ar=x,2ar2=x8^a=2x, 4^{ar}=x, 2^{ar^2}=x Deal with the last two equations first: Setting them equal gives:

4ar=2ar2    22ar=2ar2    2ar=ar2    r=24^{ar}=2^{ar^2} \implies 2^{2ar}=2^{ar^2} \implies 2ar=ar^2 \implies r=2 Using this value of rr, substitute into the first and second equations (or the first and third, it doesn't really matter) to get:

8a=2x,42a=x8^a=2x, 4^{2a}=x Changing these to a common base gives:

23a=2x,24a=x2^{3a}=2x, 2^{4a}=x Dividing the first equation by 2 on both sides yields:

23a1=x2^{3a-1}=x Setting these equations equal to each other and removing the exponent again gives:

3a1=4a    a=13a-1=4a \implies a=-1 Substituting this back into the first equation gives:

81=2x    2x=18    x=1168^{-1}=2x \implies 2x=\frac{1}{8} \implies x=\frac{1}{16} Therefore, m+n=1+16=017m+n=1+16=\boxed{017}

~IAmTheHazard

Solution 5

We can relate the logarithms as follows:

log4xlog8(2x)=log2xlog4x\frac{\log_4{x}}{\log_8{(2x)}}=\frac{\log_2{x}}{\log_4{x}} log8(2x)log2x=log4xlog4x\log_8{(2x)}\log_2{x}=\log_4{x}\log_4{x} Now we can convert all logarithm bases to 22 using the identity logab=logacbc\log_a{b}=\log_{a^c}{b^c}:

log22x3log2x=log2xlog2x\log_2{\sqrt[3]{2x}}\log_2{x}=\log_2{\sqrt{x}}\log_2{\sqrt{x}} We can solve for xx as follows:

13log2(2x)log2x=14log2xlog2x\frac{1}{3}\log_2{(2x)}\log_2{x}=\frac{1}{4}\log_2{x}\log_2{x} 13log2(2x)=14log2x\frac{1}{3}\log_2{(2x)}=\frac{1}{4}\log_2{x} 13log22+13log2x=14log2x\frac{1}{3}\log_2{2}+\frac{1}{3}\log_2{x}=\frac{1}{4}\log_2{x} We get x=116x=\frac{1}{16}. Verifying that the common ratio is positive, we find the answer of 017\boxed{017}.

~QIDb602

Solution 6

If the numbers are in a geometric sequence, the middle term must be the geometric mean of the surrounding terms. We can rewrite the first two logarithmic expressions as 1+log2x3\frac{1+\log_2{x}}{3} and 12log2x\frac{1}{2}\log_2{x}, respectively. Therefore:

12log2x=(1+log2x3)(log2x)\frac{1}{2}\log_2{x}=\sqrt{\left(\frac{1+\log_2{x}}{3}\right)\left(\log_2{x}\right)} Let n=log2xn=\log_2{x}. We can rewrite the expression as:

n2=n(n+1)3\frac{n}{2}=\sqrt{\frac{n(n+1)}{3}} n24=n(n+1)3\frac{n^2}{4}=\frac{n(n+1)}{3} 4n(n+1)=3n24n(n+1)=3n^2 4n2+4n=3n24n^2+4n=3n^2 n2+4n=0n^2+4n=0 n(n+4)=0n(n+4)=0 n=0 and 4n=0 \text{ and } -4 Zero does not work in this case, so we consider n=4n=-4: log2x=4x=116\log_2{x}=-4 \rightarrow x=\frac{1}{16}. Therefore, 1+16=0171+16=\boxed{017}.

~Bowser498

Solution 7

Again, by the Change of Base Formula, obtain that the common ratio is 2. If we let yy be the exponent of log8(2x)\log_8 (2x), then we have 8y=2x;42y=x;24y=x.8^y=2x;\:4^{2y}=x;\:2^{4y}=x. Wee can then divide the first equation by two to have the right side be xx. Also, 24y=(24)y=16y2^{4y}=\left(2^{4}\right)^y=16^y. Setting this equal to 8y2\frac{8^y}{2}, we can divide the two equations to get 2y=122^y=\frac12. Therefore, y=1y=-1. After that, we can raise 1616 to the 1-1th power to get x=161x=116x=16^{-1}\Rightarrow x=\frac1{16}. We then get our sum of 1+16=0171+16=\boxed{\textbf{017}}.

~SweetMango77

Solution 8 (Official MAA)

By the Change of Base Formula the common ratio of the progression is

log2xlog4x=mlog2xmlog2xlog24=2.\frac{\log_2 x}{\log_4 x} = \frac{\hphantom{m}\log_2x\hphantom{m}}{\frac{\log_2x}{\log_24}} = 2. Hence xx must satisfy

2=log4xlog8(2x)=log2xlog24÷log2(2x)log28=32log2x1+log2x.2=\frac{\log_4 x}{\log_8 (2x)}= \frac{\log_2 x}{\log_2 4} \div \frac{\log_2(2x)}{\log_28} = \frac 32\cdot \frac{\log_2x}{1+\log_2x}. This is equivalent to 4+4log2x=3log2x4 + 4\log_2x = 3\log_2x. Hence log2x=4\log_2x = -4 and x=116x = \frac{1}{16}. The requested sum is 1+16=171+16 = 17.

Solution 9

Let the series be a,ar,ar2a,ar,ar^2. So, converting these logarithms into exponents we have 8a=2x8^a = 2x, 4ar=x4^{ar} = x, and 2ar2=x2^{ar^2} = x. So, setting the 2nd and 3rd equations equal, we have:

4ar=2ar222ar=2ar22ar=ar2r=24^{ar} = 2^{ar^2} \Longrightarrow 2^{2ar} = 2^{ar^2} \Longrightarrow 2ar = ar^2 \Longrightarrow r = 2 . Plugging that into our 3rd equation, we have 24a=x2^{4a} = x. We recall that 8a=2x23a=2x8^a = 2x \Longrightarrow 2^{3a} = 2x. So, since 24a=x2^{4a} = x, 2x=24a+12x = 2^{4a+1}. Now, setting 23a2^{3a}, and 24a+12^{4a+1} equal, we get a=1a = -1, so plugging into our first equation, we have

18=2xx=116017\dfrac{1}{8} = 2x \Longrightarrow x = \dfrac{1}{16} \Longrightarrow \boxed{017} -jb2015007

Video Solutions

https://youtu.be/nPL7nUXnRbo (Unavailable)

Aarav Navani: https://youtu.be/4FvYVfhhTaQ

Mathematica De Estremo: https://youtu.be/FgrIgCyGVUI

https://youtu.be/mgRNqSDCvgM?t=281s (Unavailable)