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
Noisy loop
Curves
Spherical dodecahedron/icosahedron
Multiplying 4-Digit by 4-Digit Numbers Using an Area Model
Oddly Satisfying Voronoi Diagram
Discover Resources
Rectangle Redo
Modul 5E_Daud Ijarles Lebang_SMA Santo Paulus Manokwari
Untitled
Hole 5
Discover Topics
Linear Regression
Equations
Scalene Triangles
Subtraction
Functions
