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.
Installation and usage
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.
Après l'installation, vous pouvez utiliser ce skill en exécutant la commande suivante dans votre terminal :
skills use prove-geometric-theorem