Часто встречался с определением среднего значения функции на интервале
как значения
. Решил подумать, почему это определение такое удобное. И вот к чему пришел: наверное, одним из самых "удобных" способов определить среднее значение функции является обобщение среднего арифметического, а именно
, где
— точки разбиения интервала
на n частей. Например, если взять равномерное разбиение, то получим
. Сходу доказать тождество
мне не удалось, поэтому я просто проверил его на компьютере на достаточно большом числе элементарных функций. И оно оказалось верным с большой точностью. Логично предположить, что тождество верно для всех функций (если функция "хорошая", разумеется, то бишь интеграл и сумма существуют). Осталось это доказать, как это сделать? Теперь хочу по аналогии попробовать обобщить среднее геометрическое и прочие на функции аналогичным образом. Спасибо!
P.S. Вообще, уверен что это что-то очень тривиальное и выводится где-нибудь в интегральном исчислении. Но я ничего об этом пока не знаю:)