Mejor respuesta - Elegida por la comunidad

Mira:
La induccin es un mtodo muy util cuando uno quiere probar propiedades que se
cumplen para todos los nmeros NATURALES. Esto consta de tres pasos importantes.
Vamos a describirlos con un ejemplo
Quiero probar que, para todos los nmeros naturales se cumple que
0 +1 + 2 + 3 + ..... + n = n (n+1)/2
(1) El primer paso es el PASO BASICO
en el cual tu demuestras que la propiedad se cumple para el numero 0.
Para el caso de n=0 tenemos
0 = (0)(0+1)/2 entonces se cumple para n=0.
(2) El siguiente paso es formular la HIPOTESIS DE INDUCCION, es decir, vamos a
suponer que la propiedad se cumple para un natural n. Es decir, asumamos que
0 +1 + 2 + 3 + ..... + n = n (n+1)/2, par un natural n.
(3) Y en el ltimo paso, vamos a probar la propiedad para el caso n+1, asumiendo la
hipotesis de induccin, es decir, asumiendo que ya se cumple para n.
Probemos que se cumple para n+1, haciendo la sumatoria hasta el trmino n+1, y
viendo que el resultado concuerda con el de la propiedad:
0 +1 + 2 + 3 + ..... + n + (n+1)
= ( 0 +1 + 2 + 3 + ..... + n ) + (n+1) simplemente asoci con un parentesis todos los
termins hasta n.
Pero, en la hiptesis de induccin asumamos que, lo que est dentro del parentesis
grande tena como reusltado
n(n+1)/2, entonces esa expresion queda igual a
= (n (n+1)/2) + (n+1)
y sumando estas fraciones
= (n(n+1) + 2(n+1)) /2
factorizando (n+1) queda igual a
= (n+1)(n+2)/2
= (n+1)((n+1) +1) /2

Si tu ves este es el resultado de la propiedad

es decir, esto es n(n+1)/2, pero en ves de n, est (n+1), entonces la proiedad se cumple
para (n+1)
Y de estos tres pasos concluimos que la propiedad se cumple para todos los naturales,
pues lo probamos para 0, y tambien probamos que, si se cumple para algun natural n,
tambien se cumple para el siguiente (n+1) entonces
si se cumple para 0, se cumple para el siguiente que es 1
si se cumple para 1, se tiene para 2,
entonces se tiene para (2+1) = 3
para 4
para 5
y asi infinitamente para todos los naturales
asi mas o menos se utiliza el metodo de inducin en los Naturales

hace 2 aos

La Induccin Matemtica se asemeja a una hilera de fichas de domin alineadas,

tumbas las primeras y las dems se tumban solas.
El procedimiento es el siguiente:
1) Pruebas para n=1, n=2, n=3 (los primeros casos)
2) Supones que el problema es cierto para n=k, un nmero cualquiera en forma
general.
3) Ahora, pruebas que el problema es cierto para n=k+1.
Listo!! Si es cierto para k y para k+1, entonces es cierto para todos los Naturales,
porque probaste que era cierto para 1, 2 y 3.
Ejemplo: (los nmeros despus de la 'a' son subndices)
a1 = 2007
a1 + a2 = 2.a2
a1 + a2 + a3 = 3.a3
:
:
a1 + a2 + a3 + ... + an = n.an
Probar que
an = 2007/(n[n+1]/2)
1) resuelves para los primeros casos:
n=1
a1 = 2007
--

a1 = 2007(1[2]/2) = 2007 ....correcto

___
n=2
a1 + a2 = 2.a2
a1 = 3a2
a2 = a1/3 = 2007/3
-2007/(2[3]/2) = 2007/3 ....correcto
___
2) Ahora suponemos que es cierto para n = k
a1 + a2 + a3 + ... + ak = k.ak
ak = 2007/(k[k+1]/2)
3) Probar para k+1
a1 + a2 + a3 + ... + a(k+1) = (k+1).a(k+1)
Sabes que
a1 + a2 + a3 + ... + ak = k.ak.............(paso 2)
Entonces sustituyes lo de la derecha de la igualdad arriba.
k.ak + a(k+1) = (k+1).a(k+1)
k.ak + a(k+1) = [k+ 2k + 1].a(k+1)....no te confundas con los parntesis, k+1 es
subndice.
k.ak + a(k+1) = k.a(k+1)+ 2k.a(k+1) + a(k+1)
k.ak = k.a(k+1)+ 2k.a(k+1)
k.ak = [k + 2k].a(k+1)
a(k+1) = k.ak / [k + 2k]
a(k+1) = k.ak / [k + 2]
Sustituyes ak = 2007/(k[k+1]/2)
a(k+1) = k.2007/(k[k+1]/2) / [k + 2]
a(k+1) = 2007/[[k+1]/2) / [k + 2]]
a(k+1) = 2007/[ [k+1][k + 2]/2) ]
Listo!! Con esto se prueba que si es vlido para k, entonces es vlido para k+1,
ya que probaste los primeros casos.
-Saludos.

Supongo que hablas de induccin matemtica .

1) Demuestras la proposicin para i = 1 .
2) Supones cierta para i = n .
3) Y demuestra que es cieta para i = n + 1
Como ejemplo :
La sumatoria 1 + 2 + ... i + ... n = n ( n+1) /2
1) para i = i queda :
1 = 1 +( 1+ 1) / 2 lo cual es cierto .
2) Supones cierto para i = n .

3) lo complicado viene eneste punto demostrar para i = n + 1

para el paso anterior sumas ( n +1 ) a ambos lados y te queda :
La sumatoria 1 + 2 + ... i + ... n +( n +1 ) = n ( n+1) /2 + ( n + 1 )
Para el lado derecho tienes
n ( n + 1) /2 + ( n + 1 ) = ( n +1) [ n / 2 + 1 )
n ( n + 1) /2 + ( n + 1 ) = ( n +1 )[ ( n + 2 ) / 2 ] **
Pero n + 2 lo puedes poner como [n +1] + 1
Si cambio m por n + 1 es decir hago m = n + 1
La expresin con ** queda
n ( n+1) /2 + ( n + 1 ) = m ( m + 1 ) / 2
La cual es muy parecida al punto 2 ) ( la cual supisomos cierta ) solo
intercambias n por m . Con lo cual se completa la demostracin.
Qu es el mtodo de induccin y qu se puede probar con l? (I)

Si buscamos la palabra "induccin" en un diccionario de la Lengua nos encontramos con una definicin ms o
menos como la que sigue:
"Accin y efecto de inducir".
El lector se preguntar y qu es inducir? Pues bien, inducir (en la acepcin que nos interesa) es:
"Extraer, a partir de determinadas observaciones o experiencias particulares, el principio general que en ellas est implcito".
Es decir, pasar de lo particular a lo general. Esta es la base del mtodo cientfico. Primero se observan una serie de casos
particulares, luego se hace una hiptesis general y sta se comprueba mediante nuevos experimentos. Si los experimentos
concuerdan con la hiptesis, entonces tenemos una ley general que seguir siendo vlida mientras no haya experimentos que
la desmientan. Tiene esto algo que ver con la induccin matemtica? Pues la verdad es que slo un poco. En primer lugar,
tenemos que decir que se trata de un mtodo con el que podemos probar ciertos enunciados relativos a los enteros positivos
(los nmeros naturales). Estos enunciados suelen ser ciertos para algunos de estos enteros pero nos interesa comprobar que
son ciertos para todos ellos. Pero, como nuestros lectores saben, los enteros positivos son uno de los primeros ejemplos (si no
el primero) de conjuntos infinitos. As pues, est claro que no podemos probar el enunciado de uno en uno. En resumen, el
mtodo de induccin matemtica no es ms que otro artificio con el que podemos lidiar con el "infinito". S, ese infinito que
tiene muchas caras y que yace por doquier en el cuerpo de las matemticas.
Nos parece pues muy interesante explicar un poco cmo se define en la actualidad el conjunto de los nmeros naturales. O
ms bien, qu se entiende por conjunto naturalmente ordenado.
Sea X un conjunto no vaco (es decir, que tiene al menos un elemento) y en el que hemos definido una relacin de orden total
(una relacin de orden en la que dados dos elementos cualquiera siempre resulta que uno es mayor que el otro o son iguales).
Pues bien, dado un conjunto X de esta manera, decimos que es naturalmente ordenado si cumple estos tres axiomas:
1) Hay un elemento en X que es "ms pequeo" que todos los dems. Lo llamaremos primer elemento y lo notaremos por 0
2) Para cada elemento x perteneciente a X, existe otro elemento x' de X distinto al propio x, tal que es x < = x' y si algn otro
elemento w de X cumpliera la condicin x < = w < = x', llegaramos a la conclusin de que x'=w. Es decir, para cada elemento x
de X siempre hay un "sucesor" que resulta ser el ms pequeo de aquellos que son mayores que x.
3) Si un subconjunto de X contiene al primer elemento (o sea al cero) y al sucesor de cada uno de sus elementos, entonces
dicho subconjunto es el propio X.
Espero que a esta altura de mi exposicin el lector no se halle perdido. Al fin y al cabo, aunque muchos manejamos los
nmeros naturales pocos entienden por qu son as. Tambin se me puede objetar que el 0 no es un nmero natural. Pues
bien, lo es segn se mire. Al fin y al cabo no es ms que un smbolo para el primer elemento y podra haber utilizado el smbolo
1 para denotarlo. En resumen, un conjunto no vaco X con una relacin de orden total y cumpliendo 1) 2) y 3) es un conjunto
naturalmente ordenado. Pero, existe algn conjunto as? En este punto, la teora de conjuntos viene al rescate. Se puede
probar (y me disculparn si no lo hago) que existe al menos un conjunto naturalmente ordenado y lo que es ms interesante
que todos los conjuntos naturalmente ordenados que podamos crear son isomorfos (es decir, que son la misma cosa con
nombres distintos). Llamaremos pues conjunto de los nmeros naturales y notaremos con el smbolo N a cualquiera de los
conjuntos naturalmente ordenados. En este punto, diremos que el mtodo de induccin no es ms que una consecuencia
directa del axioma 3) de N y emplazamos al lector a nuestro siguiente "post" (pues me parece que con estas lneas ya hay
bastante que meditar).

Vemos que se cumple para n=1, y ahora suponiendo que se cumple

para n veamos que pasa con n +1:

que vuelve a cumplir la ley prevista, luego debe cumplirse para todos
los valores de n, ya que si se cumple para uno cualquiera debe
cumplirse para el siguiente.
Saludos, Jabato.

INDUCCIN COMPLETA
Teorema de induccin completa. Principio de induccin completa
Smbolo de sumatoria. Propiedades de las sumatorias
DIVISIBILIDAD - MXIMO COMN DIVISOR
Divisores y mltiplos. Propiedades.
Algoritmo de Euclides. Propiedad lineal del Mximo Comn Divisor.
Nmeros relativamente primos entre si.
Ecuaciones Diofnticas. Propiedades de las Ecuaciones diofnticas.
Congruencia en mdulo n. Propiedad. Ecuaciones con congruencia en mdulo n.
Trabajo Prctico N 5

LA INDUCCIN COMPLETA

TEOREMA DE INDUCCIN COMPLETA

Todo subconjunto de N que incluya al 1, a h y al siguiente de h, es igual a N.Hiptesis
Sea SN, 1S
Si hS h+1S
Tesis
S=N
Demostracin
Como por hiptesis SN, tendremos que demostrar que NS para que sean
iguales.Ahora, supongamos SN y distinto de S, de acuerdo con el principio de
conjunto bien ordenado, S tiene que tener un mnimo m, pero por hiptesis
1S, entonces m1. Pero por otra parte, como m es natural, tiene que ser:
m>1 m 1>0
Ahora, como m 1 < m por ser m el mnimo de S m 1 S.Pero de acuerdo a la hiptesis tenemos:
m 1 S (m 1) + 1 S m S
Pero esta proposicin contradice lo estipulado, donde m es el mnimo de S
NS (1)
Luego, por hiptesis y (1) N = S

PRINCIPIO DE INDUCCIN COMPLETA

Sea la funcin proposicional P(n), donde n N. Si ocurre que P(1) es
verdadera, y adems P(h) es verdadera, y de aqu se deduce que P(h+1) es
verdadera, entonces P(n) es verdadera (video de Induccin Matemtica de You
Tube)
Hiptesis
P(1) es verdadera
h:P(h) P(h+1)
Tesis
n:P(n) es Verdadera
Demostracin
Teniendo en cuenta el teorema anterior, si P(n) es verdadera para un nmero
finito de naturales de SN. Y como por hiptesis P(1) es verdadera, entonces
1S, y hS h+1S, entonces NS, lo que significa P(n) es verdadera para
todos los n de N
Por ejemplo:
n(n 1)
2
Demostrar que los n primeros nmeros naturales es

Para ello hacemos:

Para n=1

1.(1 1)
2
1 11
2
2
Esto significa que P(1) es verdadero
1

Planteamos una hiptesis donde n=h (P(h) verdadera), entonces

1 2 3 4 5 ...h

h.(h 1)
2

Ahora la tesis para n=h+1

1 2 3 4 ... h (h 1)

(h 1).( h 1 1)
2

Demostracin
Por hiptesis, y teniendo en cuenta los h primeros trminos tenemos:
h.(h 1)
( h 1).( h 2)
(h 1)
2
2

Y sacando comn denominador, tenemos:

h.( h 1) 2.(h 1) (h 1).( h 2)

2
2
Y sacando factor comn (h+1) queda:
(h 1).( h 2) (h 1).( h 2)

2
2
Esto indica que P(h+1) es verdadera, lo que significa que esta se cumple para
todos los naturales.-

EL SMBOLO DE SUMATORIA
En ms de una oportunidad debemos resumir una suma de trminos ya sea
infinita o finita, para ello recurrimos a un smbolo llamado de sumatoria (). Por
ejemplo sea:
5

ai
a1 a 2 a 3 a 4 a5 la que la escribimos resumida de la siguiente forma:
i 1
Donde {1,2,3,4,5}I (conjunto de ndices), i=1 se denomina extremo inferior, 5
extremo superior.Sea por ejemplo:
n

a
i 1

a1 a 2 a3 ... a n
,

o sea la suma de los trminos desde a 1 hasta an

variando de 1 en 1.
Ahora, sea por ejemplo:

12 2 2 3 2 4 2 5 2 , el problema es encontrar una expresin que nos permita

expresar esta frmula como sumatoria, y aqu observamos que el que aumente
de 1 en 1 es la base de la potencia, o sea que es i 2, lo que significa que la
5

sumatoria queda:

i 1

Para desarrollar la sumatoria hacemos:

6

2 .i 2 0 2 1 2 .2 2 .3 2 .4 2 .5 2 .6
i 0

y se resolvemos obtenemos el valor de la sumatoria.PROPIEDADES DE LA SUMATORIA

1)

La sumatoria de la suma es igual a la suma de las sumatorias

i 1

i 1

i 1

(ai bi ) ai bi
Demostracin:
Desarrollando la sumatoria se tiene:
n

(a
i 1

bi ) (a1 b1 ) (a 2 b2 ) ... (a n bn )

Agrupando las a y las b tenemos

n

(a
i 1

bi ) (a1 a 2 ... a n ) (b1 b2 ... bn )

Y transformando cada uno de los parntesis en sumatoria queda:

n

i 1

i 1

i 1

(ai bi ) ai bi
2)

La sumatoria de una constante por trmino genrico, es igual a la

constante por la sumatoria
n

i 1

i 1

k.ai k ai
Demostracin:
Sea:
n

k.a
i 1

k .a1 k .a 2 k .a3 ... k .a n

Sacando factor comn K, queda:

n

k.a
i 1

k .(a1 a 2 a3 ... a n )

Y transformando el parntesis en sumatoria, se tiene:

n

i 1

i 1

k.ai k ai
MXIMO COMN DIVISOR
DIVISORES Y MLTIPLOS
Sean los nmeros enteros a y b, se dice que a divide a b s y solo
si existe otro entero c tal que b=axc. En smbolos:
Sean a Z b Z a b c Z / b a c

a|b: se lee a divide a b

Ahora, si a divide a b, entonces se dice b es mltiplo de a, y se

denota b a
PROPIEDADES
Propiedad 1
Si un nmero divide a otro, entonces divide al producto de este por otro
nmero, o sea:
a|b a|b.n
Demostracin
Si a|b c/b=a.c Ahora, multiplicamos ambos miembros por el nmero n,
entonces se tiene:
b.n=a.(c.n) pero c.n es un nmero entero, lo que significa que b.n=a.c 1 a|b.n
Propiedad 2
Si un nmero divide a otro, entonces divide a su opuesto, o sea:
a|b a|-b
Demostracin
Teniendo en cuenta la propiedad 1 se tiene que si a|b a|b.(-1) a|-b
Propiedad 3
Si un nmero divide a otros dos, entonces divide a su suma o a su diferencia, o
sea:
a|b a|c a|(b c)
Demostracin
Como a|b a|c d,e/b=a.d c=a.e, y sumando y restando miembro a
miembro, se tiene:
b c = a.d a.e = a.(d e) pero de es un nmero entero, lo que significa que
a|(b c)

ALGORITMO DE EUCLIDES
El mximo comn divisor de dos nmeros, es el divisor mayor de ambos
nmeros.

El Algoritmo de Euclides es un procedimiento paso a paso que nos

permite determinar el mximo comn divisor de los nmeros a y b,
denotndose MCD(a,b). Las siguientes propiedades justifican este algoritmo.
Propiedad 1
Si a, b y r son
MCD(a,b)=MCD(b,r)

nmeros

enteros

tales

que

a=c.b+r,

entonces

Demostracin:
pa pb
Partimos de la suposicin de que el MCD(a,b)=p
, y teniendo en
cuenta la definicin de divisores, se tiene que t Z , s Z / a p.t b p.s

Ahora, despejando de la hiptesis el nmero r, y reemplazando por lo

demostrado anteriormente y operando, se tiene:

r a b.c p.t p.s.c p.(t s.c )

pb pr
r (t s.c). p p r
Esto significa que
, lo que concluimos que

MCD(b,r)=p.
Luego por propiedad transitiva de la igualdad, tenemos que:

MCD(a,b)=MCD(b,r)
Propiedad 2
Si a y b son dos nmeros enteros no nulos tales que b|a, entonces MCD(a,b)=b
Indudablemente, si b|a b|b MCD(a,b)=b
Basndonos en estas dos propiedades desarrollaremos el Algoritmo de
Euclides, y para esto recordaremos la definicin de cociente:

Dividendo = divisor x Cociente + Resto.

Ahora, sean aZ bZ, a0 b0, el algoritmo de la divisin implica la
existencia de dos nmeros naturales c 0 y r1, tales que podamos hacer el
cociente entre a y b:
a c 0 .b r1 ,

0 r1 b

Si r1=0, entonces el MCD(a,b)=b, esto justificndolo con la Propiedad 2, caso

contrario hacemos nuevamente la divisin entre b y r1, obteniendo c1 y r2, y
teniendo en cuenta que la Propiedad 1 nos dice que MCD(a,b)=MCD(b,r1),
entonces:
b c1 .r1 r2 ,

0 r2 r1

Si r2 = 0, entonces el MCD(a,b)=c1, caso contrario seguimos con el mismo

razonamiento y llegamos al paso i, donde:
ri 2 ci 1 .ri 1 ri ,

0 ri ri 1

b r1 r2 ... 0
Ahora, como
, es evidente que en un nmero finito n de
n b
pasos con
, llegaremos a un resto r n=0, es decir que rn 2 c n 1 .rn 1 , esto
r r
MCD (rn 2 , rn 1 ) rn 1
implica que n 1 n 2 , y por la Propiedad 2
, y teniendo en
cuenta la Propiedad 1, queda:
MCD(a, b) MCD(b, r1 ) MCD(r1 , r2 ) ... MCD( rn 2 , rn 1 ) rn 1

Ahora, para determinar el mximo comn divisor por este algoritmo hacemos el
siguiente cuadro:
a
r1

c1
b
r2

c2
r1
r3

c3
r2
r4

.
.
.
MCD(a,b)=|rn-1|

Por ejemplo: Obtener en MCD(441,24)

Hacemos el cociente entre 441 y 24
441 24
201 18

009
441 24 18 9,

0 9 18

Hacemos el cociente entre 24 y 9

24
06

9
2

24 9 2 6,

06 9

Hacemos el cociente entre 9 y 6:

9 6
3 1
9 6 1 3,

03 6

Hacemos el cociente entre 6 y 3

6 3
0 2
6 3 2 0,

00 3

cn
rn-1
0

cn+1
rn

De acuerdo a lo que establece el algoritmo, tenemos:

MCD(441,24) MCD(24,9) MCD(9,6) MCD(6,3) 3

Haciendo el cuadro expuesto anteriormente, se tiene:
441
9

18
24
6

2
9
3

1
6
0

2
3

MCD(441, 24) = 3
PROPIEDAD LINEAL DEL MXIMO COMN DIVISOR
Si a y b son dos nmeros enteros no nulos y MCD(a,b)=p, existen dos nmeros
enteros u y v, tales que p=a.u+v.b
Demostracin
Supongamos que p=rn-1. Puesto que para todo i, ri-2=ci-1.ri-1+ri, y de acuerdo con
las frmulas obtenidas en la descripcin del Algoritmo de Euclides, se tiene
que:
rn 1 rn 3 c n 2 .rn 2 u n 1 .rn 3 v n 1 .rn 2 u n 1 .rn 3 v n 1 . rn 4 c n 3 .rn 3

u n 2 .rn 4 v n 2 .rn 3 ... u1 .a v1 .b

Donde ui y vi son nmeros enteros.

Ejemplo:
En nuestro ejemplo anterior, el MCD(441,24)=3. Para ello se hizo uso de las
siguientes igualdades:
441=18.24+9
24=2.9+6
9=1.6+3
Teniendo en cuenta estas igualdades, al 3 se lo puede expresar como:
3=9-6=9-(24 - 2.9)=-24+3.9.(441-18.24)=3.441-55.24
De esto deducimos que u=3, y que v=-55
NMEROS RELATIVAMENTE PRIMOS O PRIMOS ENTRE S
Dos nmeros enteros no nulos a y b son relativamente primos, si el
MCD(a,b)=1

ECUACIONES DIOFANTICAS
Una ecuacin de variable x e y se llama diofntica si y slo si
a.x b. y MCD(a, b)
Propiedades de las ecuaciones diofnticas
Propiedad 1
Sean a, b y c tres nmeros enteros con MCD(a,b)=d, la ecuacin a.x + b.y = c
tiene solucin entera s y slo si d|c.
Demostracin
Si la ecuacin a.x + b.y = c tiene soluciones enteras, existen uZ y vZ tales
que a.u + b.v = c. Como MCD(a,b)=d, entonces a=p.d y b=q.d con p, q
nmeros enteros, entonces:
c=a.u + b.v = p.d.u + q.d.v = (p.u + q.v).d
Lo que est en el parntesis es un nmero entero, entonces c=k.d d|c
Propiedad 2
Sean a, b y c nmeros enteros; si x0Z, y0Z es una solucin particular de la
ecuacin diofntica a.x + b.y =c, todas las soluciones enteras de esta ecuacin
son de la forma:
b
x x0 n
d ,

a
y y 0 n
d ,

con nZ, y donde MCD(a,b)=d

Demostracin
Como x0 e y0 es una solucin de a.x + b.y =c, entonces a.x0 + b.y0 = c.
Ahora hacemos:

b
a

a.x b. y a. x0 n b. y 0 n
d
d

Y aplicando la propiedad distributiva, se tiene:

a.x b. y a.x 0

b.a
b.a
n b. y 0
n
d
d

Y cancelando queda:
a.x b. y a.x0 b. y 0

b
a
x0 n
y 0 n
d e
d es solucin de a.x + b.y = c.
Lo que significa que

Pero como (x0, y0) es solucin de la ecuacin, entonces x x 0 = 0 e y y0 = 0,

por lo tanto:
a.( x x 0 ) b.( y y 0 ) 0

Haciendo un pasaje de trminos se tiene:

a.( x x 0 ) b.( y y 0 )

Que es lo mismo que:

a.( x x0 ) b.( y 0 y )

(1)

Dividiendo ambos miembros por d, queda:

a
b
( x x0 ) ( y 0 y )
d
d

Como el MCD(a, b)=d

(2)

a b
a
b
, 1
d
d

ya que d y d son primos entre s

MDC

a
a
( y 0 y ) n Z / y 0 y n
d , lo
Por otro lado, y de acuerdo a la igualdad 2, d
que significa que:
a
y y 0 n
d
(I)

Sustituyendo el valor de y en la igualdad 1 se tiene:

a.( x x 0 ) b. y 0 y 0 n
d

Cancelando queda:
a.( x x 0 )

Despejando, se tiene:

b.a
n
d

x x0

b.a
n
a .d

Despejando x se tiene:
b
x x 0 n
d
(II)

De I y II, queda demostrado el teorema.Ejemplo:

Determinar las soluciones positivas de la siguiente ecuacin diofntica:
20.x + 50.y = 430
Observamos que el MCD(20, 50)=10 y como 10|430, entonces se asegura que
la ecuacin tiene soluciones enteras.Ahora busquemos una solucin particular, y lo haremos teniendo en cuenta el
algoritmo de Euclides, donde:
50 = 2.20 + 10 10 = 50 20.2, por lo tanto:
430 = 43.10 = 43.(50 2.20) = 43.50 86.20
Lo que significa que x0 = -86 y que y0 = 43.
Ahora, aplicando el teorema anterior, se tiene:
b
x x0 n con n Z
d
a
y y 0 n con n Z
d

Reemplazando queda:
50
n
10
20
y 43 n
10

x 86

Pero las soluciones deben ser positivas, entonces n puede tomar los valores
18, 19, 20 y 21 solamente, lo que significa que las soluciones son:

50
20
18,43 18 4,7
10
10
50
20
86 19,43 19 9,5
10
10

86

50
20
20,43 20 14,3
10
10

50
20

86 21,43 21 19,1
10
10

CONGRUENCIA EN MDULO n
86

Los nmeros a y b son congruentes en mdulo n si n divide a su

diferencia, o sea:
a Z b Z son congruente s en mdulo n n a b

Para denotar que los nmeros a y b son congruentes en mdulo n, usamos

a b(n)
Propiedad
La congruencia en mdulo n es una relacin de equivalencia
Demostracin
Antes de todo, definimos la relacin:
( a, b ) R Z 2 n a b

Para demostrar que la congruencia en mdulo n es una relacin de

equivalencia, se debe demostrar que es reflexiva, simtrica y transitiva:

Reflexiva
Todo nmero divide al cero, por lo tanto:
n 0 n a a ( a, a ) R

Simtrica
De acuerdo a lo definido se tiene:

( a, b) R n | a b n | (a b).( 1) n | b a (b, a) R
Esto es teniendo en cuenta las propiedades 1, 2 y 3 de divisores y mltiplos
Transitiva
Supongamos que:

( a, b) R (b, c) R n | a b n | b c n | a b b a n | a c ( a, c) R
Lo que queda demostrada que la congruencia en mdulo n es una relacin de
equivalencia.
ECUACIONES CON CONGRUENCIAS EN MDULO n
Sea la ecuacin

ax b(n)
Donde a y b son nmeros enteros y n es un entero positivo. Usando la
congruencia en mdulo n se deduce que la ecuacin anterior se satisface
cuando existe yZ tal que:

ax b y.n
Lo que significa que esta ecuacin queda:

a.x y.n b
Ejemplo:

Encontrar las soluciones de la ecuacin 4.x 2(6) .

Si x es una solucin entera de la ecuacin, entonces existe un entero y tal
que 2.x 2 6. y , es decir que 2.x 6. y 2 , y como el MCD(6,2) = 2. Y teniendo
en cuenta la propiedad 1 de las ecuaciones diofnticas, tiene infinitas soluciones,
y la Propiedad 2 nos explica como calcularas:
Teniendo en cuenta el Algoritmo de Euclides, decimos que 6 = 1.4 + 2, y -4 (6)=2. Por lo tanto x0=-1, y0=-1 y es una solucin particular.

El resto de las soluciones tienen la forma:

x 1 3.n
y 1 2.n con nZ

TRABAJO PRCTICO N 5

Escribir como sumatoria:

1 3 5 7 9 11 15
1)
x1 x 2 x3 ... x n

n
2)
1 1 1
1
1
1
1
1

4 9 16 25 36 49 64 81
3)

4)
5)
6)

0 2 8 26 ... 2186
2 5 8 11 14 ... 29
1 7 26 79 241 727

7)

1 1
1
1
1

4 16 36 64 100

8)

Demostrar por el mtodo de induccin completa

2

i 1 3

n( n 1)( 2n 1)
6

a)
b)

i 1

2 n 1
3n

c)

i (n i ) 6 (n

d)

1 1 1
1
1
... n 1 n
2 4 8
2
2

e)

f)

1)

i 1

310 n 1 10 n 1
2 n2 n
n

g)

i.i! (n 1)!1
i 1
n

h)
i)
j)

k)

i 1

38 5
n 1

1 xn
1 x

xi
i 1

2
i 1

i 1

si x1

n2
2n

9)

Determinar el MCD usando el algoritmo de Euclides de

a) 63 y 49
b) 619 y 93
c) 521 y 2187

d)
e)

1253 y 436
472 y 34

10) Probar que si a, b y m son nmeros enteros positivos, MCD(m.a,

m.b)=m.MCD(a, b)
a b
MDC , 1
c c
11) Probar que si c=MCD(a, b) entonces
Si p y q son dos nmeros primos entre s, demostrar que si p|q.m p|m
Si MCD(a,b,c), probar que MCD(MCD(a,b),c)=MCD(a,MCD(b,c))
Si MCD(a, b)=1, probar que MCD(a+b, a b)=1 MCD(a+b, a b)=2
Hallar todas las soluciones enteras de las ecuaciones diofnticas:
a) 2.x + 3.y = 7
b) 21.x 35.y =-14
c) 6.x + 9.y = 36
d) 20.x + 30.y =500
16) De cuantas formas posibles se pueden tener $330 repartidas en billetes
de $10 y $20?
17) Si a>0, b>0 y MCD(a, b)=1, probar que todo x>a.b puede escribirse como
a.u + b.v = x, con u y v positivos.
18) Resolver las siguientes ecuaciones:
a) x 13(91)
b) x -5(77)
c) x -3(12)
12)
13)
14)
15)

Hola, este es mi primer post. Me gustaria ayuda con esto ... soy principiante
en esto del clculo
Gracias !

Bienvenido!!!
Bueno esto de la induccin matemtica debes primer probar que se cumple
para los primeros trminos, luego afirmar que se cumple para el termino kesimo, esta suposicin se denomina "Hiptesis inductiva" y luego para
finalizar demuestras que se cumple para k+1.
Entonces para n=1, la sumatoria es cero en ambos miembros, para n=2 el
resultado es

Hiptesis inductiva
.
Ahora demostraremos para n=k+1
Para ello debes sumar a lo anterior el termino k+1 y llegar a
Suerte, este ltimo paso es cuestin que tengas claras las nociones
algebraicas.
Saludos

Hola eudemo te agradezco por la rspta anteriores q me brindaste

como se seria Sn para los sgtes expersiones
Sn=2^2+4^2+......n^2
Sn=1^2+3^2+......n^2
Sn=2^3+4^3+.....n^3
Sn=1^3+3^3+.....n^3
Pd: hay un link acerce de estas expresiones en general.
saludos
Puse algunos signos menos en lugar de signos ms. La suma de los cuadrados es:
Sn=1^2+3^2+......n^2 =n (n+1)(n+1/2)/3
*******************
Sigo
Observa como partiendo de la suma de los cuadrados de los n primeros nmeros naturales hasta n:

Sn=1^2+3^2+4^2+...+n^2 = n (n+1)(n+1/2)/3

Podemos obtener la suma de los cuadrados de los n primeros nmeros pares hasta n (n par)
Sn=2^2+4^2+6^2+...+n^2 =
4(1^2+2^2+3^2+...+(n/2)^2
4. n/2 (n/2+1)(n/2+1/2)/3=
= n (n+2)(n+1)/6

Que ocurre si queremos hallar la suma de los cuadrados de los impares

Sn=1^2+3^2+5^2+...+n^2 (n impar)
Simplemente hallamos la suma de los cuadrados de todos los naturales hasta n y le restamos la suma de los pares
hasta (n-1)
Asi es
Sn=1^2+3^2+5^2+...+n^2=
Sn= [ n (n+1)(n+1/2)/3] - [(n-1)(n+1)n/6]
***************************************
Anlogamente la suma de los cubos de los naturales hasta n es
Sn=1^3+2^3+3^3+4^3+...+n^3
Sn=(1/4)n ^2(n+1)^2
Para obtener la suma de los impares restamos de la suma de los cubos , la de los cubos de los nmeros pares hasta n1

Pregunta resuelta
Ver otra
obtener sucesion de sumas parciales y suma de la serie 1/{(2n-1)(2n+1)}?
la serie:
(sumatoria de 1 a infinito) 1/{(2n-1)(2n+1)} es convergente.
a. Obtener la sucesion de sumas parciales.
b.obtenga la suma de la serie
1/{(2n-1)(2n+1)}= 1/2[ 1/(2n-1) - 1/(2n+1)]
a1= 1/2[ 1/1 - 1/3]
a2= 1/2[ 1/3 - 1/5]
....
a(n-1)= 1/2 [1/(2n-3) - 1(2n-1)]
an= 1/2[1/(2n-1)-1/(2n+1)]
==> Sn = a1+a2+...+an = 1/2[ 1/1 - 1/(2n+1)] = n/(2n+1)
S=lim_{n-->inf} Sn= 1/2

N(2n+1)(n+1)/6 = a la suma de Cuadrados?

Necesito Saber como se llego a de la formula n(2n+1)(n+1)/6 a
1^2+2^2+3^2+4^2+5^2= 55 y si sustuimos en n por 5 tambien es 55?
cual es la razon de ser de esa formula se saca con derivadas?

No se como se llego originalmente a esa formula pero te puedo decir como llegar a ella

(i+1)^3 = i^3 + 3i^2 + 3i + 1

Sum (i+1)^3 = sum i^3 + 3 sum i^2 + 3 sum i + sum 1. Todas las sumas son de 1 a n
sum (i+1)^3 - sum i^3 = (n+1)^3 - 1
sum 1 cuando i varia de 1 a n es n
Asi que te queda:
Sum (i+1)^3 - sum i^3 = 3 sum i^2 + 3 sum i + sum 1
(n+1)^3 - 1 = 3 sum i^2 + 3 sum i + n
La suma de los n primeros naturales es n(n+1)/2
(n+1)^3 - 1 = 3 sum i^2 + 3 n(n+1)/2 + n
n^3 + 3n^2 + 3n + 1 - 1 = 3 sum i^2 + 3 n(n+1)/2 + n
Hacemos denominador comun 2
2n^3 + 6n^2 + 6n = 6 sum i^2 + 3 n(n+1) + 2n
De ahi podes despejar la suma de los cuadrados
6 sum i^2 = 2n^3 + 3n^2 + n
sum i^2 = n(n+1)(2n+1)/6
Ana

http://books.google.com.ec/books?id=1DFumclsLWEC&pg=RA1PA13&lpg=RA1-PA13&dq=La+sumatoria+de+2n
%2Bi&source=bl&ots=BO9w0__vFm&sig=noegI3D0rImBNnZFq0tT1R
43lnY&hl=es&ei=Lo2iSuKVC8eLtgeW3Yj7Dw&sa=X&oi=book_result&c
t=result&resnum=10#v=onepage&q=&f=false