У меня одна только радость на лице,
Ведь всегда найдётся такая точка c,
Что f(b) - f(a) / b - a
Равно f'(c). Оу, вот это да!

Что-то я забылся, пора знать честь,
f на [a; b] непрерывна и производная есть.
Давно прошли времена и хип-хопа и гранжа.
Что же вечно? Теорема Лагранжа!

Перелети-переплыви туда-обратно Ла-Манш.
Ты не найдёшь никого круче, чем Жозеф Луи Лагранж.
Забудут Жоржа Помпиду (кого?), и даже Ассанжа,
Но будут помнить и в аду теорему Лагранжа. x2

Теорема, в сущности, сдаётся без боя:
Сделаем из f к-к-к-кое-что другое.
Вычтем f от a, юные зрители,
Ещё вычтем дробь, у неё в числителе:

f(b) - f(a) на x - a,
В знаменателе b - a... Ну как, ещё не спятили?
Зачем конструкция? Не поняли что ли?
Для неё же выполняется теорема Ролля!

Перелети-переплыви туда-обратно Ла-Манш.
Ты не найдёшь никого круче, чем Жозеф Луи Лагранж.
Забудут Жоржа Помпиду (кого?), и даже Ассанжа,
Но будут помнить и в аду теорему Лагранжа. x2

Ущипни меня: наверное, я сплю!
Новая функция на концах равна нулю.
Значит, в середине…