循环多边形中的定理发现

arXiv - CS - Mathematical Software Pub Date : 2024-01-22 DOI:arxiv-2401.13002

Philip ToddSaltire Software

{"title":"循环多边形中的定理发现","authors":"Philip ToddSaltire Software","doi":"arxiv-2401.13002","DOIUrl":null,"url":null,"abstract":"We examine a class of geometric theorems on cyclic 2n-gons. We prove that if\nwe take n disjoint pairs of sides, each pair separated by an even number of\npolygon sides, then there is a linear combination of the angles between those\nsides which is constant. We present a formula for the linear combination, which\nprovides a theorem statement in terms of those angles. We describe a program\nwhich uses this result to generate new geometry proof problems and their\nsolutions.","PeriodicalId":501256,"journal":{"name":"arXiv - CS - Mathematical Software","volume":"57 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-01-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Theorem Discovery Amongst Cyclic Polygons\",\"authors\":\"Philip ToddSaltire Software\",\"doi\":\"arxiv-2401.13002\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We examine a class of geometric theorems on cyclic 2n-gons. We prove that if\\nwe take n disjoint pairs of sides, each pair separated by an even number of\\npolygon sides, then there is a linear combination of the angles between those\\nsides which is constant. We present a formula for the linear combination, which\\nprovides a theorem statement in terms of those angles. We describe a program\\nwhich uses this result to generate new geometry proof problems and their\\nsolutions.\",\"PeriodicalId\":501256,\"journal\":{\"name\":\"arXiv - CS - Mathematical Software\",\"volume\":\"57 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-01-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - CS - Mathematical Software\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2401.13002\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - CS - Mathematical Software","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2401.13002","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

我们研究了关于循环 2n 边形的一类几何定理。我们证明，如果取 n 对互不相交的边，每对边之间隔着偶数条多边形边，那么这些边之间的角的线性组合是常数。我们给出了线性组合的公式，并用这些角给出了定理说明。我们描述了一个程序，该程序利用这一结果生成新的几何证明问题及其解答。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

Theorem Discovery Amongst Cyclic Polygons

We examine a class of geometric theorems on cyclic 2n-gons. We prove that if we take n disjoint pairs of sides, each pair separated by an even number of polygon sides, then there is a linear combination of the angles between those sides which is constant. We present a formula for the linear combination, which provides a theorem statement in terms of those angles. We describe a program which uses this result to generate new geometry proof problems and their solutions.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

arXiv - CS - Mathematical Software

自引率

0.00%

发文量