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
Limaçon / Cardioid as a Locus - A Classical Construction
Ellipse, Hyperbola and Circle as Envelopes
Pelecoid
Cross Product in 2D and 3D
Slope Field (1)
Discover Resources
CONGRUENT ANGLES
circum center lamarcagle
Grecia: Juega y aprende con la parábola.
صفات متوازي أضلاع
The Unit Circle (Part 2): IM Alg2.6.4
Discover Topics
Parallelogram
Tree Diagrams
Distributions
Vectors 3D (Three-Dimensional)
Tangent Line or Tangent