Induccin matemtica

Una descripcin informal de la induccin matemtica puede ser ilustrada por el efecto domin, donde ocurre
unareaccin en cadena con una secuencia de piezas de domin cayendo una detrs de la otra.

En matemticas, la induccin es un razonamiento que permite demostrar una infinidad

de proposiciones, o una proposicin que depende de un parmetro que toma una infinidad de valores
enteros. En trminos simples, la induccin matemtica consiste en el siguiente razonamiento:

Premisa mayor: El nmero entero tiene la propiedad .

Premisa menor: El hecho de que cualquier nmero entero tenga la propiedad implica
que tambin la tiene (que se anota ).

Conclusin: Todos los nmeros enteros a partir de tienen la propiedad .

Demostraciones por induccin
El razonamiento para demostrar una proposicin cualquiera mediante el esquema del
razonamiento es como sigue. Llamemos a la proposicin, donde es el rango.

Se demuestra que , el primer valor que cumple la proposicin (iniciacin de la induccin),

es cierta.
Se demuestra que si se asume como cierta y como hiptesis inductiva, entonces
lo es tambin, y esto sin condicin sobre el entero natural (relacin de induccin).
Luego, demostrado esto, concluimos por induccin, que es cierto para todo natural .

La induccin puede empezar por otro trmino que , digamos por . Entonces ser
vlido a partir del nmero , es decir, para todo natural .

Principio de Induccin Matemtica

Conjuntos Inductivos.

Intuitivamente se obtienen los enteros positivos, tomando como

punto de partida un primero designado por "1" y formando
1 + 1 (llamado "2"), 2 + 1 (llamado "3"), y as sucesivamente.

En virtud de que no se puede depender del significado un poco

oscuro de "y as sucesivamente" y de que se debe tener una
base para proporcionar teoremas relativos a los enteros
positivos, se da una definicin del conjunto de los enteros
positivos, basada en el concepto de conjunto inductivo.
8.4.2 Definicin. Un conjunto S de nmeros es un conjunto
inductivo s y slo s S tiene las siguientes propiedades:

Ejemplo 1.

El conjunto de los enteros positivos es un conjunto inductivo.

Ejemplo 2.

El conjunto de los nmeros Reales es un conjunto inductivo.

Ejemplo 3.

El conjunto S1 = {1, 3, 5, 7, ...} no es un conjunto inductivo,

porque no obstante que 1 S1; (1+1) S1.

El conjunto Z+ es el conjunto de nmeros con la propiedad de

que si k es cualquier conjunto inductivo de nmeros,
entonces Z+ k. Se dice a veces, que el conjunto de los enteros
positivos, es el "ms pequeo" conjunto inductivo de nmeros.

8.4.3 Teorema fundamental de Induccin Matemtica.

Sea Sn una funcin proposicional cuyo conjunto de referencia

es Z+. Si Sn satisface las siguientes dos condiciones:
Entonces Sn es cierta para todo n Z+.

Demostracin

Sea k el conjunto de todos los enteros positivos para el

cual Sn es cierta. Es decir:

De i. se observa que 1 k.

De ii. se observa que k k (k + 1) k.

Por tanto k es un conjunto inductivo y por la definicin de k se

sabe que k Z+.

De otra parte Z+ k. Por consiguiente Z+= k, es decir Sn es

cierta para todo n Z+.

Ejemplo 4.

Demuestre que la suma de los primeros n enteros impares

positivos es n2.

Sea Sk= 1 + 3 + 5 + 7 + ... + (2k -1) = kn (hiptesis de

induccin)

Entonces hay que demostrar que S1 es cierta y que Sk Sk+1 es

cierta.

s1 = 1 = 1 2
sk+1 = 1 + 3 + 5 + 7 + ... + (2k - 1) + (2k + 1)

Entonces, sk+1 = sk + (2k + 1) = k2+ 2k + 1 = (k + 1)2

Con lo anterior queda demostrado que la suma de los n impares
positivos es n2.

SUMATORIA

El sumatorio, la sumatoria, o la operacin de suma es un operador matemtico que permite

representar sumas de muchos sumandos, n o incluso infinitos sumandos, se expresa con la letra
griega sigma ( ), y se define como:

Esto se lee: sumatorio sobre i, desde m hasta n, de x sub-i.

La variable i es el ndice de suma al que se le asigna un valor inicial llamado lmite inferior, m. La
variable i recorrer los valores enteros hasta alcanzar el lmite superior, n. Necesariamente debe
cumplirse que:

Si se quiere expresar la suma de los cinco primeros nmeros naturales se puede hacer de esta
forma:

Tambin hay frmulas para calcular los sumatorios ms rpido. Por ejemplo, para sumar
los primeros mil nmeros naturales no tiene mucho sentido sumar nmero por nmero, y
se puede usar una frmula como esta:

Se debe notar que aunque el trmino sumatorio se refiere a un operador

matemtico til para expresar cierto tipo de suma, no substituye este trmino a la
palabra suma. Se dice: la suma de dos y tres es cinco, y no el sumatorio de
dos y tres es cinco. Por la misma razn, decir que se realizar, por ejemplo,
el sumatorio (o la sumatoria) de unos votos, es notoriamente un disparate. Los
operadores de suma son tiles para expresar sumas de forma analtica; esto es,
representar todos y cada uno de los sumandos en forma general mediante el i-
 simo sumando. As, para representar la frmula para hallar la media
aritmtica de n nmeros, se tiene la siguiente expresin:

III. Propiedades de las sumatorias

Entre las propiedades generales de las sumatorias reportadas en la literatura se encuentra las
once que se relacionan a continuacin, cuya demostracin se realiza utilizando
el procedimiento matemtico de Induccin Completa.
III.1 Reportadas en la literatura

Propiedad #1:

Propiedad #2:

Propiedad #3:

Propiedad #4:

Propiedad #5:

Propiedad #6:

Propiedad #7:

Propiedad #8:

Propiedad #9:

Propiedad #10:
Propiedad #11:

Algunas frmulas de la operacin de suma

[editar]Algunas frmulas relacionadas

Se puede expresar el nmero e, con un sumatorio:

 Para calcular el nmero armnico:

Para calcular un subfactorial:

Para calcular cualquier integral definida, pero ste, es un mtodo

aproximado:

ste sumatorio puede expresarse como funcin cuadrtica:

FACTORIAL
Para todo entero positivo n, el factorial de n o n factorial se define como el producto de todos los
nmeros enteros positivos desde 1 hasta n. Es decir

La multiplicacin anterior se puede simbolizar tambin como

La operacin de factorial aparece en muchas reas de las matemticas, particularmente

en combinatoria y anlisis matemtico. De manera fundamental, el factorial de n representa el
nmero de formas distintas de ordenar n objetos distintos. Este hecho ha sido conocido desde
hace varios siglos, en el s. XII por los estudiosos indios. La notacin actual n! fue usada por
primera vez por Christian Kramp en 1803.

La definicin de la funcin factorial tambin se puede extender a nmeros no naturales

manteniendo sus propiedades fundamentales, pero se requieren matemticas avanzadas,
particularmente del anlisis matemtico

Cero factorial
La definicin davui indicada de factorial es vlida para nmeros positivos. Es posible extender la
definicin a otros contextos introduciendo conceptos ms sofisticados, en especial es posible
definirla para cualquier nmero real excepto para los nmeros enteros negativos y para cualquier
nmero complejo exceptuando de nuevo los nmeros enteros negativos.

Una extensin comn, sin embargo, es la definicin de factorial de cero. De acuerdo con la
convencin matemtica de producto vaco, el valor de 0! debe definirse como 0!=1.

Es posible, sin embargo, dar un argumento intuitivo para justificar la eleccin, como sigue:

Para cada nmero entero positivo n mayor que 1, es posible determinar el valor del factorial
anterior mediante el uso de la siguiente identidad:

vlida para todo nmero mayor o igual que 1.

As, si se conoce que 5! es 120, entonces 4! es 24 porque

4!= ,

y por tanto 3! debe ser necesariamente 6 puesto que

3!= .

El mismo proceso justifica el valor de 2! = 2 y 1!=1 ya que

Si aplicamos la misma regla para el caso extremo en que n'=1 tendramos que 0! corresponde a

Aunque el argumento puede resultar convincente, es importante tener en cuenta que no es ms

que un argumento informal y que la razn real por la cual se toma la convencin de 0! = 1 es por
ser un caso especial de la convencin de producto vaco usada en muchas otras ramas de las
matemticas.

Propiedades bsicas del factorial

Comenzamos con la definicin bsica:

Definicin: Dado un natural, definimos (se lee -factorial) de la siguiente

manera:

1. .

2. .

Ejemplos:

1. .

2. .

3. .

4. .

5. .

Note que en general, para , esto

es, es el producto de los naturales entre y , incluyendo a .

Algunas propiedades bsicas del factorial:

1. .

Prueba: .

2.

Prueba:

3. Para ,

Prueba: . La ltima

desigualdad vale porque (arriba se multiplican

nmeros menores o iguales que , y abajo se multiplica por s
mismo veces).
Veamos un ejemplo de la propiedad 2, tomando y (en este
caso, ):