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

\subchapter{L'Hospital a přátelé}{

\scpart{Idea}{
	Počítat limity přes derivace, když jsou tak derivace definované.

	$$ \lim_{x\to0_+} {f(x) - f(a)\over g(x) - g(a)} = \lim {{f(x)-f(a)\over x-a}\over{g(x)-g(a)\over x-a}}
	   \hypothetically{=} {\lim\ldots\over\lim\ldots} \hypothetically{=} {f'(a)\over g'(a)} $$
}


\theorem{21}{Rolleova}{

	Nechť $f$ je spojitá na $[a,b]$, $a<b$ a nechť existuje $f'(x)$
	pro každé $x \in (a,b)$. Nechť $f(a) = f(b)$. Pak existuje
	$\xi \in (a,b)$ takové, že $f'(\xi) = 0$.

	\proof{
	\list{
		\listItem{Nechť $f(x) = f(a)$ pro $\forall x \in [a,b]$, pak
			$f'(x) = 0$ pro $\forall x \in (a,b)$.
		}

		\listItem{Nechť $\existss x \in (a,b),\ f(x) \ne f(a)$,
			tedy bez újmy na obecnosti $f(x)>f(a)$.
			Protože $f$ je spojitá na $[a,b]$, existuje
			lokální extrém $\xi \in [a,b]$ (největší $f(x)$).
			Dle předpokladu $f'(\xi)$ musí existovat, tedy
			podle \ias{}{20}{} je $f'(\xi) = 0$.
		}
	}

		\qed
	}
}


\theorem{22}{Lagrangeova věta o střední hodnotě}{

	Nechť $f$ je spojitá na $[a,b]$, $a<b$
	a~nechť existuje $f'(x)$ pro $\forall x \in (a,b)$.
	Potom $\existss \xi \in (a,b)$ takové, že
	$$f'(\xi) = {f(b) - f(a) \over b - a}.$$
	(Tedy existuje v nějakém bodě derivace (tečna)
	rovnoběžná s nakloněnou podstavou
	(spojnicí krajních bodů). \TODO{Obrázek.})

	\proof{
		Definujme
		$$F(x) := f(x) - f(a) - {f(b) - f(a)\over b - a} \cdot (x-a)$$
		(na základě divoké analyticko-geometrické úvahy).

		Potom $F(a) = 0\ \land\ F(b) = 0$. Pak podle Rolleovy věty
		$\existss \xi \in (a,b): F'(\xi) = 0$. Tedy
		$$ 0 = F'(\xi) = f'(\xi) - {f(b)-f(a) \over b-a} $$
		a tudíž $$f'(\xi) = {f(b)-f(a)\over b-a}.$$

		\qed
	}

}


\theorem{23}{Cauchyova věta o střední hodnotě}{

	Nechť $f,g$ jsou spojité na $[a,b]$, $a<b$ a nechť $\existss f'(x)$ pro $\forall x \in (a,b)$
	a $\existss g'(x)$ vlastní a nenulová pro $\forall x \in (a,b)$. Potom $\existss \xi \in (a,b)$
	takové, že
	$$ {f(b)-f(a)\over g(b)-g(a)} = {f'(\xi) \over g'(\xi)} $$

	\proof{
		$g(a) \ne g(b)$, neboť jinak by dle Rolleovy věty existovalo
		$\xi \in (a,b): g'(\xi) = 0$, což by byl spor.

		Definujeme
		$$H(x) := \left(f(x)-f(a)\right)\left(g(x)-g(a)\right)
				- \left(g(x)-g(a)\right)\left(f(x)-f(a)\right).$$
		Potom $H(a) = H(b) = 0$, $H$ je spojitá na $[a,b]$, existuje $H'$ na $[a,b]$.

		Tedy dle Rolleovy věty $\existss \xi \in (a,b)$ takové, že
		$$0 = H'(\xi) = f'(\xi)\left(g\left(b\right)-g\left(a\right)\right)
				- g'(\xi)\left(f\left(b\right)-f\left(a\right)\right)
			\Rightarrow {f(b)-f(a)\over g(b)-g(a)} = {f'(\xi)\over g'(\xi)} $$
		(neboť $g'(\xi)\ne0$, $g(b)-g(a) \ne 0$).

		\qed
	}

}


\theorem{24}{L'Hospitalovo pravidlo}{

	Nechť $a \in \real^*$ a funkce $f, g$ jsou definovány na nějakém $\cP^+(a,\delta)$.
	\list{
		\listItem{
			Nechť \M{\lim_{x\to a_+} f(x) = \lim_{a\to a_+} g(x) = 0}
			a existuje
			$$\lim_{x\to a_+} {f'(x)\over g'(x)}.$$
			Potom
			$$\lim_{x\to a_+} {f(x)\over g(x)} = \lim_{x\to a_+} {f'(x) \over g'(x)}.$$
		}

		\listItem{
			Nechť \M{\lim_{x\to a_+} |g(x)| = +\infty}
			a existuje
			$$\lim_{x\to a_+} {f'(x)\over g'(x)}.$$
			Potom
			$$\lim_{x\to a_+} {f(x)\over g(x)} = \lim_{x\to a_+} {f'(x) \over g'(x)}.$$
		}
	}

	\example{
		$$ \lim_{x\to 0} {x-\sin x \over x^3} = \lim_{x\to 0} {1-\cos x\over 3x^2}
			= \lim_{x\to 0} {\sin x \over 6x} = \lim_{x\to 0} {\cos x \over 6} = {1\over6} $$
	}

	\proof{
	\list{
	\namedListItem{i}{
		Nechť $a \in \real$ a nechť
		$$\lim_{x\to a_+} {f'(x)\over g'(x)} = A \in \real.$$
		Potom
		$$\existss \delta > 0,\ \forall x \in \cP^+(a,\delta):
			\ \existss f'(x) \in \real,\ g'(x) \in \real\setminus\{0\}.$$

		``Dodefinuji'' funkce $f$ a $g$ v bodě $A$: $f(a) = g(a) = 0$.
		Nyní nechť $x \in \cP^+(a,\delta)$. (Obrázek.) Potom $f$, $g$ jsou
		spojité na $[a,x]$, neboť obě mají vlastní derivaci
		na celém $\cP^+(a,\delta)$.

		Tedy jsou splněny předpoklady \ias{}{23}{} (na intervalu $[a,x]$!)
		a proto platí, že $\existss \xi \in (a,x)$ takové, že
		$$ {f'(\xi) \over g'(\xi)} = {f(x)-f(a)\over g(x)-g(a)} $$
		($\xi$ závisí na $x$! Značíme $\xi = \xi(x)$.)

		Zvolme $\eps > 0$. Víme, že existuje $\omega > 0$ takové, že
		$$\forall y \in \cP^+(a,\omega): {f'(y) \over g'(y)} \in \cU(A,\eps).$$

		Pro $x \in \cP^+(a,\delta) \cap \cP^+(a,\omega)$ najdeme $\xi = \xi(x)$
		podle receptu na začátku důkazu. Potom
		$$ {f'(\xi) \over g'(\xi)} \in \cU(A,\eps). $$

		Víme ale, že
		$$ {f(x)\over g(x)} = {f(x)-f(a) \over g(x)-g(a)} = {f'(\xi) \over g'(\xi)}, $$
		tedy také
		$$ {f(x)\over g(x)} \in \cU(A,\eps). $$

		Takže
		$$ \lim_{x\to a_+} {f(x)\over g(x)} = A = \lim_{x\to a_+} {f'(x)\over g'(x)}. $$
	}

	\namedListItem{i}{
		$a = -\infty$

		Převedeme na předchozí případ pomocí substituce
		$$ \eqalign{F(y) = f\left(-{1\over y}\right),&\ F'(y) = f'\left(-{1\over y}\right) \cdot {1\over y}\cr
		            G(y) = g\left(-{1\over y}\right),&\ G'(y) = g'\left(-{1\over y}\right) \cdot {1\over y}}$$

		$$ \Longrightarrow \undernote{\lim_{y\to 0_+} {F(y)\over G(y)}}{= \lim_{x\to -\infty}{f(x)\over g(x)}}
					= \lim_{y\to 0_+} {F'(y) \over G'(y)}
					= \lim_{x\to -\infty} {f'(x) \over y'(x)} $$
	}

	\namedListItem{ii}{
		Technická záležitost, považujeme za dokázané (nezkouší se).
	}
	}
	}

	\scpart{Poznámky, příklady, varování:}{
	\list{
		\listItem{\M{\lim_{x\to 0} {3x+1 \over 2x+2} \ne \lim_{x\to 0} {3\over2} = {2\over2}}}
		\listItem{\M{\lim_{x\to 0} {e^{-1/x} \over x} = \lim_{x\to 0} {e^{-1/x} \cdot {1\over x^2} \over 1}
			         = \lim_{x\to 0} {e^{-1/x} \over x^2}}}
		\listItem{\M{\lim_{x\to \infty} {x^2 \over x+\sin x} = +\infty}, ale
			\M{\lim_{x\to \infty} {2x \over 1 + \cos x}} neexistuje.}

		\listItem{L'Hospital vhodný např. pro
			$$\lim_{x\to 0} {x-\sin x \over x^3},\ \lim_{x\to0} {e^x - x - 1 \over x^2},\ 
				\lim_{x\to 0} {\cos x - 1 + {x\over2}^2 \over x^4},\ \ldots$$
		}

		\listItem{\M{\lim_{x\to 1_-} (2-x)^{\tg\left(\pi x \over 2\right)}}
			$$ e^{\tg\left({\pi\over2}x\right){\log(2-x)\over1-x}(1-x)} = \tg({\pi\over2}x)(1-x)
				= {\sin({\pi\over2}x)\over\cos\left({\pi\over2}x\right)}(1-x) $$
			$$ \lim_{x\to 1_-} {1-x \over \cos\left({\pi\over2}x\right)}
				\becauseof{L'H}{=} \lim_{x\to 1_-}{-1 \over -\sin\left({\pi\over2}x\right)}{2\over\pi}
					\to {2\over\pi} $$
		}
		\listItem{\M{\lim_{n\to \infty} {n^2\over3^n} \becauseof{Heine + L'H ``${\infty\over\infty}$''}{=}
				\lim_{x\to \infty} {2x \over 3^x\log3} \becauseof{L'H ``${\infty\over\infty}$''}{=}
				\lim_{x\to \infty} {2 \over 3^x (\log 3)^2} = 0}}
		\listItem{\M{\lim_{x\to \infty} {\log x \over x} \becauseof{L'H ``${\infty\over\infty}$''}{=}
				\lim_{x\to \infty} {{1\over x}\over1} = 0}}
	}
	}

}

}

\bend