Кіріспе

Координаталар жүйесін қолданып геометрияны зерттеу
Координаталық геометрия

Математикада аналитикалық геометрия, сондай-ақ координаталық геометрия немесе картезиандық геометрия деп аталатын бұл сала, координаталар жүйесін пайдаланып геометрияны зерттеумен айналысады. Бұл синтетикалық геометриядан өзгеше. Аналитикалық геометрия физика және инженерия, сондай-ақ авиация, ракета техникасы, ғарыш ғылымдары және ғарышқа ұшу салаларында қолданылады. Ол алгебралық, дифференциалдық, дискреттік және есептеу геометриясы сияқты геометрияның көптеген қазіргі заманғы салаларының негізін құрайды. Әдетте, жазықтықтар, түзу сызықтар және шеңберлер үшін теңдеулерді манипуляциялау үшін, көбінесе екі және кейде үш өлшемде картезиандық координаттар жүйесі қолданылады. Геометриялық тұрғыдан, Евклид жазықтығы (екі өлшемді) және Евклид кеңістігі зерттеледі. Оқулықтарда оқытылғандай, аналитикалық геометрияны қарапайым түрде былай түсіндіруге болады: ол геометриялық пішіндерді сандық түрде анықтау және бейнелеумен, сондай-ақ пішіндердің сандық анықтамалары мен бейнелеуінен сандық ақпарат алумен байланысты. Нақты сандардың алгебрасы геометрияның үздіксіздігі туралы нәтижелер беру үшін қолданылуы Кантор-Дедекинд аксиомасына негізделген.

Ежелгі Грекия

Грекиялық математик Менахм проблемаларды шешіп, теоремаларды координаталарды қолдануға өте ұқсас әдіспен дәлелдеді және кейде ол аналитикалық геометрияны енгізген деп айтылады. Аполлоний Пергскийдің "Белгілі қималар туралы" еңбегіндегі проблемалар бір өлшемді аналитикалық геометрия деп аталатын тәсілмен қарастырылды; түзу бойындағы нүктелерді, олардың басқаларына қатынасы бойынша табу мәселесімен айналысты. Аполлоний "Коникалар" еңбегінде аналитикалық геометрияға өте ұқсас әдісті одан әрі дамытты, оның жұмысы кейде Декарттың жұмысын шамамен 1800 жылға жуық бағалады деп есептеледі. Оның анықтама сызықтарын, диаметрін және жанамасын қолдануы қазіргі заманғы координаттық жүйенің қолданылуынан ешқандай айырмасы жоқ, онда жанама нүктесінен диаметр бойымен өлшенген қашықтықтар абсциссалар, ал жанамаға параллель және ось пен қисық арасындағы кесінділер ординаталар болып табылады. Ол қисықтардың сөзбен берілген (риторикалық) теңдеулеріне тең келетін абсциссалар мен сәйкес ординаталар арасындағы байланыстарды одан әрі дамытты. Алайда, Аполлоний аналитикалық геометрияны дамытуға жақын болғанымен, оны жүзеге асыра алмады, себебі ол теріс шамаларды ескермеді және әрбір жағдайда координаттар жүйесі берілген қисыққа априори емес, а posteriori қойылды. Яғни, теңдеулер қисықтар арқылы анықталды, бірақ қисықтар теңдеулер арқылы анықталмады. Координаттар, айнымалылар және теңдеулер – нақты геометриялық жағдайға қолданылатын қосымша ұғымдар болды.

Персия

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

Батыс Еуропа

Аналитикалық геометрия Рене Декарт пен Пьер де Ферма екеуі де тәуелсіз түрде ойлап тапқан, бірақ кейде құрмет тек Декартқа ғана беріледі. Аналитикалық геометрияның тағы бір атауы – картезиялық геометрия, ол Декарттың есімімен аталған. Декарт 1637 жылы жарық көрген үш қосымша эсселердің (қосымшалардың) бірі – «La Géométrie» (Геометрия) атты еңбегінде маңызды жетістіктерге жеткен. Оның туған тілі – француз тілінде жазылған «La Géométrie» және оның философиялық қағидалары Еуропада дифференциалдық және интегралдық есептеудің (математикалық есептеудің) негізін қалады. Алғашқыда бұл жұмыс жақсы қабылданбады, себебі аргументтерде көптеген олқылықтар мен күрделі теңдеулер болды. Тек 1649 жылы латын тіліне аударылып, ван Шутеннің түсіндірмелері қосылғаннан кейін (және одан кейін де) Декарттың шедеврi лайықты құрметке ие болды. Пьер де Ферма да аналитикалық геометрияның дамуына үлкен үлес қосты. Оның «Ad locos planos et solidos isagoge» (Жазық және кеңістіктік геометрияға кіріспе) атты қолжазбасы, Декарттың «Әдіс туралы толғанысы» жарық көргенге дейін, 1637 жылы Париж қаласында таратылды. Анық жазылған және жақсы қабылданған бұл кіріспе де аналитикалық геометрияның негізін қалады. Фермат пен Декарттың қарастыруларының арасындағы басты айырмашылық – көзқарас мәселесі: Фермат әрқашан алгебралық теңдеуден бастап, оны қанағаттандыратын геометриялық қисықты сипаттайды, ал Декарт геометриялық қисықтардан бастап, олардың теңдеулерін қисықтардың қасиеттерінің бірі ретінде шығарады.

Картезиандық координаттар (жатық немесе кеңістікте)

Ең көп қолданылатын координаттар жүйесі – Картезиандық координаттар жүйесі, онда әрбір нүктенің көлденең орнын көрсететін x координатасы және тік орнын көрсететін y координатасы болады. Бұлар әдетте реттелген жұп (x, y) түрінде жазылады. Бұл жүйе үш өлшемді геометрияда да қолданылады, онда Евклид кеңістігіндегі әрбір нүкте координаталардың реттелген үштігі (x, y, z) арқылы көрсетіледі.

Полярлық координаттар (жаттықтықта)

Полярлық координаттарда жазықтықтың кез келген нүктесі, координата басынан арақашықтығы r және бұрышы θ арқылы көрсетіледі, мұнда θ әдетте оң x осьінен сағат тіліне қарсы бағытта өлшенеді. Осы белгілеуді пайдаланып, нүктелер әдетте реттелген жұп түрінде жазылады (r, θ). Осы формулаларды қолдану арқылы екі өлшемді декарттық және полярлық координаттарды бір-біріне айналдыруға болады: Бұл жүйе цилиндрлік немесе сфералық координаттарды қолдану арқылы үш өлшемді кеңістікке кеңейтілуі мүмкін.

Цилиндрлік координаттар (аралықта)

Цилиндрлік координаттарда кеңістіктің кез келген нүктесі z биіктігі, z осінен r радиусы және xy жазықтығындағы проекциясы көлденең осьпен құратын θ бұрышы арқылы көрсетіледі.

Сфералық координаттар (кеңістікте)

Сфералық координаттарда кеңістіктегі әрбір нүкте шығу тегінен ρ қашықтығымен, xy жазықтығындағы проекциясының көлденең оське қатысты θ бұрышымен және z оське қатысты φ бұрышымен анықталады. Физикада бұрыштардың атаулары көбінесе ауыстырылып жазылады. Әдетте, бір теңдеу жазықтықтағы қисық сызықты көрсетеді. Бірақ бұл әрқашан солай бола бермейді: қарапайым теңдеу x = x бүкіл жазықтықты анықтайды, ал x² + y² = 0 теңдеуі тек (0, 0) нүктесін анықтайды. Үш өлшемді кеңістікте бір теңдеу көбінесе бетті көрсетеді, ал қисық сызық екі беттің қиылысы (төменде қараңыз) немесе параметрлік теңдеулер жүйесі арқылы берілуі керек. x² + y² = r² теңдеуі – центрі (0, 0) нүктесінде орналасқан және радиусы r болатын кез келген шеңбердің теңдеуі.

Квадраттық беттер

Квадрикалық немесе квадрикалық бет – 3 өлшемді кеңістіктегі 2 өлшемді бет, ол квадратық полиномның нөлдерінің жиынтығы ретінде анықталады. x1, x2, x3 координаталарындағы жалпы квадрикалық алгебралық теңдеумен сипатталады. Квадрикалық беттерге эллипсоидтар (сфераны қоса алғанда), параболоидтар, гиперболоидтар, цилиндрлер, конустар және жазықтықтар жатады.

Жасалғанды табу

Көп зерттелген қиылыстың бір түрі геометриялық объектінің қиылысы мен координаталар осьтері. Геометриялық нысан мен осі қиылысуын объектінің қиылысуы деп атайды. Геометриялық нысан мен осі қиылысуын объектінің қиылысуы деп атайды. Тігінен , параметр сызықтың осьті қиып өтетін нүктесін анықтайды . Контекстке байланысты, бір немесе екі нүкте де қиылысу деп аталады.

Геометриялық ось

Геометрияда ось – кез келген түзуге, нысанға немесе бетке перпендикуляр сызық. Бұл үшін күнделікті тілде "қалыпты" (перпендикуляр) сызық немесе инженерлік саласында "осьтік сызық" терминдері де қолданылуы мүмкін. Геометрияда нормаль – берілген нысанға перпендикуляр болатын түзу немесе вектор. Мысалы, екі өлшемді жағдайда, қисықтың белгілі бір нүктесіндегі нормаль – сол нүктедегі қисыққа жанама түзуге перпендикуляр түзу. Үш өлшемді жағдайда, P нүктесіндегі бетке нормаль, яғни беттік нормаль – P нүктесіндегі бетке жанама жазықтыққа перпендикуляр вектор. "Нормаль" сөзі сын есім ретінде де қолданылады: жазықтыққа нормаль түзу, күштің нормаль компоненті, нормаль вектор және т.б. Нормалдылық түсінігі ортогоналдылыққа көшеді.

Сфералық және сызықтық емес жазықтықтар және олардың тангенстері

Тангенс – функцияның сфералық немесе өзге қисық немесе бұрылып өтетін сызығының сызықтық жуықтауы.

Тангенттік сызықтар мен жазықтықтар

Геометрияда, берілген нүктедегі жазық қисық сызығының тангенс сызығы (немесе просто тангенс) – бұл сол нүктеде қисыққа "жанасатын" түзу сызық. Бұл, негізінен, қисықтағы ең жақын екі нүкте арқылы өтетін түзу. Нақтырақ айтқанда, егер түзу сызық y = f(x) қисығының x = c нүктесінен өтіп, оның еңісі f'(c) болса, онда ол қисықтың тангенсі деп аталады, мұнда f'(c) – f функциясының туындысы. Осыған ұқсас анықтама кеңістіктегі қисықтар мен n-өлшемді Евклид кеңістігіндегі қисықтарға да қолданылады. Тангенс сызығы мен қисық кездесетін нүкте – тангенс нүктесі деп аталады. Тангенс сызығы қисықпен "бір бағытта" жүреді, сондықтан ол сол нүктеде қисықтың ең жақсы сызықтық жуықтауы болып табылады. Сол сияқты, берілген нүктедегі бетке жанасатын жазықтық – бұл сол нүктеде бетке "жанасатын" жазықтық. Тангенс түсінігі дифференциалдық геометриядағы ең маңызды түсініктердің бірі болып табылады және кеңінен жалпыландырылған; Тангенс кеңістігіне қараңыз.