Нам дана окружность, в которую мы хотим вписать правильный пятиугольник.
Применим метод «кира-кира», отложив на бамбуковой рейке пятую часть длины окружности. Затем отложим на окружности полученной меркой пять отрезков: P0P1, Р1Р2…., P4P5. Если конец последнего отрезка совпадает с точкой P0, то есть первая и последняя точки совпадают, замыкая цикл, то отмеченные нами пять точек являются вершинами правильного пятиугольника. Хорды, стягивающие пять дуг окружности, соответствующих этим пяти точкам, являются сторонами искомого пятиугольника. Чтобы построить пентаграмму, достаточно соединить точки нужным образом.
Если цикл не замыкается, то есть если Р5 не совпадает с P0, это означает, что мы допустили ошибку. Сначала я считал, что эту ошибку следует исправить, найдя ее треть с помощью бамбуковой рейки, а затем прибавить ее к исходной длине отрезка (или вычесть из нее). Но это не помогло улучшить результат. Как же решить задачу? Эврика! Я работал с точками на окружности, но по-прежнему использовал отрезки, в то время как мне нужно было исправить ошибку, допущенную при откладывании дуги. Мне нужно было обратить внимание не на рейку, которой я откладывал хорды, а на дугу окружности, соответствующую величине допущенной ошибки.
Все ясно: требуется рассмотреть окружность как отрезок. Закрепив один конец рейки во второй точке, отмеченной на окружности, я переместил другой конец рейки туда, где, по моему мнению, должен был находиться конец третьей части дуги, соответствующей допущенной ошибке. В результате я получал новую длину хорды.
Ключ к решению заключался в том, что все отметки на бамбуковой рейке соответствовали хордам дуг окружности и… эврика! Результирующая дуга должна представлять собой сумму дуг. Если складывать хорды подобно отрезкам, это условие не выполняется — результирующая дуга не будет равна сумме двух других. Иными словами, сумма хорд будет равна результирующей хорде, только если мы определим сумму хорд как хорду, равную стороне треугольника, построенного на двух исходных хордах:
Мы определили рекурсивный неевклидов алгоритм построения правильных многоугольников, так как описанный нами способ применим при делении окружности на n частей. Кроме того, мы определили новую аддитивную группу, которую назовем «группой хорд окружности». Сумма двух хорд имеет смысл, если определить ее как сторону треугольника, построенного на исходных хордах, — в этом случае результирующая дуга будет равна сумме двух исходных дуг. Метод «кира-кира» оказался достаточно гибким, чтобы его можно было использовать при решении тех задач, для которых он не предназначался.
* * *
ПОСТРОЕНИЕ ПРАВИЛЬНЫХ ДЕВЯТИУГОЛЬНИКОВ В УЗОРАХ АЛЬГАМБРЫ
Метод «кира-кира» позволяет объяснить трюк, о котором упоминают авторы, описывающие построение правильных девятиугольников, встречающихся в узорах Альгамбры в испанском городе Гранада. Я называю этот метод построения трюком потому, что, как известно благодаря трудам Гаусса, правильный девятиугольник нельзя построить с помощью циркуля и линейки.
Нам доподлинно неизвестно, каким именно методом руководствовались арабские мастера, однако вполне возможно, что он был схож с методом «кира-кира». При использовании этого метода окружность сначала делится на три равные дуги, затем одна из них делится на три части, при этом всякий раз применяется тот же метод, что использовали мастера тораджи. Таким образом мы делим окружность на девять равных дуг, при этом стягивающие их хорды будут сторонами правильного девятиугольника, вписанного в исходную окружность.
* * *
Я сомневался, стоит ли рассказать мастерам тораджи о том, что метод «кира-кира» можно применить на окружности. До того как встала задача о построении пятиконечной звезды, мастера использовали свой метод для решения любых других задач, но здесь он оказался бессилен. Я боялся, что если расскажу, как можно расширить используемый метод, то тем самым укажу мастерам на то, что их искусство недостаточно высоко. И все же я решил, что после моих объяснений они поймут, что сами сформулировали новую задачу, неподвластную их методу.
* * *
ИСПОЛЬЗОВАНИЕ НЕОБЫЧНОЙ ТРИГОНОМЕТРИЧЕСКОЙ ФУНКЦИИ