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.
2.1. DIVISIÓN EUCLÍDEA EN Z. MÁXIMO COMÚN DIVISOR 27<br />
N = p1p2 · · · pn + 1.<br />
Por el teorema anterior, sabemos que N es producto de primos. Sea, pues, p un<br />
factor primo de N. Este primo ha de ser uno de los p1, p2, . . . , pn, digamos p = pi.<br />
Entonces, pi divide a N − p1p2 · · · pn que es igual a 1, con lo que hemos llegado a<br />
una contradicción.<br />
Una de las primeras tareas matemáticas (y algorítmicas) que realizamos <strong>en</strong> nuestra<br />
vida es la de apr<strong>en</strong>der a dividir números naturales con resto. La forma <strong>en</strong> la que nos<br />
<strong>en</strong>señan a dividir, basada <strong>en</strong> la búsqueda de un natural que “quepa”(si no la mejor<br />
desde un punto de vista de efici<strong>en</strong>cia) es, <strong>en</strong> cierto modo, la misma idea <strong>en</strong> la que<br />
se basa la demostración del sigui<strong>en</strong>te teorema.<br />
Teorema 2.6 (División euclídea) Si a y b son dos <strong>en</strong>teros, b = 0, existe un único<br />
par de <strong>en</strong>teros q y r tales que:<br />
a = bq + r y 0 ≤ r < |b|.<br />
A q y a r se les conoce, respectivam<strong>en</strong>te, como coci<strong>en</strong>te y resto de la división euclídea<br />
de a por b.<br />
Demostración.– Empecemos por demostrar la exist<strong>en</strong>cia de coci<strong>en</strong>te y resto.<br />
Supongamos, primero, que b > 0 y sea S = {x ∈ Z : bx ≤ a}. Este conjunto S es<br />
no vacío (−|a| pert<strong>en</strong>ece a S) y está acotado superiorm<strong>en</strong>te (por ejemplo, por |a|).<br />
En consecu<strong>en</strong>cia, ti<strong>en</strong>e máximo. Llamaremos q a este máximo y r = a − bq. Por<br />
construcción, se ti<strong>en</strong>e que a = bq + r. Veamos que r verifica lo exigido. En efecto,<br />
r ≥ 0 (por pert<strong>en</strong>ecer q a S)<br />
r < |b| = b. Si r ≥ b, se t<strong>en</strong>dría b(q+1) = bq+b ≤ bq+r = a y, <strong>en</strong> consecu<strong>en</strong>cia<br />
q + 1 pert<strong>en</strong>ecería a S contradici<strong>en</strong>do el hecho de q es el máximo de S.<br />
Si b < 0, aplicamos el caso anterior a −b.<br />
Para probar la unicidad supongamos que q1, r1 y q2, r2 verifican las condiciones del<br />
teorema, es decir,<br />
a = bq1 + r1 con 0 ≤ r1 < |b| y<br />
a = bq2 + r2 con 0 ≤ r2 < |b|<br />
y que r1 ≤ r2. Restando, se ti<strong>en</strong>e b(q1 −q2) = r2 −r1. Por lo tanto, |b| divide a r2 −r1,<br />
pero también se ti<strong>en</strong>e que 0 ≤ r2 − r1 < |b|. Esto sólo es posible si r2 − r1 = 0. Por<br />
lo tanto, r2 = r1 y, <strong>en</strong> consecu<strong>en</strong>cia q2 = q1.