Квадратным неравенством или неравенством второй степени называется неравенство вида
$ax^{2} + bx + c > 0$. (1)
Так как исследование знака квадратного трехчлена по существу полностью проведено в статье "График квадратного трехчлена" в связи с построением графика этой функции, можно здесь воспользоваться этими результатами. В зависимости от знаков дискриминанта $d = b^{2}-4ac$ и старшего коэффициента $a$ представляются следующие возможности:
1) $d < 0, a > 0$. Неравенство (1) выполнено при всех значениях $a$ (трехчлен положителен для всех значений аргумента). Этот случай представлен рис. а.
2) $d < 0, a < 0$. Неравенство не выполняется ни для одного значения х, множество его решений пусто рис. б.
3) $d = 0, a > 0$. Такой трехчлен изображен на рис. д; неравенство (1) выполняется для всех $x$, кроме $x = - b/(2a)$ (двойной корень трехчлена).
4) $d = 0, a < 0$. Неравенство не может выполняться ни при одном значении $x$ (трехчлен отрицателен всюду, кроме единственной точки $x = -b/(2a)$, где он обращается в нуль; рис. е.
5) $d > 0, a > 0$. График трехчлена изображен на рис. в. Неравенство (1) выполняется всюду вне интервала между корнями. Если$x_{1}, x_{2}$ - корни трехчлена, причем $x_{1} < x_{2}$, то неравенство (1) выполняется в бесконечных интервалах $(- \infty, x_{1})$ и $(x_{2}, \infty)$.
6) $d > 0, a < 0$. График показан на рис. г; неравенство удовлетворено в интервале между корнями трехчлена $(x_{1}, x_{2})$.
В сжатой форме эти положения о знаке квадратного трехчлена формулируют так: квадратный трехчлен с мнимыми корнями имеет постоянный знак, совпадающий со знаком его старшего коэффициента; квадратный трехчлен с различными действительными корнями имеет в интервале между корнями знак, противоположный знаку его старшего коэффициента, а вне интервала между корнями - знак, совпадающий со знаком старшего коэффициента.
Эти результаты для трехчлена с действительными корнями $x_{1}, x_{2} (x_{1} < x_{2})$ можно подкрепить следующими типичными рассуждениями, которые окажутся далее полезными при решении неравенств высших степеней и неравенств, содержащих дробные рациональные функции. Запишем разложение квадратного трехчлена на множители:
$ax^{2} + bx + c = a(x - x_{1})(x - x_{2})$. (2)
Очевидно, что в областях $x < x_l, x_{1} < x < x_{2}, x > x_{2}$ трехчлен имеет определенный знак, одинаковый для каждой точки данной области. При переходе же из области в область, т. е. при переходе х через одно из значений $x_{1}: x_{2}$, знак его изменяется. Теперь достаточно установить знак трехчлена для каждой из трех указанных областей.
1. $x < x_{1}$. Имеем $x - x_{1} < 0, x - x_{2} < 0$; знак трехчлена совпадает со знаком $a$.
2. $x_{1} < x < x_{2}$; в этом случае $x - x_{1} > 0, х - x_{2} < 0$; знак трехчлена противоположен знаку $a$.
3. $x > x_{2}$. Теперь уже $x - x_{1} > 0, x - x_{2} > 0$, и знак трехчлена снова совпадает со знаком $a$.
Выводы графического и алгебраического исследования полностью совпали.
Пример 1. Решить следующие неравенства:
а) $x(2x - 1) > (x - 2)^{2}$; б) $2x (x + 2) \geq x(7x + 10) + 1$.
Решение. а) Преобразуем данное неравенство:
$2x^{2} - х > x^{2} - 4x + 4$,
или
$x^{2} + 3x - 4 > 0$.
Получилось квадратное неравенство, равносильное данному. Замечаем, что дискриминант трехчлена $x^{2} + 3x - 4$ больше нуля и что его корнями служат числа (-4) и 1. Таким образом, $x_{1} = - 4, x_{2} = 1$. Множество решений данного неравенства состоит из двух бесконечных интервалов: $(- \infty, - 4), (1, + \infty )$. Этот ответ рекомендуется проверить, построив график трехчлена $y = x^{2} + 3x - 4$.
б) После простых преобразований получаем квадратное неравенство
$5x^{2} + 6x + 1 \leq 0$,
равносильное данному. Дискриминант трехчлена $5x^{2} + 6x + 1$ положителен, корнями трехчлена являются числа $x_{1} = - \frac{1}{5}, x_{2} = - 1$.
Множество решений задается неравенствами $- 1 \leq x \leq - \frac{1}{5}$, они представляют собой сегмент $\left [- 1, - \frac{1}{5} \right ]$.
Пример 2. Решить неравенство
$| x^{2} - 2x | < \frac{3}{4}$. (3)
Решение. Числа, модуль которых меньше $a$, заполняют интервал от $-a$ до $a$. Поэтому неравенство (3) равносильно следующим неравенствам:
$- \frac{3}{4} < x^{2} - 2x < \frac{3}{4}$,
которые составят систему неравенств второй степени для $x$:
$\begin{cases} - \frac{3}{4} < x^{2} - 2x, \\ x^{2} - 2x < \frac{3}{4}. \end{cases}$
Перепишем их в стандартной форме:
$\begin{cases} x^{2} - 2x + \frac{3}{4} >0, \\ x^{2} - 2x - \frac{3}{4} < 0. \end{cases}$
Первое неравенство имеет множество решений $\left (1 - \frac{ \sqrt{7}}{2}, 1 + \frac{ \sqrt{7}}{2} \right )$. Решения второго неравенства заполняют два бесконечных интервала: $\left ( - \infty , \frac{1}{2} \right )$ и $\left ( \frac{3}{2}, + \infty \right )$. Методом штриховки нетрудно убедиться, что множество решений данного неравенства состоит из двух интервалов: $\left ( 1 - \frac{ \sqrt{7}}{2}, \frac{1}{2} \right )$ и $\left ( \frac{3}{2}, 1 + \frac{ \sqrt{7} }{2} \right )$. На рис. показана графическая иллюстрация к данному неравенству.