Одна из замечательных теорем геометрии, доказательство которой вам уже известно по учебнику, гласит: «сумма углов треугольника равна `180^@`». Как вы думаете, можно ли было установить этот факт экспериментально?

Рис. 1	Рис. 2

Предположим, что мы будем измерять угол, равный сумме углов треугольника, транспортиром. Нарисуем некоторый треугольник, приложим транспортир к одному из углов – углу `1`, отметим его величину, затем приложим транспортир к другому углу (рис. 1), отметим величину суммы двух углов, затем приложим транспортир к третьему углу. Мы обнаружим, что третья отметка придётся на `180^@`. Следует ли из наших измерений, что сумма углов рассмотренного треугольника точно равна `180^@`? А может быть больше на `1//10` градуса или меньше на `2//15` градуса? Такую разницу, как бы тщательно мы ни проводили измерения с помощью транспортира, заметить невозможно.

Кроме того, любой нарисованный треугольник, можно сказать, имеет «дефект»: как бы тонок ни был карандаш, которым его рисовали, стороны треугольника, если рассмотреть рисунок в увеличительное стекло, предстанут перед нами широкими неровными полосами. Какой же угол мы измеряли? Поэтому сомнения в точности наших измерений ещё более возрастут, и вывод может быть сделан только такой: сумма углов треугольника на рис. 1 близка к $180\textdegree$.

Предположим, что аналогичные измерения мы провели в каждом из треугольников, изображённых на рис. 2, и получили такие же результаты. Тогда мы можем предположить, выдвинуть гипотезу, что в любом нарисованном треугольнике сумма углов близка к `180^@`. Но даже такую гипотезу проверить экспериментально не представляется возможным, т. к.пришлось бы провести измерения во всех разнообразных треугольниках, т. е. в бесконечном числе случаев, что, конечно, неосуществимо.

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

В науке геометрии рассматриваются не реальные, конкретные фигуры, вырезанные из картона, нарисованные на листе бумаги и т.п., а идеальные, как говорят, абстрактные фигуры, которые целиком описываются только своими определениями. Реальные треугольники имеют не только форму и размер, они могут быть сделаны из картона или жести, бумаги или дерева и т. п. Отвлекаясь от всех их свойств, кроме формы и размера, т. е. выделяя общее для всех таких фигур, приходят к представлению о геометрическом треугольнике как фигуре, которая состоит из трёх точек, не лежащих на одной прямой, и трёх отрезков, попарно соединяющих эти точки.

Только для абстрактных геометрических фигур удается установить ряд простых и важных свойств. Именно для абстрактных геометрических треугольников справедливо утверждение, что сумма углов в каждом из них равна `180^@`. Истинность этого утверждения, как и других утверждений, называемых теоремами, устанавливается методом строгих рассуждений, основанных на логике и вытекающих из ранее доказанных утверждений. Как вы сами убедились, эти рассуждения столь убедительны, что с ними соглашается всякий, рассмотревший их.

Метод строгих геометрических доказательств, основанных на логике, когда одно утверждение вытекает из ранее установленного, является основным методом в геометрии. В этом смысле геометрию называют дедуктивной наукой, от латинского слова deductio – выведение.

Если разобрать вывод, т. е. доказательство какой-нибудь геометрической теоремы, то он логически следует из ранее доказанных теорем. Для этих ранее доказанных теорем, в свою очередь, можно выделить те факты, из которых они выводятся и которые были установлены ранее.

Но ведь есть какое-то первое утверждение, которое не вытекает из ранее доказанного, так как вообще нет теорем, которые уже были доказаны до этого. Это означает, что некоторые факты должны быть приняты без доказательства. Их называют аксиомами, от греческого $\alpha\xi\iota\omega\mu\alpha$ – удостоенное, принятое положение.

Так же обстоит дело с определениями геометрических объектов. Вводя новое определение, пользуются определениями и понятиями, которые уже были введены раньше. Но как быть с первым определением? Через что его определить, если еще нет понятий, определенных ранее? Отсюда следует, что некоторые геометрические понятия должны быть введены без каких-либо определений. Такие неопределяемые понятия называются основными. В изучаемом курсе геометрии таковы понятия точки, прямой, плоскости.

Итак, все здание геометрии строится, во-первых, на основных неопределяемых понятиях, и, во-вторых, на аксиомах, в которых устанавливаются связи и взаимоотношения между первоначальными понятиями; затем с помощью определений вводятся новые понятия, для которых, исходя из первоначальных фактов, содержащихся в аксиомах, доказываются, выводятся с помощью логики, дальнейшие факты – теоремы.

Подобное строение какой-нибудь области математики называют аксиоматическим. Таким образом, геометрия – аксиоматическая наука.

Из всего сказанного вывод такой: хотите освоить науку геометрию (хотя бы в рамках школьной программы) – разберите аксиомы, учите определения и формулировки теорем, с которыми вас постепенно знакомит учебник, наизусть, как стихи. А умение рассуждать, доказывать, умение применять теорию в решении задач приходят постепенно. Этому способствуют разбор доказательств теорем из учебника (за две с лишним тысячи лет математики отобрали самые лучшие и простые доказательства – именно их вам приводят в учебнике), разбор решений характерных задач, овладение методами решений.

Гипотеза – от греческого $\nu\pi o$ – под, внизу и $\vartheta\varepsilon\sigma\iota\varsigma$ – положение, утверждение – предположительное суждение о закономерной связи явлений.

Абстракция – от латинского abstractio – отвлечение.

Теорема – от греческого $\vartheta\varepsilon\omega\rho\varepsilon\omega$ рассматриваю.