Taller de matemtica 1

Profesor Hugo Garca

Primer examen parcial

Primer semestre

2 de marzo de 2016

Siga las instrucciones para cada seccin de este examen, recuerde trabajar
de forma limpia y ordenada. Deje sus respuestas con lapicero para tener
derecho a revisin. Consigne sus respuestas en el cuadernillo. Duracin de
la prueba: 100 minutos.
1. (10 puntos) Enuncie y demuestre el lema de Euclides.
2. (15 puntos) Enuncie y demuestre el algoritmo de la divisin para enteros positivos.
3. (25 puntos) Demuestre que
12 + 32 + + (2n 1)2 =

n(2n 1)(2n + 1)
,
3

n1

Solucin: Se procede a hacer la demostracin por induccin matemtica.

Caso base: Para n = 1 se tiene en el lado izquierdo
12 = 1
mientras que del lado derecho
1 (2 1 1)(2 1 + 1)
113
=
3
3
= 1.
De esta cuenta se tiene que
12 =

1 (2 1 1)(2 1 + 1)
113
=
3
3

Hiptesis de induccin: Suponemos que

12 + 32 + + (2k 1)2 =

k(2k 1)(2k + 1)
3

para algn k nmero natural. Paso inductivo: Se busca demostrar que la propiedad
es cierta para el nmero natural k + 1, esto es:
12 + 32 + + (2k 1)2 + (2(k + 1) 1)2 =

(k + 1)[2(k + 1) 1][2(k + 1) + 1]
.
3

Para ello es necesario usar la hiptesis de induccin

12 + 32 + + (2k 1)2 + (2(k + 1) 1)2 =

k(2k 1)(2k + 1)
+ (2k + 1)2
3

Taller de matemtica 1

Primer examen parcial, pgina 2 de 3

=
=
=
=
=

2 de marzo de 2016

k(2k 1)(2k + 1) + 3(2k + 1)2

3
(2k + 1)[k(2k 1) + 3(2k + 1)]
3
(2k + 1)(2k 2 + 5k + 3)
3
(2k + 1)(k + 1)(2k + 3)
3
(k + 1)[2(k + 1) 1][2(k + 1) + 1])
3

4. (25 puntos) Demuestre que si mcd(a, b) = 1 entonces mcd(a2 , b2 ) = 1.

Ayuda: Demuestre que mcd(a, b) = 1 y mcd(a, c) = 1 implica mcd(a, bc) = 1 y con ello
que mcd(a, b2 ) = mcd(a2 , b) = 1.
Solucin:
Lema 1. mcd(a, b) = 1 y mcd(a, c) = 1 implica mcd(a, bc) = 1.
Prueba. Por el lema de Bezout exiten x, y, z, w enteros tales que
ax + by = 1,
aw + cz = 1

(1)
(2)

Al multiplicar la ecuacin 1 con la ecuacin 2 se tiene:

a(axw + cxz + bwy) + bc(z) = 1,
por el Lema de Bezout y el hecho que axw + cxz + bwy, z son enteros se satisface
que a,bc = 1.
Por el lema anterior aplicado con b = c, se tiene que mcd(a, b2 ) = mcd(b2 , a) = 1. De
esta cuenta al aplicar el lema con mcd(b2 , a) = 1, se tiene que mcd(b2 , a2 ) = 1.
5. (25 puntos) Demuestre que si a y b son enteros impares, entonces 16|a4 + b4 2

Pgina 2

Taller de matemtica 1

Primer examen parcial, pgina 3 de 3

2 de marzo de 2016

Solucin: Manipularemos algebraicamente la expresin a4 + b4 2:

a4 + b4 2 = a4 2a2 b2 + b4 2 + 2a2 b2
= (a2 b2 )2 2(1 a2 b2 )
= [(a + b)(a b)]2 2(1 a2 b2 )
Notemos que [(a + b)(a b)]2 es divisible por 16, ya que tanto a + b como a b son
pares, por lo que su producto es mltiplo de 4 y al elevarlo al cuadrado el resultado
es mltiplo de 16. De la misma manera, por ser a y b impares su producto es impar
y por lo tanto a2 b2 es impar. De esta cuenta existe k entero tal que a2 b2 = 2k + 1.
Al sustituir en la ltima ecuacin obtenemos:
2[1 (2k + 1)2 ] = 2(4k 2 4k)
= 8k(k + 1)
k y k + 1 son enteros consecutivos, por lo que alguno de los dos debe ser par, por
lo tanto 8k(k + 1) debe ser mltiplo de 16. Por lema previo se tiene que como
16|[(a + b)(a b)]2 y 16|2(1 a2 b2 ), entonces 16|a4 + b4 2

Pgina 3