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.
После установки вы можете использовать этот skill, выполнив следующую команду в терминале:
skills use prove-geometric-theorem