Многие другие формы, известные из геометрии Евклида, выглядят странно в геометрии такси. Например, эллипс представляет собой множество точек, расположенных вокруг двух фиксированных точек, называемых фокусами. Сумма расстояний от любой точки эллипса до фокусов постоянна. Круг является частным случаем эллипса, когда оба фокуса находятся в одной точке.
В следующем примере фокусами являются точки А = (—3, 0) и В = (3, 0), а большая ось эллипса (наибольший диаметр) составляет 10 единиц. Следовательно, эллипс состоит из всех точек Р, удовлетворяющих условию d(P, А) + d(P, В) = 10:
Если евклидово расстояние заменить расстоянием такси, то множество точек Р, удовлетворяющих условию d(P, А) + d(P, В) = 10, будет выглядеть весьма странно:
Эти примеры показывают, что формы геометрических фигур не являются универсальными, вечными и неизменными. Любая форма относительна, каким бы странным этот факт ни казался. Формы зависят от метрики — так называется тип используемого «расстояния». Другими словами, они зависят от подхода к данной задаче.
Тем не менее, расстояние такси вовсе не является курьезом. Оно имеет множество применений в городском планировании. Например, оно играет важную роль при планировании эффективной дорожной сети и удобного расположения государственных учреждений (больниц, школ, туристических достопримечательностей и т. д.).
Соединяющие улицы
Давайте представим, что в некотором городе приняли решение соединить между собой два городских округа. Эти районы называются А и В, а улицы в них образуют прямоугольные кварталы, как в реальном Эшампле в Барселоне. Для соединения двух округов было решено построить дорогу таким образом, чтобы выполнялось одно сложное условие: в любой точке этой дороги автомобиль должен находиться на одинаковом расстоянии от точек А и В. Как можно спроектировать такую дорогу?
В математических терминах этот вопрос можно сформулировать следующим образом: какие точки на плоскости равноудалены от точек А и В?
Как всегда, в евклидовой геометрии имеется простое решение. Если на плоскости XY точка А имеет координаты (0, 0), а точка В — (4, 2), то можно провести линию, перпендикулярную отрезку АВ и проходящую через его середину. Эта линия и будет состоять из точек Р, удовлетворяющих условию:
d(P, A) = d(P, B).
Но этот подход не работает в геометрии такси. Обратите внимание, что евклидово решение потребует снести большое количество зданий, чтобы построить такой идеальный маршрут.
Решение должно быть найдено в терминах геометрии такси. Нужно найти линию, все точки Р которой удовлетворяют условию dT(P, А) = dT(P, В). Тогда расстояние от любой точки этой линии до точки А будет равно расстоянию до точки В. Кроме того, это решение позволяет свести к минимуму количество сносимых зданий.
Глава 2
Евклидова геометрия
В живописи точка является наиболее важным элементом.
Василий Кандинский
Геометрия первоначально была наукой об измерениях. Греческие геометры умели измерять отрезки линий (как прямых, так и кривых), площадь поверхности, ограниченной линиями, и объемы фигур, ограниченных поверхностями. Однако глагол «измерять» вскоре принял более широкий смысл: «устанавливать отношения между геометрическими объектами». Появились геометрические формулировки, которые используются и сегодня: «прямая линия r параллельна прямой q», «отрезок АС в три раза длиннее отрезка АВ», «отношение периметра окружности к ее диаметру
есть число, которое не может быть выражено в виде дроби».
Для установления истинности таких отношений геометры древности разработали и довели до совершенства особую систему доказательств, которая стала основным методом математики. Система греческих геометров состояла в выводе важнейших результатов (теорем) из набора основополагающих аксиом с помощью «длинных цепочек рассуждений», как называл доказательства Декарт в своем трактате «Рассуждение о методе». Этот практически творческий подход является характерной чертой евклидовой геометрии.
«Начала» Евклида и пятый постулат
Как и в случае со многими другими выдающимися деятелями далекого прошлого, сведения о Евклиде крайне скудны. Ни дата, ни город его рождения точно не известны. Все имеющиеся сведения содержатся в толкованиях древних документов, упоминающих геометрию. Оттуда известно, что он жил до Архимеда, ок. 325–265 гг. до н. э., и был почти современником Птолемея (367–283 гг. до н. э.). Стиль его рассуждений указывает на то, что он учился в Афинах с другими учениками Платона. Достоверно известно, что Евклид жил в Александрии, где преподавал математику на протяжении более чем 20 лет. Именно там он основал знаменитую школу, с которой и связан расцвет его научной деятельности.
Около 300 г. до н. э. Евклид написал свой магнум опус, великий труд «Начала», содержащий практически все известные в то время математические сведения. Эта книга является, по-видимому, наиболее читаемой после Библии. В самом деле, она использовалась в качестве учебного пособия в течение почти 2000 лет и считалась нерушимой основой не только геометрии, но даже здравого смысла. Первая печатная версия «Начал» появилась в Венеции в 1482 г. Это был перевод с арабского языка на латинский. Первая версия прямого перевода с греческого на латынь была опубликована в 1303 г.
Страница из первой книги «Начал» Евклида. Издание Леонардо де Базилея и Гчльермо де Павия, 1491 г.
«Начала геометрии» (или «Начала») состоят из 13 книг, содержащих 463 утверждений, 372 теоремы и 93 задачи. Они не содержат обычного набора рутинных расчетов, которыми нагружают учеников в школе, а представляют собой логичный и структурированный свод современных знаний в стиле Платона. В соответствии со своими научными идеалами Платон говорил, что геометрия — это наука, которой занимаются ради познания. В седьмой книге диалога «Государство» он так объясняет свои представления об этой науке:
«Как если бы они были заняты практическим делом, геометры употребляют выражения «построим» четырехугольник, «проведем» линию, «произведем наложение» и так далее. А между тем, все это наука, которой занимаются ради познания».
В «Началах» все предложения доказываются шаг за шагом. Первые четыре книги называют пифагорейскими, так как они содержат главным образом материал, который изучали Пифагор и его последователи. Эти книги посвящены геометрии на плоскости: теореме Пифагора, свойствам треугольников, параллелограммов, кругов, многоугольников и так далее.
Следующие две книги излагают понятия пропорциональности и подобия многоугольников и содержат первое упоминание о золотой пропорции (в терминах «крайнего и среднего отношения»).
Книги с седьмой по девятую посвящены арифметике и рассматривают задачи, связанные с теорией чисел: делимость, простые числа, совершенные числа и так далее. Здесь определяется евклидово понятие числа. Евклид рассматривал все числа как геометрические отрезки, что соответствует современному понятию измеряемых величин.
Десятая книга дает классификацию чисел, называемых иррациональными, то есть таких чисел, которые не могут быть выражены в виде дроби. Последние три книги посвящены стереометрии (многогранникам, сферам и так далее). Здесь также рассматриваются пять правильных многогранников, так называемых «Платоновых тел», все грани которых равны и при этом являются правильными многоугольниками.
Евклид начинает изложение с простых, очевидных утверждений, которые могут быть легко и интуитивно поняты и не подлежат сомнению. Он называет их определениями, постулатами и аксиомами, и из них он выводит свои предложения, которые доказываются с помощью цепочек рассуждений. Основы учения Евклида сформулированы в первой книге «Начал», которая содержит 23 определения, 5 постулатов и 48 предложений.
* * *
ПРАВИЛЬНЫЕ МНОГОГРАННИКИ
Существует только пять правильных выпуклых многогранников. Возможно, именно поэтому греки уделяли им особое значение, соотнося их с четырьмя стихиями: тетраэдр (огонь), куб (земля), октаэдр (воздух), икосаэдр (вода); а додекаэдр олицетворял Вселенную. Правильные многогранники также известны как пять «Платоновых тел».
