Основні властивості визначеного інтеграла.

Визначений інтеграл з однаковими межами інтегрування дорівнює нулю:
Від переставлення меж інтегрування інтеграл змінює знак на протилежний .

Властивості 1) і 2) приймаються за означенням . Вони підказані процедурою означення інтеграла і виправдовуються далі способом обчислення інтеграла (формулою Ньютона-Лейбніца).

Cталий множник можна винести за знак визначеного інтеграла: .
Визначений інтеграл від суми інтегровних функцій дорівнює сумі інтегралів від цих функцій: .

Ця властивість очевидним чином поширюється на випадок будь-якого скінченного числа доданків.

Властивості 3) і 4) складають властивість лінійності визначеного інтеграла.

Якщо проміжок інтегрувння розбити на скінченну кількість частинних проміжків, то інтеграл по всьому проміжку дорівнює сумі інтегралів по частинних проміжках (властивість адитивності).

Нехай функція інтегрована на відрізку і . Покажемо, що .

Результат очевидним чином розповсюджується на випадок, коли проміжок розбивається на будь-яку скінченню кількість частинних проміжків. Зазначимо, що дана властивість стає цілком наочною, якщо розглянути її з точки зору геометричного тлумачення інтеграла.

Нерівність можна почленно інтегрувати: якщо маємо , то .
Модуль визначеного інтеграла менший або рівний інтегралові від модуля підінтегральної функції: якщо функція інтегровна на відрізку то .
Інтеграл від одиничної функції дорівнює довжині проміжка інтегрування: .
Якщо і відповідно найменше і найбільше значення функції на відрізку , то

(теорема про оцінку інтеграла).

Означення. Поділимо щойно одержану нерівність почленно на :

Число називається середнім значенням функції на відрізку . Оскільки , то є висота прямокутника, основною якого є відрізок , а площа дорівнює площі криволінійної трапеції, обмеженої прямими , і кривою .

Якщо функція неперервна на відрізку , то існує така точка , що (теорема про середнє значення функції).

С правді, функція, неперервна на відрізку, набуває всіх проміжних значень між її найменшим і найбільшим значенням (теорема Коші). Отже існує принаймні одна точка така, що .