Geometry Concepts Animation

You can experiment, modify, and learn from the following samples. Remember that there is a tutorials page to learn the basics.

Problems	Animations
Proof system for congruent triangles based on Side-side-side. Proofs can be conducted by deductive engines, in which logical rules are repeatedly applied to reason about the question at hand. Game Changineer can be used to write such deduction rules.
Proof system for congruent triangles based on Side-angle-side. Proofs can be conducted by deductive engines, in which logical rules are repeatedly applied to reason about the question at hand. Game Changineer can be used to write such deduction rules.
Proof system for congruent triangles in a rectangle. Proofs can be conducted by deductive engines, in which logical rules are repeatedly applied to reason about the question at hand. Game Changineer can be used to write such deduction rules. Given a rectangle with length 4 and width 3. A diagonal is drawn to form 2 trangles. We show that the two trangles are congruent.
Proof system for congruent alternating angles. Proofs can be conducted by deductive engines, in which logical rules are repeatedly applied to reason about the question at hand. Game Changineer can be used to write such deduction rules. Given two parallel lines and a transversal, forming alternating angles A2 and A3. Let angle A1 be the vertical angle of A2. Note that A1 can be translated to match A3, as they are corresponding angles.