Кіріспе

Бір жазықтықта жатпайтын түзулер

Үш өлшемді геометрияда, бұрмаланған түзулер – қиылыспайтын және параллель емес екі түзу. Бұрмаланған түзулердің қарапайым мысалы – дұрыс тетраэдрдің қарама-қарсы қырлары арқылы өтетін түзулер жұбы. Егер екі түзу бір жазықтықта жатса, олар өзара қиылысуы немесе параллель болуы керек, сондықтан бұрмаланған түзулер тек үш немесе одан көп өлшемде ғана болуы мүмкін. Екі түзу бұрмаланған болады, егер және тек қана олар бір жазықтықта жатпаса.

Жалпы ұстаным

Егер бірлік кубтың ішінде төрт нүкте кездейсоқ біркелкі таңдалса, олар дерлік сөзсіз екі қиық сызықты анықтайды. Алғашқы үш нүкте таңдалғаннан кейін, төртінші нүкте қиық емес сызықты анықтайды, егер және тек қана ол алғашқы үш нүктемен бір жазықтықта жатса. Дегенмен, бірінші үш нүкте арқылы өтетін жазықтық кубтың нөлдік өлшемді жиыны болып табылады, және төртінші нүкте осы жазықтықта жату ықтималдығы нөлге тең. Егер олай болмаса, нүктелермен анықталған сызықтар қиық болады. Сол сияқты, үш өлшемді кеңістікте кез келген екі параллель немесе қиылысатын сызықтың ең кішкентай өзгеруі оларды дерлік әрқашан қиық сызықтарға айналдырады. Сондықтан, жалпы жағдайдағы кез келген төрт нүкте әрқашан қиық сызықтар құрайды. Осы тұрғыдан алғанда, қиық сызықтар – "қалыпты" жағдай, ал параллель немесе қиылысатын сызықтар – ерекше жағдайлар.

Қисықтықты тексеру

Егер екі қисық сызықтың әрқайсысы екі нүкте арқылы анықталса, онда осы төрт нүкте бір жазықтықта жатпауы керек, демек олар нөлдік емес көлемді тетраэдрдің төбелері болуы керек. Керісінше, нөлдік емес көлемді тетраэдрді анықтайтын кез келген екі жұп нүкте де екі қисық сызықты анықтайды. Сондықтан, екі жұп нүктенің қисық сызықтарды анықтайтынын тексеру үшін, тетраэдрдің көлемін оның төрт төбесі арқылы есептеу формуласын қолдану қажет. Бір нүктені 1×3 вектор 'a' деп белгілеп, оның үш элементі сол нүктенің үш координатасы болсын, ал қалған нүктелерді 'b', 'c' және 'd' деп белгілей отырып, 'a' және 'b' арқылы өтетін түзудің 'c' және 'd' арқылы өтетін түзуге қиылысатындығын тексеру үшін тетраэдр көлемі формуласы нөлдік емес мән беретінін қарастыруға болады.

Конфигурациялар

Скив түзулердің конфигурациясы – барлық жұптары қиылыспайтын түзулер жиынтығы. Екі конфигурация изотоптық деп аталады, егер бір конфигурацияны үздіксіз түрлендіру арқылы екіншісіне келтіру мүмкін болса, мұнда түрлендіру кезінде түзулердің барлық жұптары қиылыспай қала береді. Екі түзудің кез келген екі конфигурациясы изотоптық болып табылады, ал үштен жоғары өлшемдегі бірдей санды түзулердің конфигурациялары әрқашан изотоптық болады, бірақ үш немесе одан көп түзудің үш өлшемдегі изотоптық емес конфигурациялары бар. R3 кеңістігінде n = 1-ден басталатын n түзудің изотоптық емес конфигурацияларының саны: 1, 1, 2, 3, 7, 19, 74, ... .

Қалыпталған беттер

Егер L сызығын басқа M сызығының айналыс осі ретінде айналдырса, бірақ олар перпендикуляр болмаса, L сызығымен түзілген айналыс беті бір қабатты гиперболоид болады. Мысалы, иллюстрацияда көрсетілген үш гиперболоидты осылай жасауға болады: L сызығын орталық, ақ түсті тік M сызығының айналыс осі ретінде пайдаланып айналдыру арқылы. Бұл беттегі L сызығының көшірмелері бір регуляр құрайды; гиперболоидта екінші сызықтар туысы да бар, олар M сызығына L сызығымен бірдей қашықтықта орналасқан, бірақ кері бұрышпен, және кері регуляр құрайды. Екі регуляр гиперболоидты басқарылатын бет ретінде көрсетеді. Бұл басқарылатын беттің аффиндік түрлендіруі L сызығын L сызығының айналыс осі ретінде айналдыру арқылы алынатын дөңгелек қимадан гөрі эллипстік қимаға ие бетті тудырады; мұндай беттер де бір қабатты гиперболоидтар деп аталады және екі өзара қисық сызықтар туысымен басқарылады. Үшінші типті басқарылатын бет – гиперболалық параболоид. Бір қабатты гиперболоид сияқты, гиперболалық параболоидтың да екі қисық сызықтар туысы бар; екі туыстағы сызықтар бір-біріне емес, ортақ жазықтыққа параллель. R3 кеңістігіндегі кез келген үш қисық сызық осы типтердің бірінің тек бір басқарылатын бетінде жатады.

Галлуччи теоремасы

Егер үш бұрыс түзу үш басқа бұрыс түзумен қиылысса, онда бірінші үштіктің кез келген көлденеңі екінші үштіктің кез келген көлденеңімен қиылысады.