Задача: доказать, что функция y = 2,5 − 4x убывает (на русском: строго убывает) на всей множестве вещественных чисел, используя свойства верных числовых неравенств.
Пусть f(x) = 2,5 − 4x. Докажем, что для любых x1 < x2 выполняется f(x1) > f(x2).
Шаги доказательства:
- Выберем любые x1 и x2 такие, что x1 < x2.
- Посчитатим разницу значений функции: f(x1) − f(x2) = (2,5 − 4x1) − (2,5 − 4x2) = −4x1 + 4x2 = 4(x2 − x1).
- Так как x1 < x2, получаем x2 − x1 > 0, следовательно 4(x2 − x1) > 0.
- Значит f(x1) − f(x2) > 0, то есть f(x1) > f(x2).
Следовательно, при возрастании аргумента функция принимает строго меньшие значения: f(x1) > f(x2) для любого x1 < x2. Это и есть определение строгого убывания функции на всей числовой оси.
Дополнительное замечание:
- В линейной функции вида y = ax + b коэффициент при x равный a определяет монотонность: если a < 0, функция строго убывает; здесь a = −4 < 0, что согласуется с выводом выше.
- Пример для иллюстрации: x1 = 0 ⇒ f(0) = 2,5; x2 = 1 ⇒ f(1) = 2,5 − 4 = −1,5; получаем, что при возрастании x функция уменьшается.
Итог: функция y = 2,5 − 4x является строгой убывающей на всей области определения (R).