Maths Olympiad Prep

Library / /16 of 45

Algebra Difficulty 5.2 AIME, harder Prove it Romania

Solve for xRx \in \mathbb{R}:
2x+1+log2(1+x)=4x+1. 2^{x+1} + \log_2(1 + \sqrt{x}) = 4^x + 1.

Solution

The equation can be written log2(1+x)=(2x1)2\log_2(1 + \sqrt{x}) = (2^x - 1)^2.
The function f:[0,)[0,)f : [0, \infty) \to [0, \infty), defined by f(x)=log2(1+x)f(x) = \log_2(1 + \sqrt{x}), is one to one and onto and its inverse f1:[0,)[0,)f^{-1} : [0, \infty) \to [0, \infty) is given by f1(x)=(2x1)2f^{-1}(x) = (2^x - 1)^2.
As ff is increasing strictly, the equation can be written f(x)=f1(x)=xf(x) = f^{-1}(x) = x, or equivalently 2x=1+x2^x = 1 + \sqrt{x}. One can easily check that x1=0x_1 = 0 and x2=1x_2 = 1 are solutions.
As g:[0,)[1,)g : [0, \infty) \to [1, \infty), g(x)=2xg(x) = 2^x is convex and the function h:[0,)[1,)h : [0, \infty) \to [1, \infty), h(x)=1+xh(x) = 1 + \sqrt{x} is concave, these are the only solutions.

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 and solution reproduced as published; topic and difficulty added by this site.