Dimostrare che l'equazione [math]x^3+x-\cos x=0[/math] ammette un'unica soluzione positiva.