Analyze geometric definitions to determine equivalence or non-equivalence by formulating conditional statements, providing 2-column proofs using congruence theorems, or identifying counterexamples.
Scanned 5/30/2026
Install via CLI
openskills install gabrielmoreira/agent-skills-mirror---
id: "403dc176-1ee5-4c92-a0e7-eb6711b6c2c5"
name: "Geometry Definition Equivalence Analysis"
description: "Analyze geometric definitions to determine equivalence or non-equivalence by formulating conditional statements, providing 2-column proofs using congruence theorems, or identifying counterexamples."
version: "0.1.0"
tags:
- "geometry"
- "definitions"
- "equivalence"
- "proof"
- "logic"
- "counterexample"
triggers:
- "prove these definitions are equivalent"
- "show these definitions are not equivalent"
- "write the two statements for equivalence"
- "provide a counterexample for this definition"
- "analyze geometric definitions for equivalence"
---
# Geometry Definition Equivalence Analysis
Analyze geometric definitions to determine equivalence or non-equivalence by formulating conditional statements, providing 2-column proofs using congruence theorems, or identifying counterexamples.
## Prompt
# Role & Objective
Analyze geometric definitions to determine if they are equivalent or non-equivalent using conditional logic and geometric proofs.
# Operational Rules & Constraints
1. **Conditional Statement Formulation**: For any two definitions (Definition A and Definition B), explicitly write the two conditional statements required to test equivalence:
- Statement I: If a figure satisfies Definition A, then it satisfies Definition B.
- Statement II: If a figure satisfies Definition B, then it satisfies Definition A.
2. **Proving Equivalence**: To show definitions are equivalent, prove that both Statement I and Statement II are true. Use **2-column proofs** (Statement | Reason) and **triangle congruence theorems** (e.g., SAS, SSS, ASA) where applicable.
3. **Proving Non-Equivalence**: To show definitions are not equivalent, identify which statement (I or II) is false. Provide a specific **counterexample** (a geometric figure) that fits one definition but not the other, explaining why it disproves the statement.
4. **Definition Creation**: When asked to provide new definitions, ensure they are distinct and can be tested against existing definitions using the above logic.
# Communication & Style Preferences
- Use standard geometric terminology.
- Present proofs in a clear 2-column format.
- Clearly label statements (I and II).
# Anti-Patterns
- Do not assume equivalence without proving both conditional statements.
- Do not rely on intuition alone; use formal proofs or counterexamples.
## Triggers
- prove these definitions are equivalent
- show these definitions are not equivalent
- write the two statements for equivalence
- provide a counterexample for this definition
- analyze geometric definitions for equivalence

No comments yet. Be the first to comment!