Pokud máme pro funkci \(f\) spojitou na intervalu \(J\) řešit rovnici \begin{equation*} f(x) = 0,\end{equation*} pak máme k dispozici metodu půlení intervalu. Abychom ji ale mohli použít, musíme nalézt intervaly \(\langle a,b \rangle \subset J\) tak, že \(f(a)\cdot f(b) < 0\). Metoda půlení intervalu pak vždy dá aspoň jeden kořen, v intervalu \(\langle a,b \rangle\) jich však může být více. Je proto vhodné kořeny separovat, čili vždy nalézt interval \(\langle a,b \rangle\) tak, že v něm leží právě jeden kořen.
Určete počet reálných kořenů polynomu \(f(x) = x^5 - 5x + 2\) a separujte je. Řešíme tedy rovnici \begin{equation*} f(x) = x^5 - 5x + 2 = 0.\end{equation*} Definičním oborem funkce \(f\) je celé \(\mathbb{R}\), funkce \(f\) je spojitá na \(\mathbb{R}\). Limity v krajních bodech jsou \begin{equation*} \begin{aligned} \lim_{x\to-\infty} f(x) &= \lim_{x\to-\infty} x^5 \left( 1 - \frac{5}{x^4} + \frac{2}{x^5} \right) = \\ &= \lim_{x\to-\infty} x^5 \, \cdot \, \lim_{x\to-\infty} \left( 1 - \frac{5}{x^4} + \frac{2}{x^5} \right) = -\infty \cdot 1 = -\infty. \\ \lim_{x\to+\infty} f(x) &= \, \text{(analogicky)} \, = + \infty. \end{aligned}\end{equation*} První derivací funkce \(f\) je \begin{equation*} f'(x) = 5x^4 - 5 = 5(x^4 - 1) = 5(x^2 +1)(x^2 -1) = 5(x^2 + 1)(x-1)(x+1).\end{equation*} Shrnujeme, že