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
Graph of Slopes of Tangent Lines
Limaçons
The Geometry of the Coefficients of a Quadratic Function
Other Variations of Cosine
Random Polar Curve (1)
Discover Resources
Construct a Perpendicular Bisector
Triangle Centers
Sudut Pusat 001
正四面体の自己双対
Visualizing Linear Equation
Discover Topics
Mode
Subtraction
Linear Regression
Line Segment
Binomial Distribution
