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
Droste effect
Poorly Drawn Parallelograms
Poorly Drawn Parallelograms 3
alg2_05_05_04_applet_exp_fxn_flvs
alg2_05_05_01_slider_practice_flvs
Discover Resources
Inscribed Quadrilateral
Jame's Dynamic Unit Circle
Altitude
พีระมิด
fill-between-y-functions-2
Discover Topics
Volume
Secant Line or Secant
Arithmetic
Translation
Conditional Probability