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.md
source 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

  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