Modo de escritura de la demostración formal en geometría

¿Qué es la demostración formal?

Una gran parte de las preguntas en geometría contienen demostraciones. Por lo tanto, se debe estudiar la manera correcta y formal para escribirlas. Cuando nos piden que demostremos cierta alegación, de hecho, tenemos que construir una serie de argumentos que, cada uno de ellos, debe venir acompañado de alguna explicación o justificación. La explicación o justificación pueden ser algún dato, cálculo o algún teorema. Finalmente, el último argumento de la demostración se basa en los anteriores y confirma lo que queríamos demostrar. 

Lo ilustraremos con un simple ejemplo.

Dado el triángulo ABC. Debemos demostrar que el triángulo ABC es un triángulo isósceles.

La demostración formal

Comencemos con la serie de argumentos:

El ángulo A mide 40 gradosDato
El ángulo B mide 70 gradosDato
El ángulo C mide 70 gradosSegún el teorema: la suma de los ángulos de un triángulo es igual a 180 grados, calcularemos 180-70-40= 70.
De lo anterior podemos demostrar que el triángulo ABC es un triángulo isóscelesSegún el teorema: el triángulo isósceles es un triángulo en el cual los ángulos base son iguales

QED

Los ángulos B y C son los ángulos de la base y miden 70º


Si te interesa este artículo también te pueden interesar los siguientes artículos:

Criterio de congruencia: Lado, Ángulo, Lado

Criterio de congruencia: Ángulo, Lado, Ángulo

Criterio de congruencia: Lado, Lado, Lado

Lado, lado y el ángulo opuesto al mayor de los dos lados

En el blog de Tutorela encontrarás una variedad de artículos sobre matemáticas.