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 ba ta da ƙarfi: 0° < kusurwar < 90°
– Kusurwar dama: kusurwa = 90°
– Kusurwar da ba ta da haske: 90° < kusurwa < 180°
– Madaidaicin kusurwa: kusurwa = 180°
Alaƙar da ke tsakanin kusurwoyi ma tana da mahimmanci, misali, kusurwoyin ƙarin (jimlar 180°), kusurwoyin ƙarin (jimlar 90°), da kusurwoyin da suka saba da juna (daidai gwargwado).
5. Siffofin Jirgin Sama: Alwatika, Yankuna Huɗu, da Da'ira
a. Alwatika
Alwatika siffar jirgin sama ce da aka kewaye da ɓangarori uku. A cikin tsarin Euclidean, alwatika suna da wata siffa ta asali: jimlar kusurwoyin ciki na alwatika shine 180°. Wannan ya bambanta a cikin tsarin da ba na Euclidean ba.
Ana iya rarraba triangles bisa ga ɓangarorinsu:
– Daidaito: dukkan bangarorin uku tsayinsu iri ɗaya ne
– Isosceles: bangarorin biyu tsayinsu iri ɗaya ne
- Bazuwar: dukkan bangarorin sun bambanta
Kuma bisa ga kusurwar:
- Mai kaifi, kusurwar dama, mai kaifi
Shahararren ka'idar da ke cikin alwatika ita ce ka'idar Pythagorean, wacce ta shafi alwatika na dama:
\(a^2 + b^2 = c^2\)
tare da \(c\) hypotenuse.
b. Yankuna Huɗu
Mai kusurwa huɗu yana da ɓangarori huɗu. Wasu muhimman ɓangarori huɗu:
– Murabba'i: dukkan gefuna tsawonsu iri ɗaya ne, kusurwoyi kuma 90° ne
– Mukulli mai kusurwa huɗu: kusurwoyi 90°, gefuna masu gaba da juna tsawonsu iri ɗaya ne
– Parallelogram: gefuna masu gaba da juna suna layi daya kuma tsawonsu iri daya ne
– Rhombus: dukkan bangarorin tsayinsu iri ɗaya ne
- Trapezoid: yana da bangarorin layi daya biyu
Kowannensu yana da nasa halaye na musamman na kusurwa da kuma kusurwa, wanda za a iya tabbatar da shi ta amfani da hanyar Euclidean.
c. Da'ira
Da'ira saitin maki ne da ke da nisa da tsakiyar wuri. Muhimman ra'ayoyi game da da'irori sun haɗa da:
– Radius (r), diamita (2r)
– Da'ira: \(K = 2\pi r\)
– Yanki: \(L = \pi r^2\)
Baya ga haka, akwai ra'ayoyin baka, chord, chord, section, da kuma kusurwoyin tsakiya da kuma kusurwoyin kewaye.
6. Daidaito da Daidaito
Ana cewa siffofi biyu sun yi daidai idan sun yi daidai a siffar da girma (ana iya haɗa su ta hanyar fassara, juyawa, ko tunani). Misali, alwatika biyu masu daidaito suna da gefuna da kusurwoyi iri ɗaya.
Ana cewa siffofi biyu suna kama da juna idan suna da siffar iri ɗaya amma girmansu na iya bambanta; 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 Samaniya na Euclidean
Tsarin halittar Euclidean kuma yana nazarin canje-canjen da ke kiyaye wasu kaddarorin. Sauye-sauyen asali sun haɗa da:
- Fassara (canji): yana motsa dukkan maki ta hanyar vector iri ɗaya
- Juyawa (juyawa): juya siffa a kusa da tsakiyar wurin juyawa
– Madubin tunani (madubi): yana nuna siffa a kan layi (a cikin jirgin sama) ko jirgin sama (a cikin sararin samaniya)
- Faɗaɗawa (zuƙowa/fitar da): yana canza girman ta hanyar ma'aunin sikelin
Sauye-sauye kamar fassara, juyawa, da tunani suna kiyaye nisa da kusurwoyi (isometri), yayin da faɗaɗawa ke kiyaye siffa amma tana canza girma.
8. Me yasa Tsarin 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 "na al'ada" a sikelin yau da kullun galibi ana iya tsara shi da kyau ta hanyar tsarin lissafi na Euclidean. Kodayake sararin samaniya na iya zama mai lanƙwasa (ba Euclidean ba) akan sikelin sararin samaniya ko a cikin ka'idar dangantaka, tsarin lissafi na Euclidean ya kasance mafi sauƙin fahimta kuma mafi yawan amfani da tushe na farko.
Penutup
Manufofin asali na lissafin Euclidean sun fara ne da abubuwa na asali—maki, layuka, da jirage—kuma suna tasowa ta hanyar ginshiƙai da hujjoji waɗanda ke kafa muhimman 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 tsarinsa mai ma'ana da tsari, lissafin Euclidean yana ɗaya daga cikin manyan nasarorin ilimi a tarihin lissafi, da kuma kayan aiki mai amfani wanda har yanzu yana da mahimmanci a yau. Fahimtar tushensa tushe shine tushe mai ƙarfi don nazarin lissafi mafi ci gaba, gami da lissafin nazari , lissafin trigonometry, da lissafin da ba na Euclidean ba.
