Возьмём произвольные значения аргумента х1 < x2, значит -4х1 > -4x2; -4х1 + 9 > -4x2 + 9, следовательно функция убывает ч. т. д.