Магия математики. Как найти x и зачем это нужно

Геометрия уходит корнями далеко вглубь веков – во времена Древней Греции. Оттуда же происходит и само название этой чудесной во всех отношениях науки: «гео» на древнегреческом означает «земля», «метрия» – «измерение». Оно говорит само за себя, давая нам ясное представление о том, зачем вообще придумали геометрию – чтобы измерять земельные участки, на которых планировалось вести строительство или другие работы. А еще ее использовали в астрономии. Но древние греки не были бы древними греками, если бы не отшлифовывали любое свое знание до абсолютно идеальных форм, превращая его в искусство – такое, каким не устают (и никогда не устанут) восхищаться их потомки, сколько бы тысячелетий ни прошло. И по сей день главной книгой геометрии остаются написанные в 300 году до нашей эры «Начала» Евклида – сокровищница всех наших знаний о геометрии, лучший на все времена учебник. В «Началах» разъясняется, что такое математическая строгость, дедуктивный и аксиоматический методы, доказательство… – Все то, на чем до сих пор строится любая работа любого математика.

Евклид выдвинул пять аксиом (также называемых постулатами) – положений, интуитивно понятных каждому и потому не требующих доказательств. Именно они суть основа всего, из чего состоит геометрия – и все теоремы так или иначе базируются именно на них. То, что перечислено чуть ниже, конечно же, не являются цитатами из «Начал», но наши формулировки никоим образом не противоречат их сути. Итак:

Аксиома 1. Любые две точки пространства могут быть соединены только одним отрезком прямой.

Аксиома 2.

Отрезок этот можно продолжать в обоих направлениях до бесконечности – так получаются прямые.

Аксиома 3. Для любых двух точек O и P можно очертить только одну окружность с центром в точке O и точкой P

, лежащей на окружности.

Аксиома 4. Все прямые углы равны 90°.

Аксиома 5. Если точка Р не лежит на прямой l, можно провести через точку P одну и только одну прямую, которая будет параллельна прямой l.

Отступление

Думаю, тут важно оговориться, что здесь мы ведем речь о так называемой плоской геометрии (или планиметрии) – особом разделе евклидовой геометрии, в основе которой лежат построения на двухмерной (скажем, x и y

) плоскости. Любое, даже самое незначительное изменение одной из аксиом приведет нас в некую совершенно иную (при этом весьма интересную и необязательно бесполезную) математическую систему. Есть, например, сферическая геометрия, которая изучает точки и фигуры не на плоскости, а на поверхности сферы: «прямые» в ней превращаются в круги с максимальной длиной окружностей (они называются большими кругами), что приводит к обязательному их пересечению в той или иной точке, а значит, и к отрицанию существования параллельности.

А если в пятой аксиоме предположить, что через точку P можно провести не одну, а две прямых, параллельных прямой l, мы придем к системе, которая называется геометрией Лобачевского, и ко всему многообразию ее удивительных теорем. Многие художники – такие, скажем, как Мауриц Эшер[19] или Дуглас Данхэм[20] – используют ее для создания завораживающих графических композиций; последний, к слову сказать, любезно позволил мне показать вам одно из своих творений: