ô


:     
ô

:   
c
   
?
c
  
  : Dados dos números naturales p y (ú
 


con
 , hacer la división entera de p entre es hallar dos números

{ : (EXISTENCIA DEL MCD

naturales
y  (à    tales que:

Dados dos números naturales no simultáneamente nulos, existe el máximo
ú 
à 

de sus divisores comunes.


ú
  ú
    ú ú ! 
"
?

ú

?
p [  ú ! 

 à
En tal caso, anotaremos que , y a DzpÆ lo llamaremos dividendo, a Dz Æ Dem.:

1 [ .
2 [  #: $%& '(ú)ú    ú ! 
     [  [  #.
divisor, a Dz
Æ cociente y a DzÆ resto de la división.

ô

: Dados dos números naturales p y (ú
  con
 , el
p
?

?p?? ???
p

?? 
ú  ?
3 [*+,úú%,ú%+-.*/%*0,*.

1*ú  [    ú  ú2    ú?
resto y el cociente de la división entera entre ellos existen y son únicos.

ú
3 ú*+%,ú+-.*/%*[?
"
"ô ô"cô" c

c

  : Dados ú
  con
 , diremos que divide a p si la
división entera de a entre b tiene resto cero. En tal caso anotaremos que 
ú c
?
? ???ú[ 4+*/(ú ú ! 
"????????????????????????????????????????Ô


ô

: Dados dos ú
  con
 , la definición anteriormente    

  : Dados dos ú
  con ú
  ,


dada se puede escribir como: 
ú à  ú 
à

comunes. 'ú
  ú ú ! 
".
llamamos máximo común divisor de p y al máximo de sus divisores

{ : ú y 
 ú

ô

: 'ú
  '
ú


ú   à  ú   à  ú à    ú { : ú  ú    'ú   ú

Dem.: 

  à  à    à


  à
 
  à
{ : ú    'ú   
{ : 
ú  'ú
 



{ : ú y 
 ú 

Ô

{ : ú y     ú 


{ : ú ú  

   

ú

 ú y 
 


 à
-

 •n algoritmo es una secuencia de pasos que llevan a

{ : ú    ú
{ :
la solución de un problema específico.

{ : ú    ú
{ : ú ú      ú (sin demostración
-
 

  Euclides era un matemático griego
que nació en el año 365 a.C. en Egipto y murió cerca del

ÿ   ¿Por qué en el Teorema 7 aclaramos que ú  

año 300 a.C. Probablemente estudió en Atenas con
discípulos de Platón. Enseñó en Alejandría y allí fundó

~  

  : Dado ú   llamamos conjunto de
una escuela de matemática. Su principal obra, ˜

?

?

p?se utilizó como texto durante más de 2000

ú    ú
divisores de a al conjunto de todos los divisores de a. años, e incluso hoy, una versión modificada constituye la
base de la geometría plana en los liceos.
 ú

 ú ! 
  
 !  

??ú
  %0ú  ???
 ?

Analicemos ahora la validez del algoritmo.
à
{ :

ú

 ?

1 ú ! 
 
 !  y 2 ú ! 
 5 
 ! . A

Dem.: Para demostrar la igualdad de ambos conjuntos de mostraremos que:
àA
˜?
?p?

?p
p?
?p?
?
pp?p?????? ?
ú

???????? 'ú
  '
A  ?
  ú  ú A àA
1/  ú ! 
    6  9: ú 
à>
ÿ?
?
?p
?

??

   
  
 9: 
à 7 8 <

?
7 8
ú
= ?A  ?'ú
 
B '
 
?

?
?p??
  ú 
à   ú 
à   <
 à ; A

      ?
A
?A  ?
pp?p????
 à
?

  
)      
 !  ?



A
?
3 ú ! 
 
 !   ???????? '
A   'A   ??
 à
ÿ?
?
?p
?

??

    


?1/  
 !     6  9: 
à >

?

   
  
 9: 
à 7 8 < B '
A  

?  ?'ú
  B 'A   A ?

?
?p??
7 8 
ú
= A 
   ú 
à  < A 
 à ; ?  ?
pp?p????
 ú    ú ?
8 à8 ?
A 
ÿ?
?
?p
?

?? à ???????? 'A    ' 8  C?
?

  
)  ú    ú ! 
 ?


8 8
3 ú ! 
 5 
 !   ?

c
?
?? ?ú ! 
  
 !  B '
A  
?8  ?'ú
  B 'A   
B '    ?

?
?p??

A  8

A 
Ô

?8  ?
?
à8 ?
ú

8
?
 'ú
  '

 à
  : ?

ë 

 : ÿpp?pp?
?'ú
%0ú  )
 ?
? Así, sucesivamente podemos observar que, si el proceso es finito, tal
como lo dice el Algoritmo de Euclides sucederá que el último resto no nulo



?

?ú @
? divisiones es el 'ú
.

? obtenido (que coincide con el último dividendo de la secuencia de

? p? ?
?
? 
?
?0: 'ú
 
?

? ñ
pp?p??

p?
?p?

? ? Cabe ahora preguntarnos si esta secuencia siempre, por una
cantidad finita de pasos, logrará conseguir un resto nulo. En efecto, sí.
? ?
? 
?  
? ?
? 0:
? 
? ? ? ? 
? p? Probémoslo:

 

??
?0. ˜???

p?
?
?'ú
? 

 ?
??
??
? 
?D  A  8 E?

p?

? 
? ?
? 
? ? p? 
p

? pp? 
p? p?

       

«A F « F «8 F G. Por lo tanto, de existir un resto nulo, éste será el mínimo

? (Observemos primero las sucesivas divisiones planteadas y notemos que
cero. ¿Cuál es 'ú
 en tal caso?
ÿ  !!!El algoritmo de Euclides no considera el caso en que p?o ? es
de H. Probaremos entonces que H tiene mínimo y éste es 0.
D
 
1? ?

? " #
 9H: D,/*0*I0/%
A  D  D  # 
 !   #
  : Dados ú
  diremos que p y


son primos entre sí, si 'ú
  .

Llamemos J al mínimo de ? 
2? ˜??
??
?0??J   (Por absurdo ú
y ' ú    

?
{ : (TEOREMA DE E•CLIDES

JKA J
p?

?J  ?˜
?
pp?p???? ú  ' ú


àJLA ?
{ : 'ú
  ' S
 '
  
JLA
  D 
˜
??M J LA
J LA
J  /0D 'ú
   
????p ?

ÿ??p?J  ??

?

?
p?
?
?
p?

?
? 
""ô ô" "
{ÿ
ô


 !
  : Dados dos ú
  con
 , diremos que p es
?
?p??
??

B '
A  
Así, 'ú
  B 'A   
B ' 8   G  ' J KA BJ P  JKA , y
A  8
múltiplo de si 
ú. En tal caso anotaremos que ú 
T
NO
por ende, el 'ú
 es el último resto no nulo obtenido en las divisiones
sucesivas. "

: Enuncia los teoremas 1 al 8 usando la definición de múltiplo.
Ô Llámalos Teorema 22 al 29 respectivamente.

{ : ú  T y
 T  ú
  T
{ : ú  T y
 T  ú 
  T
Representación del algoritmo de Euclides:

{ : ú  T y     ú   T
{ : ú  T    úT    T
Se suele utilizar el siguiente esquema para plantear el algoritmo y las

ú

divisiones sucesivas.
 ú  T y
 T    T
àA ? à ? à8 ? àJ ?  à
{ :
A ?  ? JK ? JKA ? { : ú    ú  T
? ? ?

A ?  ? 8 ? { : ú      úT
? ? ?

{ : ú  T ú      ú (sin demostración

? ? 0 ?

Por lo tanto: 'ú
  J KA

~   !
  : Dado ú  U llamamos conjunto de

ú      úT   

múltiplos de p al conjunto de todos los múltiplos de p no nulos
 !!   ~c


ú y 
 'ú

{ : ô

:   U

/'ú'
 

'ú
  ' M


//1/ú
   '

{ : { : (EXISTENCIA DEL mcm
cp? ? 
? pp
? ? ?
!
?
? ? 
? ? ?

ú
ú


???
    
 à  à H ú
  ú
   T /0 ú ! 
"
{ : ? ?

{ :     'ú
  'ú
 

{ : ú y 
 '
     ?
p??[  ú ! 
?
 Q R Q

Dem.:
1 [ . 1b     , ú


' ú ! 
(
2 [  #: $%*V (ú
 úT )ú

T   ú
 ú ! 
   ú
 [ 
 [  #.   , ú
   

      , ú


'    , ú
 '  M  ?
  , ú

   ú
c
?
? ??/0[ 4+*/(/0 ú ! 
"???????????????????????????????????????????????Ô    ú ! 
?


#    !

  : Dados ú
  con ú
 , c
?
p?"p?
? p?

???    , ú


' ú ! 
?
 ?

nulos comunes. ú
  /0 ú ! 
". c
??

p??
??    , ú


'  ú ! 
?
llamamos mínimo común múltiplo de p y al mínimo de sus múltiplos no

ô

: ú
  
ú

˜?


?

?
??
?    , ú


'?
?p?p?,  ?
????p
?

???p #??

{ : ú    ú   ú


ÿ??p?ú
  /0 ú ! 
"  /0    , ú


' 
?

{ : 
ú  ú
  ú  ú
 '?

˜?
"p: ú
  ú
 'ú

{ : ú
  con ú
   ú
  ú
 'ú

Ô

+/*0%(
ú  'ú
 ú
 { : ú
  con ú
   ú
 'ú
  ú


 'ú

 
'ú
    { :     ú
  ú
 
{ : ú y 
 
    
 Q Z Q
Dem.: 

1 Probaremos primero que: ú ! 
      , ú


', siendo

'ú
  'ú

los definidos en el Teorema 20. Para ello trabajaremos

 " ôÿ"ô# ô"ÿ {ô

! 
  : .   con .  , decimos que ?es un número
con la doble inclusión.

1a ú ! 
     , ú


'( primo si .   .

  ú    W ú %0W  U
$~! %& ~ '   

  ú ! 
  M   W ú  X
??

  
    X
%0X  U

ô

: ?es un número primo si tiene 2 y solamente 2 divisores.

ÿ%*Y? 
??ú  ' ú
????
 '
 ???'ú
   ?? 
?
?? { : .à[\]^«\[.  à  '. à  
? 



??W ' ú  X '
 ?

   !
  :    decimos que  es un número
W ' ú  X '
  W ú  X
 ú X

 9H: ú X  X  , ú %0,  U ? compuesto si   ,    y ?no??es un número primo.
   

'ú
 
 7 O
p p?

???   X
??

??
 '
??? 
? 

?

?


ô

$ Mediante estas definiciones los números naturales quedan
  , ú
 , ú
 '    , ú
 '        , ú


'?
? clasificados en 0, 1, primos y compuestos.

c
?
p?"p?
? p?

???ú ! 
     , ú


'?

?
{  : El menor de los divisores distinto de 1 de un número

 compuesto  /0 _  "es primo

compuesto es^«\.
Dem.: Observemos primero que /0 _  " existe ya que _   es
un conjunto de naturales no vacío (pues   _  .
c  ô"ÿô  ÿôc {ôc %ë {ô ÿ"ôcÿ%ÿ

c !   !     ! 

  : Sea? un


Demostraremos que dicho mínimo es primo pensando por absurdo. número compuesto. Decimos que ?admite una DPFP si se se puede escribir

Llamemos W  /0   "

como el producto de factores primos.

Es decir: si ? se puede escribir de la forma   .A hi . hj E .J J , siendo

.A . E .J números primos distintos entre sí, y kA k E kJ números
Supongamos que Í? no es primo. Como no es ni 0 (porque 0 no divide a
ningún natural por definición ni 1, entonces Í?debe ser compuesto.
naturales.

.   .  ).  W.W.
Si Í?es compuesto, entonces Í?acepta un divisor distinto de 1 y de Í?Es decir: 

.W)W 9: .  .  

{ : Todo número compuesto admite una DPFP, y ésta es única.

   .    >
(Sin demostración
<
7 `
 .

.W 9: .  W ú
+-%?
 = Sea?un número compuesto cuya DPFP es   .A hi . hj E .J hl . Entonces:
{ :
7 a   .
W  /0   " < f f  . mi . mj E . ml , con   n  k , p/   E 0
.W ; A  J o o
Ô (Sin demostración

{ : Sean?ú  .A hi . hj E .J hl ,
  .A mi . mj E .J ml . (DPFP


{ : El conjunto de los números primos no tiene máximo.

'ú
  .A qi . qj E .J ql , con ro  /0ko no 

Entonces:

ú
  .A si . sj E .J sl , con to  úko no 

Dem.: Haremos la demostración por el absurdo.

p?D?
??
???
?? (Sin demostración

p?

??

?!?p?

?pp
?$? 


? pp?
? 
? .  ? C b c  E d ? ˜? 
?
? ?
?
Sea?un número compuesto cuya DPFP es   .A hi . hj E .J hl . Entonces la
{ :

???
???
?
kA  k  E kJ ?
cantidad de divisores de ?se obtiene mediante la fórmula:

? . F d  úD  . e D  .0%*+./% ?
% 

?

?

? .  ? (Sin demostración
? .  ? 
?  

 &?
? /0 .  "?
? ? 
? ? ? ?

?
!
? ? 
?
c
?
? ? ? ? ?
? ? 
? 
? ˜
? ?
? 

p? p
?

??

?
?p??

f.  *Y*+,%*Yú//+/g0*.*,*f*+? ?
 p? ? ? 
?

?

. f

"?p??
p??p

?
??

?

?

? C b c E d?

f
??

?
?
??
?'???p ?
Ô


ë
ô$

  
 !

¯"          ( 
! # ??

p? (??c???
?

?????p??
?

p?


?
p?p?!p?
p??
? (??c?

?c?
? (?

?
?p?
p??
?

?c?
?
?p??
?)?
?p"
?

?p #?
?p?p?
p?
?pp?p?p?c?


?
?p?c?ÿ
??c??
?p? (?

?p?
?

p?
?
(??c?
?
?
?p

?
p?
?p??

?
?p?

?

?
?


?ÿ

?p?p??

p?
???
?p? (??
c?
???
??*ÿ?+,,
-??p?
??p?
??

?
?
?

ÿ?p?p?
?

p?

?
?
?
?

?
?


?)?
p?c?

?(˜?
p?˜ ?
?

????
p?˜ ?
?c ?
p? ?

?

????
p? ?
p?
? ˜?˜
?? ?
? ˜?? ˜?

?c ? ?
?

?
p?
?c ?)?p #?
?
?p???ÿ?
p?p #?
??c?)?c?
?p?(˜?˜
? ?
?p?(˜??
p #?
?p?˜ ? ?
?p??( ??p #?
?p?c?˜?
? ?
?
p?p? (??c???

?
?p?
p??
? (??c?

"?

?p #?
?p?p?
p?? 
?

????"
p?


??
?p?

? ?
?p??
? (??c?
p?#
??
cp?

??
?p?c??c?
?p?(˜??p #?
?p?(˜? 
?
?p?
?( ???

?
?p #?p?
? ˜?)? ˜?
?p?c ???

??
p #?
?p?c ?$
?p #?p??c???

?
?p #?p?

? ?
?
?
?p?
?p?
??p?
? 
?

ÿ?p??
?p?p? ?

?
?p??
? (??c?

˜
? ?
?p?p?
p??
? (??c??p?
?

p?

p.?
˜
.
Elementos de Geometría - VII.2

Material extraído de www.euclides.org

ë
ô$

 ! ë
ô$ë   &  !
Eratóstenes nació en Cyrene (Libia en el año 276 a.C.
Fue astrónomo, historiador, geógrafo, filósofo, poeta,
crítico teatral y matemático. Estudió en Alejandría y
Atenas. Trabajó con problemas de matemática, como la
duplicación del cubo y los números primos. Escribió
muchos libros, de los cuales sólo se tiene noticias por
referencias bibliográficas de otros autores. Al final de su
vida fue afectado por la ceguera y murió de hambre por su propia voluntad
en 194 a.C. en Alejandría.
La
 '     es un algoritmo que permite hallar todos los
números primos menores que un número natural dado ¬ Se forma una tabla
con todos los números naturales comprendidos entre 1 y ¬ y se van
Los número primos y sus propiedades fueros estudiadas de manera
exhaustiva por los matemáticos de la antigua Grecia. En la Escuela Pitagórica
(500 a 300 a.C se interesaban en los números por su misticismo y sus
propiedades numerológicas. Entre ellos, estaban interesados en lo que
llamaban números 
"
?y pp 
 •n número 
"
?es aquel que la
(Por ejemplo el 6, donde '   ? C ' y 1+2+3=6; el 28, que ?u 
suma de sus divisores propios da como resultado el número en sí mismo.
 ? v c v ?u y 1+2+4+7+14=28 •n p? 
? 
? pp 
? es un par,
como 220 y 284, tal que los divisores propios de uno de ellos suman el otro y
viceversa.
Para el momento en que los ˜

?
?˜
?aparecieron por
el 300 a.C., ya habían sido probados varios resultados importantes acerca de
los números primos. En el libro IX de los ˜

, Euclides prueba que
pp? los números no primos de la siguiente manera: cuando se
encuentra un natural que no ha sido tachado, ese número se declara primo, y
se procede a tachar todos sus múltiplos. El proceso termina cuando el
cuadrado del mayor número confirmado como primo es mayor que ¬?
? ! 
 ' 
  !
 
  !  (lo que en clase
Intentemos plantear la criba de Eratóstenes para los números menores a
100. Para eso trabaja sobre la tabla y sigue los pasos indicados:
1.? Tacha el número 1, ya que no se considera primo ni compuesto.
2.? Encierra el número 2 y tacha sus múltiplos. O sea, el 4, el 6, el 8, etc.
3.? Empezando a contar desde 2, encierra el número siguiente aún no
eliminado, es decir: el 3, y tacha todos sus múltiplos.
4.? Empezando a contar desde 3, encierra el número siguiente aún no
eliminado, es decir: el 5, y tacha todos sus múltiplos.
5.? Encierra el número siguiente aún no eliminado y tacha todos sus
múltiplos.
6.? Repite el paso anterior hasta terminar con todos los números.
7.? Los números encerrados son los números primos.
² )    ! (teorema que hemos demostrado. Esta
es una de las primeras demostraciones conocidas en las que se utiliza el
método del absurdo para establecer el resultado. Euclides también
demuestra el Teorema Fundamental de la Aritmética: {  
hemos estudiado como D.P.F.P.
Los números de la forma ?J   también atrajeron la atención
porque es muy fácil demostrar que a menso que ? sea primo, este número
(ya que fue Mersenne quien los estudió y se anotan como dJ .
será compuesto. A menudo, estos son llamados ¬
??
?$



Mersenne, de los cuales uno de ellos, el dwxy`xwA , es el mayor número primo
Para el año 2005 habían sido encontrados un total de 42 primos de
conocido hasta el momento y tiene más de 9 millones de dígitos.
En matemática se suele llamar Dzÿ 
p? 
. a los problemas o
resultados planteado que no han sido todavía demostrados. Muchos de los
resultados enunciados sobre primos que no han sido demostrados aún son
"
, afirmaciones de las cuales se está convencido de su validez pero
1 2 3 4 5 6 7 8 9 10 no se ha conseguido demostrar. Algunas de ellas son:
11 12 13 14 15 16 17 18 19 20
21 22 23 24 25 26 27 28 29 30 ? Existe un número infinito de números primos que se diferencian en 2 (como
31 32 33 34 35 36 37 38 39 40 el 3 y 5, el 17 y 19
?
"
'
($ Todo número par mayor que dos puede escribirse
41 42 43 44 45 46 47 48 49 50 como suma de dos primos (como 8=5+3
51 52 53 54 55 56 57 58 59 60
un número al cuadrado más uno (como    ; Cc  ' 
? Existe un número infinito de números primos que responden a la forma de
61 62 63 64 65 66 67 68 69 70
71 72 73 74 75 76 77 78 79 80 ? Siempre existe un número primo entre dos números cuadrados
81 82 83 84 85 86 87 88 89 90 consecutivos (por ejemplo, entre 9=32 y 16=42 existe el número primo 13
91 92 93 94 95 96 97 98 99 100
Información extraída de $p ??"?$p
p?
? Autores: /?/?%0?y ˜? ?ñ
?