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
Rossler's Attractor
Isosceles Right Triangle
Linear Combination of Vectors
End Behavior of Polynomial Functions
Midpoint Theorem (V2): Integer Solutions
Discover Resources
Exercise 1
Harmonic Functions and Waveforms
Limits Worksheet
The Rainbow- Raimondi Alessandra
Battleship
Discover Topics
Vectors 3D (Three-Dimensional)
Equilateral Triangles
Planes
Kite
Matrices
