Maths Olympiad Prep

Library / HMMT February /680 of 1302

HMMT February

Algebra Difficulty 5.3 AIME, harder Find the answer

Find the set consisting of all real values of xx such that the three numbers 2x,2x2,2x32^{x}, 2^{x^{2}}, 2^{x^{3}} form a non-constant arithmetic progression (in that order).

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

The empty set, ∅\varnothing. Trivially, x=0,1x=0,1 yield constant arithmetic progressions; we show that there are no other possibilities. If these numbers do form a progression, then, by the AM-GM (arithmetic mean-geometric mean) inequality, 2⋅2x2=2x+2x3≥22x⋅2x3⇒2x2≥2(x+x3)/2⇒x2≥(x+x3)/2⇒x(x−1)2=x3−2x2+x≤02 \cdot 2^{x^{2}}=2^{x}+2^{x^{3}} \geq 2 \sqrt{2^{x} \cdot 2^{x^{3}}} \Rightarrow 2^{x^{2}} \geq 2^{\left(x+x^{3}\right) / 2} \Rightarrow x^{2} \geq\left(x+x^{3}\right) / 2 \Rightarrow x(x-1)^{2}=x^{3}-2 x^{2}+x \leq 0 Assuming x≠0,1x \neq 0,1, we can divide by (x−1)2>0(x-1)^{2}>0 and obtain x<0x<0. However, then 2x,2x32^{x}, 2^{x^{3}} are less than 1, while 2x22^{x^{2}} is more than 1, so the given sequence cannot possibly be an arithmetic progression.

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: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.