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

\theorem{1}{nutná podmínka konvergence řady}{
	Nechť \M{\sum_{n=1}^{\infty} a_{n}} konverguje. Pak \M{\lim_{n\to\infty} a_{n} = 0}.


	\scpart{Pozorování}{
		Pro geometrickou řadu \M{\sum_{n=1}^{\infty} q^{n-1}} platí:

		$$ \sum_{n=1}^{\infty} a_{n} \textbox{konverguje} \Longleftrightarrow \lim_{n\to\infty} a_{n} = 0 $$

		(Implikace však neplatí pro všechny řady.)
	}


	\proof{
		Nechť \M{s = \sum_{n=1}^{\infty} a_{n}}, pak $s \in \real$.
		$$ \lim_{n\to\infty} s_{n} = s $$
		$$ \lim_{n\to\infty} s_{n+1} = s $$
		$$ 0 = s - s = \lim_{n\to\infty} s_{n+1} - \lim_{n\to\infty} s_{n} \becauseof{\ref{VOAL}}{=} \lim_{n\to\infty} (s_{n+1}-s_{n}) = \lim_{n\to\infty} a_{n+1} $$
		$$ \lim_{n\to\infty} a_{n} = 0 $$

		\qed
	}


	\scpart{Varování}{
		Implikaci nelze obrátit (tedy podmínka není postačující).
		$$ \lim_{n\to\infty} a_{n} = 0 \not\Rightarrow \sum_{n=1}^{\infty} a_{n} \textbox{konverguje} $$
	}


	\example{

		Harmonická řada \M{\sum_{n=1}^{\infty}{1\over{}n} = +\infty}:
		$$ s_{m} = 1 + {1\over{}2} + \cdots + {1\over{}m} $$
		$$ s_{2m} = 1 + {1\over{}2} + \cdots + {1\over{}m} + {1\over{}{m+1}} + \cdots + {1\over{}{2m}} $$
		$$ s_{2m} - s_{m} = {1\over{}{m+1}} + {1\over{}{m+2}} + \cdots + {1\over{}{2m}} $$
			       $$ \ge {1\over{}{2m}} + {1\over{}{2m}} + \cdots + {1\over{}{2m}} $$
			       $$ = m{1\over{}{2m}} = {1\over{}2} $$
		$$ s_{2m} - s_{m} \ge {1\over{}2}\qquad \forall m\in\nat $$
		Tedy neplatí \reference{Bolzano-Cauchyova podmínka}:
		$$ \becauseof{\ias{2}{12}{}}{\ge} \lim_{n\to\infty} s_{m} = +\infty $$



	} %: \example

}

\bend