中分球

中分球（midsphere）^[1]或稜切球^[2] （又譯中交球、中點球^[3]）是指與多面體每條稜相切的球。並非每個多面體都有中分球，但均勻多面體，包括正多面體、擬正多面體和半正多面體及其對偶多面體都具有中分球。中分球的半徑稱為中分半徑或中分球半徑。如果一個多面體存在中分球則稱這個多面體和這顆球中分（midscribed，又譯中交）。^[4]（相對於內切球的內切和外接球的外接）

當多面體具有中分球時，可以在中分球上形成兩個垂直的圓形堆疊，一個對應於多面體頂點之間的鄰接，另一個對應於具有相同中分球的極多面體。每個多面體邊的長度是其兩個端點到該圓形堆疊中相應圓的距離總和。

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

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

定義和範例

三維凸多面體的中分球定義為與多面體的每條邊相切的球體。也就是說，每條邊都恰好與該球交於一點，而沒有邊的線段「穿過球體」的情況發生。此時，這個球體與多面體之面相交的部分恰好為該面的內切圓。^[5] 當中分球存在時，它是唯一的。並非每個凸多面體都有中分球；有中分球的多面體每個面都必須有一個內切圓（即這個多面體每個面必須都是圓外切多邊形），並且這些內切圓共球，也就是它們都同屬於一個球體。例如，長方體^{[註 1]}僅有當所有邊等長變為立方體時才具有中分球，否則邊不等長的長方體，其矩形面不存在內切圓。^[6]

幾何中心位於笛卡爾座標系原點的單位立方體，其八個頂點為 ${\textstyle (\pm {\tfrac {1}{2}},\pm {\tfrac {1}{2}},\pm {\tfrac {1}{2}})}$ ，邊的中點與原點的距離為 $1/{\sqrt {2}}$ 。因此這個立方體的中分球以原點為中心，半徑為 ${\textstyle 1/{\sqrt {2}}}$ 。這個半徑大於其內切球半徑 ${\textstyle {\tfrac {1}{2}}}$ ，並小於外接球半徑 ${\textstyle {\sqrt {3/4}}}$ 。更一般地，任何邊長為 $\ell$ 的柏拉圖立體，其中分球半徑為^[7]：

${\tfrac {1}{2{\sqrt {2}}}}\ell$ （正四面體）
${\tfrac {1}{2}}\ell$ （正八面體）
${\tfrac {1}{\sqrt {2}}}\ell$ （立方體）
${\tfrac {\varphi }{2}}\ell$ （正二十面體，其中 $\varphi$ 為黃金比例）
${\tfrac {\varphi ^{2}}{2}}\ell$ （正十二面體）

凸均勻多面體，包括凸正多面體、擬正多面體和半正多面體及其對偶多面體都具有中分球。在凸正多面體中，內切球、中分球和外接球都存在且同心^[8]，其中分球與凸正多面體每條邊的中點相切。^[9]

並非所有不規則四面體都具有中分球。存在中分球的四面體稱為「克雷爾四面體」（Crelle's tetrahedra）；其形成所有四面體之六維空間中的一個四維子集（由它們的六個邊長參數化）。更精確地說，克雷爾四面體的四個頂點來自四個相互外切的球之球心。在這種情況下，四面體的六個邊長是這四個球體半徑的兩兩之和。^[11] 這種四面體的中分球與四面體邊相切的點為四個生成球體中的兩個球體彼此相切且垂直於所有四個生成球體的點。^[12]

性質

相切圓

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

對偶地，若 $v$ 是 $P$ 的頂點，則存在頂點 $v$ ，其頂角由頂點向下看，會在某個位置與中分球相交，這些交點共面，所形成的平面交於中分球 $O$ 為一個圓形，該圓形與 $v$ 的頂角相交的頂點所形成的多邊形（頂點圖）和中分球 $O$ 相交的圓為外接圓關係。這個圓與頂點 $v$ 形成一個圓錐體區域；該圓形形成球冠的邊界，在該球冠範圍內從 $v$ 的頂角內可以看到球體的表面。也就是說，從頂點看去，該圓是中分球的地平線。當兩個頂點以上述方式形成兩個圓形時，所形成的兩個圓形恰好彼此相切。^[13]

對偶性

若多面體 $P$ 存在中分球 $O$ ，則 $P$ 的極多面體的中分球也是 $O$ 。極多面體之面與 $O$ 相交出來的圓（極多面體之面的內切圓）與 $P$ 從頂角向下看的地平線（頂角在相交位置之頂點圖的外接圓）所形成的圓形與頂點構成的圓錐和極多面體面與中分球 $O$ 相交之圓相切。^[5]極多面體的邊和原多面體 $P$ 與中分球的切點相同，且相切的邊對於原多面體 $P$ 和對應的極多面體的邊互相垂直。^[8]

參見

註釋

^ 此處的長方體僅指所有面都是矩形、所有角都是直角的六面體，並未要求邊長是否要等長，因此此處立方體也是一種長方體。

參考文獻

^ 孟慶台. 視覺幾何-多面體面面觀-第三樂章－正多面體的現身. 科學研習期刊. 2023-05-24, 第51卷 (第12期) [2023-11-13]. （原始內容存檔於2023-11-13）. 外部連結存在於|journal= (幫助)
^ 林保平. 多面體的生成及動態模型製作在數學算板上的實踐(上) (PDF). sec.ntnu.edu.tw. [2023-11-15]. （原始內容存檔 (PDF)於2023-11-15）.
^ 環球城市數學競賽 2013 秋季賽高中組初級卷參考解答 (PDF). 九章數學教育基金會. 2016-06-28 [2023-11-23].
^ ^4.0 ^4.1 Grünbaum, Branko, Are prisms and antiprisms really boring? (Part 3) (PDF), Geombinatorics, 2005, 15 (2): 69–78 [2023-11-13], MR 2298896, Zbl 1094.52007, （原始內容存檔 (PDF)於2023-11-09）
^ ^5.0 ^5.1 ^5.2 Coxeter, H. S. M., 2.1 Regular polyhedra; 2.2 Reciprocation, Regular Polytopes 3rd, Dover: 16–17, 1973, ISBN 0-486-61480-8, MR 0370327
^ Wheeler, Roger F., 25. Quadrilaterals, Classroom Notes, The Mathematical Gazette, December 1958, 42 (342): 275–276, JSTOR 3610439, S2CID 250434576, doi:10.2307/3610439
^ Coxeter 1973^[5], Table I(i), pp. 292–293. See column " ${}_{1}\!\mathrm {R} /\ell$ ", where ${}_{1}\!\mathrm {R}$ is Coxeter's notation for the midradius, noting also that Coxeter uses $2\ell$ as the edge length (see p. 2)
^ ^8.0 ^8.1 Cundy, H. M.; Rollett, A. P., Mathematical Models 2nd, Oxford University Press: 79, 117, 1961, MR 0124167, Zbl 0095.38001
^ ^9.0 ^9.1 Pugh, Anthony, Polyhedra: A Visual Approach, University of California Press: 4, 1976 [2023-11-15], ISBN 9780520030565, MR 0451161, Zbl 0387.52006, （原始內容存檔於2023-11-15）
^ László, Lajos, An inequality and some equalities for the midradius of a tetrahedron (PDF), Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae, 2017, 46: 165–176 [2023-11-15], MR 3722672, Zbl 1399.51014, （原始內容存檔 (PDF)於2023-09-10）
^ László 2017^[10]. The irregular tetrahedra with a midsphere provide a counterexample to an incorrect claim of Pugh 1976^[9]: it is not true that only the regular polyhedra have all three of a midsphere, insphere, and circumsphere.
^ Byer, Owen D.; Smeltzer, Deirdre L., Mutually tangent spheres in $n$ -space, Mathematics Magazine, 2015, 88 (2): 146–150, JSTOR 10.4169/math.mag.88.2.146, MR 3359040, S2CID 125524102, Zbl 1325.51011, doi:10.4169/math.mag.88.2.146
^ Ziegler, Günter M., Convex polytopes: extremal constructions and $f$ -vector shapes, Miller, Ezra; Reiner, Victor; Sturmfels, Bernd (編), Geometric Combinatorics, IAS/Park City Mathematics Series 13, Providence, Rhode Island: American Mathematical Society: 617–691, 2007, MR 2383133, S2CID 11167900, Zbl 1134.52018, arXiv:math/0411400 , doi:10.1090/pcms/013/10

[6] 此處的長方體僅指所有面都是矩形、所有角都是直角的六面體，並未要求邊長是否要等長，因此此處立方體也是一種長方體。

[1] 孟慶台. 視覺幾何-多面體面面觀-第三樂章－正多面體的現身. 科學研習期刊. 2023-05-24, 第51卷 (第12期) [2023-11-13]. （原始內容存檔於2023-11-13）. 外部連結存在於|journal= (幫助)

[2] 林保平. 多面體的生成及動態模型製作在數學算板上的實踐(上) (PDF). sec.ntnu.edu.tw. [2023-11-15]. （原始內容存檔 (PDF)於2023-11-15）.

[3] 環球城市數學競賽 2013 秋季賽高中組初級卷參考解答 (PDF). 九章數學教育基金會. 2016-06-28 [2023-11-23].

[Grünbaum_2005-4] 4.0 ^4.1 Grünbaum, Branko, Are prisms and antiprisms really boring? (Part 3) (PDF), Geombinatorics, 2005, 15 (2): 69–78 [2023-11-13], MR 2298896, Zbl 1094.52007, （原始內容存檔 (PDF)於2023-11-09）

[Coxeter_1973-5] 5.0 ^5.1 ^5.2 Coxeter, H. S. M., 2.1 Regular polyhedra; 2.2 Reciprocation, Regular Polytopes 3rd, Dover: 16–17, 1973, ISBN 0-486-61480-8, MR 0370327

[Wheeler_1958-7] Wheeler, Roger F., 25. Quadrilaterals, Classroom Notes, The Mathematical Gazette, December 1958, 42 (342): 275–276, JSTOR 3610439, S2CID 250434576, doi:10.2307/3610439

[8] Coxeter 1973^[5], Table I(i), pp. 292–293. See column " ${}_{1}\!\mathrm {R} /\ell$ ", where ${}_{1}\!\mathrm {R}$ is Coxeter's notation for the midradius, noting also that Coxeter uses $2\ell$ as the edge length (see p. 2)

[Cundy_Rollett_1961-9] 8.0 ^8.1 Cundy, H. M.; Rollett, A. P., Mathematical Models 2nd, Oxford University Press: 79, 117, 1961, MR 0124167, Zbl 0095.38001

[Pugh_1976-10] 9.0 ^9.1 Pugh, Anthony, Polyhedra: A Visual Approach, University of California Press: 4, 1976 [2023-11-15], ISBN 9780520030565, MR 0451161, Zbl 0387.52006, （原始內容存檔於2023-11-15）

[László_2017-11] László, Lajos, An inequality and some equalities for the midradius of a tetrahedron (PDF), Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae, 2017, 46: 165–176 [2023-11-15], MR 3722672, Zbl 1399.51014, （原始內容存檔 (PDF)於2023-09-10）

[12] László 2017^[10]. The irregular tetrahedra with a midsphere provide a counterexample to an incorrect claim of Pugh 1976^[9]: it is not true that only the regular polyhedra have all three of a midsphere, insphere, and circumsphere.

[Byer_Smeltzer_2015-13] Byer, Owen D.; Smeltzer, Deirdre L., Mutually tangent spheres in $n$ -space, Mathematics Magazine, 2015, 88 (2): 146–150, JSTOR 10.4169/math.mag.88.2.146, MR 3359040, S2CID 125524102, Zbl 1325.51011, doi:10.4169/math.mag.88.2.146

[Ziegler_2007-14] Ziegler, Günter M., Convex polytopes: extremal constructions and $f$ -vector shapes, Miller, Ezra; Reiner, Victor; Sturmfels, Bernd (編), Geometric Combinatorics, IAS/Park City Mathematics Series 13, Providence, Rhode Island: American Mathematical Society: 617–691, 2007, MR 2383133, S2CID 11167900, Zbl 1134.52018, arXiv:math/0411400 , doi:10.1090/pcms/013/10

[1]

[2]

[3]

[4]

[5]

[註 1]

[6]

[7]

[8]

[9]

[11]

[12]

[13]

[10]