f est le trinôme défini par f(x)=ax^2+bx+c. L'algorithme permet de déterminer si, pour TOUT x, f(x) est strictement positif.