查看“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体]]的常宽体集合中进行连续变形。
# '''球多面体的构造方法的扩展'''：
#* 作者还指出，可以从[[球多面体]]获得常宽体的构造方法，这些球多面体的奇点是自对偶图，通过替换这些球多面体的奇点与球的包络部分的截面来实现常宽体，而不改变球多面体的对称群。