AutoSkill 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.
install
source · Clone the upstream repo
git clone https://github.com/ECNU-ICALK/AutoSkill
Claude Code · Install into ~/.claude/skills/
T=$(mktemp -d) && git clone --depth=1 https://github.com/ECNU-ICALK/AutoSkill "$T" && mkdir -p ~/.claude/skills && cp -r "$T/SkillBank/ConvSkill/english_gpt4_8/geometry-definition-equivalence-analysis" ~/.claude/skills/ecnu-icalk-autoskill-geometry-definition-equivalence-analysis && rm -rf "$T"
manifest:
SkillBank/ConvSkill/english_gpt4_8/geometry-definition-equivalence-analysis/SKILL.mdsource content
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
- 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.
- 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.
- 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.
- 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