Пусть у нас имеются два треугольника АВС и А1В1С1 со сторонами соответственно АВ, АС, ВС и А1В1, A1C1, B1C1. Тогда, если АВ = A1B1, АС = А1С1 и угол ВАС равен углу В1A1С1, то сторона ВС равна стороне B1C1, то есть треугольники равны.
Другими словами, если две стороны и угол между ними одного треугольника равны соответственно двум сторонам и углу между ними другого треугольника, то третьи стороны в треугольниках также будут равны. Такие треугольники равны. Однако этот очевидный результат оказывается ложным в геометрии такси.
Рассмотрим треугольники с вершинами А = (3,1), В = (1, 3), С = (5, 3) и А1 = (4, 4), В1 = (8, 4), С1 = (4, 0), как изображено на рисунке:
Можно показать, что
dT(A, B) = 4 = dT(A1, B1),
а также
dT(A, C) = 4 = dT(A1, C1),
Таким образом, по формуле расстояния такси b = b1 и с = с1. Обратите внимание, что угол ВАС также равен углу В1А1С1 (в данном примере они равны 90°). Несмотря на выполнение условий признака равенства, стороны а и а; наших треугольников имеют разную длину. Это совершенно разные треугольники, так что для них признак равенства треугольников из евклидовой геометрии не работает.
Геометрическое место точек плоскости, равноудаленных от заданной точки на заданное расстояние, называется окружностью.
Данная фиксированная точка называется центром окружности, а заданное расстояние радиусом окружности.
Таким образом, если мы выберем точку Р на окружности (с центром в точке А и радиусом r), то d(P, А) = r. Например, если центр находится в точке (2, -1), а радиус равен 3, то все точки Р, удовлетворяющие нашему соотношению для А и r, образуют окружность.
На приведенном выше рисунке для изображения точек окружности использовалась формула евклидова расстояния, но если применять формулу расстояния такси, то получится совсем другой, очень странный результат, как можно видеть на следующем рисунке.
Мы можем проверить, что точки Р на этой «окружности» такси действительно удовлетворяют соотношению dT = (Р, А) = r при А = (2, -1) и r = 3. В геометрии такси возможно то, что всегда казалось абсурдным: мы можем круг превратить в квадрат!
Если вычислить длину окружности нашего такси-круга по классической формуле l = 2·π·r, то мы получим l = 2 ·π· 3 = 18,849. Однако по формуле расстояний такси длина окружности составит 6 + 6 + 6 + 6 = 24 единицы, и, кроме того, результат совсем не будет содержать π.
В следующем примере фокусами являются точки А = (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 Евклидова геометрия
есть число, которое не может быть выражено в виде дроби».
Для установления истинности таких отношений геометры древности разработали и довели до совершенства особую систему доказательств, которая стала основным методом математики. Система греческих геометров состояла в выводе важнейших результатов (теорем) из набора основополагающих аксиом с помощью «длинных цепочек рассуждений», как называл доказательства Декарт в своем трактате «Рассуждение о методе». Этот практически творческий подход является характерной чертой евклидовой геометрии.
Около 300 г. до н. э. Евклид написал свой магнум опус, великий труд «Начала», содержащий практически все известные в то время математические сведения. Эта книга является, по-видимому, наиболее читаемой после Библии. В самом деле, она использовалась в качестве учебного пособия в течение почти 2000 лет и считалась нерушимой основой не только геометрии, но даже здравого смысла. Первая печатная версия «Начал» появилась в Венеции в 1482 г. Это был перевод с арабского языка на латинский. Первая версия прямого перевода с греческого на латынь была опубликована в 1303 г.