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
Discover Resources
Steiner's Porism
Platonic Solids
C to D Circles With Radius
Stapleford similarity puzzle
การลบจำนวนเต็ม
New Resources
coplanar and point and lines
TriPrismGeoSim
Egyptian Pyramids
[+Quantum Continuum]: En - [graphical method]
Multiplying by numbers using vectors
