Étudions la plage de étant donné que leur moyenne arithmétique (AM) est un petit multiple 1 + δ de leur moyenne géométrique (GM) (avec δ ≥ 0 ). Dans la question, δ ≈ 0,001 mais nous ne savons pas n .X1≤ x2≤ ⋯ ≤ xn1 + δδ≥ 0δ≈ 0,001n
Étant donné que le rapport de ces moyennes ne change pas lorsque les unités de mesure sont modifiées, choisissez une unité pour laquelle le GM est . Ainsi, nous cherchons à maximiser x n sous la contrainte que x 1 + x 2 + ⋯ + x n = n ( 1 + δ ) et x 1 ⋅ x 2 ⋯ x n = 1 .1XnX1+ x2+ ⋯ + xn= n ( 1 + δ)X1⋅ x2⋯ xn= 1
Cela se fera en faisant , disons, et x n = z ≥ x . AinsiX1= x2= ⋯ = xn - 1= xXn= z≥ x
n ( 1 + δ) = x1+ ⋯ + xn= ( n - 1 ) x + z
et
1 = x1⋅ x2⋯ xn= xn - 1z.
La solution est une racine entre 0 et 1 deX01
( 1 - n ) xn+ n ( 1 + δ) xn - 1- 1.
Il est facilement trouvé de manière itérative. Voici les graphiques des et z optimaux en fonction de δ pour n = 6 , 20 , 50 , 150 , de gauche à droite:Xzδn = 6 , 20 , 50 , 150
Dès que atteint une taille appréciable, même un petit rapport de 1,001 correspond à un grand x n périphérique (les courbes rouges supérieures) et à un groupe de x i étroitement groupés (les courbes bleues inférieures).n1,001XnXje
À l'autre extrême, supposons que est pair (pour simplifier). La plage minimale est atteinte lorsque la moitié de x i est égale à une valeur x ≤ 1 et l'autre moitié à une autre valeur z ≥ 1 . Maintenant, la solution (qui est facilement vérifiable) estn = 2 kXjex ≤ 1z≥ 1
Xk= 1 + δ± δ2+ 2 δ------√.
Pour les minuscules , nous pouvons ignorer le δ 2 comme approximation et également approcher la k ème racine au premier ordre, donnantδδ2ke
x ≈ 1 + δ- 2 δ--√k; z ≈ 1 + δ+ 2 δ--√k.
La plage est d'environ .32 δ---√/ n
nδ
Xje
x=c(-5,-5,1,2,3,10); prod(x)^(1/length(x))
[1] 3.383363