prove-geometric-theorem

Demostrar teoremas geométricos usando métodos euclidianos de prueba (directo, por contradicción, por contraejemplo), geometría analítica, y transformaciones. Cubre la selección de axiomas, lemas y teoremas conocidos; la construcción de líneas auxiliares; y la escritura de pruebas rigurosas paso a paso con justificación de cada inferencia.