17/02/2020, 17:59:37 *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Homenaje a NUMERARIUS
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Máximo común divisor  (Leído 3383 veces)
0 Usuarios y 1 Visitante están viendo este tema.
héctor manuel
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
México México

Mensajes: 3.631



Ver Perfil
« : 08/04/2015, 11:46:32 »

Los problemas son:
1) Sea [texx]n\in\mathbb{N}[/texx]. Entonces [texx](n!+1,(n+1)!+1)=1[/texx].

Demostración

Usaremos el siguiente lema: "Si [texx]p[/texx] es primo y [texx]a,b\in\mathbb{N}[/texx] son tales que [texx]p|ab[/texx], entonces [texx]p|a[/texx] o bien [texx]p|b[/texx]".

De esta forma, supongamos que [texx](n!+1,(n+1)!+1)\neq 1[/texx], de modo que este mcd debe ser mayor que 1. Luego, por el Teorema Fundamental, existe un primo [texx]p[/texx] tal que [texx]p|(n!+1,(n+1)!+1)[/texx].

Así, como [texx]p|n!+1[/texx] y [texx]p|(n+1)!+1[/texx], entonces [texx]p|(n+1)!+1-(n!+1)=n!n[/texx]. Se concluye del lema anterior que, al ser [texx]p[/texx] primo, entonces [texx]p|n![/texx] o [texx]p|n[/texx]. Veamos que necesariamente se cumple [texx]p|n![/texx]. En efecto, si [texx]p|n![/texx] ya, y si [texx]p|n[/texx], inferimos que [texx]p\le n[/texx], resultando en [texx]p|n![/texx] por definición de factorial.

Luego, debido a que [texx]p|n![/texx] y [texx]p|n!+1[/texx], se ha de cumplir que [texx]p|n!+1-n!=1[/texx], por lo cual [texx]p=1[/texx]. Pero [texx]p[/texx] es primo. Esta contradicción muestra que [texx](n!+1,(n+1)!+1)=1[/texx] [texx]\quad[/texx].







2) Si [texx]a,b,c[/texx] y [texx]d[/texx] son naturales tales que [texx]ad-bc|a[/texx] y [texx]ad-bc|c[/texx], entonces para cualquier [texx]n\in\mathbb{N}[/texx] se tiene que [texx](an+b,cn+d)=1[/texx].

Demostración

Sea [texx]x=(an+b,cn+d)[/texx].

Como [texx]x|an+b[/texx], entonces [texx]x|c(an+b)=acn+bc[/texx]. Como [texx]x|cn+d[/texx], entonces [texx]x|a(cn+d)=acn+ad[/texx]. Luego, [texx]x|acn+ad-(acn+bc)=ad-bc[/texx].

Por transitividad, debido a que [texx]ad-bc|a[/texx] y [texx]ad-bc|c[/texx] se sigue que [texx]x|a[/texx] y [texx]x|c[/texx], y por cumplirse que [texx]x|an+b[/texx] y [texx]x|cn+d[/texx], nos damos cuenta de que [texx]x|b[/texx] y [texx]x|d[/texx].

Dado lo anterior, podemos escribir [texx]a=xa_1[/texx], [texx]b=xb_1[/texx], [texx]c=xc_1[/texx] y [texx]d=xd_1[/texx] para ciertos [texx]a_1,b_1,c_1,d_1[/texx].

Luego, [texx]ad-bc=x^2(a_1d_1-b_1c_1)|a=xa_1[/texx], de donde [texx]x|a_1[/texx], y análogamente, [texx]x|c_1[/texx], de modo que [texx]a_1=xa_2[/texx] y [texx]c_1=xc_2[/texx], por lo cual [texx]a=x^2a_2[/texx] y [texx]c=x^2c_2[/texx].

Pero esto último implica [texx]ad-bc=x^3(a_2d_1-b_1c_2)|a=x^2a_2[/texx], de donde [texx]x|a_2[/texx] y análogamente, [texx]x|c_2[/texx], de modo que [texx]a_2=xa_3[/texx] y [texx]c_2=xc_3[/texx], por lo cual [texx]a=x^3a_3[/texx] y [texx]c=x^3c_3[/texx].

Nuevamente, esto último implica [texx]ad-bc=x^4(a_3d_1-b_1c_3)|a=x^3a_3[/texx], de donde [texx]x|a_3[/texx] y análogamente, [texx]x|c_3[/texx], de modo que [texx]a_3=xa_4[/texx] y [texx]c_3=xc_4[/texx], por lo cual [texx]a=x^4a_4[/texx] y [texx]c=x^4c_4[/texx].

Como puede verse, podemos continuar con este proceso infinitamente, de modo que [texx]x,x^2,x^3,x^4,...[/texx] son divisores de [texx]a[/texx] (y de [texx]c[/texx]). Así, si [texx]x\neq 1[/texx] entonces estas potencias de [texx]x[/texx] son todas distintas, así que [texx]a[/texx] tendría infinitos divisores, por lo cual necesariamente ha de ser [texx]x=1[/texx], lo que concluye la prueba.[texx]\quad[/texx]

Saludos, Héctor.
En línea
Juan Pablo Sancho
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 4.679


Ver Perfil
« Respuesta #1 : 08/04/2015, 16:33:08 »

[texx] {\red Editado }[/texx] perdón Hector había puesto una burrada


Spoiler (click para mostrar u ocultar)

Ni sacar factor común.

[texx] {\red Editado }[/texx]

Un segundo intento para el primero:

[texx] d = (n!+1,(n+1)!+1) [/texx] entonces [texx] d|[p(n!+1) + s \cdot ((n+1)!+1)] [/texx] para todo [texx] p,s \in \mathbb{Z} [/texx]

[texx]\displaystyle p(n!+1) + s \cdot ((n+1)!+1) = (p+s) \cdot (n!+1) + n! \cdot s \cdot n [/texx]

Como [texx] d|[(p+s) \cdot (n!+1) + n! \cdot s \cdot n] \ \ \ \ [/texx]  y   [texx]\ \ \ d|(n!+1) [/texx] para todo [texx] p,s \in \mathbb{Z} [/texx] tenemos que:

[texx] d| n! \cdot s \cdot n [/texx] tomo [texx] s = (n-1)! [/texx] y queda que [texx] d| n! \cdot n! [/texx]

Uso el hecho de que:

[texx](a,b)=(a,c) = 1 [/texx] entonces [texx] (a,bc)=1 [/texx] y nos queda [texx] d|(n!+1,n! \cdot n!) = 1 [/texx].

Tampoco acorté mucho el trabajo.
En línea
héctor manuel
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
México México

Mensajes: 3.631



Ver Perfil
« Respuesta #2 : 08/04/2015, 18:11:33 »

Hola Juan Pablo. Te comento:
[texx] {\red Editado }[/texx] perdón Hector había puesto una burrada

Tampoco acorté mucho el trabajo.

Puse el hilo en discusiones semi-públicas pensando no sólo que lo viera la persona que me pidió ayuda (la cual es ajena al Foro), sino precisamente para que quienquiera que se anime pueda participar con las ideas que pueda... lo importante es ver si podemos mejorar las demostraciones, así que no te preocupes.

Gracias.

Saludos, Héctor.
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!