Maths Olympiad Prep

Library / /396 of 520

Algebra Difficulty 6.0 AIME, harder Find the answer

10.1. Find the smallest solution of the inequality

log2(1202x322x)2+log21202x322x(x22x+8)35log7(712x322x)2log2(1202x322x)0 \frac{-\log _{2}(120-2 x \sqrt{32-2 x})^{2}+\left|\log _{2} \frac{120-2 x \sqrt{32-2 x}}{\left(x^{2}-2 x+8\right)^{3}}\right|}{5 \log _{7}(71-2 x \sqrt{32-2 x})-2 \log _{2}(120-2 x \sqrt{32-2 x})} \geqslant 0

A number or a short expression. Spacing and $ signs are ignored.

Solution

Answer: 135720.55-13-\sqrt{57} \approx-20.55.

Solution. Let f(x)=log2(x+120)f(x)=-\log _{2}(x+120). Then, taking into account the condition 712x322x>071-2 x \sqrt{32-2 x}>0, the original inequality can be rewritten as

2f(2x322x)+3f(x22x112)f(2x322x)(2log27)f(2x322x)5f(2x322x49)0 \frac{2 f(-2 x \sqrt{32-2 x})+\left|3 f\left(x^{2}-2 x-112\right)-f(-2 x \sqrt{32-2 x})\right|}{\left(2 \log _{2} 7\right) \cdot f(-2 x \sqrt{32-2 x})-5 f(-2 x \sqrt{32-2 x}-49)} \geqslant 0

For the function h(x)=2x322xh(x)=-2 x \sqrt{32-2 x}, we have

h(x)=2322x+2x322x=6x64322x h^{\prime}(x)=-2 \sqrt{32-2 x}+\frac{2 x}{\sqrt{32-2 x}}=\frac{6 x-64}{\sqrt{32-2 x}}

the point of global minimum of the function h(x)h(x) will be x=323,h(x)=64332369.67x_{*}=\frac{32}{3}, h\left(x_{*}\right)=-\frac{64}{3} \sqrt{\frac{32}{3}} \approx-69.67. For the function g(x)=x22x112g(x)=x^{2}-2 x-112, it is obviously true that g(x)113g(x) \geqslant-113. Thus, for all admissible xx, the expressions

2x322x,x22x112,2x322x49 -2 x \sqrt{32-2 x}, x^{2}-2 x-112,-2 x \sqrt{32-2 x}-49

lie in the set (119;+)(-119 ;+\infty), on which the function f(x)f(x) is decreasing and negative. Then

(2log27)f(2x322x)5f(2x322x49)<(2log275)f(2x322x49)<0\left(2 \log _{2} 7\right) \cdot f(-2 x \sqrt{32-2 x})-5 f(-2 x \sqrt{32-2 x}-49)<\left(2 \log _{2} 7-5\right) \cdot f(-2 x \sqrt{32-2 x}-49)<0 for all admissible xx, so the original inequality is equivalent to the inequality

3f(x22x112)f(2x322x)2f(2x322x) \left|3 f\left(x^{2}-2 x-112\right)-f(-2 x \sqrt{32-2 x})\right| \leqslant-2 f(-2 x \sqrt{32-2 x})

which, in turn, is equivalent to the system

{3f(x22x112)f(2x322x)f(x22x112)f(2x322x) \left\{\begin{array}{l} 3 f\left(x^{2}-2 x-112\right) \leqslant-f(-2 x \sqrt{32-2 x}) \\ f\left(x^{2}-2 x-112\right) \geqslant f(-2 x \sqrt{32-2 x}) \end{array}\right.

The first inequality of this system is satisfied for all admissible xx due to the negativity of f(x)f(x), the second one, due to its monotonicity, is equivalent to the inequality x22x1122x322xx^{2}-2 x-112 \leqslant-2 x \sqrt{32-2 x}. It can be rewritten as (x+322x)2144(x+\sqrt{32-2 x})^{2} \leqslant 144, which is equivalent to the system

{322x12x322x12x \left\{\begin{array}{l} \sqrt{32-2 x} \leqslant 12-x \\ \sqrt{32-2 x} \geqslant-12-x \end{array}\right.

the solutions of which will be x[1357;8]x \in[-13-\sqrt{57} ; 8].

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.