Edukira joan

Zatiketa euklidear

Wikipedia, Entziklopedia askea
17 5-eko 3 taldetan banatzen da 2 zati bakarrik utziz. Hemen zatikizuna 17 da, zatitzailea 5, zatidura 3 eta hondarra 2.
17 = 5 × 3 2

Aritmetikan, Zatiketa Euklidearra (edo Euklidestarra), baita zatiketaren algoritmo gisa ezagutua, bi zenbaki osoren arteko zatiketaren eragiketari deritzo. Prozesu honetan, zatidura eta hondarra lortzen dira. Teoremak adierazten du hondar eta zatidura bat existitu eta bakarrak direla adierazten du, baldintza batzuk betez gero. Zatiketa Euklidearraz hitz egitean, ez da zatidura eta hondarra esplizituki kalkulatuko dituen metodo gisa ulertuko. Zatiketa honen kalkulua egiteko erabiltzen diren metodoak Zenbaki osoen zatiketaren algoritmo dute izena, non Zatiketa luzea den hedatuena, baina Osoen faktorizazioa eta Aritmetika modularra baita erabiliak dira.

Zatiketa Euklidearra, eta hau kalkulatzeko algoritmoak, zenbaki osoekin lan egiten den zenbait gaitan oso garrantzitsuak dira, esaterako, bi zenbaki osoren arteko zatitzaile komun handiena aurkitzeko Euklidesen algoritmoa. Hondarra kalkulatzen duen eragiketaren izena modulu eragiketa da.

Teoremaren adierazpena

[aldatu | aldatu iturburu kodea]

eta zenbaki osoak emanda, izanda, bi zenbaki oso existituko dira eta non bat eta bakarrak diren eta

eta

,

non -ren balio absolutua den.

Teorema honetan agertzen diren 4 zenbaki osoek izen bat dute: -ri zatikizun deitzen zaio, -ri zatitzaile deitzen zaio, -ri zatidura deitzen zaio eta -ri hondar deitzen zaio.

Horrek esan nahi du dela, izanik.


Zatiduraren eta hondarraren kalkuluari, zatikizunetik eta zatitzailetik, zatiketa edo Zatiketa Euklidearra deritzo. Teorema honek askotan zatiketaren algoritmoari egiten dio aipamen, teorema izan arren eta ez algoritmoa, zeren eta bere frogapenak, ondoren esan bezala, zatiketaren algoritmo sinple bat ere ekartzen du eta kalkulatzeko.

Zatiketa ez dago definituta kasuan.

"Zatiketa Euklidearra" hitza 20. mendean erabiltzen hasi zen "Eremu Euklideararren zatiketaren" takigrafia moduan. Berehala hasi ziren matematikariak hitz hau erabiltzen zatiketa mota hau beste motako zenbakien zatiketez ezberdintzeko.

Adibide intuitiboa

[aldatu | aldatu iturburu kodea]
Gaztak 9 zati dauzka, ondorioz, 4 lagunetako bakoitzari 2 gazta zati dagozkio, 1 soberan utziz.

Suposatu gazta bat 9 puskatan dagoela zatituta eta 4 lagunen artean banatu behar direla puska horiek. Zatiketa Euklidearra erabiliz, 9 4-rekin zatituta, zatidura 2 izango da eta hondarra 1. Hau da, lagun bakoitzak gaztaren 2 puska izango ditu, baina zati bat geldituko da soberakin.

Hau biderketa, zatiketaren kontrakoa, erabiliz froga daiteke: lagun bakoitzak 2 gazta puska hartuko balitu, orduan, 4 × 2 = 8 puska eskaini zaizkie 4 lagunei. Soberan geratzen den azken zatia batuz, emaitza 9 puska izango da. Laburbilduz: 9 = 4 × 2 1.

Orokortuz, pusken kopuruari a izena emanez eta lagun kopurua b izanik, hainbatetan zatitu daiteke gazta lagunen artean bakoitzak q puska izateko (zatidura) eta zenbait puska r < b soberan geldituko dira (hondarra). Ondorioz, a = bq r ekuazioa betetzen da.

9 puskak 3 lagunen artean zatituak izan balira 4-ren artean izan ordez, bakoitzak 3 zati izango lituzke. Kasu honetan, hondarra zero da eta esaten da 3-ak hainbatetan zatitzen duela 9, edo 3-ak 9 zatitzen duela.

Zatiketa Euklidearra ere zenbaki negatiboekin erabili daiteke formula berdinarekin; adibidez: −9 = 4 × (−3) 3, hots, −9 4-rekin zatituta −3 da hondarra 3 izanik.

Frogapena 2 zatitan datza — lehenik, q-ren eta r-ren existentziaren froga, eta bigarrenik, q eta r bat eta bakarrak direnaren froga.

Existentziaren froga

[aldatu | aldatu iturburu kodea]

eta bezala emanik, ekuazioa moduan idatz liteke eta desberdintza hau honela idatz liteke: . Hau eginez kasuaren existentzia kasura laburtzen da.

Berdintsu, eta bada, , eta bezala emanik, ekuazioa moduan berridatz liteke eta desberdintza honela idatz liteke . Ondorioz, existentziaren froga eta kasura laburtzen da eta frogaren hondarrean bakarrik hartuko ditugu aintzat.

Izan daitezela q1 eta r1 biak ez-negatiboak, orduan a = bq1 r1, adibidez, q1 = 0 eta r1 = a. Baldin r1 < b egia bada, bukatu dugu. Bestela, q2 = q1 1 eta r2 = r1 − b hauekin bat datoz a = bq2 r2 eta 0 ≤ r2 < r1. Eragiketa hau errepikatuz lortzen dena da: q = qk eta r = rk, hori dela eta, a = bq r eta 0 ≤ r < b da.

Honek existentzia frogatzen du eta zatiketaren algoritmo sinple bat ematen du zatidura eta hondarra kalkulatzeko. Hala ere, algoritmo honek q pauso behar ditu, ondorioz, ez da oso eraginkorra.

Bakartasunaren froga

[aldatu | aldatu iturburu kodea]

Suposatu existitzen direla , , , non , izanik, non eta . Bi desberdintzak batuz gero eta honako hau lortzen da , zein honela adierazi daitekeen .

Aurreko bi ekuazioak berdinduz: . Ondorioz, -ek zatitzen du. Baldin bada, esan nahi du , aurreko desberdintzarekin kontraesanean egonik. Ondorioz, eta . denez, da, bakartasuna frogatuz.

Eraginkortasuna

[aldatu | aldatu iturburu kodea]

Orokorrean, existentziaren froga batek ez du existitzen den objektu bat kalkulatzeko algoritmo bat ekartzen, baina goiko frogapenak bat-batean ematen du algoritmo bat (ikusi Errepikapenezko kenketaren zatiketa). Hala ere, hau ez da oso metodo eraginkorra, zatiduraren kopuruaren hainbeste eragiketa behar baitu. Hau gertatzearen arrazoia bakarrik zenbaki osoen batuketaren, kenketaren eta konparazioaren erabilpenenean dago, biderketa baztertuz nahiz zenbaki oso partikularren erabilpena, adibidez, idazkera hamartarra.

Idazkera hamartarraren ikuspuntutik, zatiketa luzeak askoz ere eraginkorragoa den algoritmo bat ematen du. Idazkera bitarrerako orokortzeak konputagailuan erabiltzea ahalbidetzen du. Hala ere, sarrera handientzat, zatiketak biderketa bihurtzen dituzten algoritmoak, Newton–Raphsonen zatiketa bezalakoak, nahiago izaten dira, biderketen emaitza egiaztatzeko behar den denborarekiko proportzionala delako behar duten denbora, zein biderketa algoritmo erabiltzen ari den kontuan hartu gabe.

  • (Ingelesez) Grimaldi, Ralph P., Discrete and Combinatorial Mathematics: An Applied Introduction

Kanpo estekak

[aldatu | aldatu iturburu kodea]