Scholarlink

<p>In the article we show what a Dynamic Geometry Environment (<i>DGE</i>) and Computer Algebra System (<i>CAS</i>) software is capable of exploring, computing and proving a geometry problem that is closely related to the well-known Wallace-Simson theorem. In our case, this problem turns out to be quite difficult for some software tools incorporated in the DGE software. The computation of a searched locus by the software works well in our case, but the problem must be formulated in a specific way. In addition to the conclusions attained by DGE software, we present computer-aided analytical solutions in the second half of paper. It is shown that the use of non-degeneracy conditions before elimination leads to a significant reduction of the computation time.</p>

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

Solving a problem with GeoGebra current possibilities and limits of CAS tools

  • 期刊论文

  • 出版模式：

    开放获取

  • 发表日期：

    2025年7月18日

查看全文
  • Jiří Blažek,
  • Pavel Pech

摘要

In the article we show what a Dynamic Geometry Environment (DGE) and Computer Algebra System (CAS) software is capable of exploring, computing and proving a geometry problem that is closely related to the well-known Wallace-Simson theorem. In our case, this problem turns out to be quite difficult for some software tools incorporated in the DGE software. The computation of a searched locus by the software works well in our case, but the problem must be formulated in a specific way. In addition to the conclusions attained by DGE software, we present computer-aided analytical solutions in the second half of paper. It is shown that the use of non-degeneracy conditions before elimination leads to a significant reduction of the computation time.