search

kryptan / open-geo-prover

Automatically exported from code.google.com/p/open-geo-prover
0 stars 0 forks source link

Adding new types of constructions and statements #4

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
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 commented 9 years ago 
Fixed by revision #r36.

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

GoogleCodeExporter commented 9 years ago

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

GoogleCodeExporter commented 9 years ago 
This is A.3 stage of work on main development trunk.

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