Maths Olympiad Prep

Library / /74 of 100

Algebra Difficulty 5.5 AIME, harder Prove it China

Given f(x)=sin(πx)cos(πx)+2xf(x) = \frac{\sin(\pi x) - \cos(\pi x) + 2}{\sqrt{x}} for 14x54\frac{1}{4} \le x \le \frac{5}{4}, the minimum of f(x)f(x) is ______.

Solution

By rewriting f(x)f(x), we have
f(x)=2sin(πxπ4)+2x f(x) = \frac{\sqrt{2}\sin\left(\pi x - \frac{\pi}{4}\right) + 2}{\sqrt{x}}
for 14x54\frac{1}{4} \le x \le \frac{5}{4}. Define g(x)=2sin(πxπ4)g(x) = \sqrt{2}\sin(\pi x - \frac{\pi}{4}), where 14x54\frac{1}{4} \le x \le \frac{5}{4}. Then g(x)0g(x) \ge 0, and g(x)g(x) is monotone increasing on [14,34][\frac{1}{4}, \frac{3}{4}], and monotone decreasing on [34,54][\frac{3}{4}, \frac{5}{4}].

Further, the graph of y=g(x)y = g(x) is symmetric about x=34x = \frac{3}{4}, i.e. for any x1[14,34]x_1 \in [\frac{1}{4}, \frac{3}{4}] there exists x2[34,54]x_2 \in [\frac{3}{4}, \frac{5}{4}] such that g(x2)=g(x1)g(x_2) = g(x_1). Then
f(x1)=g(x1)+2x1=g(x2)+2x1g(x2)+2x2=f(x2). f(x_1) = \frac{g(x_1) + 2}{\sqrt{x_1}} = \frac{g(x_2) + 2}{\sqrt{x_1}} \ge \frac{g(x_2) + 2}{\sqrt{x_2}} = f(x_2).
On the other hand, f(x)f(x) is monotone decreasing on [34,54][\frac{3}{4}, \frac{5}{4}]. Therefore f(x)f(54)=455f(x) \ge f(\frac{5}{4}) = \frac{4\sqrt{5}}{5}. That means the minimum value of f(x)f(x) on [14,54][\frac{1}{4}, \frac{5}{4}] is 455\frac{4\sqrt{5}}{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 and solution reproduced as published; topic and difficulty added by this site.