海尔布朗三角形问题是在单位面积的圆盘(正方形、等边三角形等)中放置 个点,以最大化由这
个点确定的
个三角形中最小的三角形的面积
。对于
个点,只有一个三角形,因此海尔布朗问题退化为在正方形中由点构造的最大三角形。对于
,每个配置有四个可能的三角形,因此问题是找到使这四个三角形中最小的三角形最大化的点配置。
对于单位正方形,最小三角形面积的前几个最大值是
(1)
| |||
(2)
| |||
(3)
| |||
(4)
| |||
(5)
| |||
(6)
| |||
(7)
| |||
(8)
|
对于较大的 值,最优性证明仍然是开放的,但最知名的结果是
(9)
| |||
(10)
| |||
(11)
| |||
(12)
| |||
(13)
| |||
(14)
| |||
(15)
| |||
(16)
| |||
(17)
| |||
(18)
| |||
(19)
| |||
(20)
| |||
(21)
| |||
(22)
| |||
(23)
| |||
(24)
| |||
(25)
| |||
(26)
| |||
(27)
|
上述配置展示了导致最大最小三角形的情况(Friedman 2006;Comellas 和 Yebra 2002;D. Cantrell 和 M. Beyleveld,私人通讯,2006 年 8 月 16 日)。这里,符号 表示多项式根。可以看出,解决方案具有很大的对称性,大量最大最小三角形共享相同的面积。
对于单位面积的圆盘,海尔布朗配置直到 7 都是围绕圆周的点对称排列。圆的最佳已知海尔布朗常数是
(28)
| |||
(29)
| |||
(30)
| |||
(31)
| |||
(32)
| |||
(33)
| |||
(34)
| |||
(35)
| |||
(36)
| |||
(37)
| |||
(38)
| |||
(39)
| |||
(40)
| |||
(41)
| |||
(42)
| |||
(43)
| |||
(44)
| |||
(45)
| |||
(46)
| |||
(47)
| |||
(48)
| |||
(49)
|
(Friedman 2007;D. Cantrell 私人通讯,2007 年 6 月 18 日)。
(50)
| |||
(51)
| |||
(52)
| |||
(53)
| |||
(54)
| |||
(55)
| |||
(56)
| |||
(57)
| |||
(58)
| |||
(59)
| |||
(60)
| |||
(61)
| |||
(62)
| |||
(63)
| |||
(64)
| |||
(65)
| |||
(66)
| |||
(67)
| |||
(68)
| |||
(69)
|
(Friedman 2007;D. Cantrell,私人通讯,2007 年 6 月 18 日)。
海尔布朗猜想
(70)
|
但 Komlós et al. (1981, 1982) 通过证明以下内容反驳了这一点
(71)
|
特别是存在常数 使得
(72)
|
对于任何 和所有足够大的
。Roth (1951) 然后证明了
(73)
|
Schmidt (1971/1972) 将其改进为
(74)
|
Roth 进一步改进为
(75)
|
最初为 (Roth 1972ab),后来为
(Roth 1976;Guy 1994,p. 243)。David Cantrell 发现了一个启发式上限,由以下公式给出
(76)
|