Maths Olympiad Prep

Library / /16 of 41

Algebra Difficulty 5.5 AIME, harder Prove it New Zealand

Problem:
Find the sum of the smallest and largest possible values for xx which satisfy the following equation.

9x+1+2187=36xx29^{x + 1} + 2187 = 3^{6x - x^{2}}

Solution

Solution:
First we prove that the given equation has at least one root. To do this we consider the following function.

f(x)=9x+1+218736xx2f(x) = 9^{x + 1} + 2187 - 3^{6x - x^{2}}

Note that this function is continuous. Note also that f(0)=9+21871>0f(0) = 9 + 2187 - 1 > 0 and f(3)=94+218739<0f(3) = 9^{4} + 2187 - 3^{9} < 0. Therefore by the intermediate value theorem there exists a real number 0<z<30 < z < 3 such that f(z)=0f(z) = 0. Therefore there is at least one value xx which satisfies the equation.

Next, we can rewrite the equation in the following form

3x+35x=3x(5x)2(1)3^{x} + 3^{5 - x} = 3^{x(5 - x) - 2} \quad (1)

Let rr and ss be any two numbers such that r+s=5r + s = 5. Notice that if rr is a root of (1) then ss must also be a root (and vice versa). This is because

3r+35r=35s+3sand3r(5r)2=3(5s)s2.3^{r} + 3^{5 - r} = 3^{5 - s} + 3^{s} \qquad \mathrm{and} \qquad 3^{r(5 - r) - 2} = 3^{(5 - s)s - 2}.

Now we claim that if x0x_{0} is the smallest root of (1), then (5x0)(5 - x_{0}) must be the largest root. Indeed if x1x_{1} were a root of (1) greater than (5x0)(5 - x_{0}), then (5x1)(5 - x_{1}) would also have to be a root, but (5x1)<(5(5x0))=x0(5 - x_{1}) < (5 - (5 - x_{0})) = x_{0} and this would contradict the fact that x0x_{0} is the smallest root.

Therefore, the sum of the largest and the smallest roots of (1) is x0+(5x0)=5x_{0} + (5 - x_{0}) = 5

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.