07.05.2013 Views

Cap´ıtulo 2 Divisibilidad en Z - IMERL

Cap´ıtulo 2 Divisibilidad en Z - IMERL

Cap´ıtulo 2 Divisibilidad en Z - IMERL

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

34 CAPÍTULO 2. DIVISIBILIDAD EN Z<br />

y después volver hacia atrás utilizando dichos restos y coci<strong>en</strong>tes. Sin embargo, podemos<br />

organizar los cálculos de manera que esto no sea necesario. Para ello, usaremos<br />

los coci<strong>en</strong>tes para construir xk e yk tales que:<br />

axk + byk = rk (0 ≤ k ≤ n).<br />

De este modo, si k = n, t<strong>en</strong>dríamos resuelto nuestro problema.<br />

Para k = 0, basta tomar x0 = 1 e y0 = 0 y si k = 1, x1 = 0 e y1 = 1. Ahora<br />

supongamos que hemos <strong>en</strong>contrado xk e yk para todo índice 0 ≤ k ≤ s y queremos<br />

calcular xs+1 e ys+1. Se t<strong>en</strong>dría:<br />

rs+1 = rs−1 − rsqs = axs−1 + bys−1 − qs(axs + bys) = a(xs−1 − qsxs) + b(ys−1 − qsys)<br />

Lo que hemos visto es que las sucesiones de <strong>en</strong>teros definidas por:<br />

verifican<br />

x0 = 1, x1 = 0, xk+1 = xk−1 − qkxk<br />

y0 = 0, y1 = 1, yk+1 = yk−1 − qkyk<br />

axk + byk = rk (0 ≤ k ≤ n).<br />

De paso, esta construcción demuestra que:<br />

Teorema 2.15 Para todo par de <strong>en</strong>teros a y b no los dos nulos, exist<strong>en</strong> <strong>en</strong>teros x<br />

e y tales que se verifica la id<strong>en</strong>tidad de Bézout:<br />

ax + by = mcd(a, b)<br />

Ejercicio. Probar que a y b son coprimos si, y sólo si, exist<strong>en</strong> <strong>en</strong>teros x e y tales que<br />

ax + by = 1.<br />

Interpretación matricial del Algoritmo ext<strong>en</strong>dido de Euclides<br />

Llamemos, al igual que antes, r0 = a y r1 = b. Asimismo, consideremos las matrices<br />

<br />

x0<br />

R0 =<br />

⎛<br />

<br />

x1<br />

= I S0 = ⎝ r0<br />

⎞<br />

r1<br />

⎠<br />

y0 y1<br />

x0 x1<br />

y0 y1<br />

Obsérvese que det(R0) = 1. El primer paso <strong>en</strong> el algoritmo de Euclides ext<strong>en</strong>dido<br />

consiste <strong>en</strong> dividir r0 por r1, r0 = r1q1 + r2, sustituir el par (r0, r1) por (r1, r2) y

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!