Часто встречался с определением среднего значения функции на интервале
![$[a,b]$ $[a,b]$](https://dxdy-04.korotkov.co.uk/f/f/e/4/fe477a2781d275b4481790690fccd15f82.png)
как значения

. Решил подумать, почему это определение такое удобное. И вот к чему пришел: наверное, одним из самых "удобных" способов определить среднее значение функции является обобщение среднего арифметического, а именно

, где

— точки разбиения интервала
![$[a,b]$ $[a,b]$](https://dxdy-04.korotkov.co.uk/f/f/e/4/fe477a2781d275b4481790690fccd15f82.png)
на n частей. Например, если взять равномерное разбиение, то получим

. Сходу доказать тождество

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