Предмет для обсуждения: противоречие заявлений некоторых участников форума
Эквивалентности формулировки
теоремы Пифагора пятому
постулату Евклида.
Несмотря на прозвучавшие в [http://dxdy.ru/post801560.html#p801560] голословные утверждения о том, что
"Словосочетание "доказанное определение" является бессмысленным. Определения не доказывают. Доказывают теоремы." (c) Someone 15.12.2013, 17:02
"Ничто и никогда не явлется доказанным определением." (c) shwedka 15.12.2013, 17:08,
переводящие в статус скудоумного косноязычия известные даже школьнику обстоятельства, когда не то что определение, но даже пятый постулат доказывается как теорема [
Эквивалентные формулировки постулата о параллельных]
"Вообще у V постулата имеется огромное количество эквивалентных формулировок, многие из которых кажутся довольно очевидными. Вот некоторые из них ...
Эквивалентность их означает, что все они могут быть доказаны, если принять V постулат, и наоборот, заменив V постулат на любое из этих утверждений, мы сможем доказать исходный V постулат как теорему.",
формулировка теоремы Пифагора была есть и останется равносильной пятому постулату евклидовой геометрии:
"Если [на плоскости] при пересечении двух прямых третьей сумма внутренних односторонних углов меньше двух прямых, то эти прямые при достаточном продолжении пересекаются, и притом с той стороны, с которой эта сумма меньше двух прямых."
К великому сожалению для некоторых из "заслуженных" участников...
Не правда ли?