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 $\triangle ABC$ . Debemos demostrar que el triángulo $\triangle ABC$ es un triángulo isósceles.

Comencemos con la serie de argumentos:

El ángulo A mide 40 grados	Dato
El ángulo B mide 70 grados	Dato
El ángulo C mide 70 grados	Segú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ósceles	Segú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º$