Pour la demo de la théorie de dhrm77, en 2 parties.
On a un nombre N que l'on décompose en une somme de P termes, notés A1, A2, ... AP.
N = Somme des Ai pour i dans [1, P]
et on cherche à maximiser Produit des Ai pour i dans [1, P].
Première partie: tous les Ai sont égaux.
Démo: par l'absurde.
Supposons qu'il existe j et k tels que Ak < Aj.
Posons m la moyenne de Ak et Aj, 2m = Ak+Aj
Posons d tel que 2d = Aj - Ak, on a
1) d>0
2) Aj = m+d
3) Ak = m-d
4) N = Ak + Aj + Somme des Ai pour i dans [1, P] / {j,k}
donc N = 2m + Somme des Ai pour i dans [1, P] / {j,k}
5) Aj*Ak = m^2-d^2 < m^2
6) Produit des Ai pour i dans [1, P] = Produit des Ai pour i dans [1, P]/{j,k} * Aj * Ak < Produit des Ai pour i dans [1, P]/{j,k} * m^2
Conclusion: si deux nombres Ai sont differents, alors le produit n'est pas maximal.
Deuxieme partie: Ai=e
Démo:
On cherche a>0 tel que N=a*N/a (trivial) et a^(N/A) maximal.
f:x->ln(x) est strictement croissante, donc on peut chercher à maximiser ln(a^(N/A)).
ln(a^(N/A)) = N*ln(a)/a, N est constant et N>0 donc on cherche à maximiser ln(a)/a.
Dérivons ln(x)/x, on a: (1-ln(x))/(x^2). Son signe est celui de 1-ln(x).
1-ln(x) >0 ssi ln(x) < 1 ssi x < e
1-ln(x) <0 ssi ln(x) > 1 ssi x > e
et 1-ln(x)=0 pour x=e.
Conclusion: ln(x)/x est maximal pour x=e, et le produit aussi