В математике среднее геометрическое — это среднее или усредненное значение , которое указывает на центральную тенденцию конечного набора положительных действительных чисел , используя произведение их значений (в отличие от среднего арифметического, которое использует их сумму). Среднее геометрическое определяется как корень n-й степени из произведения n чисел , т. е. для набора чисел a 1 , a 2 , ..., a n среднее геометрическое определяется как
или, что то же самое, как среднее арифметическое в логарифмическом масштабе :
Среднее геометрическое двух чисел, скажем, 2 и 8, равно квадратному корню из их произведения, то есть . Среднее геометрическое трех чисел 4, 1 и 1/32 равно кубическому корню из их произведения (1/8), что равно 1/2, то есть .
Геометрическое среднее используется в шкале отношений , например, темпов роста населения или процентных ставок финансовых инвестиций с течением времени. Оно также применяется в бенчмаркинге , где оно особенно полезно для вычисления средних значений коэффициентов ускорения : поскольку среднее значение 0,5x (вдвое быстрее) и 2x (вдвое быстрее) будет равно 1 (т. е. никакого ускорения в целом). Предположим, например, что человек инвестирует 1000 долларов и достигает годовой доходности +10%, -12%, +90%, -30% и +25%, что дает окончательное значение 1609 долларов. Если бы инвестиции выросли на среднее арифметическое годовой доходности — 16,6% годовых — они стоили бы 2155 долларов через 5 лет. Средний процентный рост — это скорее геометрическое среднее годовых коэффициентов роста (1,10, 0,88, 1,90, 0,70, 1,25), а именно 1,0998, среднегодовой рост 9,98%. Геометрическое среднее является подходящим, поскольку рост инвестиций является мультипликативным, а не аддитивным.
Геометрическое среднее можно понять в терминах геометрии . Геометрическое среднее двух чисел и есть длина одной стороны квадрата , площадь которого равна площади прямоугольника со сторонами длиной и . Аналогично, геометрическое среднее трех чисел , , и есть длина одного ребра куба , объем которого такой же, как у прямоугольного параллелепипеда со сторонами, длины которых равны трем данным числам.
Среднее геометрическое является одним из трех классических средних значений Пифагора , вместе со средним арифметическим и средним гармоническим . Для всех положительных наборов данных, содержащих хотя бы одну пару неравных значений, среднее гармоническое всегда является наименьшим из трех средних, в то время как среднее арифметическое всегда является наибольшим из трех, а среднее геометрическое всегда находится между ними (см. Неравенство средних арифметических и геометрических .)
Среднее геометрическое набора данных определяется по формуле:
То есть, корень n-й степени из произведения элементов. Например, для произведение равно , а среднее геометрическое равно корню четвертой степени из 24, или ~ 2,213.
Геометрическое среднее также можно выразить как экспоненту арифметического среднего логарифмов. [4] Используя логарифмические тождества для преобразования формулы, умножения можно выразить как сумму, а степень — как умножение:
Когда
Иногда это называют логарифмическим средним (не путать со средним логарифмическим ). Это просто арифметическое среднее логарифмически преобразованных значений (т. е. арифметическое среднее по логарифмической шкале), использующее возведение в степень для возврата к исходной шкале, т. е. это обобщенное f-среднее с . Например, геометрическое среднее 2 и 8 можно вычислить следующим образом с использованием любого основания b :
В связи с вышесказанным можно заметить, что для данной выборки точек геометрическое среднее является минимизатором
тогда как среднее арифметическое является минимизатором
Таким образом, среднее геометрическое представляет собой сводку выборок, показатель степени которых наилучшим образом соответствует показателям степеней выборок (в смысле наименьших квадратов).
Логарифмическая форма геометрического среднего обычно является предпочтительной альтернативой для реализации в компьютерных языках, поскольку вычисление произведения многих чисел может привести к арифметическому переполнению или арифметическому недопополнению . Это менее вероятно для суммы логарифмов для каждого числа.
Геометрическое среднее набора данных меньше арифметического среднего набора данных, если только все элементы набора данных не равны, в этом случае геометрическое и арифметическое средние равны. Это позволяет определить арифметико -геометрическое среднее , пересечение двух, которое всегда лежит между ними.
Среднее геометрическое также является средним арифметико-гармоническим в том смысле, что если определены две последовательности ( ) и ( ):
и
где — гармоническое среднее предыдущих значений двух последовательностей, тогда и будут сходиться к геометрическому среднему и . Последовательности сходятся к общему пределу, и геометрическое среднее сохраняется:
Замена среднего арифметического и гармонического парой обобщенных средних значений противоположных конечных показателей даёт тот же результат.
Геометрическое среднее непустого набора данных положительных чисел всегда не больше их арифметического среднего. Равенство достигается только тогда, когда все числа в наборе данных равны; в противном случае геометрическое среднее меньше. Например, геометрическое среднее чисел 2 и 3 равно 2,45, в то время как их арифметическое среднее равно 2,5. В частности, это означает, что когда набор неидентичных чисел подвергается спреду, сохраняющему среднее , — то есть элементы набора «разносятся» дальше друг от друга, оставляя арифметическое среднее неизменным, — их геометрическое среднее уменьшается. [5]
Если — положительная непрерывная действительная функция, то ее геометрическое среднее на этом интервале равно
Например, взятие функции тождества по единичному интервалу показывает, что среднее геометрическое положительных чисел от 0 до 1 равно .
Во многих случаях среднее геометрическое является наилучшим показателем для определения среднего темпа роста некоторой величины. Например, если продажи увеличиваются на 80% в одном году, а в следующем году на 25%, результат будет таким же, как и при постоянном темпе роста 50%, поскольку среднее геометрическое 1,80 и 1,25 равно 1,50. Чтобы определить средний темп роста, нет необходимости брать произведение измеренных темпов роста на каждом шаге. Пусть величина будет задана как последовательность , где — число шагов от начального до конечного состояния. Темп роста между последовательными измерениями и равен . Среднее геометрическое этих темпов роста тогда просто:
Основное свойство геометрического среднего, которое не выполняется для любого другого среднего, заключается в том, что для двух последовательностей одинаковой длины
Это делает геометрическое среднее единственным правильным средним значением при усреднении нормализованных результатов; то есть результатов, которые представлены как отношения к контрольным значениям. [6] Это имеет место при представлении производительности компьютера по отношению к контрольному компьютеру или при вычислении одного среднего индекса из нескольких разнородных источников (например, ожидаемая продолжительность жизни, годы обучения и детская смертность). В этом сценарии использование арифметического или гармонического среднего изменит рейтинг результатов в зависимости от того, что используется в качестве контрольного значения. Например, возьмем следующее сравнение времени выполнения компьютерных программ:
Таблица 1
Арифметические и геометрические средние "согласны", что компьютер C самый быстрый. Однако, представив соответствующим образом нормализованные значения и используя среднее арифметическое, мы можем показать, что любой из двух других компьютеров самый быстрый. Нормализация по результату A дает A как самый быстрый компьютер согласно среднему арифметическому:
Таблица 2
в то время как нормализация по результату B делает B самым быстрым компьютером согласно среднему арифметическому, но A самым быстрым согласно среднему гармоническому:
Таблица 3
и нормализация по результату C дает C как самый быстрый компьютер согласно среднему арифметическому, но A как самый быстрый согласно среднему гармоническому:
Таблица 4
Во всех случаях рейтинг, полученный с помощью геометрического среднего, остается таким же, как и рейтинг, полученный с помощью ненормализованных значений.
Однако это рассуждение было подвергнуто сомнению. [7] Предоставление согласованных результатов не всегда равнозначно предоставлению правильных результатов. В общем, более строго назначать веса каждой из программ, вычислять средневзвешенное время выполнения (используя среднее арифметическое), а затем нормализовать этот результат для одного из компьютеров. Три таблицы выше просто дают разный вес каждой из программ, объясняя непоследовательные результаты арифметических и гармонических средних (таблица 4 дает равный вес обеим программам, таблица 2 дает вес 1/1000 второй программе, а таблица 3 дает вес 1/100 второй программе и 1/10 первой). Использования геометрического среднего для агрегирования показателей производительности следует по возможности избегать, поскольку умножение времени выполнения не имеет физического смысла, в отличие от сложения времен, как в случае среднего арифметического. Метрики, которые обратно пропорциональны времени (ускорение, IPC ), следует усреднять с использованием среднего гармонического.
Геометрическое среднее может быть получено из обобщенного среднего как его предел, стремящийся к нулю. Аналогично это возможно для взвешенного геометрического среднего.
Среднее геометрическое больше подходит, чем среднее арифметическое , для описания пропорционального роста, как экспоненциального роста (постоянный пропорциональный рост), так и переменного роста; в бизнесе среднее геометрическое темпов роста известно как среднегодовой темп роста (CAGR). Среднее геометрическое темпа роста за периоды дает эквивалентный постоянный темп роста, который даст ту же окончательную сумму.
Предположим, что апельсиновое дерево дает 100 апельсинов в один год, а затем 180, 210 и 300 в последующие годы, поэтому рост составляет 80%, 16,6666% и 42,8571% за каждый год соответственно. Используя среднее арифметическое , вычисляем (линейный) средний рост 46,5079% (80% + 16,6666% + 42,8571%, затем эта сумма делится на 3). Однако, если мы начнем со 100 апельсинов и позволим им расти на 46,5079% каждый год, результатом будет 314 апельсинов, а не 300, поэтому линейное среднее переоценивает рост из года в год.
Вместо этого мы можем использовать среднее геометрическое. Рост на 80% соответствует умножению на 1,80, поэтому мы берем среднее геометрическое 1,80, 1,166666 и 1,428571, т. е. ; таким образом, «средний» рост в год составляет 44,2249%. Если мы начнем со 100 апельсинов и позволим числу расти на 44,2249% каждый год, то в результате получим 300 апельсинов.
Геометрическое среднее время от времени использовалось для расчета финансовых индексов (усреднение производилось по компонентам индекса). Например, в прошлом индекс FT 30 использовал геометрическое среднее. [8] Оно также используется при расчете ИПЦ [9] и недавно введенной " RPIJ " мере инфляции в Соединенном Королевстве и в Европейском Союзе.
Это приводит к занижению изменений в индексе по сравнению с использованием среднего арифметического. [8]
Хотя геометрическое среднее сравнительно редко использовалось при расчете социальной статистики, начиная с 2010 года Индекс развития человеческого потенциала ООН перешел на этот режим расчета на том основании, что он лучше отражает незаменимый характер собираемых и сравниваемых статистических данных:
Не все значения, используемые для вычисления ИРЧП (индекса развития человеческого потенциала) , нормализованы; некоторые из них вместо этого имеют форму . Это делает выбор геометрического среднего менее очевидным, чем можно было бы ожидать из раздела «Свойства» выше.
Равномерно распределенный эквивалентный доход благосостояния, связанный с индексом Аткинсона с параметром неприятия неравенства 1,0, является просто геометрическим средним доходов. Для значений, отличных от единицы, эквивалентное значение представляет собой норму Lp, деленную на количество элементов, где p равно единице минус параметр неприятия неравенства.
В случае прямоугольного треугольника его высота — это длина линии, перпендикулярно проведенной от гипотенузы к его вершине 90°. Представив, что эта линия делит гипотенузу на два сегмента, среднее геометрическое длин этих сегментов — это длина высоты. Это свойство известно как теорема о среднем геометрическом .
В эллипсе малая полуось — это геометрическое среднее максимального и минимального расстояний эллипса от фокуса ; это также геометрическое среднее большой полуоси и полуширокой прямой . Большая полуось эллипса — это геометрическое среднее расстояния от центра до любого из фокусов и расстояния от центра до любой из директрис .
Другой способ представить это так:
Рассмотрим окружность с радиусом . Теперь возьмем две диаметрально противоположные точки на окружности и приложим давление с обоих концов, чтобы деформировать ее в эллипс с большой и малой полуосями длин и .
Поскольку площадь круга и эллипса остается неизменной, имеем:
Радиус окружности представляет собой среднее геометрическое значение большой и малой полуосей эллипса, образованного деформацией окружности.
Расстояние до горизонта сферы (без учета эффекта атмосферной рефракции при наличии атмосферы) равно среднему геометрическому расстоянию до ближайшей точки сферы и расстоянию до самой дальней точки сферы .
Геометрическое среднее используется как в приближении квадратуры круга С.А. Рамануджана [11] , так и в построении гептадекагона со «средними пропорциональными» [12] .
Геометрическое среднее использовалось при выборе компромиссного соотношения сторон в кино и видео: при наличии двух соотношений сторон их геометрическое среднее обеспечивает компромисс между ними, искажая или обрезая оба в некотором смысле одинаково. Конкретно, два прямоугольника равной площади (с одинаковым центром и параллельными сторонами) с разными соотношениями сторон пересекаются в прямоугольнике, соотношение сторон которого является геометрическим средним, а их оболочка (наименьший прямоугольник, содержащий их оба) также имеет соотношение сторон их геометрического среднего.
При выборе соотношения сторон 16:9 SMPTE , балансируя 2,35 и 4:3, геометрическое среднее равно , и таким образом ... было выбрано. Это было обнаружено эмпирическим путем Кернсом Пауэрсом, который вырезал прямоугольники с равными площадями и формировал их так, чтобы они соответствовали каждому из популярных соотношений сторон. При наложении с совмещением их центральных точек он обнаружил, что все эти прямоугольники с соотношением сторон помещаются во внешний прямоугольник с соотношением сторон 1,77:1, и все они также покрывают меньший общий внутренний прямоугольник с тем же соотношением сторон 1,77:1. [13] Значение, найденное Пауэрсом, является в точности геометрическим средним крайних соотношений сторон, 4:3 (1,33:1) и CinemaScope (2,35:1), что по совпадению близко к ( ). Промежуточные соотношения не оказывают никакого влияния на результат, только два крайних соотношения.
Применение того же метода среднего геометрического к 16:9 и 4:3 приблизительно дает соотношение сторон 14:9 ( ...), которое также используется в качестве компромисса между этими соотношениями. [14] В этом случае 14:9 — это точное среднее арифметическое и , поскольку 14 — это среднее из 16 и 12, в то время как точное среднее геометрическое — это всего лишь два разных средних , арифметическое и геометрическое, приблизительно равны, поскольку оба числа достаточно близки друг к другу (разница менее 2%).
Среднее геометрическое также используется для расчета форматов бумаги серий B и C. Формат имеет площадь, которая является средним геометрическим площадей и . Например, площадь бумаги формата B1 равна , поскольку она является средним геометрическим площадей бумаги формата A0 ( ) и A1 ( ) ( ).
Тот же принцип применяется к серии C, площадь которой является средним геометрическим площадей серий A и B. Например, формат C4 имеет площадь, которая является средним геометрическим площадей A4 и B4.
Преимущество такого соотношения заключается в том, что лист формата А4 помещается в конверт формата С4, и оба они помещаются в конверт формата В4.