Demostracin matemtica,

Demostracin matemtica: figuras 1 y 2 Estos diagramas se pueden utilizar para demostrar el teorema de Pitgoras, que dice que si un tringulo rectngulo tiene catetos A y B e hipotenusa C, entonces A2 + B2 = C2. Las figuras 1 y 2 contienen ambas cuatro tringulos rectngulos con catetos A y B e hipotenusa C. Dado que ambas figuras tienen el mismo rea, si se eliminan los cuatro tringulos de la figura 1, el rea restante debe ser igual a la que queda si se eliminan de la figura 2. En la figura 1 el rea restante es A2 + B2, y en la figura 2 es C2. Por tanto, A2 + B2 = C2, lo que demuestra el teorema de Pitgoras.

argumento utilizado para mostrar la veracidad de una proposicin matemtica. En las matemticas modernas una demostracin comienza con una o ms declaraciones denominadas premisas, y prueba, utilizando las reglas de la lgica, que si las premisas son verdaderas, entonces una determinada conclusin debe ser tambin cierta. Los mtodos y estrategias utilizados para construir un argumento matemtico convincente han evolucionado desde los tiempos antiguos y todava siguen cambiando. Esto se puede comprobar con el teorema de Pitgoras, que recibe su nombre del matemtico y filsofo griego del siglo V a.C. Pitgoras, y que establece que en un tringulo rectngulo el cuadrado de la hipotenusa es igual a la suma de los cuadrados de los catetos. La mayor parte de las civilizaciones antiguas consideraron que este teorema era cierto pues coincida con sus observaciones experimentales. Sin embargo, los griegos, entre otros, comprobaron que la simple observacin o la opinin comn no garantizan la verdad matemtica. As, antes del siglo V a.C. se aceptaba que todas las longitudes se podan expresar como el cociente de dos nmeros enteros, pero un annimo matemtico griego demostr que esto no era posible con la longitud de la diagonal de un cuadrado de rea unidad. Un ejemplo de demostracin matemtica es el siguiente razonamiento que prueba que el teorema de Pitgoras es cierto. Las figuras 1 y 2 muestran que la relacin A2+ B2 = C2 se cumple para cualquier tringulo rectngulo con catetos A y B e hipotenusa C. La figura 1 muestra cmo un cuadrado de lado A + B se puede dividir en cuatro tringulos rectngulos, un cuadrado de lado

A y un cuadrado de lado B. La figura 2 muestra que el mismo cuadrado de lado A + B se puede tambin dividir en cuatro tringulos rectngulos ms un cuadrado de lado C. Como los dos cuadrados de lado A + B deben tener igual rea, seguirn teniendo la misma superficie si se eliminan los cuatro tringulos rectngulos en ambos. El rea total restante en el lado izquierdo es A2 + B2, y el rea del cuadrado que queda en el lado derecho es C2. Por tanto, A2 + B2 = C2. El matemtico griego Euclides estableci algunas de las consideraciones fundamentales de las demostraciones matemticas modernas. En su libro Elementos, escrito hacia el ao 300 a.C., se encuentran bastantes demostraciones en los campos de la geometra y del lgebra. El libro ilustra el sistema griego de escribir demostraciones matemticas empezando por identificar claramente los supuestos iniciales y a partir de stos razonar de una manera lgica hasta obtener la conclusin deseada. Adems, en este tipo de argumentos Euclides utilizaba resultados de otras demostraciones cuya certeza era conocida, llamados teoremas, y proposiciones aceptadas explcitamente por ser evidentes, llamadas axiomas. Este sistema an se utiliza hoy. En el siglo XX se han escrito demostraciones tan complejas que una sola persona no es capaz de entender todos y cada uno de los razonamientos utilizados. En el ao 1976 se utiliz un ordenador o computadora para completar la demostracin del teorema de los cuatro colores. Este teorema dice que cuatro colores son suficientes para colorear cualquier mapa cumpliendo que dos regiones con una lnea fronteriza comn tienen distintos colores. El uso de un ordenador en esta demostracin produjo discusiones considerables en la comunidad matemtica. El principal problema es saber si el teorema se puede considerar demostrado sin que ningn ser humano compruebe todos los pasos y detalles de la demostracin.1