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
Slope Illustrator (2)
Isosceles Right Triangle
Quadrant Illustrator 2
Linear Equation Graphs: Thin Slice
Pythagorean Theorem: Quick Illustrator
Discover Resources
Square and Circle - II
Math 124 - 4.3
Central limit theorem for samples from a Poisson dist
Fastest path
Matt Braddock's GeoGebra Portfolio
Discover Topics
Random Variables
Poisson Distribution
Geometric Distribution
Cuboid
Translation
