§ 30. Операции с вещественными числами

Определения и обозначения

Вещественное число в компьютере — число, которое обычно хранится приближённо в формате с плавающей точкой. Это относится и к многим дробям, и к очень большим или малым значениям. Понимание приближённости помогает не ожидать от вычислений абсолютной точности.

Представление с плавающей точкой — запись числа через знак, мантиссу и порядок, при которой положение запятой не фиксировано. Например, одно и то же значение можно записать в виде 3,14 × 10² или 0,314 × 10³. Такой формат нужен, чтобы хранить числа с разным масштабом.

Мантисса — значащая часть числа, задающая его цифры с ограниченной точностью. Чем больше разрядов отведено под мантиссу, тем подробнее можно записать значение. Именно мантисса определяет, насколько близко хранимое число к исходному.

Машинное эпсилон — наименьшее положительное число ε, для которого в данной арифметике выражение 1 + ε отличается от 1. Оно показывает, насколько мелкие изменения числа около единицы ещё различимы для компьютера. Эпсилон помогает оценивать точность вычислений, но не заменяет выбор допуска для конкретной задачи.

Как это устроено

Память компьютера может хранить только конечное количество разрядов. Между тем вещественных чисел бесконечно много, даже если ограничить их небольшим промежутком. Поэтому каждому числу нельзя выделить отдельную точную комбинацию разрядов: часть значений приходится заменять ближайшими представимыми числами. Так возникает приближение уже при сохранении данных.

Плавающая точка позволяет использовать разряды эффективно: мантисса хранит значащие цифры, а порядок задаёт масштаб. Благодаря этому можно представлять как очень малые, так и очень большие значения, не записывая длинные цепочки нулей. Однако число разрядов мантиссы конечно, поэтому точность зависит от того, сколько значащих цифр удаётся сохранить. Увеличение или уменьшение порядка меняет масштаб, но не добавляет мантиссе новых цифр.

Компьютер выполняет вычисления в двоичной системе, а не в десятичной. Некоторые конечные десятичные дроби в двоичной записи становятся бесконечными, подобно тому как ⅓ не имеет конечной десятичной записи. Хранение такой дроби требует остановиться после ограниченного числа разрядов и округлить значение. Поэтому числа 0,1 и 0,2 обычно представлены лишь приближённо.

Округление может появиться не только при записи исходного числа, но и после арифметической операции. Точный математический результат иногда содержит больше цифр, чем помещается в мантиссу, поэтому компьютер сохраняет ближайшее доступное значение. Если исходные значения уже были приближёнными, новое действие использует эти приближения и может добавить свою погрешность. В итоге полученное машинное число не обязательно совпадает с точным ответом.

Порядок вычислений важен, потому что округляются промежуточные результаты. При сложении чисел сильно различающихся величин малое слагаемое может не поместиться в значащие разряды суммы и фактически потеряться. Перегруппировка действий меняет промежуточные значения, а значит, и то, какие цифры будут отброшены при округлении. Поэтому математически равные выражения в программе иногда дают разные машинные результаты.

Особенности операций с вещественными числами

Таблица помогает определить, где в вычислении вероятнее всего появится погрешность. Перед сравнением результатов выберите допуск, подходящий по масштабу и точности задачи. Если действие повторяется много раз, оцените, как ошибки промежуточных округлений могут повлиять на итог.

Разбор задач

Сравнение 0.1 + 0.2 и 0.3

Условие. Вычислить в программе 0.1 + 0.2 и сравнить результат с 0.3. Нужно выяснить, почему проверка на точное равенство может не сработать. Рассмотрим, что происходит на каждом этапе.

1. Запишем числа в переменные с вещественным типом и выполним сложение 0.1 + 0.2.
2. Учтём, что 0.1 и 0.2 не имеют конечной двоичной записи, поэтому в памяти находятся их приближения.
3. Сложение выполняется над этими приближениями, а результат при необходимости тоже округляется. Выведенное значение может выглядеть как 0.30000000000000004, хотя отличие от 0.3 очень мало.
4. Вместо проверки суммы на точное равенство с 0.3 проверим, меньше ли модуль разности выбранного допуска ε.

Ответ. Сумма может оказаться не равной 0.3 при точном сравнении из-за округления. Для проверки близости используют условие |(0.1 + 0.2) − 0.3| < ε.

Влияние порядка операций

Условие. Сравнить результаты выражений (1e16 + 1) − 1 и (1e16 − 1e16) + 1. Запись 1e16 означает 1 × 10¹⁶. Математически оба выражения равны 1, но вычисления выполняются с ограниченной точностью.

1. В первом выражении сначала к очень большому числу 1e16 прибавляется 1. Если разрядов мантиссы недостаточно, единица теряется при округлении, и сумма остаётся равной 1e16.
2. Затем из округлённой суммы вычитается 1. Получается число, близкое к 1e16, а не к 1.
3. Во втором выражении сначала вычитаются одинаковые числа 1e16 − 1e16, что даёт 0. После прибавления 1 получается 1.
4. Сравним результаты и объясним отличие: в первом случае малое слагаемое исчезло до вычитания, во втором больших промежуточных округлений не возникло.

Ответ. В типичном формате с плавающей точкой результаты могут быть разными: первое выражение даст 0, второе — 1. Порядок операций влияет на то, какие разряды сохраняются.

Проверка близости двух чисел

Условие. Написать программу, которая проверяет, близки ли вещественные числа a и b с заданной точностью ε. Точное условие a == b для округлённых значений ненадёжно. Построим проверку через разность.

1. Сначала зададим ε — допустимую погрешность. Она должна соответствовать точности, необходимой для решаемой задачи.
2. Вычислим разность a − b и возьмём её модуль, чтобы не зависеть от того, какое число больше.
3. Сравним модуль разности с допуском: если |a − b| < ε, считаем числа близкими, иначе — нет.
4. В программе запишем условие abs(a - b) < ε, где abs обозначает модуль числа. Если требуется считать границу допуска включительно, используем знак ≤.

Ответ. Числа считают близкими, когда |a − b| < ε. Значение ε выбирают по масштабу чисел и требованиям задачи, а не произвольно.

Типичные ошибки

Считать, что любая конечная десятичная дробь хранится точно, — ошибка: её двоичная запись может быть бесконечной. Так думают, потому что в привычной десятичной записи дробь выглядит завершённой. Проверьте себя, переводя дробь в двоичную систему или сравнивая её с известными точно представимыми значениями.

Проверка результата на точное равенство часто ненадёжна, поскольку округление способно изменить последние разряды. Условие a == b кажется естественным после обычных вычислений с числами. Для проверки близости оцените модуль разности и сравните его с заранее выбранным допуском.

Перестановка или перегруппировка операций не всегда сохраняет результат программы. Ошибочно полагать, что свойства точной арифметики полностью действуют и для округляемых промежуточных значений. Проверьте выражение несколькими порядками вычислений, особенно если в нём есть очень большие и малые числа.

Увеличение числа знаков после запятой при выводе не повышает точность вычислений. Дополнительные цифры могут лишь показывать уже имеющееся приближённое значение подробнее. Чтобы проверить точность, уточните формат хранения и исследуйте погрешность, а не только настройки вывода.

Связь с другими темами

Для понимания плавающей точки полезно знать позиционные системы счисления и двоичную запись чисел: именно особенности двоичного представления объясняют округление десятичных дробей. Тема нужна при программировании численных методов, моделировании физических процессов и обработке измерений, где значения часто приблизительны изначально. При анализе алгоритмов понимание погрешности помогает оценить надёжность вычислений и выбрать подходящий тип данных.

Что запомнить

• Компьютер хранит вещественные числа с ограниченной точностью.
• Плавающая точка задаёт число мантиссой и порядком.
• Округление возникает как при хранении числа, так и при выполнении операций.
• Результат вычисления может быть приближённым даже при точных исходных данных.
• Порядок операций способен влиять на результат.
• Близость вещественных чисел обычно проверяют с допуском, а не на точное равенство.