Problem: Prove or disprove that for all positive real numbers a, b and c the inequality 3≤a+4b4a+b+b+4c4b+c+c+4a4c+a<433 holds.
Solution
Solution: Proof of 3≤a+4b4a+b+b+4c4b+c+c+4a4c+a :
1st variant: Multiplying by the common denominator and simplifying leads to the equivalent inequality 45abc≤7(a2b+b2c+c2a)+8(ab2+bc2+ca2). This follows from the inequality between the arithmetic and geometric mean (e.g. a2b+b2c+c2a≥33a2b⋅b2c⋅c2a=3abc ).
2nd variant: For n≥1 and real numbers a1,…,an,b1,…,bn the Cauchy-Schwarz inequality a12+…+an2b12+…+bn2≥a1b1+…+anbn holds. For n=3, a12=a+4b4a+b, a22=b+4c4b+c, a32=c+4a4c+a, b12=(4a+b)(a+4b), b22=(4b+c)(b+4c), b32=(4c+a)(c+4a) this gives