Inducción Matemática

La inducción matemática se distingue esencialmente de la inducción en las Ciencias

Naturales donde, de la observación de un número restringido de casos particulares se
induce, sin otro análisis, la verdad general de una ley.
En la inducción matemática, por el contrario, no basta la comprobación de la ley
sospechada en casos concretos, por muchos que éstos sean, es indispensable la
demostración del condicional del 2do. Paso del método, que encierra en realidad
infinitos “pasos inductivos”: la propiedad es válida para cero, por el primer paso; luego
es válida para su siguiente que es el 1, por el segundo paso. Como es cierta para 1, lo es
para su siguiente, que es el 2. Si es cierta para 2, es cierta para 3, y así para todos los
números naturales.
Ejemplo:
n.( n  1)
Propiedad: la suma de los números naturales hasta n es igual a
2
Se desea probar que:
n.(n  1)
0  1  2  3  .....  (n  1)  n 
2
Si n = 0, ambos miembros obviamente son iguales ya que los dos son iguales a 0, por lo
tanto, P(0) es V.
Supongamos ahora que la expresión es válida para n = h (hipótesis inductiva),
deberemos probar que también lo es para n = h+1 (tesis).
h.(h  1)
H) 0  1  2  3  .....  (h  1)  h 
2
(h  1).(h  2)
T) 0  1  2  3  .....  h  (h  1) 
2
h.(h  1)
D)  0  1  2  3  ......  h  (h  1)   (h  1) Por prop. asociativa e hipótesis
2
h.( h  1)  2.( h  1)
= Común denominador
2
( h  1).(h  2)
 Factor común
2
Definición de múltiplo
.
*
x  y  h  IN / x  y.h
*
x y se lee “x es múltiplo de y”

Definición de la relación menor

x  y  h  IN  h  0 / x  h  y
x < y se lee “x es menor que y”
También de define: x  y  x  y  x  y

Definición de la relación mayor

x y yx
x > y se lee “x es mayor que y”
También se define: x  y  x  y  x  y
Teorema 9: Ley de Tricotomía
x  IN , y  IN : x  y  x  y  x  y
(1) (2) (3)
En la demostración probaremos que las expresiones (1), (2) y (3) son incompatibles
entre sí, o sea, no pueden verificarse a la vez.
I) (1) y (2) son incompatibles
x  y  h  IN  h  0 / x  h  y
h0 xh x
yx
II) (1) y (3) son incompatibles

x y yx
 h  IN  h  0 / y  h  x
h0 yh y
x y
III) (2) y (3) son incompatibles

En este caso la demostración se realiza por reducción al absurdo. O sea, negamos la

tesis y llegamos a una contradicción.
x  y  y  x  h  IN  h  0 / x  h  y  k  IN  k  0 / y  k  x
 y  x  h, h  0
 y  ( y  k )  h, h  0, k  0
 y  y  (h  k ), h  k  0
Esto es un absurdo, ya que contradice el teorema ….Por lo tanto la tesis original es
verdadera:  y  x x y

Teorema 10: Los números naturales constituyen un conjunto ordenado.

En esta demostración usaremos el Axioma de Inducción Completa
 A  IN  0  A   h  A  s(h)  A  A  IN
Sea M   y  IN / x  y  x  y  x  y
Por definición: M  IN (A)
x  IN  x  0  x  0
 x  0 x  0
 0M (B)
hM  x  h x  h x  h
Si x  h  x  1  h  1  x  1  s(h)  x  s(h)  s(h)  M
Si x  h  x  s(h)  x  s(h)
 x  s ( h)  x  s ( h)  x  s (h)
 s ( h)  M (C)
De A,B y C  M  IN
Todos los números naturales verifican alguna de éstas tres relaciones, por lo tanto,
decimos que IN es un conjunto ordenado.

Corolarios
1) h  0  x  x  h
2) x  IN : x  0
Teorema 11: Leyes de Monotonía

I) Para la adición: si en ambos miembros de una desigualdad, se suma el

mismo número, se obtiene otra desigualdad del mismo sentido.
x  y  x  z  y  z, z  0
Evidentemente si x  y  x  z  y  z
Si x  y  h  IN , h  0 / x  h  y
 ( x  h)  z  y  z , z  0, h  0
 ( x  z )  h  y  z , z  0, h  0
 xz  yz
II) Para la multiplicación: si ambos miembros de una desigualdad, se
multiplican por el mismo número, se obtiene otra desigualdad del mismo
sentido.
x  y  x.z  y.z , z  0
En efecto, si: x  y  x.z  y.z
Si x  y  h  IN , h  0 / x  h  y
 ( x  h).z  y.z , z  0, h  0
 x.z  h.z  y.z , z.h  0
 x.z  y.z
Corolarios
1.- x.z  y.z  x  y
2.- x.z  y.z  x  y
3.- x.z  y.z  x  y
4.- x  0  y  0  x. y  0
5.- x. y  0  x  0  y  0
6.- x. y  1  x  1  y  1
7.- x  y  0  x  0  y  0
8.- x  z  y  z  x  y
9.- x  z  y  z  x  y
10.- x  z  y  z  x  y
Sumatoria

Consideremos una sucesión de números:

a1 , a 2 , a 3 ,....., a h 1 , a h , a h 1 ,......., a k 1 , a k
Para indicar una suma de varios sumandos de una sucesión de números se utilizan las
sumatorias.
k
a1  a 2  a3  .....  a h1  a h  a h 1  .......  a k 1  a k   ai
i 1
k
a h  a h 1  .......... ........  a k 1  a k   a i
i h
Propiedades
1) Un factor constante en una sumatoria puede entrar o salir de ella.

k k

 m.a
ih
i  m a i
ih
Demostración:
k

 m.a
ih
i  m.a h  m.a h 1  .......  m.a k 1  m.a k

 m. a h  a h 1  .......  a k 1  a k 
k
 m. a i
ih
2) Una sumatoria puede distribuirse respecto de una suma.
 k k k

 (a
i h
i  bi )   ai   bi
ih i h
Demostración:
k

 (a
i h
i  bi )  a h  bh  a h1  bh1  .......  a k 1  bk 1  a k  bk

 (a h  a h 1  .......  a k 1  a k )  (bh  bh 1  .....  bk 1  bk )

k k
  ai   bi
i h i h
3) La sumatoria de una constante es igual al producto de la constante por el factor
que se obtiene sumando una unidad a la diferencia entre el límite superior e
inferior de la sumatoria.
Demostración:
k

 (a
i h
i  m)  a h  m  a h 1  m  .......  a k 1  m  a k  m

= (a h  a h 1  .......  a k 1  a k )  (m  m  .....  m  m)
k
  ai  ( k  h  1).m
i h
4) Si los límites de una sumatoria se disminuyen en un mismo número, el índice de
la misma queda aumentado en dicho número y viceversa.
k k n

a
i h
i  a
i hn
in

Demostración:
k n

a
i hn
in  a h n  n  a h  n 1 n  a h  n  2 n  .....  a k n 1 n  a k  n  n

a h  a h 1  a h  2  .......  a k 1  a k
k
  ai
i h
Productoria

El producto de varios factores de una sucesión de números se abrevian mediante

productorias.
k
a h .a h 1 .a h  2 ......a k 1 .a k  a
ih
i

Factorial
En el conjunto de números naturales se define factorial, por recurrencia, de la siguiente
manera: 0!=1 (n + 1)!=n! .(n+1)
Propiedades

1) El factorial de 1 es igual a 1. En símbolos: 1!=1

En efecto: 1!= (0 + 1)!
= 0! .1
= 1.1
=1
2) Para n  2 : n! n.( n  1)( n  2).......3.2.1
 En efecto: n!  n.( n  1)!
= n.(n  1).(n  2)!
= n.( n  1)(n  2).( n  3)!
 n.( n  1)(n  2).(n  3).....3.2.1

Potenciación

Dados dos números naturales a y n, no simultáneamente nulos, llamados

respectivamente base y exponente, se llama potenciación a la operación que cumple las
siguientes propiedades:
1) a  0  n  0  a n  1
2) a  0  n  1  a n 1  a n .a
3) a  0  n  0  a n  0

Propiedades

1) La primera potencia de un número natural, es igual al mismo número.

a1  a
En efecto:
a 1  a 01  a 0 .a  1.a  a
2) El producto de potencias de igual base es igual a otra potencia de la misma base
cuyo exponente es la suma de los exponentes dados.
a n .a m  a n  m
Si m  0 : a n .a 0  a n .1  a n  a n  0
H) Si m  h : a n .a h  a n  h
T) Si m  h  1 : a n .a h 1  a n ( h 1)
D) a n .a h 1  a n .(a h .a)
= (a n .a h ).a
 a n  h .a
 a n  h 1
3) La potencia de otra potencia es igual a otra potencia de la misma base cuyo
exponente es el producto de los exponentes dados.
( a n ) m  a n. m
Si m  0 : (a n ) 0  1  a 0  a n.0
H) m  h : (a n ) h  a n.h
T) m  h  1 : ( a n ) h 1  a n.( h 1)
D) (a n ) h 1  (a n ) h .a
 a n.h .a n
 a n.h  n
 a n.( h 1)
4) Propiedad distributiva de la potenciación respecto de la multiplicación.
(a.b) n  a n .b n
Si n  0 : (a.b) 0  1  1.1  a 0 .b 0
H) (a.b) h  a h .b h
T) (a.b) h 1  a h 1 .b h 1
D) (a.b) h 1  ( a.b) h .( a.b)
= a h .b h .a.b
  a h .a.b h .b
 a h 1 .b h 1

5) Si n  2  a  a
n
 .a.a........
  a.a
nveces
11
Si n  2 : a  a  a .a  a .a
2 1 1

2 veces

H) n  h : a  a
h
.a......
 a
hveces
h 1
n  h 1: a a
 .a......
  a.a
T)
( h 1) veces
h 1
D) a  a .a h

a
.a......
 a.a
hveces
a.a......a.a
=  (h 1) veces
6) Leyes de monotonía
a) Si n  1  a  b  a n  b n
Si n  1 : a1  a  b  b1  a1  b1
H) a h  b h
T) a h 1  b h 1
D) a h  b h
ab
a h .a  b h .b
 a h 1  b h 1
b) a n  b n  a  b
Esta demostración se realiza por reducción al absurdo, para ello negamos la
tesis, o sea, suponemos que:
an  bn  a  b
ba
 bn  an
 an  bn ABSURDO pues contradice la hipótesis
ab

7) a  1  m  n  a m  a n
Si m  1  n  0  a 1  a  1  a 0  a1  a 0
H) m  h : a h  a n
T) m  h  1 : a h1  a n
D) a h  a n
a 1
a h .a  a n .1
a h 1  a n

Corolarios

a) a  0  n  0  a n  0
b) 01  0
c) 0 n.0 m  0 n m  0
Indeterminación

Por la primera parte de la definición: 0 0  1

Por la tercera parte de la definición: 0 0  0
Como para la misma operación hay dos resultados posibles, este caso se excluye de la
definición y se considera una indeterminación.
Por lo tanto: 0 0 es una indeterminación matemática
La potenciación no cumple las propiedades conmutativa ni asociativa. O sea:
m
an  na (a n ) m  a ( n )

Operaciones inversas

Cada operación directa, como función, da origen a dos funciones que son sus
operaciones inversas.
f : IN  IN / f ( a; b)  c f 1 (c; a )  b
f 2 (c; b)  a
De estas dos funciones f 2 explicita la primera componente y f 1 la segunda
componente. Si la operación directa es conmutativa, estas dos funciones son iguales, ya
que en ese caso no importa cual componente se explicita.
Cada operación inversa está condicionada por la operación directa que la origina y
ninguna es conmutativa, ni asociativa.
 OPERACIONES DIRECTAS

ADICIÓN MULTIPLICACIÓN POTENCIACIÓN

a+b=c a.b=c an  b

Base Exponente Potencia

Sumandos Suma Factores Producto

SUSTRACCIÓN DIVISIÓN
c–b=a c:b=a
c–a=b Resta c:a=b Cociente

Minuendo Sustraendo Dividendo Divisor

RADICACIÓN LOGARITMACIÓN
Índice n b  a log a b  n

Base
Radicando Raíz Argumento
Logaritmo

OPERACIONES INVERSAS

Sustracción

Dados dos números naturales m y s, llamados respectivamente minuendo y

sustraendo, siendo m  s , se llama diferencia o resta al número natural d que sumado
al sustraendo da por resultado el minuendo.
m  s, m  s  d  d  s  m