折り紙による3次方程式の解法について
スポンサーリンク
概要
- 論文の詳細を見る
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.
- 日本応用数理学会の論文
- 2006-03-25
著者
関連論文
- 和算における「冪乗演段」で扱われた連立代数方程式の解について
- 代数方程式の折紙による解法について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- グレブナー基底による幾何定理の代数的証明の効率について
- 整数行列のFrobenius標準形のモジュラー計算法(II) (Computer Algebra : Algorithms, Implementations and Applications)
- 整数行列のFrobenius標準形のモジュラー計算法
- 行列の固有値・固有ベクトル・一般固有ベクトルの数式処理による記号的計算法
- 整数行列のFrobenius標準形のモジュラー計算法 (数式処理における理論と応用の研究)
- ISSAC'99参加報告
- ISSAC'98見聞録
- RISC-Linz, Johannes Kepler Universitat(Overseas,Laboratories)
- 数式処理による行列の有理標準形からJacobson標準形への変換行列の計算法(数式処理における理論と応用の研究)
- 行列の有理標準形の分数なし計算法
- 数式処理による行列の標準形の厳密計算法
- 行列のJordan標準形の数式処理による厳密計算法
- 数式処理による行列のJordan標準形の構成法
- グレブナー基底による幾何定理の証明について (II) : イデアル成分の分解の利用 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 宮城清行「明元算法」に現れる連立代数方程式の解について (第18回日本数式処理学会大会報告)
- 古今算法記遺題の数値解について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Risa/Asir による Euclid 幾何定理証明プログラムの実装
- Solving Cubic Equations by ORIGAMI(Computer Algebra : Design of Algorithms, Implementations and Applications)
- 折り紙による3次方程式の解法について
- 固有値法による連立代数方程式のRUR計算について
- 折り紙による角の三等分について
- 宮城清行「明元算法」に現れる連立代数方程式の解について
- 和算における「冪乗演段」で扱われた連立代数方程式の解について
- 有理数行列のFrobenius標準形のモジュラー計算法 (Computer Algebra : Algorithms, Implementations and Applications)
- 円内接多角形問題と「算法発揮(1690)」における解について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- シュタイナー環におけるデカルトの円定理の拡張について : Extended Abstract (数式処理 : その研究と目指すもの)