ptitzap > Certes certes ... N'empêche que ma démo n'est, d'une part pas fausse, et du coup ...
En fait, on va prouver que si m/n + u/v = 1 (entiers naturels), alors
a^n*m + b^v*u >= nva^n*b^u
C'est ma démo dans le cas où m = n = 1.
Après, dans le cas x + y = 1, x et y réel, bah il existe des suite de rationnels (rn) et (tn) vérifiant lim r = x et lim t = y et par passage à la limite, on trouve ce qu'il faut.