查看“WikiEdge:ArXiv-2107.05769”的源代码

* '''标题'''：Peabodies of Constant Width
* '''中文标题'''：常宽度的豌豆体
* '''发布日期'''：2021-07-12 22:46:14+00:00
* '''作者'''：Isaac Arelio, Luis Montejano, Deborah Oliveros
* '''分类'''：math.MG, 52A15
*'''原文链接'''：http://arxiv.org/abs/2107.05769v1
'''摘要'''：本文的目的是描述我们称之为“豌豆体”的常宽体的新的三维系列，这些常宽体是通过将Reuleaux四面体的所有六条边的小邻域替换为球体包络面的部分得到的。这个系列特别包含了两个Meissner固体和一个我们称之为“罗伯特体”的具有四面体对称性的体。构建这个系列的背后是经典的共焦二次曲面概念，例如，希尔伯特在他的著名书籍中讨论过。我们研究共焦二次曲面，并证明在两个共焦二次曲面中的四点的交替序列的距离总是满足一个简单的等式，并使用这个等式证明我们的体具有常宽性。

== 问题与动机 ==
作者的研究问题包括：
* 如何构造具有[[恒定宽度]]的新[[三维体]]？
* 如何证明这些新构造的三维体具有恒定宽度？
* [[Robert's body]]的对称性和边界特性是什么？
* Robert's body与已知的[[Meissner体]]有何不同？
* 如何将[[球多面体]]的构造方法扩展到更一般的情况？

== 背景介绍 ==
这篇文献的背景主要集中在以下几个方面：
# '''常宽体的历史与理论基础'''：
#* [[常宽体]]及其性质在历史上已被研究了数个世纪，例如18世纪的[[Leonard Euler]]就以orbiforms的名字研究了它们。
#* 常宽体在[[流行数学]]中得到了相当多的关注，它们出现在视频、调查、装置和艺术等多个领域。
#* 有广泛的知识体系支持常宽体的研究，理论框架复杂而深入。
#* 例如，[[Birkhäuser]]在2019年出版的《Bodies of Constant Width: An Introduction to Convex Geometry With Applications》一书就提供了这方面的介绍。
# '''常宽体的构造方法'''：
#* 已知有一种非构造性的方法可以将一组集合扩展成相同直径的常宽体，但除了两个[[Meissner固体]]、明显的常宽体旋转体和[[Meissner多面体]]外，文献中只有少数具有具体有限构造过程的常宽体实例。
#* 本文的目的是描述一种新的三维常宽体家族，称为peabodies，它们是通过替换[[Reuleaux四面体]]所有六条边的一个小邻域与球的包络部分来获得的。
#* 这个家族特别包含了两个Meissner固体和一个具有四面体对称性的常宽体，被称为[[Robert's body]]。
# '''焦点共轭二次曲线的应用'''：
#* 构造这个家族背后的理论是19世纪[[Dupin]]为了构建具有有趣性质的球的包络表面而讨论的经典概念。
#* 这一概念被用于构建具有交替序列的四个点在两个焦点共轭二次曲线上总是满足一个简单方程的表面，这一结果本身就很有趣。
#* 在本文的后续章节中，作者将构造这种新的三维常宽体家族，并展示它们是常宽体。
#* 特别地，作者将分析Robert's body，展示它具有四面体对称性，并且其边界除了四面体的4个顶点外都是光滑的。
#* 此外，作者还将展示Robert's body不是两个Meissner常宽体的[[Minkowski和]]，并且它不能是[[Blaschke-Lebesgue]]关于所有三维常宽体中最小体积的猜想的极值体。
#* 最后，作者指出，可以从最对称的Robert's body到经典的[[Meissner体]]的常宽体集合中进行连续变形。
# '''球多面体的构造方法的扩展'''：
#* 作者还指出，可以从[[球多面体]]获得常宽体的构造方法，这些球多面体的奇点是自对偶图，通过替换这些球多面体的奇点与球的包络部分的截面来实现常宽体，而不改变球多面体的对称群。

== 章节摘要 ==
这份文献是一篇关于[[常宽体]]及其性质的研究论文，论文的主要内容可以概括如下：
# 引言
## [[常宽体]]和它们的属性已经被研究了数个世纪。例如，[[莱昂哈德·欧拉]]在18世纪就研究了它们，并称之为orbiforms。这些形状在流行数学中受到了相当大的关注，并且有广泛的理论知识支持。

# 共焦二次曲面
## 讨论了[[共焦二次曲面]]的概念，这是由[[Hilbert]]在其著作《几何与想象》中讨论的经典概念。证明了在两个共焦二次曲面中，四个点的交替序列的距离总是满足一个简单的方程。

# 构建常宽体的新家族
## 描述了一个新的三维常宽体家族，称为peabodies，是通过替换[[Reuleaux四面体]]的所有六条边的邻域与球的包络线部分来获得的。这个家族特别包含了两个[[Meissner固体]]和一个具有四面体对称性的常宽体，称为[[Robert's body]]。

# Robert's Body的分析
## 展示了[[Robert's body]]具有四面体对称性，并且其边界除了四面体的4个顶点外都是光滑的，在顶点处有顶点奇点。此外，通过展示它们在其中一个剖面上的差异，说明了Robert's body不是两个[[Meissner常宽体]]的[[Minkowski和]]。

# 从球多面体构建常宽体
## 指出了从[[球多面体]]构建常宽体的过程，这些球多面体的奇点是自对偶图，可以通过替换这些球多面体的奇点与球的包络线部分来实现常宽体的构建，而不改变球多面体的对称性群。

# 共焦豌豆荚装置
## 定义了豌豆荚装置，并讨论了如何使用这些装置构建常宽体。介绍了三种类型的豌豆荚装置：椭圆型、双曲型和抛物线型，并讨论了它们的属性。

== 研究方法 ==
这篇论文通过构造和分析具有[[恒宽性质]]的[[三维几何体]]，探讨了恒宽体的构造方法和性质。以下是该研究方法论的主要组成部分：
# '''构造方法'''：
#* 利用[[Reuleaux四面体]]作为基础，通过替换其所有六条边的邻域为[[球]]的包络线的截面，构造了一类新的三维恒宽体，称为peabodies。
#* 引入了[[共焦二次曲线]]的概念，利用共焦椭圆和双曲线的性质，证明了在共焦二次曲线上的交替四点的距离满足特定方程。
#* 构造了基于共焦二次曲线的三维“豌豆荚装置”（pea pod devices），并证明了这些装置的球体集合满足恒宽性质。
#* 通过将豌豆荚装置的球体集合与[[球冠]]相结合，构造了恒宽体的边界。
# '''几何性质分析'''：
#* 研究了共焦豌豆荚装置的几何性质，特别是它们如何组合形成恒宽体。
#* 分析了Robert’s body的对称性和边界性质，证明了它具有四面体的对称性，并且除了四个顶点外，边界是光滑的。
#* 探讨了Robert’s body与已知的Meissner体的[[Minkowski和]]的性质，证明了它们在某些截面上是不同的。
#* 将豌豆荚装置的构造方法扩展到更一般的Meissner豌豆荚多面体，展示了从Robert’s body到Meissner体的连续变形。
# '''理论框架应用'''：
#* 应用了[[凸几何]]的理论框架来分析和证明新构造的恒宽体的性质。
#* 使用了[[希尔伯特]]在《几何与想象》中讨论的共焦二次曲线的经典概念，将其应用于恒宽体的构造。
#* 引用了[[Blaschke-Lebesgue]]猜想，讨论了Robert’s body在最小体积恒宽体中的地位。
这篇论文的方法论分析结果表明，通过构造和分析新的三维恒宽体，可以更深入地理解恒宽体的性质和构造方法，为进一步研究提供了新的视角和工具。

== 研究结论 ==
根据提供的文献内容，这篇论文的主要结论可以概括如下：
# '''Peabodies的构建'''：作者提出了一种新的三维实体家族——[[Peabodies]]，这些实体具有恒定的宽度，是通过将[[Reuleaux四面体]]的所有六条边的一个小邻域替换为[[球]]的包络部分的截面来获得的。
# '''Peabodies的属性'''：Peabodies家族包括两个[[Meissner实体]]和一个具有四面体对称性的实体，称为[[Robert's实体]]。这些实体的边界除了四面体的4个顶点处有顶点奇点外，其余部分都是光滑的。
# '''Peabodies与Meissner实体的关系'''：尽管Robert's实体和两个Meissner实体的[[Minkowski和]]都具有恒定的宽度2，并且都包含四面体abcd，但它们在某些截面上是不同的，因此它们不是同一个实体。
# '''Peabodies的对称性'''：Robert's实体具有四面体abcd的对称性。
# '''Peabodies的连续变形'''：从最对称的Robert's实体到经典的Meissner实体，存在一个连续的变形过程。
# '''一般Meissner Peabody多面体'''：作者将Peabodies的构建方法扩展到更一般的情况，使用自对偶图的度量嵌入来构建具有恒定宽度的实体，称为[[Meissner多面体]]。
这些结论为理解具有恒定宽度的三维实体提供了新的视角，并展示了如何通过变换和组合不同的[[几何形状]]来创建具有特定属性的新实体。