ISIS 1104 Matemtica Estructural y Lgica

Semestre 2012-10 - Seccin 2

Parcial 3 Mayo 12, 2011
Prof. Rodrigo Cardoso
*****************
1 [30 puntos]
Demuestre que el producto de 3 nmeros naturales consecutivos es divisible por 6.
Dem:
Induccin sobre nat.
[2/30]
Predicado de induccin: P.n { 6|n*(n+1)*(n+2)

, para n`0.
[3/30]
Caso base: P.0
0*(0+1)*(0+2)

= aritmtica
0
= aritmtica
6*0
[10/30]
Caso inductivo: P(n+1), n`0.
HI: n*(n+1)*(n+2) = 6*a // P.n con testigo
(n+1)*(n+2)*(n+3)
= aritmtica
(n+1)*(n+2)*n + (n+1)*(n+2)*3
= HI
6*a + (n+1)*(n+2)*3
= x/2*2 = x
6*a + ((n+1)*(n+2)/2)*2*3
= aritmtica
6*a + ((n+1)*(n+2)/2)*6
= aritmtica
6*(a + (n+1)*(n+2)/2)
= (n+1)*(n+2)/2 int; a' = a + (n+1)*(n+2)/2 int
6*a'
[15/30]
Variante
Lema 1: 3|(n+1)*(n+2)*(n+3)
Dem:
true
= algoritmo de la divisin
(n+1{
3
0 n+1{
3
1 n+1{
3
2)
a {
m
b { a+1 {
m
b+1, varias veces
((n+1{
3
0 n+2{
3
1 n+3{
3
2)
(n+1{
3
1 n+2{
3
2 n+3{
3
0)
(n+1{
3
2 n+2{
3
0 n+3{
3
1))
Uno de los factores es congruente a 0 mod 3
(n+1)*(n+2)*(n+3) {
3
0
Def {
m

3|(n+1)*(n+2)*(n+3)
[10/30]

Lema 2: 2|(n+1)*(n+2)*(n+3)
Dem:
true
= algoritmo de la divisin
(n+1{
2
0 n+1{
2
1)

((n+1{
2
0 n+2{
2
1 n+3{
2
0)
(n+1{
2
1 n+2{
2
0 n+3{
2
1))
Uno de los factores es congruente a 0 mod 2
(n+1)*(n+2)*(n+3) {
2
0
Def {
m

2|(n+1)*(n+2)*(n+3)
[10/30]
Ahora:
true
Lema 1; Lema 2; 2, 3 son primos diferentes
2*3|(n+1)*(n+2)*(n+3)
= aritmtica
6|(n+1)*(n+2)*(n+3)

[10/30]

2 [30 puntos]
Los nmeros de Fibonacci se definen as:
F
0
= 0
F
1
= 1
F
n+2
= F
n
+ F
n+1
, n`0
Pruebe que, F
4n
{
3
0, para n`0.

Dem: Induccin sobre nat.
[2/30]
Predicado de induccin: Q.n { F
4n
{
3
0, para n`0.
[3/30]
Caso base: Q.0
F
4*0
= aritmtica
F
0
= Def F
0
{
3
x {
m
x

0
[5/30]
Caso inductivo: Q(n+1), n`0
HI: F
4n
{
3
0
F
4(n+1)
= aritmtica
F
4n+4
= Def F
F
4n+3
+ F
4n+2
= Def F
F
4n+2
+ F
4n+1
+ F
4n+2
= aritmtica
2*F
4n+2
+ F
4n+1
= Def F
2*(F
4n+1
+F
4*n
)

+ F
4n+1
= aritmtica
3*F
4n+1
+ 2*F
4n
{
3
HI
3*F
4*n+1
+ 2*0

{
3
3*x {
3
0


0

+ 2*0
= aritmtica
0


[20/30]
3 [40 puntos]
Sean p,q nmeros naturales positivos. Defina las siguientes secuencias
a
0
= p
b
0
= q
a
n+1
= if b
n
=0

then a
n
else b
n
fi ,n`0
b
n+1
= if b
n
=0

then residuo(a
n
,b
n
)

else b
n
fi ,n`0

donde: residuo(x,y) es el residuo de la divisin entera xyy, para y=0.

3a [25/40] Pruebe que, para n`0, mcd(a
n
,b
n
) = mcd(p,q)
Dem: Induccin sobre nat.
[2/25]
Predicado de induccin: E.n { mcd(a
n
,b
n
) = mcd(p,q), n`0.
[3/25]
Caso base: E.0
mcd(a
0
,b
0
)
= a
0
=p, b
0
=q
mcd(p,q)
[5/25]
Caso inductivo: E(n+1), n`0.
HI: E.n
Caso: b
n
=0
mcd(a
n+1
,b
n+1
)
= Def a
n
, b
n

mcd(b
n
,residuo(a
n
,b
n
))
= a
n
- qb
n
= residuo(a
n
,b
n
) donde q=a
n
yb
n

mcd(b
n
,a
n
-qb
n
)
= mcd(u,v) = mcd(u,v+u) = mcd(u,v+2u) = . = mcd(u,v+qu)
mcd(b
n
,a
n
-qb
n
+qb
n
)
= aritmtica
mcd(b
n
,a
n
)
= mcd(u,v) = mcd(v,u)
mcd(a
n
,b
n
)
= HI
mcd(p,q)

[10/25]
Caso: b
n
=0
mcd(a
n+1
,b
n+1
)
= Def a
n
, b
n

mcd(a
n
,b
n
)
= HI
mcd(p,q)
[5/25]

3b [10/40] Pruebe que existe N`0 tal que b
N
=0.
Dem:
Sea nnat, arbitrario pero fijo. Si b
n
=0, no hay nada que demostrar. En otro caso, b
n
>0, y entonces:
b
n+1

= Def b
n+1

residuo(a
n
,b
n
)
< Alg. de la divisin
b
n
[5/10]
Es decir, la sucesin b
n
es estrictamente decreciente, mientras b
n
>0. Esto no puede suceder
indefinidamente, porque se tendra una cadena estrictamente descendente en nat. Por tanto, en algn
momento b
n
=0. Sea N el menor natural para el que esto sucede.
[5/10]


3c [5/40] Pruebe que, a
N
=mcd(p,q).
Dem:
mcd(p,q)
= 3a
mcd(a
N
,b
N
)
= b
N
=0
mcd(a
N
,0)
= mcd(x,0)=x
a
N
[5/5]