UNIVERSIDAD NACIONAL DE SAN AGUSTÍN

Cuál es la
P(mcd(m,n)=1)???
Exposición realizada en el auditorio de la escuela profesional de
matemáticas, por el Dr. Paul Loomis.

ASTO CÁCERES, Moisés

12/05/2017

La matemática es una ciencia que guarda muchos misterios, desde lo más simple a lo más complicado, y aunque la no
nos demos cuenta de ello, las matemáticas son el soporte de las demás, como menciona mi profesor de análisis numérico
nuestro sistema de educación está fallando por interés del gobierno a las ciencias puras… pero tenemos probabilidad y
podemos modificar este algoritmo para que este programa corra…
“Pensé durante toda la semana que el examen de química seria como
un presente regalo para mí, mi imaginación me llevo a creer que sería
quien saque la mayor nota en esta prueba, pero; basta acordarse de
quien mucho abarca, poco aprieta, es lo que me sucede acaso? no lo
sé? Pero creo que me estoy consumiendo de a pocos.”

ASTO CÁCERES, Moisés.

1
 EXPOSICIÓN REALIZADA POR EL DR. PAUL LOOMIS.

Paul loomis: loomispa@gmail.com

“Sea m, n , cuál es la probabilidad de sacar dos números enteros co-primos donde su máximo
común divisor sea uno?”

P  mcd  m, n   1 ??
Pues la probabilidad es:

P  mcd  m, n   1 
6
 0.608...
2

Este es el resultado al cual debemos de llegar.

Empecemos:

SUCESOS DEPENDIENDO DE LA CONTINUIDAD.

Problema de “Basel” (resuelta por Euler en 1735).


1
  z   2
?
n 1 n

Donde   z es la " z " de Riemann, además sabemos que esta función converge.
 Entonces tenemos que:
x3 x5 x 7
sin  x   x    
3! 5! 7!

 Podemos expresarlo como:

sin  x  x2 x4 x6
 1    
x 3! 5! 7!
 Donde sus raíces serán:
 , 2 , 3 , 7 ,

Entonces esto lo podemos expresar de la siguiente manera:

sin  x   x  x  x  x  x  x 
 1  1  1  1  1  1  
x      2  2  3  3 
sin  x   x 2  x 2  x2 
 1  2 1  2 1  2 
x    4  9 

2
 2
Pasamos el coeficiente x tenemos:

1 1 1 1 1
  2  2  2   ...
3!  4 9 16 2
Multiplicamos por el factor común tenemos:
2 1 1 1 
1
 1      2
3! 2! 3! 4! n 1 n

Por lo cual esto será nuestra primera conexión, haremos de cuenta que lo que hacemos es como ver
una película de cine, donde se cuentan distintos relatos y que estos en el último hacen conexión.


TEORÍA DE NÚMEROS n  ,

  n   # de1  x  n / mcd  m, n   1
  n   # de divisor n 1
d |n

  n   suma de los divisores d

d |n

Puntos reticulares visibles desde  0, 0 

Donde los círculos son os puntos visibles desde el origen, y las estrellas son los puntos no visibles.

 Lema:  m, n  es visible desde  0, 0  , si y solo si mcd  m, n   1

3
 Observamos los cuatro cuadrantes donde cada uno de ellos es simétrico, para la
observación de los puntos reticulares usaremos la simetría para ello lo multiplicaremos por
cuatro.
N  r   Números de puntos reticulares en el cuadrado.
  r , r  *  r , r    0, 0 
  2r  1  1  4r 2  4r
2

N '(r )  Números de puntos reticulares en el cuadrado que son visibles desde  0, 0 

r 1 2 3 4 5 6
N '(r ) 8 16 32 48 80 96
N (r ) 8 24 48 80 120 168

Nr 
 Densidad de puntos visibles.
N r 
Nr 
lim  Densidad asintótica de puntos reticulares visibles.
r  N  r 

N 'r 
 Para contar tenemos:

Nr   8  
1 y  r
1 88 
2 x  r

1 y  x
mcd  y , x  1 mcd  y , x  1

Nr   8  8    x
2 x  r

Nr   8   x
1 x  r

De aquí tenemos:
  30   8
  31  30
  32   16

SEA ai  UNA SECUENCIA DECRECIENTE Y f  i   ai CON f CONTINUA Y

DECRECIENTE (calculo).

Entonces:
x x
La suma parcial es:  f  t  dt  a
1 i 1
i

4
De aquí tenemos:
x x x x

 ai   f (t )dt   ai  a1   f (t )dt
i 2 i 1
1 1
 
Entonces a i 1
i converge si y solo si  f (t )dt
1
Aún más, tenemos cotes por las sumas parciales:

 
1 1

i 1 i
Diverge  t dt
1

Pero:

n n n
1
 f (t )dt    1   f (t )dt
1 i 1 t 1

n
1
ln(n)    1  ln(n)
i 1 i

Con las mismas técnicas y algo más llegamos a  (n)  x ln( x)  o( x) donde o es una constante.
n x

3
  ( n)  
n x
2
x 2  o( x log( x ))

3
Crece más lento en el límite: ( x 2  o(r log(r )))
 2

3
8( x 2  o(r log(r )))
lim
N '(r )
 lim  2

r  N ( r ) r  4 r 2  4r

De aquí tenemos.

24
lim  2  lim 6  0.6079271019
r  4 r   2

Por lo que llegamos al resultado previsto. Donde la probabilidad es:

P  mcd  m, n   1 
6
 0.608
2

Fin.