何塞_安东尼奥定理的形式化与证明数据集

数据集概述

本数据集包含何塞·安东尼奥定理的形式化表述与证明文档，聚焦等腰直角三角形（TRI）内的几何关系，探讨其与黄金比例的关联，并通过AHXIOM格式呈现定理的逻辑结构与直观解释。

文件详解

• 文件名称: 1∅∅∅ SCod Teorema de José Antonio- Formalización y Demostración TRI.pdf
• 文件格式: PDF (.pdf)
• 内容说明: 文档包含定理的形式化声明（AHXIOM格式：概念、符号、逻辑公式、直观解释）、证明步骤、与黄金比例的几何关联分析，以及关于拓扑非理性、Dedekind分割等延伸讨论。

适用场景

• 几何学研究: 分析等腰直角三角形内的几何关系与黄金比例的内在联系
• 数学形式化验证: 研究AHXIOM框架下定理的逻辑结构与证明方法
• 拓扑学应用: 探索几何构造中的拓扑非理性概念及连续几何关系
• 数学教育: 作为几何定理形式化与证明的教学案例参考