Пусть . Тогда
-4x_2+9;\\ y_1>y_2" alt="x_1-4x_2; | +9;\\ -4x_1+9>-4x_2+9;\\ y_1>y_2" align="absmiddle" class="latex-formula">
а значит по определению функция y = -4x+9 убывает . Доказано