Вспоминая, что
т. е.
Но произведение среднего арифметического на среднее гармоническое равно произведению исходных чисел:
откуда, разделив обе части на l12, получаем второй важный вывод:
или
т. е.
Разделив же (6.5) на l1l3, Архит получает и третью из основных пропорций -геометрическую:
которую называли "музыкальной":
Деление струны монохорда (l1) на части, образующие с ней совершенные консонансы: октаву (l2), квинту (l3) и кварту (l4) и соотношения между ними. Интервалы, которые целая струна монохорда образует со своими частями, показаны красными стрелками
Легко получить еще два соотношения:
т. е.
Наконец, найдем интервальный коэффициент между струнами квинты l3 и кварты l4, который вместе со своим интервалом называется
т. е.
Заметим, что в отличие от обычного Расстояния на прямой r21 = х2 — x1 определяемого как разность координат конца и начала, интервальный коэффициент — вЫсотное расстояние — определен как отношение составляющих его тонов
сумма двух интервалов равна произведению их интервальных коэффициентов:
разность двух интервалов равна частному их интервальных коэффициентов:
разделить интервал на n равных частей означает извлечь корень степени n из его интервального коэффициента:
и т. д.
Чтобы перейти от интервальных коэффициентов к интервалам-расстояниям, достаточно ввести логарифмический интервал L = loga I и логарифмическую частоту F = loga f. Тогда, логарифмируя определение (6.1) и равенства (6.10) — (6.12) получаем привычное определение и правила действия с расстояниями:
В главе 9 при построении равномерно-темперированного строя особенно удобно будет взять логарифмы по основанию 2. Тогда интервал октавы f1 = 1, f2 = 2 перейдет в логарифмический интервал 0≤L≤1 (log2l=0, log22 = l).
Решение проблемы деления октавы подсказало Архиту сразу два доказательства иррациональности
Но при таком соотношении длин струн прослушивается явный диссонанс. Поскольку же консонанс определяется отношением целых чисел вида (n+1):2, то напрашивается мысль, что число
Второе доказательство иррациональности
Произведение средних членов этой пропорции равно данному числу 2, а их разность
(3/2 с избытком, 4/3 с недостатком ] .
Проделав ту же процедуру над первыми приближениями, получим вторые приближения:
причем
а затем — и третьи приближения:
причем
1,414216-1,414211=0,000005.
Поскольку данную процедуру можно повторять неограниченно, то ясно, что число