We show an algebraic proof of the method for solving cubic equations by ORIGAMI (paper folding). Using ORIGAMI, we can solve the construction problems that are unsolvable in Euclidean geometry, such as angle trisection and doubling cubes. In our formulation, we solve the radical membership problem in polynomial ideals computing a Grobner basis together with constraints of parameters, which correspond to geometrically degenerate cases. Consequently, cubic equations are clearly solved as construction problems. We also show the construction of another solution by trigonometric functions, that is an application of angle trisection by ORIGAMI.
抄録全体を表示