# how to prove this inequality?

Given $x>0$, $y>0$ and $x + y =1$, how to prove that $\frac{1}{x}\cdot\log_2\left(\frac{1}{y}\right)+\frac{1}{y}\cdot\log_2\left(\frac{1}{x}\right)\ge 4$ ?

-

## 2 Answers

The function $t\mapsto\log_2{1\over t}$ is convex. Apply Jensen's inequality to $$f(x,y):={1\over x}\log_2{1\over y}+{1\over y}\log_2{1\over x}={1\over x y}\Bigl(y\ \log_2{1\over y}+x\ \log_2{1\over x}\Bigr)$$ and obtain $$f(x,y)\geq{1\over x y}\log_2 2={1\over x y}\geq 4\ .$$

-

Hint 1: Rewrite this inequality as:

$$-x\log_2 x - (1-x)\log_2 (1-x) \geq 4 x (1-x)$$

Both sides of the inequality define concave functions on the interval $[0,1]$. Plot them. Can you show that the graph of the second is always lying below the graph of the other?

-

1
Hint 2: raise both sides of the expression Raskolnikov wrote to the exponent with base 2. – Willie Wong♦ Apr 14 '11 at 16:38
Thanks for comment. Can you provide some details, 'cause I didn't get it. – user9587 Apr 15 '11 at 2:30

1
@brian: What I'd do from there is a full sign analysis (first and second derivative) of the difference between the two functions. It's easy to show that there are two inflexion points, and a bit more work to show that there are 3 extrema (2 maxima and 1 minimum). From there, you can find the shape of the curve of the difference and show that it is always positive. – Raskolnikov Apr 15 '11 at 9:21
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 6, "mathjax_display_tex": 3, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9462400078773499, "perplexity_flag": "head"}