查看“︁中分球”︁的源代码

[[File:Midsphere.png|thumb|[[多面體]]和其中分球。紅色圓圈表示可以從每個[[頂點 (幾何)|頂點]]能見到的中分球[[球冠]]之球冠表面的邊界。藍色圓形表示中分球與多面體相交的截面]]
'''中分球'''（{{lang|en|midsphere}}）<ref>{{Cite journal | author = 孟慶台 | url = https://www.ntsec.gov.tw/article/FileAtt.ashx?id=5810 | title = 視覺幾何-多面體面面觀-第三樂章－正多面體的現身 | journal = [https://www.ntsec.gov.tw/article/list.aspx?a=249 科學研習期刊] | volume = 第51卷 | issue = 第12期 | date = 2023-05-24 | access-date = 2023-11-13 | archive-date = 2023-11-13 | archive-url = https://web.archive.org/web/20231113122752/https://www.ntsec.gov.tw/article/FileAtt.ashx?id=5810 | dead-url = no }}</ref>或'''稜切球'''<ref>{{cite web
 | url=https://www.sec.ntnu.edu.tw/uploads/asset/data/62563fc0381784d09345b9f5/3-P30-50-107028-%E7%A7%91%E5%AD%B8%E6%95%99%E5%AE%A4-%E6%9E%97%E4%BF%9D%E5%B9%B3-%E5%A4%9A%E9%9D%A2%E9%AB%94%E7%9A%84%E7%94%9F%E6%88%90%E5%8F%8A%E5%8B%95%E6%85%8B%E6%A8%A1%E5%9E%8B%E8%A3%BD%E4%BD%9C%E5%9C%A8%E6%95%B8%E5%AD%B8%E7%AE%97%E6%9D%BF%E4%B8%8A%E7%9A%84%E5%AF%A6%E8%B8%90-%20%E4%B8%8A.pdf
 | title=多面體的生成及動態模型製作在數學算板上的實踐(上)
 | author=林保平
 | website=sec.ntnu.edu.tw
 | access-date=2023-11-15
 | archive-date=2023-11-15
 | archive-url=https://web.archive.org/web/20231115082043/https://www.sec.ntnu.edu.tw/uploads/asset/data/62563fc0381784d09345b9f5/3-P30-50-107028-%E7%A7%91%E5%AD%B8%E6%95%99%E5%AE%A4-%E6%9E%97%E4%BF%9D%E5%B9%B3-%E5%A4%9A%E9%9D%A2%E9%AB%94%E7%9A%84%E7%94%9F%E6%88%90%E5%8F%8A%E5%8B%95%E6%85%8B%E6%A8%A1%E5%9E%8B%E8%A3%BD%E4%BD%9C%E5%9C%A8%E6%95%B8%E5%AD%B8%E7%AE%97%E6%9D%BF%E4%B8%8A%E7%9A%84%E5%AF%A6%E8%B8%90-%20%E4%B8%8A.pdf
 | dead-url=no
 }}</ref>
（又譯'''中交球'''、'''中點球'''<ref>{{cite web | url = http://files.chiuchang.org.tw:8080/MyWeb/download/tt/2013/2013SO_sol.pdf | title=環球城市數學競賽 2013 秋季賽 高中組 初級卷 參考解答 | publisher = 九章數學教育基金會 | date = 2016-06-28 | accessdate=2023-11-23}}</ref>）
是指與[[多面體]]每條稜[[相切]]的球。
並非每個多面體都有中分球，但[[均勻多面體]]，包括[[正多面體]]、[[擬正多面體]]和半正多面體及其對偶多面體都具有中分球。
中分球的[[半徑]]稱為'''中分半徑'''或'''中分球半徑'''。
如果一個多面體存在中分球則稱這個多面體和這顆球中分（{{lang|en|midscribed}}，又譯中交）。<ref name="Grünbaum 2005">{{citation
 | last = Grünbaum
 | first = Branko
 | author-link = Branko Grünbaum
 | issue = 2
 | journal = Geombinatorics
 | mr = 2298896
 | pages = 69–78
 | title = Are prisms and antiprisms really boring? (Part 3)
 | url = https://faculty.washington.edu/moishe/branko/BG256.Prisms%20and%20antiprisms.%20Part%203.pdf
 | volume = 15
 | year = 2005
 | zbl = 1094.52007
 | accessdate = 2023-11-13
 | archive-date = 2023-11-09
 | archive-url = https://web.archive.org/web/20231109175959/https://faculty.washington.edu/moishe/branko/BG256.Prisms%20and%20antiprisms.%20Part%203.pdf
 | dead-url = no
 }}</ref>（相對於內切球的內切和外接球的外接）
 
當多面體具有中分球時，可以在中分球上形成兩個垂直的圓形堆疊，一個對應於多面體頂點之間的鄰接，另一個對應於具有相同中分球的[[對偶多面體|極多面體]]。
每個多面體邊的長度是其兩個端點到該圓形堆疊中相應圓的距離總和。

每一個多面體都有一個等效組合（相同拓樸結構）的規範多面體（canonical polyhedron）。
對應的規範多面體確實會存在中分球，中心點位於所有中分球與稜相切之點集的幾何中心。
可以用數值方法近似地求出規範多面體與其中分球，但其座標不能精確地以[[解析解|解析式]]表示。
任何規範多面體和其極對偶都可以用來構建四維反棱鏡的兩個相對維面。

在二維空間中沒有「中分」的概念，僅有「內切」和「外接」。

== 定義和範例 ==
三維凸多面體的中分球定義為與多面體的每條邊相切的球體。也就是說，每條邊都恰好與該球交於一點，而沒有邊的線段「穿過球體」的情況發生。此時，這個球體與多面體之面相交的部分恰好為該面的[[內切圓]]。<ref name="Coxeter 1973">{{citation|last=Coxeter|first=H. S. M.|authorlink=Harold Scott MacDonald Coxeter|title=[[Regular Polytopes (book)|Regular Polytopes]]|edition=3rd|year=1973|publisher=Dover|isbn=0-486-61480-8|pages=16–17|contribution=2.1 Regular polyhedra; 2.2 Reciprocation|contribution-url=https://books.google.com/books?id=iWvXsVInpgMC&pg=PA16|mr=0370327}}</ref>
當中分球存在時，它是唯一的。並非每個凸多面體都有中分球；有中分球的多面體每個面都必須有一個內切圓（即這個多面體每個面必須都是[[圓外切多邊形]]），並且這些內切圓共球，也就是它們都同屬於一個球體。例如，長方體<ref group=註>此處的長方體僅指所有面都是矩形、所有角都是直角的[[六面體]]，並未要求邊長是否要等長，因此此處立方體也是一種長方體。</ref>僅有當所有邊等長變為立方體時才具有中分球，否則邊不等長的長方體，其矩形面不存在內切圓。<ref name="Wheeler 1958">{{citation
 | last = Wheeler | first = Roger F.
 | date = December 1958
 | department = Classroom Notes
 | doi = 10.2307/3610439
 | issue = 342
 | journal = [[The Mathematical Gazette]]
 | jstor = 3610439
 | pages = 275–276
 | title = 25. Quadrilaterals
 | volume = 42| s2cid = 250434576
 }}</ref>

幾何中心位於[[笛卡爾座標系]][[原點]]的[[单位立方体]]，其八個頂點為<math display="inline">(\pm\frac{1}{2} , \pm\frac{1}{2} , \pm\frac{1}{2} )</math>，邊的中點與原點的距離為<math>\frac{1}{\sqrt{2}}</math>。因此這個立方體的中分球以原點為中心，半徑為<math>\frac{1}{\sqrt{2}}</math>。這個半徑大於其內切球半徑<math display="inline">\frac{1}{2}</math>，並小於外接球半徑<math display="inline">\sqrt{\frac{3}{4}}</math>。更一般地，任何邊長為<math>l</math>的柏拉圖立體，其中分球半徑為{{#tag:ref|Coxeter 1973<ref name="Coxeter 1973"/>, Table I(i), pp. 292–293. See column "<math>{}_1\!\mathrm{R}/\ell</math>", where <math>{}_1\!\mathrm{R}</math> is Coxeter's notation for the midradius, noting also that Coxeter uses <math>2\ell</math> as the edge length (see p. 2)}}：
* <math>\frac{1}{2\sqrt{2}}l</math>（[[正四面體]]）
* <math>\frac{1}{2}l</math>（[[正八面體]]）
* <math>\frac{1}{\sqrt{2}}l</math>（[[立方體]]）
* <math>\frac{\varphi}{2}l</math>（[[正二十面體]]，其中<math>\varphi</math>為[[黃金比例]]）
* <math>\frac{\varphi^2}{2}l</math>（[[正十二面體]]）

凸均勻多面體，包括[[凸正多面體]]、[[擬正多面體]]和[[半正多面體]]及其[[對偶多面體]]都具有中分球。在凸正多面體中，內切球、中分球和外接球都存在且[[同心_(幾何)|同心]]<ref name="Cundy Rollett 1961">{{citation|last1=Cundy|first1=H. M.|last2=Rollett|first2=A. P.|title=Mathematical Models|title-link=Mathematical Models (Cundy and Rollett)|publisher=Oxford University Press|edition=2nd|year=1961|pages=79, 117|zbl=0095.38001|mr=0124167 }}</ref>，其中分球與凸正多面體每條邊的中點相切。<ref name="Pugh 1976">{{citation|title=Polyhedra: A Visual Approach|first=Anthony|last=Pugh|publisher=University of California Press|year=1976|isbn=9780520030565|page=4|url=https://books.google.com/books?id=IDDxpYQTR7kC&pg=PA4|mr=0451161|zbl=0387.52006|accessdate=2023-11-15|archive-date=2023-11-15|archive-url=https://web.archive.org/web/20231115063617/https://books.google.com/books?id=IDDxpYQTR7kC&pg=PA4|dead-url=no}}</ref>

[[File:FCC closed packing tetrahedron (4).jpg|thumb|upright|四個成對的相切球體的中心形成克雷爾四面體（Crelle's tetrahedra）的頂點。此處，四個相等的球體形成一個正四面體。中分球穿過這些球體的六個切點，在這種情況下形成正八面體|alt=四個大小相等的白色球體以正四面體的頂點為中心，彼此接觸。]]
並非所有[[不等面四面體|不規則四面體]]都具有中分球。存在中分球的[[四面體]]稱為「克雷爾四面體」（Crelle's tetrahedra）；其形成所有四面體之六維空間中的一個四維子集（由它們的六個邊長參數化）。更精確地說，克雷爾四面體的四個頂點來自四個相互外切的球之球心。在這種情況下，四面體的六個邊長是這四個球體半徑的兩兩之和。{{#tag:ref|László 2017<ref name="László 2017">{{citation
 | last = László
 | first = Lajos
 | journal = Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae
 | mr = 3722672
 | pages = 165–176
 | title = An inequality and some equalities for the midradius of a tetrahedron
 | url = http://ac.inf.elte.hu/Vol_046_2017/165_46.pdf
 | volume = 46
 | year = 2017
 | zbl = 1399.51014
 | accessdate = 2023-11-15
 | archive-date = 2023-09-10
 | archive-url = https://web.archive.org/web/20230910013351/http://ac.inf.elte.hu/Vol_046_2017/165_46.pdf
 | dead-url = no
 }}</ref>. The irregular tetrahedra with a midsphere provide a counterexample to an incorrect claim of Pugh 1976<ref name="Pugh 1976"/>: it is not true that only the regular polyhedra have all three of a midsphere, insphere, and circumsphere.}}
這種四面體的中分球與四面體邊相切的點為四個生成球體中的兩個球體彼此相切且垂直於所有四個生成球體的點。<ref name="Byer Smeltzer 2015">{{citation
 | last1 = Byer | first1 = Owen D.
 | last2 = Smeltzer | first2 = Deirdre L. | author2-link = Deirdre Smeltzer
 | doi = 10.4169/math.mag.88.2.146
 | issue = 2
 | journal = [[Mathematics Magazine]]
 | jstor = 10.4169/math.mag.88.2.146
 | mr = 3359040
 | pages = 146–150
 | title = Mutually tangent spheres in {{mvar|n}}-space
 | volume = 88
 | year = 2015
 | zbl = 1325.51011| s2cid = 125524102
 }}</ref>

== 性質 ==
=== 相切圓 ===
若<math>O</math>是凸多面體<math>P</math>的中分球，則<math>O</math>與<math>P</math>的相交處位於每個面上，在面上的相交形狀為圓形，該交圓正好與該面的邊相切，且相切的點和中分球<math>O</math>與凸多面體<math>P</math>相切的點相同。因此<math>P</math>的每個面都有一個[[內切圓]]，並且，當兩個面共用一條邊時，這兩個面上的內切圓恰好彼此相切（然而，並非逤有具有這些特性的圓都來自中分球）<ref name="Grünbaum 2005"/>

對偶地，若<math>v</math>是<math>P</math>的頂點，則存在頂點<math>v</math>，其頂角由頂點向下看，會在某個位置與中分球相交，這些交點共面，所形成的平面交於中分球<math>O</math>為一個圓形，該圓形與<math>v</math>的頂角相交的頂點所形成的多邊形（頂點圖）和中分球<math>O</math>相交的圓為外接圓關係。這個圓與頂點<math>v</math>形成一個圓錐體區域；該圓形形成球冠的邊界，在該球冠範圍內從<math>v</math>的頂角內可以看到球體的表面。也就是說，從頂點看去，該圓是中分球的地平線。當兩個頂點以上述方式形成兩個圓形時，所形成的兩個圓形恰好彼此相切。<ref name="Ziegler 2007">{{citation
 | last = Ziegler | first = Günter M. | author-link = Günter M. Ziegler
 | editor1-last = Miller | editor1-first = Ezra
 | editor2-last = Reiner | editor2-first = Victor
 | editor3-last = Sturmfels | editor3-first = Bernd
 | arxiv = math/0411400
 | contribution = Convex polytopes: extremal constructions and {{mvar|f}}-vector shapes
 | doi = 10.1090/pcms/013/10
 | location = Providence, Rhode Island
 | mr = 2383133
 | pages = 617–691
 | publisher = American Mathematical Society
 | series = IAS/Park City Mathematics Series
 | title = Geometric Combinatorics
 | volume = 13
 | year = 2007
 | zbl = 1134.52018| s2cid = 11167900 }}</ref>

=== 對偶性 ===
[[File:Skeleton pair 6-8, size m (crop), sphere.png|thumb|[[複合八面體立方體|立方體和正八面體]]具有相同的中分球|alt=一個洋紅色立方體和綠色正八面體的輪廓，排列成立方體與正八面體相交於邊的中點處。與立方體和八面體同心的半透明球體穿過所有交點。]]
若多面體<math>P</math>存在中分球<math>O</math>，則<math>P</math>的[[對偶多面體|極多面體]]的中分球也是<math>O</math>。極多面體之面與<math>O</math>相交出來的圓（極多面體之面的內切圓）與<math>P</math>從頂角向下看的地平線（頂角在相交位置之頂點圖的外接圓）所形成的圓形與頂點構成的圓錐和極多面體面與中分球<math>O</math>相交之圓相切。<ref name="Coxeter 1973"/>極多面體的邊和原多面體<math>P</math>與中分球的切點相同，且相切的邊對於原多面體<math>P</math>和對應的極多面體的邊互相垂直。<ref name="Cundy Rollett 1961"/>

== 參見 ==
*[[內切球]]
*[[外接球]]

== 註釋 ==
{{Reflist|group=註}}

== 參考文獻 ==
{{Reflist}}

[[Category:多面體]]