Планиметрия курс

Веськыд визь йылысь аксиомаяс

тшӧтшкӧс – плоскость
веськыд визь – прямая
чут – точка
мыгӧр – фигура
кывкӧртӧд – следствие
эскӧдӧм – доказательство
кыв вожалӧм – противоречие

Планиметрияӧн шусьӧ геометриялӧн юкӧн, кӧні велӧдӧны тшӧтшкӧсвывса мыгӧръяс.

Тшӧтшкӧслысь, веськыд визьлысь, чутлысь медшӧр торъяланлунъяссӧ индам аксиомаяс пыр.

Аксиома. Эм кӧ тшӧтшкӧсын веськыд визь, сэк тшӧтшкӧсса чутъяс пӧвстысь кодсюрӧяс лоасны тайӧ визьын, а мукӧдыс сыысь ортсын.

Аксиома. Кык торъялана чут пыр позьӧ нуӧдны веськыд визь; татшӧм визьыс овлӧ сӧмын ӧти.

Кывкӧртӧд. Вомӧнасьӧны кӧ кык торъялана веськыд визь, вомӧнасян чутныс лоӧ сӧмын ӧти.

Эскӧдӧм. Мед, шуам, веськыд визьясыс вомӧнасьӧны торъялана кык чутын. Сідзкӧ, тайӧ чутъяс пырыс позьӧ гижтыны кык торъялана веськыд визь. А аксиомаыд серти, татшӧм визьыс на пыр вермас мунны сӧмын ӧти. Артмӧ кыв вожалӧм.

Вундӧг

вундӧг – отрезок

Аксиома. Ӧти веськыд визьса куим торъялан чут пиысь ӧтиыс лоӧ мӧд кык костас; татшӧм чутыс овлӧ сӧмын ӧти.

Кык чут на костса став чутыскӧд ӧтув артмӧдӧны вундӧг. Индӧм кык чутыс шусьӧны вундӧг помъясӧн.

Аксиома. Быд вундӧглӧн эм кузьта – плюса лыд.

Вундӧг помъясын кӧ А да В чутъяс, шуам татшӧм вундӧгсӧ АВ; тадзи жӧ и сылысь кузьтасӧ шуам.

Аксиома. Мед ӧти веськыд визьын эм куим торъя чут: A, B да C; B-ыс куйлӧ A да C костас. Сэки AC = AB + BC.

Кывкӧртӧд. Мед ӧти веськыд визьын эм куим торъя чут: A, B да C; B-ыс куйлӧ A да C костас. Сэки AC > AB, AC > BC.

Кывкӧртӧд. Мед ӧти веськыд визьын эм куим торъя чут: A, B да C; AC = AB + BC. Сэки B-ыс куйлӧ A да C костас.

Эскӧдӧм. Миян артмӧ: AC > AB, AC > BC. A чутыс кӧ куйлӧ B да C костас, BC > AC; C чутыс кӧ куйлӧ A да B костас, AB > AC. Сідзкӧ, B-ыс куйлӧ A да C костас.

Тшӧтшкӧсджын

Аксиома. Быд веськыд визь юклӧ тшӧтшкӧссӧ кык тшӧтшкӧсджын вылӧ. Кык чут A да B куйлӧны ӧти тшӧтшкӧсджынйын, AB вундӧг кӧ оз вомӧнась индӧм веськыд визьсӧ.

Сідзкӧ, AB кӧ вомӧнасьӧ веськыд визьсӧ, A да B чутъясыс куйлӧны торъя тшӧтшкӧсджынъясын.

Аксиома. Сетӧма кӧ l веськыд визь да сы вылын куйлысь O чут, эмӧсь сэтшӧм торъяланлуна A да B чутъяс: A, O, B – торъяӧсь, A да B куйлӧны l вылын да O чутыс куйлӧ A да B чутъяс костын.