ign="justify">? + ? g <2?, тоб b ? + < span align = "justify">? g . Це означає, что всередіні кута NCK можна побудуваті Гђ LCK = а ( NC ^ CD).
Пряма CL НЕ может перетнуті прямий АВ у будь-якій точці М, ТОМУ ЩО ЯКЩО б це сталося, то кут DKC, зовнішній по відношенню до трикутника KCM, дорівнював бі внутрішньому, чи не суміжному з ним куті трикутника KCM, что суперечіть абсолютної геометрії про зовнішній вугіллі трикутника. Отже, через т. З, крім CN, проходити ще одна пряма - CL, що не зустрічає прямий АВ; отже, Вірна Аксіома Лобачевського. Різніця (2 ? - S), тоб между 180 Вє и сумою кутів даного трикутника, назівається Кутового дефектом цього трикутника.
3) Пропозиція В«сума кутів чотірікутніка менше 4 ?В» віпліває з попередня. Звідсі віпліває, что в геометрії Лобачевського немає ні прямокутніків, ні квадратів. Взагалі сума кутів n - кутника менше 2 ? (N -2).
4) Зовнішній кут трикутника больше суми внутрішніх, з ним не суміжніх кутів. Дійсно, нехай d ? ? - ? зовнішній кут трикутника, суміжній з внутрішнім кутом трикутника a ? ? , ? и нехай b ? и g ? - Інші его внутрішні куті, тоді: a ? ? + ? ?