60. ax²+bx+c көп мүчөсү x₁ жана x₂ тамырларына ээ болсун, мында x₁<x₂. Каалагандай x₀ санын (x₁,x₂) аралыгынан алып, б.а. x₁<x₀<x₂ болсо, анда a(ax₀²+bx₀+c)<0 барабарсыздыгын аткарыларын далилдегиле.

\(f(x)=ax^2+bx+c\) деп белгилейли. Бул квадраттык көп мүчөнүн эки тамыры бар болгондуктан, \(a\ne0\) жана \(f(x)=a(x-x_1)(x-x_2)\).

\(x_10\), ал эми \(x_0-x_2<0\). Ошондуктан \((x_0-x_1)(x_0-x_2)<0\).

Демек \(a f(x_0)=a\cdot a(x_0-x_1)(x_0-x_2)=a^2(x_0-x_1)(x_0-x_2)<0\), анткени \(a^2>0\).

Далилденди: \(a(ax_0^2+bx_0+c)<0\).