折り紙とグレブナー基底

折り紙で角の三等分を作る方法があります。証明は初等幾何でできますが、これをグレブナー基底を使って証明した論文がありました。
http://www.jssac.org/Editor/Suushiki/V11/No3/V11N3,4_112.pdf

ちなみに情報源は以下。
http://homepage1.nifty.com/herumi/diary/0605.html#17

なんだか、グレブナー基底がぐっと身近に感じられた気がして、楽しいです。