Когда прямые искривляются. Неевклидовы геометрии (Гомес) - страница 20
Его работа неявно предполагает существование других геометрий, которые возникают именно из-за невозможности достижения противоречия, исходя из предположения о ложности пятого постулата. Сам не осознавая того, Саккери создал новую геометрию, в которой пятый постулат заменен противоположным ему утверждением.
Саккери начал с идеи Омара Хайяма и рассмотрел тот же четырехугольник ABCD, у которого стороны АВ и CD конгруэнтны, а углы при вершинах А и D прямые. Четырехугольники такого вида называются теперь четырехугольниками Саккери.
Чтобы доказать пятый постулат, Саккери показал, что углы при вершинах В и С прямые. В соответствии с пятым постулатом, угол В равен углу С. В этом случае существует три возможности.
1. Гипотеза о прямых углах: углы В и С являются прямыми.
* * *
ДЖИРОЛАМО САККЕРИ (1667–1733)
Саккери еще молодым человеком вступил в орден иезуитов и преподавал теологию в иезуитском колледже в Милане. Позднее он преподавал философию в Турине. Но его интересы этим не ограничивались. Работая преподавателем математики в университете Павии, он занимался пятым постулатом Евклида и представил результаты исследований в своем главном труде Euclides ab omni naevo vindicatus («Евклид, очищенный от всех пятен»).
* * *
2. Гипотеза о тупых углах: углы В и С являются тупыми, то есть их величина больше 90° и меньше 180°.
3. Гипотеза об острых углах: углы В и С являются острыми, то есть их величина больше 0° и меньше 90°.
Саккери показал, что пятый постулат эквивалентен гипотезе о прямых углах, а затем попытался доказать, что другие гипотезы приводят к противоречию. Если бы ему это удалось, то постулат был бы доказан. Рассматривая вторую гипотезу (случай тупых углов), он получил противоречие и отбросил эту возможность. Еще раньше он показал, что сумма четырех углов должна быть меньше или равна 360°. Но для гипотезы острых углов ему не удалось получить противоречия. Теперь-то мы точно знаем, что противоречия не существует, и гипотеза об острых углах является одной из основ неевклидовой геометрии. Спустя столетие Ламберт, о котором мы подробнее расскажем позже, также безуспешно попытался доказать постулат исходя из того, что углы А, В и D являются прямыми.
Исходя из гипотезы об острых углах, Саккери получил различные результаты неевклидовой геометрии. Например, он показал, что гипотезы о прямых, тупых и острых углах эквивалентны тому, что сумма внутренних углов треугольника равна, больше или меньше двух прямых углов соответственно. Он также доказал некоторые результаты, необычные для евклидовой геометрии. Вот один из них.