6

If $a,b\in\mathbb R\setminus\{0\}$ and $a+b=4$, prove that $$\left(a+\frac{1}{a}\right)^2+\left(b+\frac{1}{b}\right)^2\ge12.5$$

I could expand everything: $$a^2+2+\frac{1}{a^2}+b^2+2+\frac{1}{b^2}\ge12.5$$

Subtract $4$ from both sides: $$a^2+\frac{1}{a^2}+b^2+\frac{1}{b^2}\ge8.5$$

We could use AM-GM here ($a^2,\frac{1}{a^2},b^2,\frac{1}{b^2}$ are all positive), but obviously it wouldn't do anything useful. And we still have to use the fact that $a+b=4$ somehow.

I've tried substituting $b$ with $4-a$, but after clearing the denominators and simplifying we don't quite see anything useful, just a random 6th degree polynomial.

The polynomial is actually: $$2a^6-24 a^5+103.5 a^4-188 a^3+122 a^2-8 a+16\ge 0$$

How could I solve this? We can't use calculus by the way. Thanks.

user26486
  • 11,331

2 Answers2

8

You can do this with the quadratic-arithmetic mean: (this is possible, because $a^2\geq 0$.) $$ \sqrt{\frac{a^2+b^2}2}\geq\frac{a+b}2\\ a^2+b^2\geq \frac{(a+b)^2}2=8 $$ Now, you only have to proof $\frac 1{a^2}+\frac 1{b^2}\geq \frac 12$. Just as before, we know that $$ \frac 1{a^2}+\frac 1{b^2}\geq \frac{(\frac 1a+\frac 1b)^2}2 $$ We know that the minimum of $\frac 1a+\frac 1{4-a}$ is at $a=2$, with outcome $1$. (This can be done by differentiation, or multiply with $a(4-a)$ first.) Now we get $$ \frac 1{a^2}+\frac 1{b^2}\geq \frac{(\frac 1a+\frac 1b)^2}2\geq \frac 12 $$

Ragnar
  • 6,233
  • 1
    $a,b$ aren't positive, though. So we can't use any mean inequalities for them. We could use them for $a^2,b^2$, though. – user26486 Dec 23 '13 at 17:43
  • @mathh Good point – Ragnar Dec 23 '13 at 17:44
  • $a,b$ have to be positive too. We're using the quadratic-arithmetic mean inequality for two variables $a,b$ and all mean inequalities are defined to work only for positive $a$ and $b$. – user26486 Dec 23 '13 at 17:48
  • @mathh But we can apply them to $|a|$ and $|b|$ and use $|a|\geq a$ and $|b|\geq b$. – Ragnar Dec 23 '13 at 17:49
  • Oh. Good point. $\sqrt{\frac{a^2+b^2}2}$ doesn't change its value when the signs of $a$ and $b$ are changed and we know that $\sqrt{\frac{a^2+b^2}2}\geq\frac{a+b}2$ when $a,b$ are positive and that when $a,b$ change their signs, $\frac{a+b}{2}$ gets a lower value, so it'll still be less or equal to $\sqrt{\frac{a^2+b^2}2}$ – user26486 Dec 23 '13 at 17:57
  • What do you mean by "Just as before"? How do we know that $\frac 1{a^2}+\frac 1{b^2}\geq \frac{(\frac 1a+\frac 1b)^2}2$ holds? – user26486 Dec 23 '13 at 18:06
  • nice solution Ragnar.... – juantheron Dec 23 '13 at 18:25
  • You don't have to worry about $a$ or $b$ being negative, since then one of $|a|$ and $|b|$ is greater than $4$ in which case $(a + {1 \over a})^2$ or $(b + {1 \over b})^2$ is already greater than $(4 + {1 \over 4})^2 > 12.5$. – Zarrax Dec 23 '13 at 19:01
  • @mathh, now we apply the QM-AM to $\frac 1a$ and $\frac 1b$ instead of $a$ and $b$. – Ragnar Dec 23 '13 at 20:22
  • The last one is not true if you don't specify a,b are positive. 1 is local min. It is better as Zarrax said to explain if one of a,b are negative, the inequality already hold.(note $f(x)=x+\frac{1}{x}$ is mono increasing when x>1) then let a,b>0,all staff work. – chenbai Dec 24 '13 at 01:52
4

Without loss of generality, we can assume $a\ge b$, so let's write $a=2+x$, $b=2-x$ with $0\le x$. The inequality is clearly satisfied if $a\ge4$, so we need only worry about the range $0\le x\lt2$. Plugging this into the OP's inequality and simplifying like crazy, we find we need only prove

$$f(x)=x^2+{(4+x^2)\over(4-x^2)^2}\ge{1\over4}\quad\text{for }0\le x\lt2$$

Now it does not require calculus to see that the function $f(x)$ is increasing on the interval $0\le x\lt2$: The $x^2$ term is clearly increasing, and so is the quotient term, since the numerator $4+x^2$ is increasing and the denominator $(4-x^2)^2$ is decreasing. Finally, since $f(0)={1\over4}$, we can conclude that the inequality holds.

Barry Cipra
  • 79,832