Qu es una

demostracin?
12 variaciones sobre un mismo
tema.

Francisco Rivero Mendoza

Para qu sirven las

demostraciones?
Los matemticos son muy metdicos,
analticos e inflexibles en cuanto a la
verificacin de los resultados
La formalidad es un ingrediente
fundamental en el trabajo.
Todo debe estar suficientemente
justificado.
2

La bsqueda de la verdad.
El camino agustiniano.

Creer

saber

aprehender

verdad
3

Tautologas
Diremos que P Q es una proposicin
simblica.
Una Tautologa es una proposicin
simblica, la cual es verdadera en todos
los casos posibles de sustitucin de las
variables.
Por ejemplo [ P (P Q)] Q es una
tautologa. ( Modus Ponens).
4

Demostraciones a la carta
Teorema fundamental del Algebra.
Ley de reciprocidad cuadrtica.
Teorema de Sylow.

Problema:
Demostrar que el producto de tres
enteros consecutivos:
n (n + 1)(n + 2)
es divisible entre 6.
Ms simbologa: A(n) = n ( n+1)(n+2)
6

Prueba 1..
Reduccin al absurdo.
Profundamente Eletica
Probaremos que hay infinitos A( n)
divisibles entre 6.
Relacin fundamental en esta charla
A( k +1) = A (k) + 3 ( k +1 )( k +2 )

Prueba 2.
Demostracin por negacin.
(Negacin de la tesis) Existe un n tal
que A( n) no es divisible entre 6.
A( k +1) = A (k) + 3 ( k +1 )( k +2 )
Qu pasa con el siguiente?
Y el siguiente del siguiente?....

Prueba 3.
Visualizacin.
A la manera china.
A( n) = n( n+1)(n+2)

Prueba 4 .
Geomtrica.
Maravillosamente
Pitagrica
T (n) nmero
triangular n-simo.
T( n ) = n ( n+1)/2

10

Prueba 5.
Algortmica
Definitivamente
rabe.
Cmo se
construyen los
nmeros 1, 4, 10,.?

n A(n) 6.bn bn
1
2
3
4
5
6
7

6
24
60
120
210
336
504

6.1
6.4
6.10
6.20
6.35
6.56
6.84

1
4
10
20
35
56
84
11

Prueba 6.

Constructiva.
Poderosamente Newtoniana.
A (n) = 6 ( T( n+1) + T( n) + + T(0)).
Ser original mi frmula?

12

Prueba 7.

Descenso al infinito.
Misteriosamente Fermatiana.
A( k +1) = A (k) + 3 ( k +1 )( k +2 ).
A (k) = A( k-1) + 3 ( k )( k +1)..
1 < <A( k-1) < A(k) < A( k +1)

13

Prueba 8.
Directa
Majestuosamente gaussiana.
A (n) = n3 + 3 n2 + 2n.
A (n) 0 mod 2.
A (n) n3 + 2n 3 n 0 mod 3.
Congruencias en Wikipedia.

14

Prueba 9.
Combinatoria.
A la manera de Paul Erdos.
Qu significado tiene el cociente
n( n+1)( n+2) / 6 ?
Erdos en Wikipedia.

1913-1996

15

Prueba 10.
Induccin matemtica.
Infinitamente cantoriana.
Proposicin P(k)
A (k ) es divisible entre 6.
A( k +1) = A (k) + 3 ( k +1 )( k +2 ).
Cantor en Wikipedia.

1845-1918

16

Prueba 11.
Exhaustiva.
Teorema de los cuatr
o colores
.
N = 6k + p.
P = 0, 1, 2, 3, 4, 5.
A( n) = n ( n+1) ( n+2)
= 6t + A( p).

p
0
1
2
3
4
5

P+1
1
2
3
4
5
6

P+2
2
3
4
5
6
7

A (p)
0
6
24
60
120
210
17

Prueba 12.
Principio de los palomares
Formalista Dirichlet Hilbert.
Si p es un primo cualquiera, 2s p
divide al producto :
n ( n+1)(n+2)..( n+p-1),
Para cualquier n, natural

18

19

Principio del palomar

Si A tiene n elementos y B tiene n+1
elementos, no existe una funcin
inyectiva de A en B.

20

Conclusin.
Cul de todas las
pruebas es la ms
bonita?
El libro de Dios.

21

Muchas gracias.
Profesor Francisco Rivero.
http:// webdelprofesor.ula.ve
/ciencias/lico

22