home/categories/philosophy-ethics/pjt222-agent-almanac-skills-prove-geometric-theorem-skill-md
philosophy-ethicslifestyle

prove-geometric-theorem

Prove geometric theorems using Euclidean axiomatic methods, coordinate geometry, or vector methods with rigorous step-by-step logical structure. Covers direct proof, proof by contradiction, coordinate proofs, vector proofs, and handling of special cases and degenerate configurations. Use when given a geometric statement to prove, verifying a conjecture, establishing a lemma, converting geometric intuition into a rigorous proof, or comparing the effectiveness of different proof methods.

pjt222
maintainer
pjt222
Mis à jour 2/19/2026
Étoiles
9
Forks
0
quick start

Installation and usage

Prove geometric theorems using Euclidean axiomatic methods, coordinate geometry, or vector methods with rigorous step-by-step logical structure. Covers direct proof, proof by contradiction, coordinate proofs, vector proofs, and handling of special cases and degenerate configurations. Use when given a geometric statement to prove, verifying a conjecture, establishing a lemma, converting geometric intuition into a rigorous proof, or comparing the effectiveness of different proof methods.

Installation
$ install --globalskills.sh
Utilisation

Après l'installation, vous pouvez utiliser ce skill en exécutant la commande suivante dans votre terminal :

skills use prove-geometric-theorem