What is OK Geometry?

OK Geometry is a tool for analysing dynamic geometric constructions. Given a dynamic geometric construction, OK Geometry detects patterns as well as certain properties of the construction. You can think of OK Geometry as of a pair of geometric spectacles for observing invariants of dynamic geometric constructions or as tool for generating conjectures. Observing and conjecturing are important processes, especially when proving facts. OK Geometry does not prove facts, but generates reliable conjectures based on automated observation of dynamic constructions. More...

OK Geometry is freeware. The program can be used on three levels: Easy (for occasional users), Basic (for enthusiasts), and Plus (for devotees in triangle geometry). 

Observing dynamic constructions

The Easy mode of OK Geometry allows simple observation of constructions created with different dynamic geometry systems (Cabri Geometre, Cabri Express, GeoGebra, Cinderella, Z.u.L. ( Zirkel und Linien), JGEX, Sketchometry, OK Geometry).

Here is an illustration: Consider a square ABCD. Let E and F be the midpoints of CD and DA respectively, and let G and H be the intersections of CF with AE and CE respectively.

Below are just a few of several dozens of observations obtained with OK Geometry.
similar triangles

line tangent to circle
same perimeters of triangles
rblue = (rgreen+rred)/2

Creating configurations

The Basic mode of OK Geometry is intended for the creation of dynamic constructions. It differs from other dynamic geometry systems in that it includes some complex constructions (e.g. the construction of a circle tangent to three objects) and the creation of geometric configurations based on implicit constructions and optimization tasks.

Consider, for example, the following situation: For a given point P in a triangle ABC, you can construct three equilateral triangles having P as one of the vertex while the other two vertices lie on sidelines AB and BC, BC and CA, CA and AB.

Is it possible to position P so that the three equilateral triangles are congruent? You can ask OK Geometry to position P so that this additional condition is fullfilled. You can then use OK Geometry to obtain conjectures about the geometric properties of the resulting configuration.

Analysing triangles

The Plus mode of OK Geometry combines automated observation with a large database of characteristic triangle objects. The database consists of thousands of triangle centres (e.g. orthocentre), hundreds of lines (e.g. Euler line), circles (e.g. nine point circle), triangles (e.g. orhic triangle), conics (e.g. Kiepert hyperbola), transformations (e.g. isogonal conjugation). The objects from the database can be used both when creating constructions and when observing them.

The figure illustrates part of the analysis of a configuration (three congruent equilateral triangles inscribed in a triangle as shown). OK Geometry conjectures that the common centre of the three triangles is the centre X15, i.e. the first isogonic centre of the triangle ABC. Moreover, the point under consideration appears to be related to some characteristic objects of the triangle ABC.