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
Tracing an Ellipse Using Two Circles
bewijs stelling van Pythagoras
Graph of Slopes of Tangent Lines
Rolling a Square
Circumference of a unit circle
Discover Resources
Task 1: Rotations
Trig Value Chart by π/12
Angle Bisectors
Parabolic segment area
Fehr problem 6&7 in notes
Discover Topics
Dilation
Hyperbola
Differential Equation
Limits
Diagrams
