ebooksgratis.com

See also ebooksgratis.com: no banners, no cookies, totally FREE.

CLASSICISTRANIERI HOME PAGE - YOUTUBE CHANNEL
Privacy Policy Cookie Policy Terms and Conditions
Lema d'Euclides - Viquipèdia

Lema d'Euclides

De Viquipèdia

[edita] Enunciat

El lema d’Euclides diu que si un nombre primer p divideix el producte a * b i no divideix a llavors divideix b.


[edita] Demostració

Si p divideix a * b vol dir que existeix un nombre enter n > 1 tal que a * b = n * p

La demostració del lema d’Euclides es fa trobant un nombre enter n' tal que b = n' * p

El primer pas serà trobar dos nombres enters x e y tals que:

1 = x * a + y * p

Un cop s’hagin trobat aquests dos nombres multiplicant per b els dos termes de la igualtat es tindrà que

b = x * a * b + y * a * p

i com que a * b = n * p

substituint resulta que

b = x * n * p + y * a * p

i per tant

b = (x * n + y * a) * p

Amb lo que fent n' = x * n + y * a ja es tindrà el nombre que es buscava i quedarà demostrat que b és múltiple de p.

Per a trobar els dos nombres x e y cal fixar-se que si un nombre és divisor comú de uns altres dos, també ho és del residu. Això és evident: siguin a,b dos nombres, en dividir a entre b es troba el quocient q i el residu r i es pot expressar:

a = b * c + r

Per tant

r = ab * c

Si un nombre d és divisor comú de a i de b vol dir que existeixen nombres n i n’ tals que a = n * d i b = n' * d, substituint resulta que;

r = nd + n' * d * c = (n + n' * c) * d per tant d també és divisor de r.

Aquesta idea és amb la que es basa l’Algorisme d'Euclides per a trobar el màxim comú denominador de dos nombres. Aquí es farà servir per a trobar els nombre x e y de forma que quedarà completada la demostració del lema.

Dividint a entre p es té:

a= q_1*p+r_1 \Rightarrow r_1=a-q_1*p (amb r1 diferent de zero perquè p no divideix a)

Ara dividint p entre r1 es té:

p = q2 * r1 + r2 (amb r2 diferent de zero perquè p és un nombre primer)

A partir d’aquí es continua dividint:

r_1 = q_3 * r_2 + r_3 \Rightarrow r_3 = r_1 - q_3 * r_2

Fins a trobar un ri amb i > = 3 que sigui zero:

r_{i-3} = q_{i-1} * r_{i-2} + r_{i-1} \Rightarrow r_{i-1} = r_{i-3} - q_{i-1} * r_{i-2}

ri − 2 = qi * ri − 1 + ri

Com que ri = 0, ri − 1 és divisor comú de ri − 2, ri − 3,... r2, r1, a,p. Però p és un nombre primer, per tant l’únic divisor que té diferent de ell mateix és 1. Per tant ri − 1 = 1.

D’aquí resulta que:

1 = ri − 3qi − 1 * ri − 2

Substituint ri − 2, ri − 1,... r1 pels valor trobats, al final queda:

1 = x * a + y * p on x i y són els dos nombres sencers que es buscaven (un dels dos és negatiu però no hi ha cap problema perquè no cal que siguin positius)


aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -