6

If $a$ and $b$ are positive real numbers such that $a+b=1$, prove that $$\bigg(a+\dfrac{1}{a}\bigg)^2+\bigg(b+\frac{1}{b}\bigg)^2\ge \dfrac{25}{2}.$$

My work:
$$\bigg(a+\dfrac{1}{a}\bigg)^2+\bigg(b+\dfrac{1}{b}\bigg)^2\ge \dfrac{25}{2}\implies a^2+\dfrac{1}{a^2}+b^2+\dfrac{1}{b^2}+4\ge \dfrac{25}{2}$$ Now, we have $a^2+\dfrac{1}{a^2}\ge 2$ and $b^2+\dfrac{1}{b^2}\ge 2$.
Here, I am stuck, I cannot use the information provided, $a+b=1$ to any use. Please help!

TMM
  • 9,976
Hawk
  • 6,540

2 Answers2

5

By QM-AM, $\displaystyle a^2+b^2 \geq \frac{1}{2}(a+b)^2 = \frac{1}{2}$. QM-AM again gives $\displaystyle \frac{1}{a^2}+\frac{1}{b^2} \geq \frac{1}{2}\left(\frac{1}{a}+\frac{1}{b}\right)^2$. By AM-HM, $\displaystyle \frac{2}{\frac{1}{a}+\frac{1}{b}} \leq \frac{a+b}{2} = \frac{1}{2}$, whence $\displaystyle\frac{1}{a}+\frac{1}{b} \geq 4$, and thus $\displaystyle \frac{1}{a^2}+\frac{1}{b^2} \geq 8$. Thus we have $$\left(a+\frac{1}{a}\right)^2 + \left(b+\frac{1}{b}\right)^2 = a^2 + b^2 + \frac{1}{a^2}+\frac{1}{b^2} + 4 \geq \frac{1}{2} + 8 + 4 = \frac{25}{2}.$$

universalset
  • 8,269
  • 20
  • 33
  • Pretty Fine. Thank you! I tried this approach but I mixed up the equation and got stuck. Thanks for riddling this out! – Hawk Jan 13 '14 at 13:14
2

Hint: Substitute $a=\frac{1}{2}+x$ and $b=\frac{1}{2}-x$, $|x|<\frac{1}{2}$. Then you should only find the minimum of a one variable function $f(x)$.

I'll write the whole solution, maybe someone finds it helpful. After the substitution we get:

$(a+\frac{1}{a})^2+(b+\frac{1}{b})^2=\frac{9}{2}+2x^2+\frac{\frac{1}{2}+2x^2}{(\frac{1}{4}-x^2)^2}=f(x)$.

Since $x^2\geqslant0$, we get that $f(x)\geqslant\frac{9}{2}+\frac{\frac{1}{2}}{\frac{1}{16}}=\frac{25}{2}$. Equality: for $x=0$ or $a=b=\frac{1}{2}$.

Poppy
  • 866
  • The expressions only become uglier by that transformation, so then you could just as well use $b = 1 - a$ and optimize in $a$. – TMM Jan 13 '14 at 13:12
  • Breaking the symmetry by insisting $0 \leq x < \frac{1}{2}$ could very well simplify things. And the fact that the variables are rewritten symmetrically can help too -- e.g. the common denominator will be a completed square without extra work. –  Jan 13 '14 at 13:18