Средние классические значения изучались в Древней Греции
Геометрическое построение среднего квадратичного и среднего Пифагора (двух чисел
а и
б ). Гармоническое среднее обозначается
ЧАС , геометрическая по
грамм , арифметика
А и среднее квадратичное (также известное как
среднеквадратичное значение ) обозначается
Q .
Сравнение средних арифметических, геометрических и гармонических пар чисел. Вертикальные пунктирные линии -
асимптоты для гармонических средств.
В математике три классических Пифагорейские средства являются среднее арифметическое (AM), среднее геометрическое (GM), а гармоническое среднее (HM). Эти средства были изучены с пропорциями Пифагорейцы и более поздние поколения греческих математиков[1] из-за их важности в геометрии и музыке.
Определение
Они определяются:
ЯВЛЯЮСЬ ( Икс 1 , … , Икс п ) = 1 п ( Икс 1 + ⋯ + Икс п ) GM ( Икс 1 , … , Икс п ) = | Икс 1 × ⋯ × Икс п | п HM ( Икс 1 , … , Икс п ) = п 1 Икс 1 + ⋯ + 1 Икс п { displaystyle { begin {align} operatorname {AM} left (x_ {1}, ; ldots, ; x_ {n} right) & = { frac {1} {n}} left (x_ {1} + ; cdots ; + x_ {n} right) [9pt] operatorname {GM} left (x_ {1}, ; ldots, ; x_ {n} справа) & = { sqrt [{n}] { left vert x_ {1} times , cdots , times x_ {n} right vert}} [9pt] operatorname {HM } left (x_ {1}, ; ldots, ; x_ {n} right) & = { frac {n} { displaystyle { frac {1} {x_ {1}}} + ; cdots ; + { frac {1} {x_ {n}}}}} end {align}}} Характеристики
Каждое означает, M { textstyle operatorname {M}} , имеет следующие свойства:
Первый заказ однородность M ( б Икс 1 , … , б Икс п ) = б M ( Икс 1 , … , Икс п ) { displaystyle operatorname {M} (bx_ {1}, , ldots, , bx_ {n}) = b operatorname {M} (x_ {1}, , ldots, , x_ {n} )} Инвариантность при обмене M ( … , Икс я , … , Икс j , … ) = M ( … , Икс j , … , Икс я , … ) { displaystyle operatorname {M} ( ldots, , x_ {i}, , ldots, , x_ {j}, , ldots) = operatorname {M} ( ldots, , x_ { j}, , ldots, , x_ {i}, , ldots)} для любого я { displaystyle i} и j { displaystyle j} . Монотонный а < б → M ( а , Икс 1 , Икс 2 , … Икс п ) < M ( б , Икс 1 , Икс 2 , … Икс п ) { displaystyle a Идемпотентность ∀ Икс , M ( Икс , Икс , … Икс ) = Икс { Displaystyle forall х, ; М (х, х, ldots х) = х} Монотонность и идемпотентность вместе означают, что среднее значение набора всегда находится между крайними точками набора.
мин ( Икс 1 , … , Икс п ) ≤ M ( Икс 1 , … , Икс п ) ≤ Максимум ( Икс 1 , … , Икс п ) { displaystyle min (x_ {1}, , ldots, , x_ {n}) leq operatorname {M} (x_ {1}, , ldots, , x_ {n}) leq max (x_ {1}, , ldots, , x_ {n})} Гармонические и арифметические средние являются взаимными двойниками друг друга для положительных аргументов:
HM ( 1 Икс 1 , … , 1 Икс п ) = 1 ЯВЛЯЮСЬ ( Икс 1 , … , Икс п ) { displaystyle operatorname {HM} left ({ frac {1} {x_ {1}}}, , ldots, , { frac {1} {x_ {n}}} right) = { frac {1} { operatorname {AM} left (x_ {1}, , ldots, , x_ {n} right)}}} в то время как среднее геометрическое само по себе является двойственным:
GM ( 1 Икс 1 , … , 1 Икс п ) = 1 GM ( Икс 1 , … , Икс п ) { displaystyle operatorname {GM} left ({ frac {1} {x_ {1}}}, , ldots, , { frac {1} {x_ {n}}} right) = { frac {1} { operatorname {GM} left (x_ {1}, , ldots, , x_ {n} right)}}} Неравенство средств
У этих средств есть заказ (если все Икс я { displaystyle x_ {i}} положительные)
мин ≤ HM ≤ GM ≤ ЯВЛЯЮСЬ ≤ Максимум { displaystyle min leq operatorname {HM} leq operatorname {GM} leq operatorname {AM} leq max} с равенством выполняется тогда и только тогда, когда Икс я { displaystyle x_ {i}} все равны.
Это обобщение неравенство средних арифметических и геометрических и частный случай неравенства для обобщенные средства . Доказательство следует из среднее арифметико-геометрическое неравенство , ЯВЛЯЮСЬ ≤ Максимум { Displaystyle OperatorName {AM} leq max} , и взаимная двойственность ( мин { displaystyle min} и Максимум { displaystyle max} также взаимно двойственны друг другу).
Изучение пифагорейских средних тесно связано с изучением мажоризация и Шура-выпуклые функции . Гармонические и геометрические средние являются вогнутыми симметричными функциями своих аргументов и, следовательно, вогнутыми по Шуру, в то время как среднее арифметическое является линейной функцией своих аргументов, то есть как вогнутыми, так и выпуклыми.
Смотрите также
Рекомендации
^ Хит, Томас. История древнегреческой математики . ^ Если AC = а и BC = б . OC = ЯВЛЯЮСЬ из а и б , и радиус р = QO = OG. С помощью Теорема Пифагора , QC² = QO² + OC² ∴ QC = √QO² + OC² = QM . Используя теорему Пифагора, OC² = OG² + GC² ∴ GC = √OC² - OG² = GM . С помощью похожие треугольники , HC / GC = GC / OC ∴ HC = GC² / OC = HM . внешняя ссылка