Métodos de prueba, inducción y

recursión
Álgebra y matemática discreta
CONTENIDO
1. Objetivos

1. Variables y cuantificadores

3. Métodos de prueba
Reglas de inferencia
Reglas de inferencia para sentencias cuantificadas
Métodos de demostración de teoremas
4. Inducción

5. Recursión

6. Resumen

7. Bibliografía

Objetivos
• Conocer qué son las variables y los cuantificadores,
así como las tipologías de ambos.
• Comprender qué son los métodos de prueba.
• Conocer distintos tipos de métodos de prueba, así
como saber cómo y cuándo se utilizan.
• Saber en qué consiste el método de inducción.
• Comprender qué es la recursión.
Variables y cuantificadores
El término “variable” se refiere a un concepto amplio
con muchas interpretaciones distintas. De acuerdo
con Morales et al.1 “una variable es un símbolo que
representa una cantidad, relación u otras estructuras
matemáticas, pero la esencia de una variable es que
representa un conjunto de cantidades, relaciones o
estructuras matemáticas”.
Morales et al.1 afirma que las variables pueden variar, al
menos, de tres formas distintas:
• Variables que no varían: habitualmente, se
denominan incógnitas. Un ejemplo, sería encontrar
el valor del lado de un triángulo equilátero cuyo
perímetro es igual a 21. La solución a este
problema viene dada por la ecuación 3x = 21, donde
x representa el valor del lado del triángulo. En este
caso, el valor de la variable es único y corresponde
al lado del triángulo, que no cambia. En otros casos,
como en las ecuaciones x = x + 3 o x 2 = 4, al sustituir
la variable por un número se obtiene una expresión
que es verdadera o falsa.
• Variables discretas: una forma de demostrar la
naturaleza discreta de la variabilidad de las variables
es con tablas. Un ejemplo sería hallar el valor de
M, donde M es el coste de fabricación de x mesas
que responde a la ecuación: M = 3.x. En este caso,
la variable x es discreta y tiene un número infinito
de valores. La solución al problema se refleja en la
siguiente (Tabla 1):
• X • 1 • 2 • 3 • ...
• M • 3 • 6 • 9 • ...
Tabla 1. M=2.x.
Métodos de prueba, inducción y recursión | 3
• Variables continuas: en este caso, la variable se
presenta de la misma forma que si fuera discreta,
con la diferencia de que cambia constantemente,
es decir, toma valores continuos. Un ejemplo, sería
la ecuación de la recta y=5.x, donde, a diferencia de
la situación anterior, x es una variable continua.
Usiskin2 enumera cuatro usos distintos de la variable
asociados a cuatro concepciones distintas del álgebra, tal
como se puede apreciar en la (Tabla 2), retomada de Juárez3.
Por otra parte, Ursini4 menciona tres usos distintos de
la variable en el álgebra elemental: incógnita específica,
número general y en relación funcional. Por ejemplo,
en la expresión (x+2) (x+3), la variable x representa un
número general, mientras que, en la expresión (x+2)
+ (x+3) = 24, representa un valor específico cuyo valor
puede ser calculado.
Un ejemplo sencillo del uso de variables sería la
utilización de estas para encontrar la solución a un valor
no conocido a priori y, para representar expresiones que
incluyen valores genéricos que pueden variar, en función
del valor que tome una variable.
En este sentido, si se desea escribir una expresión que
represente el perímetro de un rectángulo, en función de
su alto y el ancho, se identifica el valor del alto con la
letra h y el valor del ancho con la letra w del siguiente
modo (Figura 1):
Concepción del álgebra Usos de la variable
Generalizadores de
Aritmética generalizada
patrones
Procedimientos para
Incógnitas, constantes
resolver problemas
Estudio de relaciones
Argumentos, parámetros
entre cantidades
Marcas arbitrarias en el
Estudio de estructuras
papel
3
Tabla 2. Concepciones del álgebra y usos de las variables Juárez .

h enunciado, 3 < 2, es falso.
w Una vez que se han asignado valores a las distintas
Figura 1. Rectángulo.
El perímetro se representa por la variable p y se define
como la suma de las longitudes de cada uno de los
lados del rectángulo, por lo que se obtiene la siguiente
expresión matemática:
p=h+w+h+w
Dado que, a la hora de efectuar operaciones algebraicas
con las variables el tratamiento que reciben es el mismo
que si se estuviera operando con los números que
representan, esta expresión se puede simplificar del
siguiente modo:
p=2h+2w
Una vez obtenida esta expresión simplificada es posible
evaluarla, con el fin de obtener el valor de una de las
variables, conocidos los valores de las otras variables.
Es decir, en el caso de que el rectángulo tuviera una
altura de 1 cm. y un ancho de 4 cm., sustituyendo estos
valores en la expresión anterior se obtiene el valor del
perímetro p:
p=2h+2w=(2×1)+(2×4)=2+8=10
Por otro lado, es habitual encontrar enunciados que
incluyen variables y que no son ni verdaderos, ni falsos, si
no se especifican los valores de las variables Kenneth5.
Algunos ejemplos de este tipo de enunciados son x < 2,
o, y = x +12, donde x e y son variables. El enunciado x
< 2 se puede denotar por P(x), donde x es la variable y
P denota al predicado: se refiere a una propiedad que
puede tener la variable la cual “es menor que 2”. De
acuerdo con Kenneth5:
La sentencia P(x) se dice también que es el valor de la
función proposicional P en x. Una vez que se le haya
asignado un valor a la variable x, la sentencia P(x) se
convierte en una proposición y tiene un valor de verdad.
Métodos de prueba, inducción y recursión | 4
En la proposición anterior, P(x) < 2, es posible calcular
los valores de verdad de P(1) y P(3). En el primer caso,
sustituyendo x=1 en el enunciado se obtiene 1 < 2, por
lo tanto, P(1), que es el enunciado 1<2, es verdadero.
Mientras que, en el segundo caso P(3), que es el
En el caso de evaluar una sentencia que incluya más
de una variable, se asignarían valores a las distintas
variables y, de este modo, se crearía una tabla de verdad.
variables de una función proposicional se obtiene una
proposición con un cierto valor de verdad. No obstante,
hay otra forma importante, llamada cuantificación, de
crear una proposición a una función proposicional.
Entre los principales cuantificadores se encuentran el
cuantificador universal y el cuantificador existencial,
como destaca Kenneth5:
• Cuantificador universal: la cuantificación universal
de una función proposicional es la proposición
que afirma que P(x) es verdadera para todos los
valores de x en el dominio. El dominio, o universo
de discurso, especifica los posibles valores de
la variable x. Las sentencias matemáticas que
imponen que una proposición es verdadera para
todos los valores de una variable en un dominio
particular utilizan un cuantificador universal.
• Cuantificador existencial: con un cuantificador
existencial se forma una proposición que es
verdadera, si y solo si, P(x) es verdadera para al
menos un valor de x en el dominio. Las sentencias
matemáticas que afirman que hay un elemento
con una cierta propiedad se expresan utilizando
cuantificadores existenciales.
Para representar el cuantificador universal se utiliza el
símbolo x, que se lee “para todo x” o “para todo valor
A
de x”. Del mismo modo, para el cuantificador existencial
se emplea el símbolo x que se lee “existe x” o “existe
E
valor de x”.
Un ejemplo de cuantificación universal sería el siguiente,
con base a los postulados de Kenneth5:
Sea P(x) el enunciado “ x+1 > x”. ¿Cuál es el valor de
verdad de la cuantificación xP(x) donde el dominio
A
consiste en todos los números reales?
Como P(x) es verdadera para todo número real x, la
cuantificación xP(x) es verdadera.
A
 Métodos de prueba, inducción y recursión | 5

Por otro lado, un ejemplo de cuantificación existencial También es posible anidar varios cuantificadores, así
sería el siguiente, en referencia a Kenneth5: como juntar varias variables bajo un mismo cuantificador.

Sea Q(x) el enunciado “X = x + L”. ¿Cuál es el valor de A continuación, se muestra un ejemplo de la propiedad
verdad de la cuantificación xQ(x) donde el dominio conmutativa para el conjunto de los números reales R:
A
consiste en todos los números reales?
x,y R
Э
Como Q(x) es falsa para todo número real x, la
cuantificación existencial de Q(x), que es xQ(x), es falsa.
E
x, y(x+y=y+x))
A A

Con base a estos dos cuantificadores es posible generar

otras configuraciones derivadas de ellos que ayudan
a representar las propiedades de las variables, como,
por ejemplo, señalar que existe un único elemento o
negar los cuantificadores. A continuación, se muestran
algunos tipos:
x y también se podría escribir de la forma: x,y.
A A A
En el siguiente ejemplo se muestra cómo se representa
el inverso de un número real, respecto de la suma,
utilizando cuantificadores:

• Cuantificador existencial único: se utiliza para

x,y R
Э
indicar que existe un único valor para la variable a la
que hace referencia y se representa de la siguiente
manera: !x(existe exactamente un x). x, y(x+y=0))
E E A

• Negación del cuantificador existencial: se

representa como ¬ xy significa que no existe x que
Métodos de prueba
E
cumpla la propiedad.
• Negación del cuantificador universal: se representa
como ¬ xy significará que no para todo x se cumple
A De acuerdo con Kenneth5, un teorema es una sentencia
la propiedad. que se puede verificar su veracidad. A veces, a los
teoremas se les llama proposiciones, hechos o resultados.
En los siguientes ejemplos se explica mejor el Con el fin de demostrar que un teorema es verdadero
funcionamiento de estos cuantificadores: se emplea una demostración, que está constituida por
una secuencia de sentencias. Las demostraciones se
1. x A:P(x): para todo x perteneciente a A se cumple construyen utilizando métodos para derivar sentencias
Э A
la propiedad P(x). nuevas a partir de sentencias conocidas. Las sentencias
que se utilizan en una demostración pueden incluir
2. x A:P(x): existe x perteneciente a A que cumpla
Э E
axiomas, o postulados, que son suposiciones que
la propiedad P(x).
subyacen a las estructuras matemáticas, hipótesis del
3. ¬ x A:P(x): no existe x perteneciente a A que teorema o teoremas demostrados previamente, como
E Э
cumpla la propiedad P(x). menciona Kenneth5. Para deducir conclusiones a partir
de otras afirmaciones, se utilizan las reglas de inferencia
4. !x A:P(x): existe un único x perteneciente a A que
E Э
que enlazan los distintos pasos de una demostración.
cumple la propiedad P(x).

Otro tema importante para tener en cuenta respecto Reglas de inferencia

a estos cuantificadores son sus equivalencias, que
se utilizarán en los procesos de demostración o Las reglas de infererencia justifican los pasos dados
simplificación. para demostrar que, a partir de una serie de hipótesis, se
llega de forma lógica a una conclusión, Kenneth5.
1. ¬( x A:P(X))Ξ x A:¬P(x)
Э A Э E

2. ¬( x A:P(X))Ξ x A:¬P(x)
Э E
De un modo más simplificado:
1. ¬( xP(X))Ξ x¬P(x)
A E
2. ¬( xP(X))Ξ x¬P(x)
E A
Э A
Antes de analizar en mayor detalle las reglas de
inferencia, es necesario definir una serie de conceptos,
retomando a Kenneth5:
Una tautología es una fórmula que es siempre verdadera,
no importa los valores de verdad de las proposiciones
que la componen. Una fórmula que es siempre falsa, se
denomina contradicción. Finalmente, una proposición
que no es ni una tautología, ni una contradicción, se
denomina contingencia.
 Métodos de prueba, inducción y recursión | 6

A continuación, se muestra una (Tabla 3) de verdad.
La letra V se refiere a una expresión verdadera, mientras
que la letra F, se refiere a una falsa. En esta es posible
observar un ejemplo de tautología y otro de contradicción:
por un lado, pV¬p (p o no p) es una tautología, mientras
que, por otro, pΛ¬p (p y no p) es una contradicción, como
destaca Kenneth5.
Las reglas de inferencia justifican los pasos dados
para demostrar que, a partir de una serie de hipótesis,
se llega de forma lógica a una conclusión. En la (Tabla
4), en referencia a Kenneth5, se muestran las reglas de
inferencia más importantes.
P ¬P PV ¬P PΛ ¬P
V F V F
F V V F
5
Tabla 3. Ejemplo de tautología y de contradicción. Kenneth .
Un ejemplo de aplicación de modus ponens sería el
siguiente: si tanto la hipótesis “hoy hace sol” como
la implicación “si hoy hace sol, vamos a la playa” son
verdaderas, se obtiene que la conclusión “vamos a la
playa” es verdadera.
En el siguiente ejemplo, retomado de Kenneth5, se aplican
las reglas de inferencia de la (Tabla 5) para obtener la
conclusión expuesta:
Se parte de las hipótesis siguientes:
• Esta tarde no hace sol y hace más frío que ayer.
• Iremos a nadar sólo si hace sol.
• Si no vamos a nadar, daremos un paseo en canoa.
• Si damos un paseo en canoa, estaremos en casa
para la puesta de sol.
Aplicando las reglas de inferencia mostradas en la (Tabla
5), se concluye: “estaremos en casa para la puesta del sol”.

Regla de inferencia Tautologia Nombre

p
pvq p (pvq) Adicción

pΛq
(pΛq) p Simplificación
p
p
q ((p) Λ (q)) (pΛq) Conjunción o ley de combinación
pΛq
p
p q [pΛ (p q)] q Modas ponens
q
¬q
p q [¬qΛ (p q)] ¬p Modus tollens
¬p
p q
q r [(p q) Λ (q r)] (p r) Silogismo hipotético
p r
pvq
¬p [(pvq) Λ¬p] q Silogismo disyntivo
q
pvq
¬pvr [(pvq) Λ (¬pΛr] (qvr) Ley de resolución
qvr

5
Tabla 4. Reglas de inferencia. Kenneth .
 Métodos de prueba, inducción y recursión | 7

Paso Razón Descripción

Esta tarde no hace sol (p) y hace más

¬pΛq Hipótesis
frío que ayer (q).

¬p Simplificación usando el paso 1. Esta tarde no hace sol.

r p Hipótesis Iremos a nadar (r) solo si hace sol.

¬r Modus tollens usando los pasos 2 y 3. No vamos a nadar.

Si no vamos a nadar, daremos un paseo

¬r s Hipótesis
en canoa (s).

s Modus ponens usando los pasos 4 y 5. Daremos un paseo en canoa.

Si damos un paseo en canoa, estaremos

s t Hipótesis
en casa para la puesta del sol (t).

Estaremos en casa para la puesta del

t Modus ponens usando los pasos 6 y 7.
sol.

5
Tabla 5. Ejemplo de aplicación de las reglas de inferencia .

Reglas de inferencia para Métodos de demostración de

sentencias cuantificadas
A las reglas de inferencia vistas anteriormente para
la lógica proposicional hay que añadirle las reglas
de inferencia para sentencias cuantificadas cuando
las sentencias hacen uso de cuantificadores. Estas
nuevas reglas son conocidas como generalizaciones,
o particularizaciones generales o existenciales, y se
identifican mediante las siguientes fórmulas, donde x es
una variable y c es un valor particular:
teoremas
Previamente al análisis de los distintos métodos de
prueba o demostración de teoremas existentes, es
necesario introducir algunos conceptos clave que
sientan las bases de esta parte de las matemáticas
como parte del método deductivo.
De acuerdo con del Valle Sotelo6:

• Particularización universal: xP(x) P(c).

A
Un axioma es una afirmación que se acepta como
Un ejemplo de utilización de esta regla sería verdadera en una teoría, por su sencillez y carácter
concluir, a partir de la sentencia “todas las perras elemental. A partir de los axiomas se crea una cadena
tienen cuatro patas”, que “Nala (es una perra) tiene de resultados, llamados teoremas, que se deducen
cuatro patas”. de los axiomas, teoremas que a su vez implican otros
• Generalización universal: P(c) xP(x), para un c teoremas. Un teorema es una afirmación condicional
A
arbitrario que consiste en dos partes: una llamada hipótesis y otra
• Particularización existencial: xP(x)
E
P(c), para tesis o conclusión. La hipótesis es una afirmación (o un
algún elemento c conjunto de condiciones) y la tesis es otra afirmación (u
otro conjunto de condiciones). La hipótesis y la tesis en
• Generalización existencial: P(c) xP(x), para un
E
un teorema se relacionan de la siguiente manera: si la
c arbitrario
hipótesis es verdadera (o el conjunto de condiciones de
la hipótesis se cumple), entonces la tesis es verdadera (o
el conjunto de condiciones de la tesis se cumple).

(...) En un teorema la tesis debe deducirse lógica y
rigurosamente de la hipótesis y un teorema no es un
axioma; es decir, la afirmación condicional que contiene
no es verdadera per se; sino que debe demostrarse
rigurosamente como consecuencia lógica de los axiomas
y/o de otros teoremas que ya han sido probados antes.
A continuación, se exponen una serie de métodos que
permiten sistematizar el procedimiento de demostración
de teoremas y facilitan el procedimiento de llegar a la
conclusión de si la hipótesis es verdadera o falsa.
Los dos métodos más sencillos de demostración son
los llamados de demostración directa y de demostración
indirecta, los cuales se pueden resumir de la siguiente
manera:
• Demostración directa: en este caso, se parte de la
implicación p q, que significa que, si p es verdadera,
q también lo es, y, por lo tanto, no se puede dar el
caso de que q sea falsa siendo p verdadera.
• Demostración indirecta: En esta demostración se
parte de que la implicación p q es equivalente a
¬q ¬p, lo que significa que, si q no se cumple, p
tampoco.
En el siguiente ejemplo, expuesto en Kenneth5 ,se ilustran
estos conceptos:
Demuestra que, si n es un entero y n2 es impar, entonces
n es impar.
Solución:
Primero se intenta una demostración directa. Se supone
que n es un entero y n2 es impar. Entonces, existe un entero
k tal que n2 = 2k + 1. ¿Se puede utilizar esta información
para demostrar que n es impar? No parece haber un
camino obvio para mostrar que n es impar porque las
soluciones para n son de la forma n=±√((2k+1)) lo cual
no es muy útil.
Como el intento de dar una demostración directa no
parece tener éxito, se intenta la demostración indirecta.
Para esto, se toma como hipótesis que n no es impar.
Como todo entero que no es impar, es par, n es par. Esto
implica que existe un k tal que n = 2k. Para demostrar el
teorema, se necesita mostrar que esta hipótesis implica
la conclusión de que n2 no es impar, es decir, de que n2
es par. ¿Se puede usar la ecuación n = 2k para llegar a
esto? Elevando ambos miembros al cuadrado, se obtiene
n2=4k^2=2(2k^2), lo que implica que n2 es también par, ya
que n2 = 2t, donde t = 2k2. De esta manera, se tiene éxito
en el intento de encontrar una demostración indirecta.
Métodos de prueba, inducción y recursión | 8
• Demostración por reducción al absurdo
El método de demostración o prueba por reducción
al absurdo es uno de los métodos más utilizados en
matemáticas. Este consiste en demostrar que una
proposición es verdadera porque, en caso de no ser
verdadera, se produciría una contradicción y, por tanto,
se podría concluir que sí es verdadera.
En palabras de del Valle Sotelo6:
Para aplicar esta técnica se niega la tesis y se llega a
la contradicción de la hipótesis, o de algún axioma o
teorema ya demostrado; entonces el suponer falsa la
tesis lleva a un hecho contradictorio, un absurdo, y, por
lo tanto, la tesis no puede ser falsa, luego es verdadera.
Kenneth5 formula este método del siguiente modo:
Supongamos que se puede encontrar una contradicción
q tal que ¬p q sea verdadera, esto es ¬p F es
verdadera. Entonces la proposición ¬p tiene que ser
falsa. Por tanto, p debe ser verdadera. Esta técnica se
utiliza cuando podemos encontrar una contradicción,
como por ejemplo rˬr de tal forma que es posible
mostrar que la implicación ¬p (rΛ¬r) sea verdadera.
Un argumento de este tipo se llama demostración por
reducción al absurdo.
A continuación, se muestra un ejemplo donde se
demuestra, por reducción al absurdo, que √2 es
irracional, como destaca Kenneth5:
Se parte de la proposición p que dice que √(2 )es
irracional.
Se supone que ¬p es verdadera, es decir que √2 es
racional.
Por tanto, al ser √(2 )racional, √2=a/b , de modo que a y
b no tengan factores comunes que permitan obtener una
fracción equivalente para valores más pequeños que los
de a y b.
Con base a lo anterior se puede establecer lo siguiente:
√2=a/b
De aquí, se obtiene que 2=a^2/b^2 . Por tanto, se tiene que
2b^2=a^2 lo que implica que a^2 es un número par, al ser
el resultado de otro número multiplicado por 2 y esto, a su
vez, implica que a es también un número par, por lo que,
es posible decir que a=2c, siendo c otro número entero.

De esta forma, es posible continuar afirmando:
2b2=a2 2b2=4c2 b2=2c²
Lo que indica que b2 es par. Esto implica que b también
lo es y, de esta forma, se llega a una contradicción: al
afirmar que ¬p era verdadera y √(2) racional, se había
asumido que a y b no tenían factores comunes que
permitieran obtener una fracción equivalente para
valores más pequeños a los de a y b, pero al ser ahora
tanto a, como b números pares, ambos números tienen
un factor común que los divide, el número 2; por tanto,
es una contradicción, lo que lleva a rechazar la premisa
inicial de que ¬p es verdadero.
De lo anterior se sigue que ¬p es falsa, es decir, no es
verdad que √(2)no es irracional, lo que quiere decir que √2
es irracional, tal como se quería demostrar inicialmente.
• Demostración por casos
Otro método de demostración o prueba es el método
de demostración por casos, en el que, si se tiene una
proposición formada por disyunciones (expresiones
unidas por el símbolo v , que se lee “o”), se puede
demostrar cada una de ellas de forma individual
aplicando, como regla de inferencia, la tautología que se
muestra a continuación:
Sea p1Vp2V...Vpn q La demostración de unicidad consta de dos partes: por
[p1Vp2V...Vpn q]=[(p1 q)Λ(p2 q)Λ...Λ(pn q)]
Por lo tanto, si se demuestra que, todas y cada una de
esas afirmaciones, p_i q son verdaderas, se habrá
demostrado que la afirmación original también es
verdadera y se habrá completado la demostración por el
método por casos.
• Demostración por equivalencias
Un teorema, que está formado por un bicondicional, es
decir con una doble implicación de la forma p q (“p sí
y sólo sí q”), se puede demostrar utilizando el método de
prueba o demostración por equivalencia, el cual consiste
en aplicar la siguiente tautología:
(p=q)=(p qΛq p)
Métodos de prueba, inducción y recursión | 9
En este caso, es posible demostrar la doble implicación,
demostrando cada una.
• Demostración de existencia
Se emplea para demostrar los teoremas que afirman la
existencia de un tipo particular de objetos:
Una demostración de una proposición de la forma xP(x)
E
se llama demostración de existencia. Hay varias formas
de demostrar un teorema de este tipo. A veces puede
darse una demostración del tipo xP(x) encontrando un
E
elemento a tal que P(a) sea verdadera. Tal demostración
de existencia se llama constructiva. También es
posible dar una demostración de existencia que sea
no constructiva. (…) Un método común para dar una
demostración no constructiva de existencia es utilizar
una demostración por reducción al absurdo y mostrar
que la negación de la cuantificación existencial implica
una contradicción. Kenneth5.
• Demostración de unicidad
En parte, es similar a la demostración existencial, pero
aumentando la restricción de que únicamente existe un
elemento, por lo que se puede decir que si y≠x, entonces
y no puede cumplir la propiedad.
Este tipo de proposiciones tienen la forma
E
!xP(x).
un lado, es necesario demostrar la existencia y, por otro
lado, la unicidad (otro elemento distinto no cumple la
propiedad).
• Demostración por contraejemplos
En el caso de que se quiera demostrar una proposición
de la forma xP(x), si se halla una x para la cual P(x) es
A
falsa, es decir que no se cumple la proposición, se ha
encontrado un contraejemplo para demostrar que xP(x)
A
, en este caso, no sería una afirmación verdadera.
Esto es así porque, al existir un valor para el cual no se
cumple P(x), ya no sería válido el cuantificador universal x.
A
A continuación, se muestra un ejemplo de demostración
por contraejemplo, como señala Kenneth5:
Muestra que la sentencia “Todo entero positivo es la
suma de los cuadrados de tres enteros” es falsa.
Solución: se puede mostrar que esta sentencia es falsa si
se encuentra un contraejemplo. Esto es: la sentencia es
falsa si se muestra que hay un entero particular que no
es la suma de los cuadrados de tres enteros. Para buscar
un contraejemplo, se intenta escribir los sucesivos
enteros positivos como suma de tres cuadrados. De esta
manera, se encuentra que

1 = 02 +02+12, 2 = 02+12+12, 3 = 12+12+12, 4 =
02+02+22, 5 = 02+12+22, 6 = 12+12+22,
pero no se puede encontrar una forma para escribir 7
como la suma de tres cuadrados. Para demostrar que no
hay tres cuadrados que sumen 7, se debe tener en cuenta
la posibilidad de utilizar solo aquellos cuadrados que no
exceden de 7, a saber, 0, 1 y 4. Como hay tres términos
escogidos entre 0, 1 o 4, cuyos cuadrados sumen 7, se
sigue que 7 es un contraejemplo. De esta manera, se
concluye que la sentencia “Todo entero positivo es la
suma de los cuadrados de tres enteros” es falsa.
• Consideraciones generales sobre demostraciones
De acuerdo con Kenneth5:
Hay muchos teoremas cuyas demostraciones son
fáciles de encontrar trabajando directamente con las
hipótesis y las definiciones de los términos del teorema.
No obstante, a veces es difícil demostrar un teorema sin
hacer un uso inteligente de demostraciones indirectas
por reducción al absurdo o por alguna otra técnica.
Construir demostraciones es un arte que sólo se puede
aprender a través de la experiencia, que consiste en
escribir las demostraciones, hacerlas revisar, leer y
analizar demostraciones hecha por otros, etc.
Inducción
Muchas veces es necesario demostrar teoremas que
afirman, por ejemplo, que P(n) se cumple para todos
los valores de n, siendo n un número entero positivo, es
decir n N. En estos casos se suele utilizar el método de
Э
demostración por inducción.
El proceso de inducción es una forma de razonar que
parte de hechos particulares a principios generales,
como es mencionado por del Valle Sotelo6. Este proceso
se utiliza en muchas ciencias experimentales como, por
ejemplo, la física donde, a partir de las observaciones
particulares, se inducen leyes generales: si al realizar
un tipo de experimento siempre se obtiene el mismo
resultado, la “ley” que se obtenga generalizando ese
resultado será cierta, mientras que no se obtenga un
resultado experimental distinto.
El principio de inducción matemática se basa en las
siguientes reglas:
1. P(1) es verdadero.
2. Si P(n) es verdadero, entonces P(n+1) también es
verdadero.
Por lo que se concluye que P(n) es verdadero n N.
Э A
De acuerdo con Spiegel et al.7:
Métodos de prueba, inducción y recursión | 10
La demostración de un teorema o fórmula mediante el
principio de inducción completa implica dos pasos:
1. La comprobación, por simple sustitución, que el
teorema propuesto o fórmula se verifica para los
primeros valores de n, enteros y positivos, por
ejemplo, n = 1, n = 2, entre otros.
2. La suposición de que el teorema o fórmula es cierto
para n = k y, a continuación, se demuestra que se
verifica para el siguiente n = k + 1.
Una vez que se hayan efectuado los pasos 1 y 2, entonces
se podrá concluir que el teorema o fórmula es válido
para todos los enteros positivos mayores o iguales a a:
el entero positivo del paso 1.
A continuación, se muestra un ejemplo del método de
demostración por inducción:
Se desea demostrar que n N,n<2^n y, para ello, se va
Э A
a utilizar el método de demostración por inducción.
1. Se evalúa la expresión para n = 1. Se obtiene que
P (1) = 1, y 1 < 21 = 2, por lo que se cumple para el
valor de n = 1.
2. A continuación, se supone que P(k) es verdadero
siendo k N, de forma que k < 2k y, en este momento,
Э
es necesario demostrar que P(k+1) sigue siendo
verdadero, lo que implicaría que k+1<2^(k+1).
3. En este momento, se intenta demostrar que P(k+1)
es verdadero, es decir, que k+1<2^(k+1). Si a la
expresión k < 2k que se supone que es verdadera
se le suma P(1) a ambos lados de la desigualdad,
se obtiene que k+1<2^k+1, expresión que también
se supone verdadera. Esta fórmula se puede seguir
desarrollando.
Teniendo en cuenta que es posible afirmar la
siguiente desigualdad: 1≤2^k , se puede concluir que
k+1<2^k+1≤2^k+2^k y, a su vez, 2^k+2^k=2^(k+1), por
lo que se ha demostrado que k+1<2^(k+1) que era el
objetivo al que se quería llegar.
Por lo tanto, se ha demostrado por el método de
inducción que n N,n<2^n.
Э A
Existe otra variedad de inducción matemática conocida
como inducción fuerte (o segunda forma de inducción),
que es una variación de la expuesta, pero que es
igualmente válida y utilizada en muchas demostraciones.
La diferencia entre ambas formas de inducción consiste
en suponer que P(j) es verdadera para j=1,...,k y, con base
a esto, se demuestra que P(k+1) también lo es. Para
esta variante, los pasos a seguir durante el proceso de
inducción serían los siguientes:

Si se quiere demostrar que P(n) es verdadero n N:
Э A
1. Se demuestra que P(1) es verdadera.
2. Se supone que P(k) es verdadera k [1, n].
Э A
3. Se demuestra que
[P(1)ΛP(2)Λ...ΛP(n)] P(k+1) es verdad k N.
A Э
Recursión
En ocasiones, la forma más sencilla de definir objetos
es en términos de ellos mismos. Un sistema recursivo
es un sistema que se crea nuevas instancias a partir
de otras propias. La recursividad se puede utilizar para
crear funciones, sucesiones y conjuntos.
Por ejemplo, para definir, de forma recursiva, una función
cuyo dominio es el conjunto de los números enteros
no negativos, se utilizan dos pasos, con base a los
postulados de Kenneth5:
• Paso base: se especifica el valor de la función en 0.
• Paso recursivo: se proporciona una regla para
obtener su valor en un entero a partir de sus valores
en enteros más pequeños.
Esta definición se llama definición inductiva o recursiva.
A continuación, se presenta un ejemplo básico de
recursividad con los números factoriales, ya que un
número n!, que se define como el producto de todos los
números naturales menores o iguales a n, se construye
de la siguiente manera:
n!=n(n-1)(n-2)...(2)(1)
Se puede escribir también de la siguiente forma:
n!=n(n-1)!, tomando como base a 0!=1
De esta forma, se construye el valor de n! con base al
valor de (n-1)!
Por ejemplo, sea F(n)=n!, calcular el valor de 7!
F(7)=7·F(6)=7·6·F(5)=7·6·5·F(4)=...
...=7·6·5·4·F(3)=7·6·5·4·3·F(2)=...
...=7·6·5·4·3·2·F(1)=7·6·5·4·3·2·1·F(0)=...
...=7·6·5·4·3·2]·1·1=5040
Por tanto 7!=5040
Métodos de prueba, inducción y recursión | 11
Resumen
A lo largo de este tema se han expuesto fundamentos
básicos para entender el álgebra, las matemáticas
en general e, incluso, comprender las bases de la
informática. Se ha aprendido a utilizar variables y
cuantificadores que, aplicándolos sobre esas variables,
ayudan a complementar la información que estas
ofrecen en un determinado dominio.
Una variable, que se representa simplemente con una
letra o símbolo, es una herramienta muy importante para
las matemáticas y todas las ciencias que hagan uso de
ellas, ya que, de forma sencilla, es posible "almacenar"
o "identificar" un determinado valor o conocimiento
de cualquier tipo, para luego ser reutilizado durante
demostraciones o cálculos.
En el caso de los cuantificadores, estos permiten, como
su nombre indica, cuantificar las variables, pudiendo
identificar si existe, o no, un valor para esa variable y
si para el valor es único, o si, por el contrario, existen
infinitos valores que puede tomar la variable dentro del
dominio establecido.
Una vez comprendidos los conceptos de variables y
cuantificadores, se han estudiado métodos de demostración
o prueba, que también son de vital importancia para las
matemáticas, ya que cualquier afirmación en matemáticas
tiene que estar debidamente demostrada, de manera
formal, para ser considerada válida.
Como parte importante del procedimiento, que permite
llegar a demostrar proposiciones o teoremas, se han
mostrado las principales reglas de inferencia gracias a las
cuales es posible, a partir de unas premisas lógicas, llegar
a una conclusión. De ese modo, las reglas de inferencia
facilitan el trabajo de demostración, ya que, aplicándolas
de manera adecuada a cada caso, es posible llegar a
aceptar o rechazar determinadas conjeturas.
Además, se han estudiado los métodos de demostración
de teoremas, que son otras estrategias que se pueden
aplicar a la hora de realizar una demostración. Es
importante comprender que no existe una única manera de
demostrar un teorema, pero sí existen unas maneras más
sencillas que otras en función del problema con el que se
esté trabajando, por lo que es importante ir aprendiendo
a identificar qué tipos de problemas se demuestran más
fácilmente utilizando un método u otro. En este sentido, la
intuición y la práctica juegan un papel importante a la hora
de plantear la demostración de un teorema.

Por otro lado, es importante tener claro el concepto de
inducción, porque es muy empleado en las matemáticas:
es necesario demostrar teoremas que afirman, por
ejemplo, que P(n) se cumple para todos los valores de n,
siendo n un número entero positivo, es decir n N.
Э
Otro concepto muy importante que se ha estudiado es
el de recursividad o recursión. Este concepto permite
definir, de forma sencilla, un tipo de problema formado
por n pasos, donde cada paso se establece con base
a uno o varios pasos anteriores del mismo problema,
como en el caso de los números factoriales, donde el
factorial n! está formado por la multiplicación de n·(n-
1)! y así sucesivamente, hasta llegar a un punto donde
el proceso debe detenerse. En este caso, ese punto se
alcanza cuando n=0, con lo que P(0)=1. Es importante
que el algoritmo o método tenga un punto de parada,
porque si no se entraría en un proceso infinito, dado que
se estaría continuamente llamando desde un P(a) a otro
P(b) sin parar.
En conclusión, a lo largo de este primer tema se han
expuesto conceptos esenciales que son útiles tanto para
las matemáticas en general, como para poder aplicarlos
en otras áreas de conocimiento de ciencias e ingenierías.
Métodos de prueba, inducción y recursión | 12
Referencias
1. Morales y Díaz, “Un estudio del concepto de variable
en los libros de texto”. 2008. pp. 201-211.
2. Z. Usiskin, “Conceptions of school algebra and uses
of variables. The Ideas of Algebra”, 1988. K-12. pp.
8-19.
3. Juárez, “Dificultades en la interpretación del
concepto de variable en profesores de matemáticas
de secundaria: un análisis mediante el modelo 3UV”.
Números. Revista de didáctica de las matemáticas,
76, 2011. pp.83-103.
4. Ursini, “Los niños y las variables. Educación
Matemática”, 1994. 6 (3), pp. 90-108.
5. Kenneth, “Matemática discreta y aplicaciones”, ed.
5. Madrid, España: McGraw-Hill Interamericana de
España S.L., 2004.
6. del Valle Sotelo, “Álgebra lineal para estudiantes de
ingeniería y ciencias”. Mc Graw Hill, 2012.
7. Spiegel y Moyer, “Álgebra Superior (Schaum)”.
McGraw-Hill, 2007.