Непрямое деление¶
Непрямое деление — метод определения квадратного корня из числа, основанный на алгебраическом тождестве (a + b)² = a² + 2ab + b². В отличие от «прямого» деления корней, метод позволяет по частичным квадратам вычислять корень цифра за цифрой, аналогично тому, как в столбике делят числа. Метод известен в русской математической традиции с XIX века и описан в учебниках арифметики и алгебры как способ извлечения квадратных корней без использования логарифмических таблиц.
¶Принцип метода
Пусть требуется извлечь квадратный корень из числа N. Корень записывается в виде суммы разрядов: √N = a + b, где a — уже найденная часть корня, а b — следующий разряд (в общем случае — дробная часть). Тогда:
N = (a + b)² = a² + 2ab + b².
Метод последовательно вычитает из остатка сначала квадрат a², затем «двойное произведение» 2ab, затем квадрат b². Каждый шаг соответствует определению очередной цифры корня. Название «непрямое» связано с тем, что деление происходит не на сам корень, а на промежуточные величины — удвоенный частичный корень плюс новая цифра.
¶Алгоритм
Алгоритм выполняется по разрядам числа, начиная со старших. Число N разбивается на разрядные группы по две цифры справа налево. Пусть найдена часть корня a, остаток равен R.
- Подбирается наибольшая цифра b, такая что (2a + b)·b ≤ R.
- Из остатка вычитается произведение (2a + b)·b.
- К частичному корню дописывается цифра b: a ← a + b.
- К остатку приписывается следующая разрядная группа, и шаг повторяется.
После первого шага, когда a = 0, условие сводится к b² ≤ R, то есть к выбору наибольшего квадрата, не превышающего остаток.
¶Пример
Извлечём √1521. Разбиваем число на группы: 15 | 21.
- Первый шаг: наибольший квадрат, не превышающий 15, — 3² = 9. Остаток: 15 − 9 = 6. Частичный корень: a = 3.
- Приписываем следующую группу: остаток 621.
- Второй шаг: 2a = 6. Подбираем b: (6 + b)·b ≤ 621. При b = 7: (6 + 7)·7 = 91. Остаток: 621 − 91 = 530. Частичный корень: 37.
- Третий шаг: 2a = 74. Подбираем b: (74 + b)·b ≤ 530. При b = 7: (74 + 7)·7 = 567 — слишком много. При b = 6: (74 + 6)·6 = 480. Остаток: 530 − 480 = 50. Частичный корень: 376.
- Четвёртый шаг: 2a = 752. (752 + b)·b ≤ 5000. При b = 6: (752 + 6)·6 = 4548. Остаток: 5000 − 4548 = 452. Частичный корень: 3766.
Таким образом, √1521 ≈ 39 (проверка: 39² = 1521). В примере выше алгоритм остановлен на промежуточном шаге — при b = 9 на втором разряде получается точное значение 39. Метод позволяет довести вычисление до любой точности, добавляя разрядные группы нулей после запятой.
¶История
Метод непрямого деления восходит к древним алгоритмам извлечения корней, описанным в вавилонских глиняных табличках (II тысячелетие до н. э.). В Европе алгоритм был распространён в трудах математиков эпохи Возрождения, в частности у Луки Пачоли (1494) и в «Арифметике» Клавия (1608). В русской математической литературе метод получил название «непрямого деления» и вошёл в учебники арифметики XIX века — в частности, в труды Н. Д. Кочина, Л. Ф. Магницкого и в «Курс арифметики» А. П. Киселёва, где он излагался как практический способ извлечения квадратных корней до появления электронных вычислительных машин.
¶Связь с другими методами
Непрямое деление тесно связано с методом Ньютона (метод касательных), который позволяет вычислять корни итерационно. Различие состоит в том, что непрямое деление определяет корень по разрядам, а метод Ньютона — приближением с заданной точностью. Также алгоритм перекликается с методом деления чисел в столбик: в обоих случаях подбирается частное, а остаток уменьшается на произведение делителя на частное. В компьютерной арифметике непрямое деление используется в алгоритмах извлечения квадратных корней в процессорах без аппаратного блока sqrt.
¶Применение
До внедрения электронных калькуляторов непрямое деление было основным практическим методом извлечения квадратных корней. Метод применялся в инженерных расчётах, астрономии, геодезии и бухгалтерском учёте. В современном математическом образовании алгоритм изучается в курсе алгебры как иллюстрация связи между арифметическими операциями и алгебраическими тождествами, а также как исторический пример вычислительных методов.
¶Источники
- Киселёв А. П. «Курс арифметики».
- Магницкий Л. Ф. «Арифметика» (1703).
- Кочин Н. Д. «Арифметика».
- Энциклопедический словарь Брокгауза и Ефрона.
- Виленкин Н. Я. «Математика. 6 класс».