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.
Once installed, you can use this skill by running the following command in your terminal:
skills use prove-geometric-theorem