Сравнение действительных чисел
Как сравнивают бесконечные десятичные дроби
Действительное число — это бесконечная десятичная дробь. Чтобы сравнить два таких числа $a$ и $b$, не нужно «дописывать» их до конца — это невозможно, ведь дробь бесконечная. Вместо этого пользуются тремя простыми правилами, которые смотрят на запись числа: сначала на знак, потом на целую часть, потом на цифры после запятой по порядку слева направо.
Если действительные числа $a$ и $b$ равны, пишут $a = b$; если $a$ меньше $b$ — $a < b$ (или $b > a$); если $a$ не равно $b$ — $a \neq b$.
Правило 1. Когда числа равны
Единственное исключение — число 0: перед ним можно ставить любой знак, оно от этого не меняется:
$$0 = 0{,}000\ldots = -0{,}000\ldots = +0{,}000\ldots$$
Заметь: 2,(3) и 2,333333… — это одна и та же бесконечная дробь 2,333333…, просто записанная двумя разными способами (через скобки периода и через явное повторение цифры). Поэтому эти числа равны.
Правило 2. Ноль и разные знаки
Иначе говоря: если знаки у чисел разные — сравнение окончено сразу, ещё до того, как мы посмотрели на цифры. Отрицательное число проигрывает нулю, а ноль проигрывает положительному. Смотри пример −10,(4) и 0 в интерактиве.
Правило 3. Числа одного знака
Если знаки у чисел одинаковые, знак пока «отставляем в сторону» и сравниваем сами дроби (их абсолютные величины) по такому алгоритму:
Разбор примера
Сравним −3,1 и −3,(1). Сначала сравним модули: $|-3{,}1| = 3{,}1000\ldots$, а $|-3{,}(1)| = 3{,}1111\ldots$ Целые части одинаковые (3 = 3), первая цифра после запятой тоже одинаковая (1 = 1), а вот вторая цифра разная: у первого числа это 0, у второго — 1. Так как $0 < 1$, получаем $3{,}1 < 3{,}(1)$ — модуль первого числа меньше.
Но сами числа отрицательные! А для отрицательных чисел меньший модуль означает большее число. Поэтому вывод переворачивается:
$$-3{,}1 > -3{,}(1)$$
Открой этот пример в интерактиве и пройди сравнение по шагам кнопкой.