Maths Olympiad Prep

Library / Romanian Mathematical Olympiad /61 of 275

Romanian Mathematical Olympiad

Algebra Difficulty 5.2 AIME, harder Prove it Romania

Solve for x∈Rx \in \mathbb{R}:
2x+1+log⁡2(1+x)=4x+1. 2^{x+1} + \log_2(1 + \sqrt{x}) = 4^x + 1.

Solution

The equation can be written log⁡2(1+x)=(2x−1)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)=log⁡2(1+x)f(x) = \log_2(1 + \sqrt{x}), is one to one and onto and its inverse f−1:[0,∞)→[0,∞)f^{-1} : [0, \infty) \to [0, \infty) is given by f−1(x)=(2x−1)2f^{-1}(x) = (2^x - 1)^2.
As ff is increasing strictly, the equation can be written f(x)=f−1(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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

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