The objective of this paper is to provide a provable solution of the ancient Greek problem of trisecting an arbitrary angle employing only compass and straightedge （ruler）. （Pierre Laurent Wantzel, 1837） obscurely...The objective of this paper is to provide a provable solution of the ancient Greek problem of trisecting an arbitrary angle employing only compass and straightedge （ruler）. （Pierre Laurent Wantzel, 1837） obscurely presented a proof based on ideas from Galois field showing that, the solution of angle trisection corresponds to solution of the cubic equation; x3 - 3x - 1 = 0, which is geometrically irreducible [1]. The focus of this work is to show the possibility to solve the trisection of an angle by correcting some flawed methods meant for general construction of angles, and exemplify why the stated trisection impossible proof is not geometrically valid. The revealed proof is based on a concept from the Archimedes proposition of straightedge construction [2, 3].展开更多
The geometric constructions obtained with only straightedge and compass are famous and play a special role in the development of geometry. On the one hand, the constructibility of ?gures is a key ingredient in Euclid ...The geometric constructions obtained with only straightedge and compass are famous and play a special role in the development of geometry. On the one hand, the constructibility of ?gures is a key ingredient in Euclid geometry and, on the other hand, unconstructibility gave birth to famous open problems of the ancient Greece which were unlocked only in the nineteenth century using discoveries in algebra. This paper discusses the mechanization of straightedge and compass constructions. It focuses on the algebraic approaches and presents two methods which are implemented; one is due to Lebesgue and the other one was jointly designed by Gao and Chou. Some links between the algebraic approach of constructions and synthetic geometry are described.展开更多
It is proved that among the regular polygons with prime edges, only the regular polygons with Fermat prime edges are constructable with compass and straightedge. As 17 is a Fermat prime number, the construction of hep...It is proved that among the regular polygons with prime edges, only the regular polygons with Fermat prime edges are constructable with compass and straightedge. As 17 is a Fermat prime number, the construction of heptadecagon has been discussing all the time. Many different construction methods are proposed although they are based on the same theory. Simplification of the construction is still a sensible problem. Here, we propose a simple method for constructing regular heptadecagon with the fewest steps. The accumulation of construction errors is also avoided. This method is more applicable than the previous construction.展开更多
文摘The objective of this paper is to provide a provable solution of the ancient Greek problem of trisecting an arbitrary angle employing only compass and straightedge （ruler）. （Pierre Laurent Wantzel, 1837） obscurely presented a proof based on ideas from Galois field showing that, the solution of angle trisection corresponds to solution of the cubic equation; x3 - 3x - 1 = 0, which is geometrically irreducible [1]. The focus of this work is to show the possibility to solve the trisection of an angle by correcting some flawed methods meant for general construction of angles, and exemplify why the stated trisection impossible proof is not geometrically valid. The revealed proof is based on a concept from the Archimedes proposition of straightedge construction [2, 3].
基金supported by Strasbourg University and French CNRS
文摘The geometric constructions obtained with only straightedge and compass are famous and play a special role in the development of geometry. On the one hand, the constructibility of ?gures is a key ingredient in Euclid geometry and, on the other hand, unconstructibility gave birth to famous open problems of the ancient Greece which were unlocked only in the nineteenth century using discoveries in algebra. This paper discusses the mechanization of straightedge and compass constructions. It focuses on the algebraic approaches and presents two methods which are implemented; one is due to Lebesgue and the other one was jointly designed by Gao and Chou. Some links between the algebraic approach of constructions and synthetic geometry are described.
文摘It is proved that among the regular polygons with prime edges, only the regular polygons with Fermat prime edges are constructable with compass and straightedge. As 17 is a Fermat prime number, the construction of heptadecagon has been discussing all the time. Many different construction methods are proposed although they are based on the same theory. Simplification of the construction is still a sensible problem. Here, we propose a simple method for constructing regular heptadecagon with the fewest steps. The accumulation of construction errors is also avoided. This method is more applicable than the previous construction.
