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


\subchapter{Konvexní a konkávní funkce}{


\definition{
	Nechť $f$ má v bodě $a \in \real$ vlastní derivaci.
	Označíme
	$$T_a = \{ [x,y] \in \real^2,\ y = f(a) + f'(a)(x-a) \}.$$

	Řekneme, že bod $[x,f(x)] \in \real^2$ leží nad (pod)
	{\bf tečnou} $T_a$, jestliže $f(x) > f(a) + f'(a)(x-a)$ (resp.
	$f(x) < \ldots$).
}


\definition{
	Nechť $f$ má v bodě $a \in \real$ vlastní derivaci.
	Řekneme, že $f$ má v bodě $a$ {\bf inflexi}, jestliže
	$\existss \delta$ tak, že:

	\indentLevel{
		\item{Buď:}{$\forall x \in (a-\delta,a): [x,f(x)]$ leží nad $T_a$
		          a $\forall x \in (a,a+\delta): [x,f(x)]$ leží pod $T_a$}

		\item{nebo:}{$\forall x \in (a-\delta,a): [x,f(x)]$ leží pod $T_a$
		           a $\forall x \in (a,a+\delta): [x,f(x)]$ leží nad $T_a$.}
	}
}


\theorem{27}{nutná podmínka existence inflexe}{
	Jestliže $f''(a) \ne 0$, pak $f$ nemá v bodě $a$ inflexi.

	\proof{
		Bez újmy na obecnosti nechť $f''(a) > 0$.
		Potom $$\lim_{x\to a} {f'(x) - f'(a) \over x - a} > 0$$

		Tedy $\existss \delta > 0$ takové, že
		$$ \forall x \in (a,a+\delta): f'(x) > f'(a) \,\et\, \forall x \in (a-\delta,a): f'(x) < f'(a) $$

		Zvolme $y \in (a,a+\delta)$. Pak $f$ je spojitá na $[a,y]$ a $\existss f'$ na $(a,y)$.
		Tedy dle pana Lagrange $\existss \xi \in (a,y)$:
		$$ {f(x) - f(a) \over y - a} = f'(\xi) > f'(a) $$
		$$ f(y) > f(a) + f'(a)(y - a)\qquad \forall y \in (a,a+\delta) $$
		Tedy jsme nad $T_a$.

		Analogicky:

		Zvolme $z \in (a-\delta,a)$. Pak $f$ je spojitá na $[z,a]$ a $\existss f'$ na $(z,a)$.
		Tedy dle pana Lagrange $\existss \psi \in (z,a)$:
		$$ {f(a) - f(z) \over a - z} = f'(\psi) < f'(a) $$
		$$ f(z) < f(a) + f'(a)(z - a)\qquad \forall z \in (a-\delta,a) $$

		Tedy není inflexe v $a$!
	}

	\penalty-1000
	\notes{
	\list{
		\listItem{
			$f''(a) = 0$ $\not\Rightarrow$ $f$ má v bodě $a$ inflexi!

			Viz $f(x) = x^4,\ a = 0$. $f'(x) = 4x^3$, $f''(x) = 12x^2$,
			$f''(0) = 0$.
		}

		\listItem{
			Jestliže $f''(a)$ neexistuje, pak $f$ může a nemusí mít
			inflexi v bodě $a$.

			Viz $f(x) = x|x|$. $f''(0)$ neexistuje, ale $f$ má v bodě
			nula inflexní bod.
		}
	}
	}
}


\theorem{28}{postačující podmínka pro existenci inflexe}{

	Nechť $f$ má spojitou první derivaci na intervalu $(a,b)$.
	Nechť $z \in (a,b)$. Nechť pro $\forall x \in (a,z)$ platí $f''(x) > 0$
	a pro $\forall x \in (z,b)$ platí $f''(x) < 0$ (nebo naopak).
	Pak $z$ je bod inflexe funkce $f$.

	\proof{
		Nechť $f'' > 0$ na $(a,z)$, $f'' < 0$ na $(z,b)$.
		Potom dle \ias{}{26}{} je $f'$ rostoucí na $(a,z)$ a klesající na $(z,b)$.

		$$ \existss \xi \in (z,b):\ {f(b) - f(z) \over b-z} = f'(\xi) < f'(z) $$
		$$ \Rightarrow f(b) < f(z) + f'(z)(b-z) $$
		(pod tečnou)

		$$ \existss \eta \in (a,z):\ {f(z) - f(a) \over z-a} = f'(\eta) < f'(z) $$
		$$ \Rightarrow f(a) > f(z) + f'(z)(a-z) $$
		(nad tečnou)

		Totéž platí pro každý bod $x \in (z,b)$ a $y \in (a,z)$,
		tedy
		$$\sesac{\eqalign{f(x) &< f(z) + f'(z)(x-z)\cr
		                  f(y) &> f(z) + f'(z)(y-z)}}
			{\Rightarrow \textbox{$f$ má v bodě $z$ inflexi.}}$$

		\qed
	}

	\example{
		$$f(x) = \arctg x$$
		$$f'(x) = {1 \over 1 + x^2} $$
		$$f''(x) = {-1 \over (1+x^2)^2} 2x $$
		$$f''(x) = {-2x \over (1+x^2)^2} \cases{>0 & pro $x < 0$\cr
		                                        <0 & pro $x > 0$} \Rightarrow \textbox{$f$ má v 0 inflexi} $$
		$$f''(0) \textbox{existuje} \Rightarrow f''(0) = 0$$
	}

}



\penalty-1000
\TODO{TADY TOHO {\bf HODNĚ} CHYBÍ! (DEFINICE KONK/KONV, TŘI VĚTY, ASYMPTOTY, \dots)}

\scpart{Asymptoty}{
	(Zhruba.)

	$$\lim_{x\to\infty} f(x)/x = a$$
	$$\lim_{x\to\infty} f(x)-ax = b$$

	Pokud jsou obě limity konečné, asymptota je
	$$ y = ax + b $$
	(jinak asymptota není).

	(Ekviv. druhá asymptota pro $-\infty$.)
}

}


\bend