olymmath

IMO 2020 Problem 2

  • Day 1

The real numbers a,b,c,da, b, c, d are such that a≥b≥c≥d>0a\geq b\geq c\geq d>0 and a+b+c+d=1a+b+c+d=1 . Prove that (a+2b+3c+4d)aabbccdd<1(a+2b+3c+4d)a^ab^bc^cd^d<1 Proposed by Stijn Cambie, Belgium

Dataset text AI-MO AoPS. Quoted with source.

Official text: IMO 2020 official English paper, page 1.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

Add a solution

Locator imo/2020/p2 · Tag PTDSY2CPGR · Edit this page on GitHub · Keys: j next, k previous