Zatiketa euklidear

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 

 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.

Adibidea 

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.

Historia 

"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 

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 
Frogapena 2 zatitan datza — lehenik, q-ren eta r-ren existentziaren froga, eta bigarrenik, q eta r bat eta bakarrak direnaren froga.

Existentziaren froga 

 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 
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 
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.

Bibliografia 
  , Discrete and Combinatorial Mathematics: An Applied Introduction

Ikus gainera 
 Zatiketa (matematika)
 Zatitzaile
 Zenbaki teoria

Kanpo estekak 

Aritmetika
Zenbakien teoria