Теоремы Ролля, Лагранжа, Коши, Ферма
Если я пойму - как они могут пригодиться и зачем они нужны (есть ли задачи,, которые предполагают использование этих теорем?), тогда будет легче их выучить (и их доказательства).Теорема Ролля (теорема о нуле производной) утверждает, что
Если вещественная функция непрерывна на отрезке
![$[a; b]$ $[a; b]$](https://dxdy-01.korotkov.co.uk/f/8/a/7/8a7e884ac3e21fa78b571d4ab33fd88682.png)
и дифференцируема на интервале

, принимает на концах этого интервала одинаковые значения, то на этом интервале найдётся хотя бы одна точка, в которой производная функции равна нулю.
Теорема Коши 
о среднем значении.
Пусть даны две функции

и

такие, что:

и

определены и непрерывны на отрезке
![$[a; b]$ $[a; b]$](https://dxdy-01.korotkov.co.uk/f/8/a/7/8a7e884ac3e21fa78b571d4ab33fd88682.png)
; производные

и

конечны на интервале

; производные

и

не обращаются в нуль одновременно на интервале и

; тогда

, где

Теорема
Лагранжа о среднем значении утверждает, что если Функция (математика)функция

непрерывна на отрезке
![$[a; b]$ $[a; b]$](https://dxdy-01.korotkov.co.uk/f/8/a/7/8a7e884ac3e21fa78b571d4ab33fd88682.png)
и дифференцируема в интервале

, то найдётся такая точка

, что

.
Геометрически это можно переформулировать так: на отрезке
![$[a; b]$ $[a; b]$](https://dxdy-01.korotkov.co.uk/f/8/a/7/8a7e884ac3e21fa78b571d4ab33fd88682.png)
найдётся точка, в которой касательная параллельна хорде, проходящей через точки графика, соответствующие концам отрезка.
Лемма
Ферма утверждает, что производная дифференцируемой функции в точке локального экстремума равна нулю