Т е о р е м а 3. Если функция непрерывна на отрезке, то она интегрируема на этом отрезке.
○ Пусть функция f непрерывна на отрезке . Тогда по теореме Кантора она равномерно непрерывна на этом отрезке, т.е.
>0: < . (24)
Докажем, что для функции f выполняется условие
T:l(T)< . (13)
Пусть T= – произвольное разбиение отрезка такое, что его мелкость l(T)=max, где . По теореме Вейерштрасса существуют точки такие, что , где , . Поэтому из условия (24) следует, что = , так как . отсюда получаем
=.
Итак,
>0:– ,
И по теореме 2 функция f интегрируема на отрезке .●