вытекают из введенного нами понятия неравенства. По отношению к числам
это понятие задается следующим утверждением, которое можно считать определением отношений «меньше» и «больше» на множестве чисел:
Определение.
число a больше числа b тогда и только тогда, когда разность a−b является положительным числом;
число a меньше числа b тогда и только тогда, когда разность a−b – отрицательное число;
число a равно числу b тогда и только тогда, когда разность a−b равна нулю.
Это определение можно переделать в определение отношений «меньше или равно» и «больше или равно». Вот его формулировка:
Определение.
число a больше или равно числу b тогда и только тогда, когда a−b – неотрицательное число;
число a меньше или равно числу b тогда и только тогда, когда a−b – неположительное число.
Данные определения мы будем использовать при доказательстве свойств числовых неравенств.
Свойства числовых неравенств