Q42 Matemática  (IMO Longlists 1971)

Mostre que para números reais não negativos $a,b$ e inteiros $n\ge 2$, $$\frac{a^n+b^n}{2}\ge {\left(\frac{a+b}{2}\right)}^n$$ Quando a igualdade vale?