\input /home/pasky/school/fastex/lib.tex

\subchapter{Dal�� vlastnosti derivac�}{

$f'_+(a)$, je $f'(a)$ spojit� zprava v $a$?

$$f'(a) = \lim_{h\to 0} {f(a+h) - f(a) \over h}$$

Derivace v bod� je ��slo (sm�rnice te�ny), vyjad�uj�c� m�ru zm�ny.
Z�rove� je ale $f'$ funkce, $x \mapsto f'(x)$.

$f$ bu� spojit� na $I$, $\existss f'$ (vlastn�) na $I$.
Je $f'$ spojit�?

Nen�.

\example{
	$\sin {1\over x}$ nen� definov�na v nule.

	$$f(x) = \cases{x^2\sin{1\over x} & $ x \ne 0 $\cr
	               0                 & $ x = 0 $} $$
	(obr�zek)

	Tvrd�m, �e tato funkce m� v nule derivaci nula.

	$$f'(0) = \lim_{x\to 0} {f(x) - f(0) \over x - 0} = \lim_{x\to 0} \left(x\sin{1\over x}\right) = 0$$

	$$x \ne 0: f'(x) = 2x\sin{1\over x} - x^2\cos\left({1\over x}{-1\over x^2}\right)
		= 2x\sin{1\over x} - \cos {1\over x} $$

	Je $f'$ v 0 spojit�? Nen�, proto�e $\lim_{x\to 0} f'(x)$ neexistuje.

	Co kdyby limita existovala?
}


\theorem{25}{o limit� derivac�}{

	Nech� $f$ je spojit� zprava v bod� $a \in \real$
	a nech� \M{\existss \lim_{x\to a_+} f'(x) = A \in \real^*}.
	Potom $f'_+(a) = A$.

	\proof{
		$$ f'_+(a) = \lim_{x\to a_+} {f(x) - f(a) \over x - a} \hypothetically{=} \lim_{x\to a_+} {f'(x) \over 1} = A $$

		M��eme L'Hospitalovat?
		$$ \sesac{\eqalign{\lim_{x\to a_+} (x-a)         &= 0\cr
		                   \lim_{x\to a_+} (f(x) - f(a)) &= 0}}{\Rightarrow \textbox{m��eme}} $$

		\qed
	}

}


\theorem{26}{vztah derivace a monotonie}{

	Nech� $I$ je nezdegenrovan� interval, ozna�me $\Int(I) = \{$vnit�n� body $I$$\}$.
	Nech� $f$ je spojit� na $I$ a $f'$ existuje vlastn� na $\Int(I)$.

	\list{
		\listItem{Je-li $f'>0$ na $\Int I$, pak $f$ je rostouc� na $I$.}
		\listItem{Je-li $f'\ge0$ na $\Int I$, pak $f$ je neklesaj�c� na $I$.}
		\listItem{Je-li $f'<0$ na $\Int I$, pak $f$ je klesaj�c� na $I$.}
		\listItem{Je-li $f'\le0$ na $\Int I$, pak $f$ je nerostouc� na $I$.}
	}

	\penalty-100
	\proof{
		\shortdef{Idea}{
			M�jme $f(a)$, $f(b)$, pak existuje mezi $a$ a $b$ bod $\xi$,
			$0 < f'(\xi) = {f(b) - f(a) \over b - a}$.
		}

		\ref{Lagrange}:
		$$\forall a,b \in I\ (a<b)\ \existss \xi \in (a,b): f'(\xi) = {f(b) - f(a) \over b-a}$$
		ale $f'(\xi) > 0 \et b - a > 0$ $\Rightarrow$ $f(b) - f(a) > 0$ $\Rightarrow$ $f(b) > f(a)$
		$\Rightarrow$ $f$ rostouc� na $I$.

		Pro ostatn� p��pady analogicky.

		\qed
	}

	\note{
		$$ f(x) = \tg x $$
		$$ f'(x) = {1 \over \cos^2 x} > 0\qquad \forall x \in D(f) $$
		
		Ale funkce $f$ nen� rostouc� na $D(f)$. Tedy je d�le�it� �loha {\bf intervalu}.

		\scpart{Varov�n�}{
			$f'>0$ na $I_1 \cup I_2$ $\not\Rightarrow$ $f$ rostouc� na $I_1$, $I_2$.
		}
	}

}


}

\bend
