Adding new types of constructions and statements

[GoogleCodeExporter]

Following constructions should be added to OGP:

1. Construction of angle of 60 degrees;
2. "Construction" of angle's trisector;
3. Construction of triple angle;
4. Construction of third addend for two given angles to angle of 60 degrees.

Also following theorem statements should be added:

1. Equilateral triangle;
2. Angle of specified size (e.g. 60 degrees);
3. Linear combination of squares of segments' lengths.

These constructions and statements are necessary to be able to prove several 
well known geometry theorems, like Morley's theorem.

Original issue reported on code.google.com by ivan.pet...@gmail.com on 19 Feb 2012 at 3:35

[GoogleCodeExporter]

Fixed by revision #r36.

Original comment by ivan.pet...@gmail.com on 19 Feb 2012 at 3:42

• Changed state: Fixed

[GoogleCodeExporter]

Original comment by ivan.petrovic.matf on 9 Apr 2012 at 8:10

[GoogleCodeExporter]

This is A.3 stage of work on main development trunk.

Original comment by ivan.petrovic.matf on 2 May 2012 at 10:10