que es demostracion en geometria
Respuestas a la pregunta
Demostración Matemática. Es una cadena finita de proposiciones verdaderas, que se obtienen con ayuda de reglas de inferencia lógicas. El punto de partida de esta cadena son proposiciones cuya verdad es conocida. El punto final de la cadena es el teorema a demostrar. Cada miembro de la cadena se obtiene del anterior mediante reglas de inferencia lógica.
Respuesta:
En matemáticas, una demostración o bien una prueba es un argumento deductivo para asegurar la verdad de una proposición matemática. En la argumentación se pueden usar otras afirmaciones previamente establecidas, tales como teoremas o bien las afirmaciones iniciales o axiomas.[2] En principio una demostración se puede rastrear hasta afirmaciones generalmente aceptadas, conocidas como axiomas.[3][4] Las demostraciones son ejemplos de razonamiento deductivo y se distinguen de argumentos inductivos o empíricos; una demostración debe demostrar que una afirmación es siempre verdadera (ocasionalmente al listar todos los casos posibles y mostrar que es válida en cada uno), más que enumerar muchos casos confirmatorios. Una afirmación no probada que se cree verdadera se conoce como conjetura.
Las demostraciones emplean lógica pero normalmente incluyen una buena parte de lenguaje natural, el cual usualmente admite alguna ambigüedad. De hecho, la gran mayoría de las demostraciones en las matemáticas escritas puede ser considerada como aplicaciones de lógica informal rigurosa. Las demostraciones puramente formales, escritas en lenguaje simbólico en lugar de lenguaje natural, se consideran en teoría de la demostración. La distinción entre demostraciones formales e informales ha llevado a examinar la lógica matemática histórica y actual, el cuasi-empirismo matemático y el formalismo matemático. La filosofía de las matemáticas concierne al rol del lenguaje y la lógica en las demostraciones, y en las matemáticas como lenguaje.
El hecho de no conocer ninguna demostración de un teorema no implica su no veracidad; sólo la demostración de la negación de este resultado implica que es falso.