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

\subchapter{Newton�v integr�l}{

	�ekneme, �e funkce $f$ m� na intervalu $(a,b) \in \real$
	{\bf Newton�v integr�l}, jestli�e existuje primitivn�
	funkce $F$ k funkci $f$ na $(a,b)$ a existuj�
	$\lim_{x \to a_+} F(x)$ a $\lim_{x \to b_-} F(x)$.
	Potom {\bf hodnotou Newtonova integr�lu} z $f$ p�es $(a,b)$
	naz�v�me ��slo
	$$ \newtint{a}{b} f(x)\,dx := \lim_{x\to b_-} F(x) - \lim_{x\to a_+} F(x) $$

	Mno�inu funkc�, kter� maj� Newton�v integr�l p�es $(a,b)$
	zna��me $N(a,b)$.

	\notes{
	\list{
		\listItem{Je-li $f$ spojit� na $[a,b]$, potom
			$$ \newtint{a}{b} f(x)\,dx = \riemint{a}{b} f(x)\,dx $$
			(d�sledek (ii) \ias{6}{7}{}).
		}
		\listItem{\M{f(x) = 1/\sqrt{x}} na $(0,1)$:
			$$ \newtint{0}{1} f(x)\,dx = \lim_{x\to1_-} 2\sqrt{x} - \lim_{x\to0_+} 2\sqrt{x} = 2-0 = 2 $$

			P�itom $1/\sqrt{x}$ nen� na $(0,1)$ omezen�, tedy nepat��
			do $R([0,1])$. Tedy $$1/\sqrt{x} \in N(0,1) \setminus R([0,1])$$
		}
		\listItem{$f(x) = \sign x$ na $[-1,1]$ $\in R([-1,1])$, ale
			nem� na $(-1,1)$ primitivn� funkci (nen� tam darbouxovsk�),
			tedy pro zm�nu $$\sign x \in R([-1,1]) \setminus N(-1,1)$$
		}
		\listItem{Existuj� omezen� funkce $f \in N(a,b) \setminus R([a,b])$, ale je obt��n� je zkonstruovat.
		}
	}
	}

	\theorem{8}{per partes pro ur�it� integr�l}{
		Nech� $f,g,f',g'$ jsou spojit� na $[a,b]$.
		Potom $$ \int_a^b f(x)g'(x)\,dx = [f(x)g(x)]_{x=a}^{x=b} - \int_a^b f'(x)g(x)\,dx $$
		kde
		$$ [h(x)]_{x=a}^{x=b} \defined \lim_{x\to b_-} h(x) - \lim_{x\to a_+} h(x) $$

		\proof{
			\dots n�s nezaj�m�. \sqed
		}
	}

	\theorem{9}{substituce pro ur�it� integr�l}{
		\list{
		\listItem{Nech� $f$ je spojit� na $[a,b]$ a nech� m�m
			$$\varphi: [\alpha,\beta] \to [a,b]$$
			Nech� $\varphi$ m� na $(\alpha,\beta)$ spojitou
			derivaci. Pak
			$$\int_a^b f(\varphi(t))\varphi'(t)\,dt =
				\int_{\varphi(a)}^{\varphi(b)} f(x)\,dx $$
		}
		\listItem{Nech� $f$ je spojit� na $[a,b]$ a nech� m�m
			$$\varphi: [\alpha,\beta] \to [a,b]$$
			nech� $\varphi([\alpha,\beta]) = [a,b]$ a nech�
			$\varphi$ m� na $(a,b)$ spojitou nenulovou derivaci.
			Pak
			$$ \int_a^b f(x)\,dx = \int_{\varphi^{-1}(a)}^{\varphi^{-1}(b)} f(\varphi(t))\varphi'(t)\,dx $$
		}
		}

		\proof{
			\dots nechceme. \sqed
		}

		\example{
			\M{\int_{-r}^r \sqrt{r^2 - x^2}\,dx}
			\startRuledTable
			\M{\eqalign{x &= r\sin t\cr
				   dx &= r\cos t}}\cr
			\endRuledTable
			$$ = r\int_{-\pi/2}^{\pi/2} \sqrt{r^2\cos^2t}\cos t\,dt = r^2\int_{-\pi/2}^{\pi/2}\cos^2t\,dt
				= r^2\int_{-\pi/2}^{\pi/2} {1+\cos2t\over2}\,dt = \pi/2\cdot r^2 $$
		}
	}

}

\bend
