OK Geometry download
Version 20.3.3 (Windows)
Released on 14.July 2024
What's new?
THANKS TO ERCOLE SUPPA FOR HELPFUL SUGGESTIONS AND COMMENTS.
Version 20.3 of OK Geometry brings the exciting possibility of connecting OK Geometry with GeoGen, a programme developed by Patrik Bak for the creation of challenging proof problems in planar geometry. The GeoGen program can be called from OK Geometry, the generated configurations and proof problems can then be viewed and analysed in OK Geometry.(See OK Geometry Plus reference, section 7.)
The full development version of GeoGen on GitHub can be accessed here. If you are not familiar with development versions, you can download here an easytoinstall ‘publish’ version of the parts of GeoGen that are called up from OK Geometry. To run GeoGen from OK Geometry, unzip GeoGenPublish.zip into a directory of your choice. Both installationions of GeoGen require a .NET 7.0 runtime environment.
Version 20.2 of OK Geometry contains three new methods for the creation of scenes of a configuration. New scenes can be added incrementally (suitable for visualising the steps of Euclidean constructions), differentially (suitable for variants of adding objects to a configuration), and as observed properties (suitable for displaying as scenes the observations of OK Geometry). The scenes can be included in reports as figures or as animations in a HTML report file. (Basic, 4.3.6; Editor, 2.9; Editor 5.8).
Also, the implicit constructions are now numerically a bit faster and more reliable.
Version 20.1 of OK Geometry consolidates the improvements of the three recently developed modules in the Plus mode of OK Geometry.
The first module is the Advanced Query module. It makes possible to relate a specific object of a configuration to objects derived from other objects of the construction. In this way, we obtain hypotheses about how this object can be constructed from other objects in the configuration.
The second module is the Generic Constructions module. It enables the creation of families of constructionally isomorphic dynamic constructions that can be observed all together at once.
The third module, Observing Algebraic Formulae, observes the algebraic relationships between geometric quantities in a dynamic construction.
Version 20.1 of OK Geometry also contains some new elements:
A group of commands for creating and observing quadrilateral objects analogous to triangle objects.
A method to interactively detect various types of perspectivities of triangles during the cyclic construction of points.
In addition, the user can use an archive of constructions in which he can save intermediate work and (automatically) all created constructions.
Some bugs have been fixed.
The Basic and Easy modes of OK Geometry are still available in Czech (thanks to Irena Strausová), German (thanks to Christina Gaßner and Zoltán Kovács),Italian (thanks to Ercole Suppa), English and Slovenian.
A more detailed description of the changes can be found in the delta file.
Previous important versions
Version 19.4.4 (Windows)
Released on 10.September 2023
What's new?
Thanks to Ercole Suppa for helpful suggestions and comments.
Version 19.4 (like the versions 19.1, 19.2 and 19.3) of OK Geometry consolidates the three modules that were developed in minor versions after version 18.2. All three modules are now included in the Plus mode of OK Geometry.The first module is the Advanced Query module. It allows to relate a given object of a construction to objects derived from other objects of the construction. In this way, we obtain a hypothesis about how to construct this object from other objects in the configuration.
The second module is the Generic Constructions module. It allows the creation of families of constructionally isomorphic dynamic constructions that can be observed all together at once.
The third module, Observing Algebraic Formulae, observes the algebraic relationships between geometric quantities in a dynamic construction.
The main changes from version 19.3.1
Triangle cubics are treated analogously to other triangle objects. Most cubics from Gibert's CTC catalogue of triangle cubics can be constructed, identified in triangle analysis, used in generic construction, and are also included in Glossary.
There are new options for displaying lines, line segments, arcs, closed polylines, labels, etc.
There are improvements in the presentation of construction steps and scenes of a construction.
Some new construction commands have been added. In particular, ballooned comments can be added to constructed objects with the Marker command.
The performance of Implicit construction and Implicit locus commands has been improved.
Some bugs were fixed and many small improvements were made.
A more detailed description of the changes can be found in the delta file.
The main changes from version 19.2.1
The Easy and Basic modes are now available in Italian. Many thanks to Ercole Suppa for the translation.
The AdvancedShapes command for creating various types of triangles and quadrilaterals in the Sketch Editor has been completely revised and improved.
New ETC centres have been added to the collection of triangle objects.
The observed formulae in the module Observe formulae can be converted to the form required by some CAS programmes (Derive, Xcas/Giac, Maxima/wxMaxima) for further algebraic processing.
The performance of the glossary and the triangle analysis has been improved.
Some bugs have been fixed and many small improvements have been made.
The main changes from version 19.1.1
The Easy and Basic modes are now available in German. Many thanks to Christina Gaßner for the translation and to Zoltán Kovács for all the support.
The glossary (on triangle geometry) has been greatly expanded and improved. Many new entries have been added, and in addition, the text in and illustrations in several entries have been redisagned.
Dozens of new triangle objects and related commands have been added.
Some bugs have been fixed and many small improvements have been made.
The functionality of this page has been improved.
A more detailed description of the changes can be found in the delta file.
Version 18.1.2. (Windows)
Released on 30.June 2020
What's new?
 Significantly Improved module for exporting constructions and the report of a project.
 Updated and improved documentation. The translation to Czech is also updated  thanks to Irena Strausova!
 An F1 button (call to Glossary) is added in Editor Menu (Plus mode). The Glossary (F1) now considers the construction commands as well as explanations.
 Improved command for labelling points, conforming icons, copying icons.
 Improved module for expressing numbers as radicals.
 User can at any time choose between the exact ot perturbed mode of displaying configurations.
 The display of found properties can be restricted to those involving a specified objects. It is possible to set the level of restrictions.
 New triangle centres and bicentric points added.
A more complete list is in OK Geometry delta file.
Note. OK Geometry requires no installation. Just unzip the unloaded zip file to some directory and run the program OkGeometry.exe
Version 17.2.2. (Windows)
Released on 05.January 2020
What's new?
Thanks to Ercole Suppa for many helpful suggestions in this and some previous versions.
 Changed the appearance and the functionality of the blue dot that controls the two modes of representation (exact and perturbed mode).

The glossary and command index and the triangle index now show information from documentation, including the path to the commands. Furthermore, the command can be called from the glossary.

Added several new triangle centres and other triangle objects.

Significantly improved Editor help system, both in commands glossary and in help widget. Also added a visual help for Shapes and Check commands

The form for remodelling objects is significantly improved.
A more complete list is in OK Geometry delta file.