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
Angles and Intersecting Lines: Quick Investigation
Bottema's Theorem
Piano. Keyboard.
Ellipse as Envelope - Correspondence Method
Pelecoid
Discover Resources
Pure rolling motion and the cycloid
Day 23
Arvie, Felix, Ferdz, and Carlo's own design: ANIMATION
Affine Pentagonal Antiprism Projection
การลบจำนวนเต็ม
Discover Topics
Rhombus
Tree Diagrams
Upper and Lower Sum or Riemann Sum
Subtraction
LCM and GCD