GeoGebra
Verifications and proofs in GeoGebra
Introduction: Diagonals of a parallelogram bisect each other
Collecting relationships
Verification by single/multiple occurences, numerical checks
Extra verification (green/red light), degeneracy cases
ATP verification, getting a sufficient condition
The ProveDetails command
ATP verification, obtaining sufficient conditions
GeoGebra
Verifications and proofs in GeoGebra
Author:
Zoltán Kovács
An introduction to GeoGebra's verification and proof possibilities
Table of Contents
Introduction: Diagonals of a parallelogram bisect each other
Collecting relationships
Verification by single/multiple occurences, numerical checks
Extra verification (green/red light), degeneracy cases
ATP verification, getting a sufficient condition
The ProveDetails command
ATP verification, obtaining sufficient conditions
New Resources
Pravilni mnogokut
Circle Geometry Thm 2
Circle Geometry Theorem 1
Parabola Calculator
angle-edge-angle triangles
Discover Resources
Volume of Box and Total Surface Area
Draw the Golden Ratio pattern
Transformation of Functions
Multiplying Fractions
Regular Pentagon
Discover Topics
Random Variables
Set Theory
Planes
Special Points
Arithmetic Operations
