Enunciado: Toda función de tercer grado, de coeficientes reales, posee al menos una raíz real.
Hipótesis: $$ f(x)=a·x^3 + b·x^2 + c·x + d, a≠0, (a,b,c,d)∈ℝ $$
Tesis: \( ∃ \) al menos un \( c,c∈(-n,n)/f( c )=0 \)
Demostración: \( f \) es continua en para todos los reales por ser función polinómica (véase el teorema). Sea consideran los siguientes casos:
$$ f(n) = a·n^3 + b·n^2 + c·n + d $$
$$ f(-n) = -a·n^3 + b·n^2 - c·n + d $$
Se considera un \( n∈ℝ \) tan grande como se quiera, de esta forma tendremos que:
$$ sg f(n) = sg (a·n^3) $$
$$ sg f(-n) = sg (-a·n^3) $$
Siempre se cumplirá que:
$$ f(n)·f(-n)<0 $$
Por
teorema de Bolzano podemos afirmar que \( ∃ \) al menos un \( c,c∈(-n,n)/f( c )=0 ∎ \)