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.

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.

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

Saved successfully!

Ooh no, something went wrong!