Монотонность функции на промежутках, где
следует из:
1. Если
0" alt=" \lim_{x \to x_0} \frac{f(x)-f(x_0)}{x-x_0}=f'(x)>0" align="absmiddle" class="latex-formula">, получаем строго возрастающую функцию следуя из:
0 \Rightarrow f(x)0 \Rightarrow f(x)0 \ \land \ \frac{f(x)-f(x_0)}{x-x_0}>0 \Rightarrow f(x)>f(x_0) \Rightarrow\\
\forall x>x_0 \land \ f'(x)>0 \Rightarrow f(x)>f(x_0) \\\\" alt="\\
x-x_0<0 \ \land \ \frac{f(x)-f(x_0)}{x-x_0}>0 \Rightarrow f(x)0 \Rightarrow f(x)0 \ \land \ \frac{f(x)-f(x_0)}{x-x_0}>0 \Rightarrow f(x)>f(x_0) \Rightarrow\\
\forall x>x_0 \land \ f'(x)>0 \Rightarrow f(x)>f(x_0) \\\\" align="absmiddle" class="latex-formula">
2. Сторого убывающая доказывается тем-же способом.
Вместе (1) и (2) доказывают монотонность функции на промежутках