|
7.2.2. Умножение
|
|
x
y = 2/1.
И опять, как и в случае с
операцией сложения, нас интересует, каким образом при помощи
"наименьшего количества телодвижений" можно перейти от аргументов, изображенных
евклидовыми прямоугольниками,
к правильному результату, также изображенному евклидовым прямоугольником.
Обыкновенные дроби наиболее просто умножаются в случае,
когда знаменатель первого сомножителя равен числителю второго:
(a/b)
(b/c)
= (a/c).
Соответствующий "простой случай умножения" для
евклидовых прямоугольников
реализуется тогда, когда длина вертикальной стороны первого сомножителя равна длине горизонтальной
стороны второго (далее ради краткости мы будем называть такие прямоугольники
вертикально-горизонтально равными).
|
Слева приведен пример вертикально-горизонтально равных евклидовых прямоугольников.
В соответствии с соглашением со Страницы 7.1.2.3,
вертикально-горизонтально равным евклидовым прямоугольникам отвечает пара обыкновенных
дробей, знаменатель первой из которых равен числителю второй.
|
Алгоритм умножения вертикально-горизонтально равных прямоугольников изложен в
Разделе 7.2.2.2. Если же
исходные евклидовы прямоугольники
не являются вертикально-горизонтально равными,
они
должны быть приведены
к такому виду при помощи методов из
Раздела 7.2.2.1.
По своему смыслу эти методы соответствуют
процедуре приведения двух пар натуральных чисел к "составимому" виду.
Эта процедура применялась в античной арифметике, если данную пару
натуральных чисел невозможно было "составить" непосредственно
(предложение VIII-4-5 8-ой книги "Начал" Евклида).
Таким образом,
полный алгоритм умножения евклидовых прямоугольников состоит из двух этапов:
приведения их (если это нужно) к вертикально-горизонтально равному виду и последующего
умножения вертикально-горизонтально равных прямоугольников.
Примеры работы полного алгоритма приведены в
Разделе 7.2.2.3.