Cap´ıtulo 2 Divisibilidad en Z - IMERL
Cap´ıtulo 2 Divisibilidad en Z - IMERL
Cap´ıtulo 2 Divisibilidad en Z - IMERL
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