Maths Olympiad Prep

Track / Stage 6 / 32 of 400 #1032 of 1964

Problem 1032

National olympiad, first round
Algebra Difficulty 6.0 Prove it

4B. Let a,ba, b be positive real numbers for which ab=1ab=1. Prove the inequality

(a5+a4+a3+a2+a+1)(b5+b4+b3+b2+b+1)4(a2+a+1)(b2+b+1) \left(a^{5}+a^{4}+a^{3}+a^{2}+a+1\right)\left(b^{5}+b^{4}+b^{3}+b^{2}+b+1\right) \geq 4\left(a^{2}+a+1\right)\left(b^{2}+b+1\right)

When does the equality sign hold?

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

Solution. We have,

a5+a4+a3+a2+a+1=(a3+1)(a2+a+1) and b5+b4+b3+b2+b+1=(b3+1)(b2+b+1) \begin{aligned} & a^{5}+a^{4}+a^{3}+a^{2}+a+1=\left(a^{3}+1\right)\left(a^{2}+a+1\right) \text { and } \\ & b^{5}+b^{4}+b^{3}+b^{2}+b+1=\left(b^{3}+1\right)\left(b^{2}+b+1\right) \end{aligned}

Therefore, the given inequality is equivalent to the inequality

(a3+1)(b3+1)4 \left(a^{3}+1\right)\left(b^{3}+1\right) \geq 4

However, since a,ba, b are positive real numbers, from the inequality between the arithmetic and geometric means and the equality ab=1a b=1, it follows that

(a3+1)(b3+1)2a3b3=4(ab)3=4 \left(a^{3}+1\right)\left(b^{3}+1\right) \geq 2 \sqrt{a^{3}} \cdot \sqrt{b^{3}}=4 \sqrt{(a b)^{3}}=4

Clearly, the equality holds if and only if a=b=1a=b=1.

## 4th Year

1AB. If the solutions of the equation x3px2+qxr=0x^{3}-p x^{2}+q x-r=0 form a geometric progression, prove that q3=p3rq^{3}=p^{3} r.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.