Ka'idoji na Asali na Tsarin Euclidean
Tsarin lissafi na Euclidean reshe ne na lissafi wanda ke nazarin siffa, girma, matsayi, da halayen sararin samaniya bisa ga ra'ayoyin da Euclid (kimanin ƙarni na 3 kafin haihuwar Annabi Isa) ya ƙirƙira a cikin babban aikinsa, Elements. Tsawon ƙarni, wannan tsarin lissafi shine babban tushen fahimtar sararin samaniya mai girma biyu (jirgin sama) da girma uku (sarari) yayin da muke haɗuwa da shi a rayuwar yau da kullun. Lokacin da muka zana layi madaidaiciya tare da mai mulki, auna kusurwoyin alwatika, ko lissafin yankin murabba'i, muna amfani da ƙa'idodin tsarin lissafi na Euclidean. Wannan labarin ya tattauna manyan ra'ayoyi na tsarin lissafi na Euclidean, abubuwansa na asali, axioms, da wasu mahimman ka'idoji waɗanda suka samar da tushensa.
1. Maki, Layuka, da Jiragen Sama: Abubuwa Masu Muhimmanci
An gina tsarin Euclidean daga abubuwa uku masu mahimmanci: maki, layi, da jirage.
1. Ma'ana ita ce abu mafi sauƙi wanda ke nuna matsayi kawai kuma ba shi da girma (babu tsayi, faɗi, ko tsayi). Yawanci ana nuna maki da manyan haruffa kamar A, B, ko C.
2. Layi saitin maki ne wanda ke faɗaɗawa ba tare da iyaka ba a cikin hanyoyi biyu kuma yana da girma ɗaya, wato tsayi. A cikin tsarin lissafi mai kyau, layi ba shi da kauri. Ana iya ayyana layi ta hanyoyi biyu daban-daban, misali, layin da ke ratsa A da B ana kiransa layi AB.
3. Jirgin sama wani wuri ne mai faɗi wanda ya faɗaɗa ba tare da iyaka ba a dukkan kwatance, yana da girma biyu (tsawo da faɗi), kuma babu kauri. Ana iya ayyana jirgin sama da maki uku waɗanda ba sa cikin layi madaidaiciya.
Ko da yake a cikin zane-zane akan layukan takarda akwai kauri da kuma filaye da ke da iyakoki, a cikin ra'ayin lissafi na Euclidean, duk waɗannan manufofi ne.
2. Tsarin Euclid da Matsayin Axioms
Halayyar tsarin Euclidean shine yanayin cirewa: farawa daga maganganun asali waɗanda aka yarda da su ba tare da hujja ba (axioms ko postulates), sannan a fitar da su cikin ka'idoji ta hanyar hujja mai ma'ana.
Euclid ya tsara wasu shahararrun rubuce-rubuce guda biyar. A cikin tsari na zamani mai sauƙi, ana iya fahimtar waɗannan rubuce-rubuce kamar haka:
1. Maki biyu daban-daban suna ƙayyade madaidaiciyar layi ɗaya.
2. Ana iya tsawaita sashin layi akai-akai don samar da layi madaidaiciya.
3. Da wani takamaiman tsakiya da radius, za a iya yin da'ira.
4. Duk kusurwoyin dama daidai suke.
5. Layi mai layi ɗaya: Idan layi ya haɗu da wasu layuka biyu ta yadda jimlar kusurwoyin ciki a gefe ɗaya ya zama ƙasa da 180°, to layukan biyu za su haɗu a wannan gefen idan aka faɗaɗa su.
Wannan bayani na biyar shine mafi rikitarwa, domin da alama ba shi da "sauƙi" kamar sauran huɗun. Ƙoƙarin tabbatar da hakan daga sauran bayanai ya gaza tsawon ƙarni da yawa, wanda a ƙarshe ya share fagen haifar da yanayin lissafi wanda ba na Euclidean ba. Amma matuƙar aka amince da bayanin na biyar, za mu ci gaba da kasancewa cikin tsarin Euclidean.
3. Manufar Layukan Layi Masu Layi Biyu da Masu Layi Biyu
A cikin tsarin Euclidean, ana cewa layuka biyu a cikin jirgin sama suna layi ɗaya idan ba sa haɗuwa ko da an tsawaita su ba har abada. Wani muhimmin siffa: ta hanyar wani wuri a wajen layi, akwai layi ɗaya kawai a layi ɗaya (bisa ga ka'idar layi ɗaya).
A halin yanzu, ana cewa layuka biyu suna tsaye a tsaye idan sun haɗu a kusurwar 90°. Manufar perpendicularity muhimmin tushe ne don kafa tsarin daidaitawa, gina siffofi na sama, da kuma kusurwoyin aunawa.
4. Kusurwoyi da Ma'auninsu
Ana samar da kusurwa ta hanyar haɗuwa da haskoki biyu a wurin farawa (ƙofar). Ana auna kusurwoyi a digiri (°) ko radians. A cikin tsarin Euclidean na asali, wasu daga cikin nau'ikan kusurwoyi da aka fi tattaunawa akai-akai sun haɗa da:
– Kusurwar da ta yi tsauri: 0° < kusurwa < 90° - Kusurwar dama: kusurwa = 90° - Kusurwar da ta yi tsauri: 90° < kusurwa < 180° - Kusurwar madaidaiciya: kusurwa = 180° Dangantakar da ke tsakanin kusurwoyi kuma tana da mahimmanci, misali, kusurwoyin ƙarin (jimlar 180°), kusurwoyin ƙarin (jimlar 90°), da kusurwoyin da suka yi daidai (daidai). 5. Siffofin Sama: Alwatika, Quadrilaterals, da Da'ira a. Alwatika Alwatika siffar jirgin sama ce da aka ɗaure da ɓangarori uku. A cikin lissafin Euclidean, alwatika tana da siffa ta asali: jimlar kusurwoyin a cikin alwatika shine 180°. Wannan ya bambanta a cikin lissafin da ba na Euclidean ba. Ana iya rarraba alwatika bisa ga gefe: - Daidaitacce: dukkan bangarorin uku daidai suke - Isosceles: bangarorin biyu daidai suke - Kowanne: dukkan bangarorin sun bambanta Kuma bisa ga kusurwoyi: - Mai tsauri, dama, obtuse Sanannen ka'idar a cikin alwatika ita ce Ka'idar Pythagorean, wacce ta shafi alwatika na dama: \(a^2 + b^2 = c^2\) inda \(c\) shine hypotenuse. b. Alwatika Alwatika Alwatika Alwatika yana da bangarorin hudu. Wasu muhimman bangarorin hudu: - Murabba'i: dukkan bangarorin daidai suke, dukkan kusurwoyi 90° ne - Mudubi mai kusurwa huɗu: kusurwoyi 90° ne, bangarorin da ke gaba da juna daidai suke - Parallelogram: bangarorin da ke gaba da juna daidai suke - Rhombus: dukkan bangarorin daidai suke - Trapezoid: yana da bangarorin da ke layi ɗaya guda ɗaya Kowanne yana da nasa halaye na musamman na kusurwoyi da diagonal, wanda za a iya tabbatarwa ta hanyar hanyar Euclidean. c. Da'ira Da'ira saitin maki ne da ke daidai da wurin tsakiya. Muhimman ra'ayoyi a cikin da'ira sun haɗa da: - Radius (r), diamita (2r) - Da'ira: \(K = 2\pi r\) - Yanki: \(L = \pi r^2\) Bugu da ƙari, akwai ra'ayoyin baka, waƙoƙi, sassa, sassa, da kuma kusurwoyin tsakiya da kusurwoyin kewaye. 6. Kamanceceniya da Daidaituwa Ana cewa siffofi biyu sun yi daidai idan siffarsu da girmansu iri ɗaya ne (ana iya haɗa su ta hanyar fassara, juyawa, ko tunani). Misali, alwatika biyu masu daidaituwa suna da gefuna da kusurwoyi iri ɗaya.
Ana cewa siffofi biyu suna kama da juna idan suna da siffar iri ɗaya amma suna iya bambanta a girma; rabon ɓangarorin da suka dace yana dawwama. Kamanceceniya yana da matuƙar muhimmanci a taswira, zana sikelin, gine-gine, da aunawa kai tsaye (misali auna tsayin bishiya ta amfani da inuwarta). 7. Sauye-sauyen Geometric a Sararin Euclidean Geometric kuma yana nazarin canje-canje waɗanda ke kiyaye wasu halaye. Sauye-sauyen asali sun haɗa da: - Fassara (canji): motsa dukkan maki ta hanyar vector iri ɗaya - Juyawa (juyawa): juya siffa game da tsakiyar juyawa - Tunani (madubi): nuna siffa akan layi (a cikin jirgin sama) ko jirgin sama (a cikin sarari) - Faɗaɗawa (zuƙowa ciki/fita): canza girma ta hanyar ma'aunin ma'auni Sauye-sauye kamar fassara, juyawa, da tunani suna kiyaye nisa da kusurwoyi (isometries), yayin da faɗaɗawa yana kiyaye siffa amma yana canza girma. 8. Me yasa Geometric na Euclidean yake da mahimmanci? Tsarin lissafi na Euclidean ba wai kawai yana da mahimmanci a matsayin ka'idar lissafi ba, har ma a matsayin kayan aiki mai amfani a fannoni daban-daban: injiniyan farar hula, gine-gine, ƙirar samfura, zane-zanen kwamfuta, taswira, har ma da kimiyyar lissafi ta gargajiya. Sararin da muke ɗauka a matsayin "al'ada" a sikelin yau da kullun galibi ana iya yin su da kyau ta hanyar tsarin lissafi na Euclidean. Kodayake akan sikelin sararin samaniya ko a cikin ka'idar alaƙa, sararin samaniya na iya zama lanƙwasa (ba Euclidean ba), tsarin lissafi na Euclidean ya kasance mafi sauƙin fahimta kuma mafi yawan amfani da tushe na farawa. Kammalawa Ma'anar asali na tsarin lissafi na Euclidean yana farawa da abubuwa na asali - maki, layuka, da jirage - sannan kuma ya haɓaka ta hanyar postulates da shaidu waɗanda ke kafa mahimman ka'idoji game da kusurwoyi, layuka masu layi ɗaya, da siffofi daban-daban na jirgin sama kamar alwatika, murabba'i, da da'irori. Tare da tsarin ma'ana da tsari, tsarin lissafi na Euclidean yana ɗaya daga cikin manyan nasarorin ilimi a tarihin lissafi, da kuma kayan aiki mai amfani wanda ya kasance mai dacewa a yau. Fahimtar asali mataki ne mai ƙarfi na farko don nazarin ilimin lissafi mafi ci gaba, gami da tsarin lissafi na nazari, trigonometry, da tsarin lissafi na ba Euclidean ba.