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
Road Runner (beep, beep)
Droste effect
Exploring Simple Loci 探究簡單軌跡
Roman Numerals Bingo
What if the Exponent is an OUTPUT?
Discover Resources
Rotating 180 degrees about the origin.
Schwerpunkt Umformung Konstruktion
flower
Transformaties lijnen
Eiffel Tower
Discover Topics
Unit Circle
Integers
Line Segment
General Quadrilateral
Parabola