Текст книги "Мир математики. т.4. Когда прямые искривляются. Неевклидовы геометрии"

Автор книги: Жуан Гомес

сообщить о нарушении

Текущая страница: 2 (всего у книги 7 страниц)

«В плоскости через точку, не лежащую на данной прямой, можно провести одну и только одну прямую, параллельную данной».

Эту аксиому также можно сформулировать следующим образом: через точку, не лежащую на данной прямой, можно провести только одну прямую, которая не пересекает данную прямую (см. рис. V' на стр. 31).

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

* * *

ТЕОРЕМА О БОЛЬШОЙ ТОЧКЕ

Эта теорема представляет собой довольно необычный результат, который можно сформулировать следующим образом:

«Число прямых, параллельных данной прямой, которые можно провести через точку вне этой прямой, зависит от того, насколько большой является эта точка».

Через большую точку вне прямой можно провести более одной прямой, параллельной данной.

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

Конечно, это всего лишь математическая шутка, но тем не менее эта формулировка наводит на интересные мысли. Откуда мы знаем, сколько линий (в евклидовом смысле) содержится в кончике грифеля карандаша? Чтобы проверить параллельность этих линий, нам придется продолжить их в бесконечность, а на это не хватит никакой бумаги в мире. Поэтому пятый постулат Евклида не может быть доказан экспериментально.

* * *

Геометрия в картинах эпохи Ренессанса

Эта одержимость объединяла Леонардо да Винчи (1452–1519) и Альбрехта Дюрера (1471–1528), превратив их в выдающихся художников эпохи Возрождения и в величайших теоретиков за всю историю искусства. В своем трактате Institutiones Geometricae (латинский перевод с немецкого Underweysung der Messung, «Об измерениях»), опубликованном в Германии в 1525 г., Дюрер писал:

«Немецкие художники не имеют себе равных в использовании цвета, но их работы имеют некоторые недостатки в отношении пропорции, перспективы и так далее. Без правильных пропорций картина не может быть совершенной, как бы тщательно она ни была написана. Таким образом, те, кто желает овладеть искусством живописи, должны прежде всего изучать пропорции и понимать, как рисовать объекты в проекции и в перспективе».

И Леонардо да Винчи, и Дюрер искали способы изображения трехмерных объектов в двух измерениях. Как картине придать ощущение глубины? Этот вопрос привел их к понятиям перспективы, проекции и сечения, которые изучает специальный раздел геометрии, называемый проективной геометрией.

* * *

РАЗМЕРНОСТИ

На самом деле идеи Евклида представляют собой абстракцию, а не реальность: точка, не имеющая размеров; линия, не имеющая ширины, а только длину… Это дает понятие размерности, где длина и ширина определяют каждое измерение.

Так как точка не имеет размеров, она не имеет размерности. Так как прямая линия имеет только длину, ее размерность равна единице. Поверхность не имеет толщины и является двумерной. И, наконец, пространственные тела (например, куб) имеют три измерения. Фактически в евклидовой геометрии возможны только размерности, имеющие целые значения: 0, 1, 2 и 3.

* * *

Проективная геометрия является математической теорией, разработанной в произведениях искусства эпохи Возрождения. Поверхность картины считалась стеклом окна, через которое художник видит объект. Точки объекта соединяются с глазом наблюдателя прямыми линиями. Эти линии, проходя через стекло, образуют на нем изображение, которое является проекцией объекта на поверхность стекла. Этот процесс показан на гравюре Дюрера «Рисующий лютню», где художник демонстрирует, как на картине изобразить проекцию в соответствии с методом из трактата «Об измерениях». Помощник художника (слева) держит лист стекла, на котором объект на столе изображен в перспективе.

Чтобы получить такое изображение, стекло помещается в рамку, которую держит художник справа. Лучи света (прямые линии) от изображаемого объекта, попадая в глаз художника, проходят через стекло и образуют на нем так называемую проекцию. Таким образом, для художника ключевыми понятиями являются перспектива и проекция.

Эта гравюра включена в трактат «Об измерениях» (1525) и известна под названием «Рисующий лютню». На ней Дюрер показывает, как получить изображение в перспективе с помощью проекции.

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

Хорошим примером точки схода на плоскости является точка, где сходятся железнодорожные рельсы. Другим примером являются чертежи архитектора с плоскостными проекциями для изображения более реалистичного варианта дизайна.

Точка схода в реальности при взгляде на рельсы (сверху). Точка схода на художественной проекции. Иллюстрация из опубликованного в 1565 г. «Трактата о перспективе» фламандского художника Вредемана де Вриса (снизу).

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

Теория Евклида под сомнением

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

Иммануил Кант утверждал, что пространство является системой отсчета, существующей в человеческом сознании, и, следовательно, аксиомы и постулаты геометрии Евклида являются предопределенным знанием, понятиями, априори запечатленными в уме человека. Без этих аксиом и постулатов невозможно даже рассуждать о пространстве. Тем не менее он был первым, кто допускал возможность существования другого типа геометрии. В своей первой работе, опубликованной в 1746 г., Кант рассматривает пространство с более чем тремя измерениями и говорит:

«Если возможно существование пространств с другими измерениями, то, скорее всего, Бог создал бы их, ибо его творения заключают в себе все величие и разнообразие, на которое они способны».

Геометриями, которые предсказал Кант, являются известные в наше время многомерные неевклидовы геометрии.

В формальном смысле евклидова геометрия определена в первых шести книгах «Начал», а неевклидовы геометрии получаются путем отказа от пятого постулата.

В формулировке Плейфера этот отказ означает две возможности: либо отрицать уникальность параллельной прямой, либо отрицать ее существование. Это может быть выражено следующими альтернативными утверждениями.

1. В плоскости через точку Р, не лежащую на данной прямой l, проходит более одной прямой, параллельной данной.

2. В плоскости через точку Р, не лежащую на данной прямой l, не проходит ни одна прямая, параллельная данной.

* * *

ИММАНУИЛ КАНТ (1724–1804)

Знаменитый немецкий философ Иммануил Кант получил строгое образование, при котором латинскому языку и религии уделялось больше внимания, чем математике и естественным наукам. И только в университете он по-настоящему занялся физикой и математикой. Но когда умер его отец, Кант был вынужден оставить учебу и работать репетитором, чтобы прокормить себя. В 1755 г. благодаря помощи друга он продолжил образование и получил докторскую степень. Кант в конечном счете стал преподавателем, работая в университетах в течение 15 лет, читая лекции по истории, естественным наукам и математике, а также по философии. Кант считается одним из самых ярких мыслителей современной Европы. С самого начала его теории оказывали огромное влияние на интеллигенцию и до сих пор являются основой современной философии, которая постоянно ссылается на него. Идеи Канта нашли отражение во многих дисциплинах: в философии, праве, этике, логике… Вместе с Платоном, Аристотелем и Декартом Кант является одним из основоположников западной философской мысли, отцом современной философии.

* * *

Чтобы в полной мере понять эти формулировки, нам в первую очередь необходимо выйти за рамки нашего восприятия того, чем являются параллельные линии. Новая геометрия может быть построена таким способом: мы сохраним все постулаты Евклида, но только заменим пятый постулат его альтернативой. Такая геометрия позволяет получать логичные результаты и не имеет внутренних противоречий. Первая такая геометрия, так называемая гиперболическая геометрия, была предложена Николаем Лобачевским (1792–1856) и Яношем Бойяи (1802–1860). Другую геометрию, так называемую эллиптическую геометрию, сформулировал Бернхард Риман (1826–1866).

Развитие неевклидовых геометрий проходило в два этапа: сначала были попытки доказать пятый постулат Евклида, а потом появились новые геометрии с альтернативным пятым постулатом, которые сосуществовали с евклидовой геометрией.

Такой подход предполагает существенные изменения в нашем восприятии реальности. Например, пятый постулат Евклида можно рассматривать в формулировке о сумме углов треугольника и сформулировать альтернативные постулаты. Сумма трех внутренних углов любого треугольника равна 180° – но только в мире Евклида, где параллельные линии можно продолжать до бесконечности и пространство не искривлено. А если бы Евклид побывал в бесконечности и увидел, что там произошло с параллельными линиями? А вдруг они бы пересеклись? Это бы значило, что пространство искривлено, а сумма углов треугольника больше 180°, как если бы треугольник был нарисован на поверхности апельсина. Аналогично в гиперболической геометрии, где параллельные линии неумолимо расходятся, сумма углов треугольника меньше 180°.

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

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

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

* * *

НАПОМИНАНИЕ

До сих пор никто не смог доказать ни одно из следующих утверждений.

1. Через точку вне прямой проходит только одна прямая, параллельная данной.

2. Через точку вне прямой проходит более одной прямой, параллельной данной.

3. Через точку вне прямой не проходит ни одна прямая, параллельная данной.

Все эти постулаты возможны и приводят к новым геометриям.

–

ЗЛОПОЛУЧНАЯ ФРАЗА

В конце 1950 гг. математики со всего мира встречались на семинарах и конгрессах в Европе и Америке, обсуждая необходимость преподавания так называемой «современной математики» в средней школе. Самый известный конгресс состоялся в Руайомоне (Франция) в ноябре 1959 г. Там французский математик Жан Дьёдонне (1906–1992), заканчивая свой доклад, посвященный «Началам» Евклида, воскликнул: «Долой Евклида!» Эта фраза стала популярной в математическом сообществе и ассоциируется с наступлением эры современной математики.

К сожалению, эти слова были сказаны одним из самых влиятельных математиков XX в. Нет необходимости еще раз говорить о значении «Начал» и вкладе их автора: без Евклида мы были бы не в состоянии объяснить окружающую реальность или развивать другие геометрии. К счастью, специалисты в области образования во всем мире отстояли наследие Евклида, и его геометрию продолжают изучать в школе.

Глава 3
Конкуренты Евклида

На протяжении веков пятый постулат вызывал обильные комментарии и критику в трудах самых известных геометров. Многие из них были убеждены, что этот постулат можно доказать с помощью других постулатов, и сосредоточили свои усилия на поиске доказательства, чтобы, наконец, объявить его теоремой.

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

Последний греческий мастер

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

Тем не менее, несмотря на усилия лучших математиков, все попытки были тщетны. Каждый, кто брался за решение этой задачи, получал результаты, эквивалентные пятому постулату, но строгое доказательство так и не было найдено. Одна из первых попыток была сделана Проклом в V в.

Прокл оставил ряд своих комментариев, например:

«Это положение должно быть совершенно изъято из числа постулатов, потому что это – теорема, вызывающая много сомнений, которые Птолемей пытался разрешить в одной из своих книг, и его доказательство потребовало сложных определений и теорем. Кроме того, обратное утверждение было доказано самим Евклидом в качестве теоремы. Утверждение, что «две прямые неизбежно пересекаются, будучи продленными достаточно далеко», представляется правдоподобным, но не необходимым. Таким образом, совершенно ясно, что должно быть найдено доказательство настоящей теоремы, а такое требование природе постулатов совершенно чуждо».

* * *

ПРОКЛ АЛЕКСАНДРИЙСКИЙ (410–485)

Греческий математик Прокл родился в Константинополе и умер в Афинах. Он был последним крупным языческим ученым. Из-за своего язычества он был изгнан из Афин на целый год. Он был выдающимся комментатором Евклида и Птолемея, а потому является важной фигурой древнегреческой геометрии.

* * *

Фактически греческий математик хотел показать, что только одна параллельная прямая m проходит через точку Р вне прямой l.

Прокл предположил, что, по крайней мере одна прямая, параллельная l, проходит через точку Р, и он обозначил ее буквой m. Затем он хотел доказать, что любая другая прямая, проходящая через Р и отличная от m, пересекает прямую l.

Таким образом было бы показано, что если существует параллельная прямая, проходящая через Р, то она должна быть единственной. Итак, Прокл провел через точку Р прямую n, отличную от m, и опустил из точки Р перпендикуляр на прямую l, обозначив его основание буквой Q.

Далее, если прямая n проходит через точки Р и Q, то n пересекает прямую l в точке Q. Но что если n не проходит через точки Р и Q? В этом случае на прямой n можно отметить точку Y и опустить из нее перпендикуляр на прямую m, обозначив его основание точкой Z.

На рисунке выше мы видим, что отрезок РY ограничен прямой m и отрезком YZ, а точка Y может двигаться вправо по прямой n.

Далее Прокл отмечает, что длина отрезка YZ увеличивается по мере продвижения вправо (и может стать бесконечно большой). Поскольку расстояние между прямыми m и l постоянно, то n обязательно пересечет l в некоторой точке. Таким образом, как думал Прокл, пятый постулат был доказан.

Обратите внимание: рассуждения греческого ученого опираются на то, что расстояние между прямыми m и l постоянно. Таким образом, единственным аргументом является то, что прямые m и l не пересекаются.

Кроме того, длина отрезка может увеличиваться бесконечно, но не превышать некоторой фиксированной величины. Фактически Прокл свел доказательство пятого постулата к доказательству того, что параллельные прямые находятся на постоянном расстоянии друг от друга, что эквивалентно аксиоме параллельности Плейфера.

Средневековые хранители греческого наследия

Арабские математики также пытались доказать пятый постулат. Первым из них былИбн ал-Хайсам (965—1039), известный на Западе как Альхазен. Он исходил из предположения, что если четырехугольник имеет три прямых угла, то четвертый угол тоже должен быть прямым, откуда Альхазен заключил, что через точку вне прямой проходит только одна параллельная линия. Его заключение основывается на том, что геометрическое место точек, равноудаленных от данной прямой, является прямой линией. Обратите внимание, что его аргументы тоже основаны на понятии равноудаленности, хотя и не так явно. Таким образом, его предположение (если четырехугольник имеет три прямых угла, то четвертый угол тоже прямой) эквивалентно пятому постулату Евклида: Альхазен использует пятый постулат, чтобы доказать пятый постулат!

Персидский математик Омар Хайям (1050–1123) был известен как в арабском мире, так и на Западе благодаря своим работам по астрономии, алгебре и, в частности, благодаря вкладу в геометрию. Его знаменитая работа «Об истинном смысле параллельных и об известных сомнениях» содержит аргументированные рассуждения с использованием четырехугольников. Эта теория лишь через 600 лет была развита итальянским философом и математиком Джироламо Саккери.

Хайям рассматривал четырехугольник с вершинами А, В, С и D, такой, что стороны АВ и CD конгруэнтны (то есть одна из них может быть наложена на другую), а углы при вершинах А и D являются прямыми. Омар Хайям доказал, что углы при вершинах В и С также конгруэнтны, но он не утверждал, что они должны быть прямыми. Четырехугольник такого типа имеет следующий странный вид:

Современный период

В эпоху Возрождения дальнейшие исследования связаны с работой Христофора Клавия (1538–1612), который в 1584 г. составил комментарии к «Началам». Он добавил также свои предложения, увеличив их количество до 1234.

Между 1603 и 1607 гг. он выпустил первое издание «Начал», предназначенное для Китая. Именно этот текст позднее использовали в своих исследованиях Саккери и Декарт.

Из-за своих дополнений к «Началам» Клавий прославился как «Евклид шестнадцатого века». Его работа была довольно радикальной, но он многое сделал в других областях. Он являлся активным сторонником григорианского календаря, и именно благодаря ему после четверга, 4 октября 1582 г. по юлианскому календарю, идет пятница, 15 октября 1582 г. по григорианскому календарю. Расчеты Клавия позволили перейти от одного календаря к другому, удалив 10 дней из истории человечества!

Клавий привел доказательство пятого постулата, снова использовав для этого сам пятый постулат: линия, равноудаленная от данной прямой линии, также является прямой. Несмотря на другие свои достижения, Клавий не достиг успеха в попытке исправить и дополнить великого мастера.

Преподаватель Оксфордского университета Джон Валлис (1616–1703) был одним из пионеров современной математики. Он ввел новую интерпретацию пятого постулата, отказавшись от идеи равноудаленности и использовав рассуждения с треугольниками. Валлис показал, что «для любого треугольника можно построить другой треугольник с теми же углами и пропорциональными сторонами». Однако и это утверждение также эквивалентно исходному постулату:

Все аргументы так или иначе сводились к утверждениям, эквивалентным пятому постулату, потому что сам подход был ошибочным: в доказательстве уже использовалось то, что они хотели доказать.

Четырехугольники Саккери

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

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

Саккери начал с идеи Омара Хайяма и рассмотрел тот же четырехугольник ABCD, у которого стороны АВ и CD конгруэнтны, а углы при вершинах А и D прямые. Четырехугольники такого вида называются теперь четырехугольниками Саккери.

Чтобы доказать пятый постулат, Саккери показал, что углы при вершинах В и С прямые. В соответствии с пятым постулатом, угол В равен углу С. В этом случае существует три возможности.

1. Гипотеза о прямых углах: углы В и С являются прямыми.

* * *

ДЖИРОЛАМО САККЕРИ (1667–1733)

Саккери еще молодым человеком вступил в орден иезуитов и преподавал теологию в иезуитском колледже в Милане. Позднее он преподавал философию в Турине. Но его интересы этим не ограничивались. Работая преподавателем математики в университете Павии, он занимался пятым постулатом Евклида и представил результаты исследований в своем главном труде Euclides ab omni naevo vindicatus («Евклид, очищенный от всех пятен»).

* * *

2. Гипотеза о тупых углах: углы В и С являются тупыми, то есть их величина больше 90° и меньше 180°.

3. Гипотеза об острых углах: углы В и С являются острыми, то есть их величина больше 0° и меньше 90°.

Саккери показал, что пятый постулат эквивалентен гипотезе о прямых углах, а затем попытался доказать, что другие гипотезы приводят к противоречию. Если бы ему это удалось, то постулат был бы доказан. Рассматривая вторую гипотезу (случай тупых углов), он получил противоречие и отбросил эту возможность. Еще раньше он показал, что сумма четырех углов должна быть меньше или равна 360°. Но для гипотезы острых углов ему не удалось получить противоречия. Теперь-то мы точно знаем, что противоречия не существует, и гипотеза об острых углах является одной из основ неевклидовой геометрии. Спустя столетие Ламберт, о котором мы подробнее расскажем позже, также безуспешно попытался доказать постулат исходя из того, что углы А, В и D являются прямыми.

Исходя из гипотезы об острых углах, Саккери получил различные результаты неевклидовой геометрии. Например, он показал, что гипотезы о прямых, тупых и острых углах эквивалентны тому, что сумма внутренних углов треугольника равна, больше или меньше двух прямых углов соответственно. Он также доказал некоторые результаты, необычные для евклидовой геометрии. Вот один из них.

Пусть точка Р находится вне прямой линии l. Если мы рассмотрим все прямые, проходящие через Р, то увидим, что существуют две предельные прямые (в математических терминах они называются «асимптотическими»), обозначенные на рисунке буквами m и n. Они делят пучок всех прямых на две части, в одной из которых находятся все прямые линии, которые пересекают прямую l (например, пунктирная прямая s), а в другой – все прямые, которые l не пересекают (например, пунктирная прямая l).

Геометрия, построенная на гипотезе об острых углах и тем самым отрицающая пятый постулат, в наше время известна как гиперболическая.

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

Представление прямых линий кривыми очень полезно для понимания и изучения гиперболической геометрии, каким бы нелогичным это ни казалось в евклидовом смысле.

Работа Саккери содержит первые результаты этой новой геометрии. Достижение итальянского математика поразительно, но, к сожалению, ему не хватило смелости. Осознавая странность своих выводов, он пишет в предложении XXXIII своего трактата: «Гипотеза об острых углах является абсолютно ложной, поскольку противоречит самому понятию прямой линии». Казалось, что задача о параллельных прямых останется нерешенной еще многие годы.

На пути к неевклидовой геометрии

В XVIII в., в эпоху Просвещения, была посмертно издана книга швейцарского математика Иоганна Генриха Ламберта (1728–1777) под названием «Теория параллельных». В ней Ламберт выразил сомнение, что пятый постулат может быть выведен из других, и предположил, что, возможно, необходимы некоторые дополнительные гипотезы.

Саккери и Ламберт так и не нашли неопровержимого доказательства того, что пятый постулат невозможно доказать. Последующие попытки доказательства всегда возвращались к исходной точке, лишь порождая новые запутанные понятия. Как мы уже говорили, проблема заключалась в том, что все доказательства неявно использовали результат, который нужно было доказать.

Математическое сообщество убедилось, что постулат о параллельных прямых является настоящим постулатом, а не теоремой, и поэтому не требует доказательства. С другой стороны, хотя все попытки доказательства потерпели неудачу, получаемые результаты не содержали противоречий. Попытки доказать пятый постулат Евклида приводили математиков к понятиям неевклидовой геометрии.

* * *

ЧЕТЫРЕХУГОЛЬНИК ЛАМБЕРТА

Ламберт составил список нескольких утверждений, которые должны быть доказаны, среди них – и пятый постулат. В последней главе своей книги он рассматривал четырехугольники с тремя прямыми углами (А, В и D).

Для четвертого угла снова было три возможности. Четырехугольником Ламберта называют такой четырехугольник ABCD, у которого углы А, В и D прямые, а угол С не равен 90°.