主题
Search

圆盘覆盖问题

DOWNLOAD Mathematica Notebook下载 Wolfram 笔记本

给定一个 单位圆盘，找到用 半径 r(n) 的 n 个相等圆盘完全覆盖该 单位圆盘 所需的最小半径。以下是一些初始值

r(1)=1
(1)
r(2)=1
(2)
r(3)=1/2sqrt(3)
(3)
r(4)=1/2sqrt(2)
(4)
r(5)=0.609382864...
(5)
r(6) approx 0.555
(6)
r(7)=1/2
(7)
r(8) approx 0.437
(8)
r(9) approx 0.422
(9)
r(10) approx 0.398.
(10)

这里，n=6, 8, 9, 10 的值是由 Zahn (1962) 通过计算机实验获得的近似值。

DiskCoveringProblem5

对于 n=5 的对称排列（称为五圆盘问题），r(5)=phi-1=1/phi=0.6180340...，其中 phi 是黄金比例。然而，令人惊讶的是，在不要求对称性的通用圆盘覆盖问题中，半径可以略微减小；上面（Friedman）展示了这种配置。 Neville (1915) 证明了 r(5) 的值等于 cos(theta+phi/2)，其中 theta 和 phi 是以下方程的解

2sintheta-sin(theta+1/2phi+psi)-sin(psi-theta-1/2phi)=0
(11)
2sinphi-sin(theta+1/2phi+chi)-sin(chi-theta-1/2phi)=0
(12)
2sintheta+sin(chi+theta)-sin(chi-theta)-sin(psi+phi)-sin(psi-phi)-2sin(psi-2theta)=0
(13)
cos(2psi-chi+phi)-cos(2psi+chi-phi)-2coschi+cos(2psi+chi-2theta)+cos(2psi-chi-2theta)=0.
(14)

这些解可以精确地表示为

theta=sin^(-1)r_1
(15)
phi=2sin^(-1)r_2
(16)

其中

r_1=(576x^(16)+3136x^(14)-16720x^(12)+31744x^(10)-32756x^8+22580x^6-12267x^4+4482x^2-675)_4
(17)
r_2=(746496x^(16)-3032064x^(14)+4995456x^(12)-4241024x^(10)+1931140x^8-435956x^6+36149x^4-22x^2-75)_4
(18)

是给定多项式的最小正根，其中 (P(x))_n 表示 Wolfram 语言排序中多项式 P(x) 的第 n 个根。 这给出了 r(5)=0.609382864... (OEIS A133077) 的精确值，表示为

r(5)=(1296x^8+2112x^7-3480x^6+1360x^5+1665x^4-1776x^3+22x^2-800x+625)_3,
(19)

其中，根是上述多项式的最小正根。

r(5) 也可以表示为 1/x，其中 x 是以下方程的最大实根

a(y)x^6-b(y)x^5+c(y)x^4-d(y)x^3+e(y)x^2-f(y)x+g(y)=0
(20)

在所有 y 上最大化，受以下约束

sqrt(2)<x<2y+1
(21)
-1<y<1,
(22)

并且满足

a(y)=80y^2+64y
(23)
b(y)=416y^3+384y^2+64y
(24)
c(y)=848y^4+928y^3+352y^2+32y
(25)
d(y)=768y^5+992y^4+736y^3+288y^2+96y
(26)
e(y)=256y^6+384y^5+592y^4+480y^3+336y^2+96y+16
(27)
f(y)=128y^5+192y^4+256y^3+160y^2+96y+32
(28)
g(y)=64y^2+64y+16
(29)

(Bezdek 1983, 1984)。

令 N(epsilon) 为覆盖圆盘 D 所需的半径为 epsilon 的 圆盘 的最小数量，圆盘 D 的面积与这些圆盘的总面积之比的极限由下式给出

lim_(epsilon->0^+)1/(epsilon^2N(epsilon))=(3sqrt(3))/(2pi)
(30)

(OEIS A086089; Kershner 1939, Verblunsky 1949)。

另请参阅

圆覆盖, 五圆盘问题

使用 Wolfram|Alpha 探索

参考文献

Ball, W. W. R. and Coxeter, H. S. M. "The Five-Disc Problem." In Mathematical Recreations and Essays, 13th ed. New York: Dover, pp. 97-99, 1987.Bezdek, K. "Über einige Kreisüberdeckungen." Beiträge Algebra Geom. 14, 7-13, 1983.Bezdek, K. "Über einige optimale Konfigurationen von Kreisen." Ann. Univ. Sci. Budapest Eőtvős Sect. Math. 27, 141-151, 1984.Finch, S. R. "Circular Coverage Constants." §2.2 in Mathematical Constants. Cambridge, England: Cambridge University Press, pp. 484-489, 2003.Friedman, E. "Circles Covering Circles." http://www.stetson.edu/~efriedma/circovcir/.Gardner, M. The Second Scientific American Book of Puzzles & Diversions: A New Selection. New York: Simon and Schuster, pp. 142-144, 1961.Kershner, R. "The Number of Circles Covering a Set." Amer. J. Math. 61, 665-671, 1939.Neville, E. H. "On the Solution of Numerical Functional Equations, Illustrated by an Account of a Popular Puzzle and of its Solution." Proc. London Math. Soc. 14, 308-326, 1915.Sloane, N. J. A. Sequences A086089 and A133077 in "The On-Line Encyclopedia of Integer Sequences."Verblunsky, S. "On the Least Number of Unit Circles which Can Cover a Square." J. London Math. Soc. 24, 164-170, 1949.Zahn, C. T. "Black Box Maximization of Circular Coverage." J. Res. Nat. Bur. Stand. B 66, 181-216, 1962.

在 Wolfram|Alpha 中被引用

圆盘覆盖问题

请这样引用

Weisstein, Eric W. “圆盘覆盖问题。” 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/DiskCoveringProblem.html

学科分类