Узлуксизлик аксиомаси ва I- IV гуруҳ аксиомаларидан келиб чиқадиган натижалар. Кесмаларни ва бурчакларни ўлчаш

Yuklangan vaqt:

20.09.2019

Ko'chirishlar soni:

0

Hajmi:

74 KB

$Узлуксизлик аксиомаси ва I- IV гуруҳ аксиомаларидан келиб чиқадиган натижалар . Кесмаларни ва бурчакларни ўлчаш. Тўғри чизиқ ва айлананинг кесишиши Аксиомаларнинг тыртинчи гурущи битта Дедекинд аксиомасидан иборат. IV. Аксиома. Ты\ри чизи=даги иккита йыналишдан бирида биринчи синфга тегишли щар бир ну=та иккинчи синф ну=таларини эргаштирадиган =илиб, ты\ри чизи= ну=талари иккита быш былмаган синфларга ажратилган былсин. У щолда =уйидаги икки щолдан бири ыринли: 1) биринчи синфда шу синфнинг =олган барча ну=таларига эргашадиган ну=та мавжуд; 2) иккинчи синфда шу синфнинг =олган барча ну=таларини эргаштирадиган ну=та мавжуд. Теорема Ты\ри чизи=да икки йыналишдан бири учун 1. ... 21  AAA 2. ... 211  AAAA шартларни =аноатлантирувчи ...;;; 21 AAA ну=талар кетма-кетлиги берилган былсин. У щолда, щар =андай A B  шартни =аноатлантирувчи ну=та учун, шундай n сони мавжудки nAB  муносабат ыринли былишини исботланг. Бу жумла баъзи адабиётларда Архимед аксиомаси деб юритилади. Теорема Ты\ри чизи=да ... 2211  BABA шартни =аноатлантирувчи ёпи= кесмалар кетма-кетлиги берилган былсин. Агар узунлиги ихтиёрий nn BA кесманинг узунлигидан кичик былган кесма мавжуд былмаса, у щолда барча nn BA$ $кесмаларга тегишли былган ягона C ну=та мавжуд былишини исботланг. Бу жумла C ну=та ягоналиги талаб =илинмагани щолда Кантор аксиомаси IV аксиома эса Дедекинд теоремаси дейилади. Бизга  текислик ва унда ётувчи O ну=та щамда r кесма берилган былсин. Таъриф .  текисликдаги r OX  муносабатни =аноатлантирувчи барча X ну=талар тыплами маркази O ну=тада, радиуси r га тенг айлана дейилади,  текисликнинг r OX    rOX  тенгсизликни =аноатлантирувчи X ну=талари тыплами айланага нисбатан ички (таш=и) ну=талар дейилади. Теорема Маркази O ну=тада, радиуси r га тенг былган C айланага нисбатан ички P ну=тадан ытувчи a ты\ри чизи= айланани иккита ну=тада кесишишини исботланг. 4.1. Барча кесмаларда = уйидаги : 1) Ҳ ар = андай АВ кесма учун ;0)( AB  2) АВ ва СД конгруэнт кесмалар учун )()( CDAB    ; 3) А ва В ну = талар орасида жойлашган С ну = та учун )()()( ABCBAC     ; 4) Шундай А 0 В 0 кесма мавжудки ,   1 00 BA  , шартларни = аноатлантирувчи  функция мавжуд ва ягоналигини исботланг . Бу  функциянинг кесмадаги = иймати кесманинг узунлиги , А 0 В 0 кесма эса ылчам бирлиги дейилади . 4.2. Ихтиёрий мусбат  сони учун , узунлиги  га тенг a кесма мавжуд , яъни     a лигини исботланг . 4.3. Барча бурчакларда = уйидаги :$

1. Ҳ ар = андай   kh , бурчак учун   0, khO ; 2.   kh , ва   ml , конгруэнт бурчаклар учун     mlOkhO ,,  ; 3. h ва k нурлар орасидан ытувчи l нур учун       khOklOlhO ,,,  ; 4. Шундай   00 , kh бурчак мавжудки ,   1, 00 khO , шартларни = аноатлантирувчи O функция мавжуд ва ягоналигини исботланг . Бу O функциянинг бурчакдаги = иймати бурчак катталиги ылчови ,   00 , kh бурчак эса бурчак катталигининг ылчов бирлиги дейилади . 4.4. Марказлари 1 O ва 2O ну = таларда радиуслари мос равишда 1r ва 2r га тенг айланалар берилган былиб , улар учун = уйидаги муносабатлар 2 1 2 1 1 2 2 1 , r r O O r r r r      ыринли былсин . У щолда берилган айланалар фа = ат иккита кесишиш ну = тасига эга былишини исботланг .

Асосий адабиётлар 1. А.Я.Нарманов, А.С.Шарипов Геометрия асослари. Т.Университет, 2004 й. 2. Н.В.Ефимов. Высшая геометрия. М., 1978. 3. А.В.Погорелов. Основания геометрии. М., Наука, 1968. 4. А.В.Погорелов. Геометрия Ўрта мактабларнинг 7-11 синфлари учун дарслик Т. Ўқитувчи, 2002. 5. А.Я.Нарманов, А.С.Шарипов Геометрия асослари. Электрон қўлланма. Кафедрада мавжуд. Қўшимча адабиётлар 1. Л.С.Атанасян. Геометрия асослари. Т., 1962.

O'xshashlar

Параллеллик аксиомаси ва I- V гуруҳ аксиомаларидан келиб чиқадиган натижалар. Учбурчакларнинг ухшашлиги

Конгруэнтлик аксиомалари ва I- III гуруҳ аксиомаларидан келиб чиқадиган натижалар

Тартиб аксиомалари ва I, II гуруҳ аксиомаларидан келиб чиқадиган натижалар

Боғлиқлик аксиомалари ва улардан келиб чиқадиган натижалар

Евклид геометрияси аксиомаларининг ўзаро эркинлиги. Узлуксизлик ва параллеллик аксиомаларининг эркинлиги