Teoría I.

Bases Matemáticas
Computacional
Teoría Computacional
Jorge Kashiwamoto

¿Para qué sirven las

demostraciones?
Los matemáticos son muy metódicos,
analíticos e inflexibles en cuanto a la
I.5. Técnicas de Demostración verificación de los resultados
 La formalidad es un ingrediente
I. Bases Matemáticas fundamental en el trabajo.
Todo debe estar suficientemente
justificado.
Referencia
“12 variaciones sobre un mismo tema o una demostración de cómo demostrar”
 Francisco Rivero

La búsqueda de la verdad. Problema:

Demostrar que el producto de tres

El camino agustiniano enteros consecutivos:
n (n + 1)(n + 2)
Creer saber aprehender
es divisible entre 6
verdad Más simbología: A(n) = n ( n+1)(n+2)

1
 Prueba 1 Prueba 2
Reducción al absurdo
Profundamente Eleática Demostración por negación
 Se niega la tesis, y se trabaja en forma lógico- (Negación de la tesis)
deductiva hasta llegar a una contradicción Existe un n tal que
A( k +1) = A (k) + 3 ( k +1 )( k +2 ) A( n) no es divisible entre 6.
 Probaremos que hay infinitos A(n) divisibles entre 6
 Negada
Hipótesis 0 (H0)
Existe un número finito de los A(n) que son divisibles entre A( k +1) = A (k) + 3 ( k +1 )( k +2 )
6
k es el número máximo finito de ese rango ¿Qué pasa con el siguiente?
Se buscará que k+1 no lo cumple ¿ Y el siguiente del siguiente?....

Prueba 3 Prueba 4

Algorítmica n A(n) 6.bn bn Constructiva

Óptica árabe 1 6 6.1 1 Newtoniana
¿Cómo se construyen 2 24 6.4 4 A (n) = 6 ( T( n+1) + T( n) + … + T(0))
los números 1, 4,
10,….? 3 60 6.10 10 Se puede cuestionar la originalidad de la
4 120 6.20 20 fórmula
5 210 6.35 35
6 336 6.56 56
7 504 6.84 84

Prueba 5 Referencia

Inducción matemática  “12 variaciones sobre un mismo tema o una demostración de cómo demostrar”
 Francisco Rivero

Cantoriana
Proposición P(k)
A (k ) es divisible entre 6
A( k +1) = A (k) + 3 ( k +1 )( k +2 )

1845-1918