Доказательство теоремы Коши является важной частью математического анализа, особенно в разделах, касающихся пределов и производных. Теорема Коши о среднем значении утверждает, что если функция \( f \) непрерывна на отрезке \([a, b]\) и дифференцируема на интервале \((a, b)\), то существует такая точка \( c \) из интервала \((a, b)\), что:
\[ f'(c) = \frac{f(b) - f(a)}{b - a}. \]
Доказательство:
Определим новую функцию: Рассмотрим функцию \( g(x) = f(x) - \frac{f(b) - f(a)}{b - a} (x - a) - f(a) \).
Эта функция \( g(x) \) будет непрерывной на \([a, b]\) и дифференцируемой на \((a, b)\).
Проверим значения на краях отрезка: Вычислим значения функции \( g \) в точках \( a \) и \( b \):
- \( g(a) = f(a) - \frac{f(b) - f(a)}{b - a} (a - a) - f(a) = 0 \)
- \( g(b) = f(b) - \frac{f(b) - f(a)}{b - a} (b - a) - f(a) = f(b) - (f(b) - f(a)) - f(a) = 0 \)
Таким образом, мы имеем \( g(a) = 0 \) и \( g(b) = 0 \).
Применяем теорему Ролля: Так как \( g(a) = g(b) = 0 \), согласно теореме Ролля, существует хотя бы одна точка \( c \in (a, b) \), такая что: \[ g'(c) = 0. \]
Вычисляем производную \( g'(x) \): Теперь найдём производную \( g'(x) \): \[ g'(x) = f'(x) - \frac{f(b) - f(a)}{b - a}. \] В точке \( c \) у нас получается: \[ g'(c) = 0 \Rightarrow f'(c) = \frac{f(b) - f(a)}{b - a}. \]
Таким образом, мы доказали, что существует точка \( c \in (a, b) \), для которой выполняется равенство, подтверждая теорему Коши.
Если вас интересуют дополнительные аспекты этой теоремы или другие связанные темы, не стесняйтесь спрашивать!