Table of Contents
Preface
Preface to JGEX 0.8 Beta
Introduction
What Is JGEX?
A Dynamic Geometry Software
An Automated Geometry Theorem Prover
A Tool for Visually Dynamic Presentation of Proofs
GEX and JGEX
Installation and Updating
A quick start with three examples
A Quik Start for JGEX
Feuerbach's Theorem
The Nine Point Circle Theorem
Pythagoras' Theorem
Reference Guide
Basic Operations
(loading, saving, selecting, moving, etc.)
Dynamic Geometry
(the drawing part of the program)
The Main Menu
Right Click Menu
Toolbars
Save, Load, Move, Select, etc
New
Save
Load
Move
Select
Basic Drawing
Point
Line
Parallel Line
Perpendicular Line
Circle
Circle by Radius
Circle by Three Points
Midpoint
Other Drawing
Foot
Define Angle
Add Text
Intersect
Mirror
Fill Polygon
Polygons
Triangle
Isosceles Triangle
Equilateral Triangle
Right-Angled Triangle
Quadrangle
Parallelogram
Trapezoid
Right-angled Trapezoid
Rectangle
Square
Pentagon
Polygon
Toolbar - Right Part.
History
Translate
Zoom In
Zoom out
Snap
Grid
Less Grid
More Grid
Redo
Undo
To End
To Beginning
Auto Redo
Play
Change the property of an element
Calculation
Automated Theorem Proving
(To prove theorem with the full-angle method, deductive database method, etc.)
Adding The Conclusion
The five methods
The Full - Angle Method
The Deductive Database Method
The Area Method
Groebner Method
Wu's Method
Rules for Full-Angle Method and Deductive Database Method
Showing the fixpoint
An example -
The nine point circle theorem.
Other Function
Numerical Check
Polynomials
Nondegenerate Conditions
Manually Generated Proofs
(Generate the proofs manually)
Introduction
How to input?
Text
Keywords
Assertion
Objects
Draw
Equation
Rules
An example:
Pythagoras' Theorem
Option and Preference
(How to set the preference of the software)
The Preference Dialog
Display
Mode
Font
Other
Language Support
Other
How to Use JGEX on the Web
(put what you have drawn on the web, sharing with other people)
The applet version of JGEX
JGEX Help - Content.html