Этот ответ может иметь немного более математическую склонность, чем вы искали.
Важно признать, что все эти средства являются просто замаскированным средним арифметическим .
Важной характеристикой при определении того, какое (если есть!) Из трех общих средств (арифметического, геометрического или гармонического) является «правильным» средним, является нахождение «аддитивной структуры» в рассматриваемом вопросе.
Другими словами, предположим, что нам даны некоторые абстрактные величины , которые я буду называть «измерениями», несколько злоупотребляя этим термином ниже для согласованности. Каждое из этих трех средств может быть получено путем (1) преобразования каждого в некоторый , (2) взятия среднего арифметического и затем (3) преобразования обратно в исходную шкалу измерения.x iИкс1, х2, … , ХNИксяYя
Среднее арифметическое . Очевидно, что мы используем преобразование «тождество»: . Итак, шаги (1) и (3) тривиальны (ничего не сделано) и .ˉ x A M = ˉ yYя= хяИкс¯А М= у¯
Среднее геометрическое : здесь аддитивная структура находится на логарифмах исходных наблюдений. Итак, мы берем а затем, чтобы получить GM на шаге (3), мы конвертируем обратно через обратную функцию , то есть . войти ˉ х G М = ехр ( ˉ у )Yя= журналИксяжурналИкс¯G M= опыт( у¯)
Среднее гармоническое : здесь аддитивная структура находится на обратной стороне наших наблюдений. Итак, , откуда .ˉ x H M = 1 / ˉ yYя= 1 / хяИкс¯H M= 1 / у¯
В физических задачах они часто возникают в результате следующего процесса: у нас есть некоторая величина которая остается фиксированной по отношению к нашим измерениям и некоторым другим величинам, например, . Теперь мы играем в следующую игру: постоянными и и пытаемся найти некоторый такой, что если мы заменим каждое из наших отдельных наблюдений на , тогда отношение "total" все еще сохраняется ,x 1 , … , x n z 1 , … , z n w z 1 + ⋯ + z n ˉ x x i ˉ xвесИкс1, … , ХNZ1, … , ZNвесZ1+ ⋯ + zNИкс¯ИксяИкс¯
Пример «расстояние - скорость - время» кажется популярным, поэтому давайте его использовать.
Постоянное расстояние, разное время
Рассмотрим фиксированное пройденное расстояние . Теперь предположим, что мы преодолеваем это расстояние раз на скорости , принимая время . Теперь мы играем в нашу игру. Предположим, мы хотели заменить наши индивидуальные скорости на некоторую фиксированную скорость , чтобы общее время оставалось постоянным. Обратите внимание, что у нас
так что . Мы хотим, чтобы это общее соотношение (общее время и общее пройденное расстояние) было сохранено, когда мы заменим каждое из на в нашей игре. Следовательно,
n v 1 , … , v n t 1 , … , t n ˉ v d - v i t i = 0dNv1, … , VNT1, … , ТNv¯Σ я ( д - v я т я ) = 0 v я ° против п д - ˉ v Σ я т я = 0
d- vяTя= 0,
Σя( д- vяTя) = 0vяv¯t i = d / v i ˉ v = nн д- v¯ΣяTя= 0,
и так как каждый , мы получаем, что
Tя= д/ Vяv¯= n1v1+ ⋯ + 1vN= v¯H M,
Обратите внимание, что «аддитивная структура» здесь относится к отдельным временам, и наши измерения обратно связаны с ними, поэтому применяется гармоническое среднее.
Разные расстояния, постоянное время
Теперь давайте изменим ситуацию. Предположим, что для случаев мы путешествуем фиксированное время со скоростями по расстояниям . Теперь мы хотим сохранить общее расстояние. Мы имеем
и полная система сохраняется, если . Играя в нашу игру снова, мы ищем такой, что
но, поскольку , мы получаем, что
t v 1 , … , v n d 1 , … , d n d i - v i t = 0NTv1, … , VNd1, … , ДNΣ я ( д я - v я т ) = 0 ˉ v Σ я ( д я - ˉ v т ) = 0
dя- vят = 0,
Σя( дя- vят ) = 0v¯d i = v i t ˉ v = 1Σя( дя- v¯т ) = 0,
dя= vяTv¯= 1NΣяvя= v¯А М,
Здесь аддитивная структура, которую мы пытаемся поддерживать, пропорциональна имеющимся у нас измерениям, поэтому применяется среднее арифметическое.
Куб равного объема
Предположим, что мы построили мерную коробку с заданным объемом а наши измерения - это длины сторон коробки. Тогда
и предположим что мы хотим построить мерный (гипер) куб с таким же объемом. То есть мы хотим заменить наши отдельные длины сторон общей длиной сторон . Тогда
NВ
В= х1⋅ х2⋯ хN,
NИксяИкс¯В= х¯⋅ х¯⋯ х¯= х¯N,
Это легко означает, что мы должны взять .Икс¯= ( хя⋯ хN)1 / n= х¯G M
Обратите внимание, что аддитивная структура представлена в логарифмах, то есть и мы пытаемся сохранить левую величину.журналВ= ∑яжурналИкся
Новое значит от старого
В качестве упражнения подумайте о том, что означает «естественный» в ситуации, когда вы позволяете и расстояниям, и времени меняться в первом примере. То есть у нас есть расстояния , скорости и времена . Мы хотим сохранить общее расстояние и пройденное время и найти постоянную для достижения этой цели.v я т я ° VdяvяTяv¯
Упражнение : что означает «естественный» в этой ситуации?