.13 Определенный интеграл Римана

Так как функция непрерывна на отрезке то она интегрируема по Риману на нём.

То есть, по определению интеграла Римана, это означает, что существует предел интегральных сумм

при И, раз этот предел существует и не зависит от выбора точек разбиения и отмеченных точек то его можно вычислить по какой угодно последовательности разбиений и по какому угодно выбору отмеченных точек, лишь бы только параметр разбиения стремился к 0.

Пусть - равномерное разбиение отрезка на равных отрезков длины то есть:

И так далее... И пусть при каждом разбиении отмеченные точки выбираются каждый раз в крайней правой точке отрезка разбиения. То есть, где

Тогда, при любом таком разбиении интегральная сумма равна

И ясно, что при

Очевидно также, что Следовательно, раз мы знаем, что интеграл существует, то при любой последовательности разбиений, у которых параметр стремится к 0, предел интегральных сумм и будет равен интегралу Таким образом,