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
Linear Equation Graphs: Thin Slice
Midpoint Theorem (V2): Integer Solutions
Segment Addition Postulate (Mild Questions)
Perpendicular Lines: Quick Exploration
Rovnoběžnost rovin
Discover Resources
dodecahedron intersection
CCSS High School: Geometry (Congruence) Volume 2
Lines of Symmetry Investigation
Торта
广义三角函数演示
Discover Topics
Functions
Trigonometric Functions
Congruence
Expected Value
Correlation
