Нерівність середнього арифметичного та геометричного

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

У математиці, нерівність середнього арифметичного та геометричного або коротше нерівність СА–СГ стверджує, що середнє арифметичне набору невід'ємних дійсних чисел більше ніж або дорівнює середньому геометричному цих же чисел; і далі, що ці середні дорівнюють одне одному тоді і лише тоді, коли усі числа в наборі однакові.

Найпростіший нетривіальний випадок — тобто, з більш ніж з однією змінною — для двох невід'ємних чисел x і y, це таке твердження

зі знаком рівності тоді і лише тоді, коли x = y. Цей випадок можна зрозуміти завдяки тому факту, що квадрат дійсного числа завжди невід'ємний і з елементарного випадку біноміальної формули (a ± b)2 = a2 ± 2ab + b2:

Інакше кажучи, (x + y)2 ≥ 4xy, де рівність досягається саме тоді, коли (xy)2 = 0, тобто x = y.

Для геометричного тлумачення, розглянемо прямокутник зі сторонами довжин x і y, звідси його периметр 2x + 2y і площа xy. Подібно, квадрат з усіма сторонами довжини xy має периметр 4xy і ту ж саму площу, що і прямокутник. Найпростіший нетривіальний випадок нерівності СА-СГ для периметра дає 2x + 2y ≥ 4xy і, що лише квадрат має найменший периметр серед усіх прямокутників рівної площі.

Загальна нерівність СА-СГ відповідає тому факту, що натуральний логарифм, який переводить множення у додавання, є строго увігнутою функцією; використовуючи нерівність Єнсена отримуємо загальне доведення нерівності.

Розширення нерівності СА-СГ можуть включати ваги або середні степеневі.

Підґрунтя

[ред. | ред. код]

Середнє арифметичне набору з n чисел x1, x2, . . . , xn — це сума чисел поділена на n:


Подібно середнє геометричне, окрім того, що воно визначене лише для набору невід'ємних дійсних чисел і використовує множення і корінь замість додавання і ділення:

Якщо x1, x2, . . . , xn > 0, тоді це дорівнює показниковій функції середнього арифметичного натуральних логарифмів цих чисел:

Нерівність

[ред. | ред. код]

Перефразовуючи нерівність використовуючи математичний запис, ми маємо, що для будь-якого набору з n невід'ємних дійсних чисел x1, x2, . . . , xn,

і, що рівність досягається тоді і лише тоді, коли x1 = x2 = · · · = xn.

Геометричне тлумачення

[ред. | ред. код]

У двох вимірах, 2x1 + 2x2 це периметр прямокутника з довжинами сторін x1 і x2. Аналогічно, 4x1x2 це периметр квадрата з тією самою площею як попередньо згаданий прямокутник. Отже, для n = 2 нерівність СА-ГА твердить, що лише квадрат має найменший периметр посеред усіх прямокутників рівної площі.

Повна нерівність це розширення цієї ідеї на n вимірів. Кожна вершина n-вимірного паралелепіпеда має n інцидентних ребер. Якщо довжини цих ребер x1, x2, . . . , xn, тоді x1 + x2 + · · · + xn це загальна довжина ребер інцидентних цій вершині. Всього маємо 2n вершин, тому множимо це на 2n; однак, оскільки кожне ребро інцидентне двом вершинам, кожне ребро пораховане двічі. Через це ми ділимо на 2 і приходимо до висновку, що ребер всього 2n−1n. Ребер кожної довжини однакова кількість і всього n довжин; з цього випливає, що ми маємо 2n−1 ребер кожної довжини і загальна довжина всіх ребер становить 2n−1(x1 + x2 + · · · + xn). З іншого боку,

є загальною довжиною ребер інцидентних до певної вершини на n-вимірному кубі рівного об'єму. Оскільки наша нерівність стверджує, що

ми маємо

зі знаком рівності тоді і лише тоді, коли x1 = x2 = · · · = xn.

Отже, нерівність СА-ГА стверджує, що лише гіперкуб має найменшу суму довжин ребер інцидентних кожній вершині посеред усіх n-вимірних паралелограмів того самого об'єму.[1]

Приклад застосування

[ред. | ред. код]

Розглянемо функцію

для всіх додатних дійсних чисел x, y і z. Припустимо ми бажаємо знайти мінімальне значення цієї функції. Спершу ми перепишемо її трошки:

з

Застосовуючи нерівність СА-СГ для n = 6, маємо

Далі, ми знаємо, що два боки нерівності дорівнюють один одному тоді коли всі доданки середнього рівні між собою:

 коли 

Усі точки (x, y, z), що задовольняють цим умовам лежать на промені, що починається в початку координат і задається так

Доведення нерівності СА-СГ

[ред. | ред. код]

Існує декілька шляхів доведення нерівності СА-ГА; наприклад, його можна вивести із нерівності Єнсена, використовуючи угнуту функцію ln(x). Також можна довести використовуючи нерівність перестановок. Зважаючи на довжину та необхідні попередні знання, просте доведення по індукції наведене нижче, мабуть, найкраща рекомендація для першого читання.

Ідея перших двох доведень

[ред. | ред. код]

Нам потрібно показати, що

зі знаком рівності лише коли всі числа однакові. Якщо xixj, тоді заміна обох xi і xj на (xi + xj)/2 залишить середнє арифметичне ліворуч незміненим, але збільшить середнє геометричне праворуч оскільки

Отже, правий бік буде найбільшим коли xi-ті дорівнюють середньому арифметичному

отже, оскільки тоді це найбільше значення правого боку виразу, ми маємо

Це правильне доведення для випадку n = 2, але процедура отримання ітеративного попарного середнього може зазнати невдачі у створенні n рівних чисел у випадку коли n ≥ 3. Як приклад можна навести випадок коли x1 = x2x3: Усереднювання двох відмінних чисел продукує два рівних числа, але третє все ще залишатиметься відмінним. Тому, ми ніколи не отримаємо нерівність із середнім геометричним, яке включає три однакових числа.

З цього видно, що для перетворення цієї ідею у дійсне доведення для випадку n ≥ 3 необхідний додатковий трюк або зміна аргументу.

Доведення за допомогою індукції

[ред. | ред. код]

Із середнім арифметичним

невід'ємних дійсних чисел x1, . . . , xn, твердження СА-СГ тотожне до

зі знаком рівності тоді і лише тоді, коли α = xi для всіх i ∈ {1, . . . , n}.

Для наступного доведення ми застосуємо математичну індукцію і лише добре відому арифметику.

База: Для n = 1 твердження дійсне із знаком рівності.

Гіпотеза: Припустимо, що нерівність СА-ГА має місце для всіх можливих комбінацій з n невід'ємних дійсних чисел.

Крок: Розглянемо n + 1 невід'ємних дійсних числа x1, . . . , xn+1. Їх середнє арифметичне α задовольняє

Якщо всі числа дорівнюють α, тоді ми маємо рівність у твердження СА_СГ і ми зупиняємось. Інакше ми можемо знайти одне число, яке буде більшим і одне число яке буде меншим ніж α, нехай xn > α і xn+1 < α. Тоді

Тепер розглянемо n чисел x1, . . . , xn–1, y з

яке теж невід'ємне. З того, що

маємо, що α також є середнім арифметичним n чисел x1, . . . , xn–1, y і індукційна гіпотеза дає нам

Завдяки (*) ми знаємо, що

звідси

оскільки α > 0. З цього випливає, що якщо хоча б одне число x1, . . . , xn–1 є нулем, тоді ми одразу маємо строгу нерівність у (**). Інакше, права сторона у (**) є додатною і строга нерівність досягається, використовуючи оцінку (***), щоб отримати нижню границю для правої сторони (**). Отже, в обох випадках ми маємо

що завершує доведення.

Доведення Коші прямо-зворотною індукцією

[ред. | ред. код]

Наступне доведення прямо покладається на добре відомі правила арифметики, але використовує рідко вживану техніку прямо-зворотної індукції. По суті автором є Оґюстен-Луї Коші.[2]

Випадок коли всі числа однакові

[ред. | ред. код]

Якщо всі числа однакові:

тоді їх сума є nx1, отже середнє арифметичне дорівнює x1; і їх добуток становить x1n, отже їх середнє геометричне дорівнює x1; з цього, середнє арифметичне і середнє геометричне однакові, як і вимагалось.

Випадок коли не всі числа однакові

[ред. | ред. код]

Залишилось показати, що якщо не всі числа однакові, тоді арифметичне середнє більше ніж геометричне середнє. Очевидно, це можливо лише коли n > 1.

Цей випадок значно складніший, і ми розділимо його на підвипадки.

Випадок коли n = 2
[ред. | ред. код]

Якщо n = 2, тоді ми маємо два числа, x1 і x2, і оскільки (за припущенням) не всі числа однакові, маємо:

звідси

як вимагалось.

Підвипадок коли n = 2k
[ред. | ред. код]

Розглянемо випадок коли n = 2k, де k це додатне число. Ми продовжуємо, використовуючи математичну індукцію.

У базовому випадку, k = 1, тому n = 2. Ми вже показали, що нерівність має місце коли n = 2, отже, тут все готово.

Тепер, припустимо, що для певного k > 1, ми вже показали, що нерівність дотримується для n = 2k−1, і ми хочемо показати, що нерівність має місце і для n = 2k. Щоб це зробити, ми двічі застосуємо нерівність для 2k-1 чисел і один раз для 2 чисел, щоб отримати:

де у першій нерівності рівність досягається лише тоді, коли

і

(у цьому випадку перше середнє арифметичне і перше середнє геометричне обидва дорівнюють x1, і аналогічно із другим середнім арифметичним і другим середнім геометричним); і у другій нерівності рівність досягається лише тоді, коли два середніх геометричних рівні між собою. Оскільки не всі 2k чисел однакові, неможливо, щоб обидві нерівності стали рівностями, тому ми знаємо, що:

як вимагалось.

Підвипадок коли n < 2k
[ред. | ред. код]

Якщо n не є натуральним степенем  2, тоді це однозначно менше ніж деякий натуральний степінь 2, оскільки послідовність 2, 4, 8, . . . , 2k, . . . є необмеженою згори. Отже, без втрати загальності, нехай m буде деяким натуральним степенем 2, який більше ніж n.

З цього, якщо ми маємо n чисел, тоді позначимо їх середнє арифметичне як α, і розширимо список чисел так:

Тоді ми маємо:

тому

і

як вимагалось.

Доведення по індукції із використанням базових знань з обчислення

[ред. | ред. код]

Наступне доведення використовує математичну індукцію і диференціальне числення.

База: Для n = 1 твердження виконується із знаком рівності.

Гіпотеза: Припустимо, що СА-СГ виконується для всіх можливих n невід'ємних дійсних чисел.

Крок: Для того, щоб довести твердження для n + 1 невід'ємних дійсних чисел x1, . . . , xn, xn+1, нам потрібно довести, що

з рівністю лише тоді, коли всі n + 1 чисел однакові.

Якщо всі числа дорівнюють нулю, нерівність виконується із знаком рівності. Якщо деякі, але не всі числа є нулями, то ми маємо строгу нерівність. Отже, ми можемо припустити, що всі n + 1 чисел є додатними.

Ми розглядатимемо останнє число xn+1 як змінну і визначимо функцію

Доведення кроку індукції тотожне доведенню того, що f(t) ≥ 0 для всіх t > 0, із f(t) = 0 тільки якщо x1, . . . , xn і t всі рівні. Це можна зробити проаналізувавши критичні точки f.

Перша похідна f така

Критична точка t0 має задовольняти f′(t0) = 0, що значить

Після невеличкої перестановки отримуємо

і зрештою

що є середнім геометричним x1, . . . , xn. Це єдина критична точка f. Оскільки f′′(t) > 0 для всіх t > 0, функція f є строго опуклою і має строгий глобальний мінімум у t0. Тепер обчислимо значення функції у цьому глобальному мінімумі:

де остання нерівність виконується через індукційну гіпотезу. Гіпотеза також каже, що ми можемо мати рівність лише коли x1, . . . , xn усі однакові. У цьому випадку, їхнє середнє геометричне і t0 мають однакове значення. З цього, якщо x1, . . . , xn, xn+1 не всі рівні, ми маємо f(xn+1) > 0. Це завершує доведення.

Цю техніку можна використати для доведення узагальненої нерівності СА-СГ і Нерівності Коші — Буняковського в Евклідовому просторі Rn.

Доведення Пойа із використанням експоненційної функції

[ред. | ред. код]

Пойа Дьордь навів доведення подібне до наступного. Нехай f(x) = ex–1x для всіх дійсних x, із першою похідною f′(x) = ex–1 – 1 і другою похідною f′′(x) = ex–1. Звернемо увагу, що f(1) = 0, f′(1) = 0 і f′′(x) > 0 для дійсних x, звідси f є строго опуклою з абсолютним мінімумом у x = 1. Звідси x ≤ ex–1 для всіх дійсних x зі знаком рівності лише для x = 1.

Розглянемо список невід'ємних дійсних чисел x1, x2, . . . , xn. Якщо вони всі нулі, тоді нерівність СА-СГ виконується зі знаком рівності. Отже, ми можемо припустити, що середнє арифметичне α > 0. Застосовуючи попередню нерівність ми отримуємо, що

із рівністю, лише якщо xi = α для кожного i ∈ {1, . . . , n}. Аргумент експоненційної функції можна спростити:

Повертаючись до (*),

що дає x1 x2 · · · xnαn, отже, в результаті[3]

Узагальнення

[ред. | ред. код]

Нерівність СА-СГ зважена

[ред. | ред. код]

Існує подібна нерівність для середнього зваженого і середнього геометричного зваженого. А саме, нехай дані невід'ємні числа x1, x2, . . . , xn і невід'ємні ваги w1, w2, . . . , wn. Встановимо w = w1 + w2 + · · · + wn. Якщо w > 0, тоді нерівність

виконується з рівністю тоді і тільки тоді, коли всі xk і wk > 0 однакові. Тут використовується домовленість, що 00 = 1.

Якщо всі wk = 1, то ми маємо звичайну нерівність СА-СГ.

Доведення із використанням нерівності Єнсена

[ред. | ред. код]

Використовуючи скінченну форму нерівності Єнсена для натурального логарифма, ми можемо довести нерівність між середнім арифметичним зваженим і середнім геометричним зваженим.

Оскільки xk з вагою wk = 0 не впливає на нерівність, ми можемо надалі припустити, що всі ваги додатні. Якщо всі xk однакові, тоді має місце рівність. Отже, залишилось довести строгу нерівність, якщо вони не однакові, ми це також припускатимемо далі. Якщо хоч один xk нульовий (але не всі), тоді середнє геометричне зважене нульове, тоді як середнє арифметичне зважене ненульове, тому має місце строга нерівність. Через це ми припускатимемо, що всі xk — додатні.

Оскільки натуральний логарифм є строго угнутим, скінченна форма нерівності Єнсена і функціональні рівняння натурального логарифма кажуть, що

Оскільки натуральний логарифм є строго висхідною функцією, то

Інші узагальнення

[ред. | ред. код]

Див. також

[ред. | ред. код]

Примітки

[ред. | ред. код]
  1. Steele, J. Michael (2004). The Cauchy-Schwarz Master Class: An Introduction to the Art of Mathematical Inequalities. MAA Problem Books Series. Cambridge University Press. ISBN 978-0-521-54677-5. OCLC 54079548.
  2. Cauchy, Augustin-Louis (1821). Cours d'analyse de l'École Royale Polytechnique, première partie, Analyse algébrique, Paris. The proof of the inequality of arithmetic and geometric means can be found on pages 457ff.
  3. Arnold, Denise; Arnold, Graham (1993). Four unit mathematics. Hodder Arnold H&S. с. 242. ISBN 978-0-340-54335-1. OCLC 38328013.