Sign in
Search
Outline
Verifications and proofs in GeoGebra
Introduction: Diagonals of a parallelogram bisect each other
The ProveDetails command
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
Next
Collecting relationships
New Resources
Random Polar Curve (3)
apec
Slope and Road Signs
Rose Curve
Some random function
Discover Resources
Unfinished Applet: Please Ignore
Circle Theorems
angles
Droite et plan parallèles
תרגיל 3 - קצב השתנות
Discover Topics
Linear Functions
Parabola
Equations
Pythagoras or Pythagorean Theorem
Curve Sketching
