Un alumno le pregunta a un profesor:

-Cuntos aos tienen tus tres hijas?

El profesor le contesta:
- Si multiplicas sus edades, da 36, y si las sumas da el nmero del piso en el que
vives.
- Me falta un dato! exclam el alumno - .
- Tienes razn. La mayor toca el piano.
Qu edades tienen sus tres hijas?

Objetivo del ejercicio: que el alumno practique a partir del ejercicio los trminos
de mltiplo, divisor, etc. Es una buena introduccin para el tema.

A partir del ejercicio podr surgir la palabra divisor y por eso la definiremos de la
siguiente manera:

DIVISOR: Definicin
El natural a es divisor del entero b si existe un entero k tal que b = a x k

Nos parece conveniente disponer de alguna notacin especial que exprese cuando un
nmero es divisor del otro.
Con el smbolo a|b queremos significar a es divisor de b, a divide a b o tambin b es
divisible por a.
La negacin a|b se expresa diciendo que a no es divisor de b

EJEMPLOS:
5 es divisor de 15; 5|15
5 no es divisor de 11; 5|11
2 es divisor de 0; 2|0
3 es divisor de 9991221312; 3|99912211312

Sea el nmero 12. Qu nmeros son divisores del l? Podemos llegar a la conclusin
de que 1; 2; 3; 4; 6; 12 son sus divisores. Escribiremos entonces al conjunto de los
divisores de un nmero de la siguiente manera: d(12) = {1; 2; 3; 4; 6; 12}

As que por ejemplo, diremos que d(3) = {1; 3} y d(27) = {1; 3; 9; 27}. Podemos ver
que existe el caso particular (0) = N*

10 d(120)? Efectivamente s. Pues existe un nmero natural (12) de tal manera que
10x12=120. Entonces 10|120

4 d(18)? Esto no es cierto, no pertenece, ya que no existe un nmero natural de

tal manera que 4xn = 18 (siendo n un nmero natural deseado). Podemos afirmar
entonces 4 d(18).

48 d(24)? No, no es cierto, pues no existe un nmero natural de tal manera que
48xn=24.

Podemos enunciar una propiedad de los divisores de un nmero: Si t d(a) entonces

necesariamente t a

Podemos ahora progresar y definir de forma anloga a lo anterior que significa que un
nmero sea mltiplo de otro

MLTIPLO: Definicin
El natural b es mltiplo del natural a si existe un entero k tal que b = a x k

Podemos citar ejemplos como: 15 es mltiplo de 5, 9 es mltiplo de 3, 13 no es

mltiplo de 4, 5 no es mltiplo de 15.
.
Necesitamos un smbolo (como el caso anterior) y ser el siguiente: b a , queriendo
decir (b es mltiplo de a)

Aqu varios ejemplos:

 . . .
14 7 , 99 3 , 56 5
Hemos comprobado entonces que 14 es mltiplo de 7 (pues existe un nmero natural el
2 de manera que 2x7 = 14) entonces es correcto decir que 14 M(7) siendo M(7) el
conjunto de todos los mltiplos de 7 y que 5 M(3)
.
Si hablamos de trminos general diremos que b M(a) entonces ba
Hagamos la siguiente divisin:

15/4.
Definicin: dados dos naturales D (dividendo) y d (divisor), con d 0, llamamos
cociente (q) y resto (r) de la divisin natural a dos nmeros que cumplen la relacin
D = dxq + r, siendo 0 < r < d.

Podemos llegar a la conclusin que si pretendemos que su cociente sea natural nos
quedar de la siguiente manera 15 = 4x3 + 3. Se puede notar lo siguiente entonces:
3x4 15 < (3+1)4, es decir, para llevarlo a una manera genrica qxb a < (q+1)xb.
En definitiva, lo que conjeturamos es que existir y ser nico un nmero
natural q tal que el producto con el divisor sea menor o igual que el dividiendo y
que el producto entre el divisor y el siguiente nmero de q (es decir q+1) sea mayor
al dividiendo.
Lo demostraremos a continuacin

Lema: Dados a y b naturales cualesquiera, existe un nico entero q tal que

qxb a < (q+1)xb.