Формула Ньютона-Лейбница

Связь м/ду понятиями неопред. и опред.Иустанов.в теореме Ньютона-Лейбница.Если у=f(х)непрерывна на конечном отрезке[а;в] иF(х)-некоторая первообразная для f(х),то (1): =F(x)│ав=F(в)-F(а). Комент.:1)Док-во базируется на теореме Бароу(И с переменным верхним приделом);2)формула (1) применима только если:а)у=f(х) непрерывна на отр[а;в];б)отр[а;в]конечен;в)для ф-цииf(х)существует первообразная;3)на практике ф-ла (1) релизуется в 3 этапа:а)проверка условий применяемости ф-лы;б)нахождение первообразной при помощи неопред.И от ф-цииf(х);в)подстановка в найденную первообразную вместо перемен.Х границ отр.[а;в],отр.интегрирования.