Построение дедуктивной системы

Прежде всего, ясно: все правильные предложения доказать нельзя. Действительно, вспомним, как доказывают геометрические предложения. Обычно опираются на другие предложения, которые были доказаны раньше. Эти предложения в свою, очередь доказывают ссылками на какие-то третьи теоремы и т. д.

Ссылки мы могли бы продолжать до бесконечности, и процесс доказательства никогда бы не закончился. Как же быть? Это обстоятельство заметили еще в древности, о нем говорил, например, Аристотель (IV в. до н. э.). И вот геометры пришли к удивительно смелой мысли, что все геометрические свойства тел можно вывести из небольшого числа основных предложений - аксиом. Такие предложения принимались без доказательств, их справедливость подкреплялась многовековым опытом. Усилия многих геометров были направлены на то, чтобы отыскать все аксиомы, необходимые для построения геометрии. Система, в которой каждое предложение выводится на основании логических правил из конечного числа предложений, принятых без доказательства, и получила название дедуктивной.

Первую такую систему геометрии - "Начала" -пытался построить еще в V в. до н. э. Гиппократ Хиосский. Было еще несколько попыток такого рода, но наиболее совершенная из них - знаменитые "Начала" Евклида, которые были написаны около 300 г. до н. э. и служили в течение более 2 тыс. лет образцом математической строгости.

Евклид разделил предложения, принятые без доказательства, на аксиомы и постулаты. В качестве постулатов он выбрал предложения, в которых утверждалась возможность выполнения некоторых простейших геометрических построений, например: 1) через две точки всегда можно провести прямую линию, 2) из данной точки данным радиусом можно описать окружность. Как нетрудно видеть, это именно те построения, которые можно сделать с помощью циркуля и линейки. Всякое построение в геометрии Евклида осуществляется с помощью последовательного выполнения простейших построений: проведения прямых, окружностей и отыскания их точек пересечения, поэтому геометрия Евклида есть геометрия циркуля и линейки.

Среди постулатов Евклида особое место занимает так называемый V постулат - о параллельности. В "Началах" он формулируется так: если две прямые, лежащие в одной плоскости, пересечены третьей и если сумма внутренних односторонних углов а и бета меньше 2d, то при продолжении прямые пересекутся с той стороны, где эта сумма меньше 2d (рис. 1). Этот постулат сыграл огромную роль в развитии геометрии, о чем мы будем говорить дальше.

Рис. 1.

Кроме постулатов Евклид принял также некоторые общие предложения, верные не только для геометрических величин, но и для чисел, - аксиомы: 1) две величины, порознь равные третьей, равны между собой; 2) если к равным величинам прибавить равные, то и суммы будут равны; 3) целое больше части и др.

Рис. 2. Правильные многогранники.

На основе своих постулатов и аксиом Евклид развил всю планиметрию, а с ее помощью построил элементы алгебры и учение о квадратных уравнениях. В его сочинении содержатся также общая теория отношений, которая применяется в учении о подобии, теория чисел, метод определения площадей и объемов и основы стереометрии. Венчает "Начала" учение о правильных выпуклых многогранниках, т. е. таких, все грани которых являются равными правильными многоугольниками и все многогранные углы при вершинах тоже правильные и равные. Евклид доказал, что существует пять типов правильных многогранников (рис. 2): тетраэдр (4-гранник), гексаэдр, или куб (6-гранник), октаэдр (8-гранник), додекаэдр (12-гранник), икосаэдр (20-гранник) - и никаких других правильных многогранников не существует.

перейти к началу страницы