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
Marion's Theorem
Basic and Compound Inequality Illustrator
End Behavior of Polynomial Functions
Laundry Basket
Angle Addition Postulate (V2) - Integer Solutions
Discover Resources
problem 14
The unit circle and the graphs of sec, cosec and cot
Formula For Arc Length
Geometry Week 0 Day 2
Problems
Discover Topics
Linear Equations
Quadratic Functions
Hypergeometric Distribution
Expected Value
Upper and Lower Sum or Riemann Sum
