JBMO-SL 2019 A4
Let be two distinct real numbers and let be a positive real number such that
Prove that .
Dataset text NuminaMath olympiads. Quoted with source.
Also JBMO 2019 Problem 2.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.