Scholarlink

<p>We give a simple proof of correctness of folding the regular heptagon with origami. Our proof avoids using complex geometry, only polynomials and basic algebraic geometry is required with simple rigidity considerations. We also exploit automated reasoning via efficient black-box computing of Gröbner bases. Our proof can be used in classrooms where learners are not familiar with complex numbers.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

A simple proof of correctness of folding the regular heptagon

  • 期刊论文

  • 发表日期：

    2025年10月13日

查看全文
  • Zoltán Kovács

摘要

We give a simple proof of correctness of folding the regular heptagon with origami. Our proof avoids using complex geometry, only polynomials and basic algebraic geometry is required with simple rigidity considerations. We also exploit automated reasoning via efficient black-box computing of Gröbner bases. Our proof can be used in classrooms where learners are not familiar with complex numbers.