cmb33595 / open-geo-prover

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

Necessary to create construction of congruent angle #2

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
Currently OGP provides only construction of angle bisector for given angle.
However, it would be also useful to have a construction of congruent angle as 
well.

Steps to do:
1. Create new construction type: construction of second angle ray for given 
first ray, vertex and congruent angle. E.g. construct ray r=OB of angle <AOB 
for given points A and O and given angle <DEF which is congruent to <AOB (and 
with same orientation).
2. Create OGP XML Converter necessary for XML input of this type of 
construction.

Please see attached picture: it is example of construction for proving Euler's 
theorem - to construct point A from that example, OGP must provide the 
construction of congruent angle.

Original issue reported on code.google.com by ivan.pet...@gmail.com on 22 Jan 2012 at 3:40

Attachments:

GoogleCodeExporter commented 9 years ago
This issue has been resolved by revision #r34.

Original comment by ivan.pet...@gmail.com on 22 Jan 2012 at 3:59

GoogleCodeExporter commented 9 years ago

Original comment by ivan.pet...@gmail.com on 22 Jan 2012 at 3:59

GoogleCodeExporter commented 9 years ago

Original comment by ivan.pet...@gmail.com on 15 Feb 2012 at 5:50

GoogleCodeExporter commented 9 years ago

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

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

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