[論文レビュー] Points in a triangle forcing small triangles

Matthew Kahle|arXiv (Cornell University)|Nov 15, 2008

Mathematics and Applications参考文献 1被引用数 4

ひとこと要約

本稿は、単位面積の三角形に配置された5点が、面積が最大 $6/25 = 0.24$ の三角形を必ず含むことを証明することで、離散幾何学における古典的結果を改善した。これは以前の $1/4 = 0.25$ の上限を改善したものであり、アフィン不変性、面積に基づくストリップ論法、および小さな正三角形に分割された三角形の組み合わせ的分割を用いて、小さな三角形を避ける配置が不可能であることを示した。また、最適な境界が $1/6$ であると予想している。さらに、$n$ 個の点が形成する小さな三角形の最小数について、$n \to \infty$ のときの漸近的密度が $5/8$ であると予想している。

ABSTRACT

An old theorem of Alexander Soifer's is the following: Given five points in a triangle of unit area, there must exist some three of them which form a triangle of area 1/4 or less. It is easy to check that this is not true if "five" is replaced by "four", but can the theorem be improved in any other way? We discuss in this article two different extensions of the original result. First, we allow the value of "small", 1/4, to vary. In particular, our main result is to show that given five points in a triangle of unit area, then there must exist some three of them determining a triangle of area 6/25 or less. Second, we put bounds on the minimum number of small triangles determined by n points in a triangle, and make a conjecture about the asymptotic right answer as n tends to infinity.

研究の動機と目的

• 単位面積の三角形に配置された任意の5点が、面積 $\leq \sigma$ の三角形を必ず含むような $\sigma$ の既知の上界を改善すること。
• 5点が1つより多くの小さな三角形（面積 $\leq 1/4$）を形成しなければならないかどうかを調査し、もしそうならその数を特定すること。
• $n \to \infty$ のとき、単位三角形内に配置された $n$ 個の点が形成する小さな三角形（面積 $\leq 1/4$）の最小割合の漸近的最小値を特定すること。
• $1/4$ の境界のタイトネスを検討し、最適値 $s = 1/6$ を予想すること。

提案手法

• アフィン不変性を用いて、単位三角形を正三角形と仮定することで、面積と距離の計算を単純化する。
• 元の三角形の辺長を $L$ とするとき、辺長 $L/10$ の100個の合同な小さな正三角形に三角形を分割する。
• 面積が $\leq 6/25 = 24/100$ の三角形を「小さな三角形」と定義し、幾何学的ストリップ論法を用いて、特定の点のペアと小さな三角形を形成する点の位置集合を制限する。
• 平行四辺形補題と幾何的制約を適用して、点の配置を制限し、3点が小さな三角形を形成しないと仮定すると矛盾が生じることを示す。
• 領域（ダイヤモンド、台形）における点の分布に基づくケース解析を用いて、小さな三角形を避ける配置を体系的に除外する。
• コンパクト性と対称性を活用して、問題を有限個の配置に還元し、新しい境界のもとで少なくとも1つの小さな三角形が存在することを証明する。

実験結果

リサーチクエスチョン

• RQ1 任意の5点が単位面積の三角形内に配置されたとき、それらのうち3点が面積 $\leq \sigma$ の三角形を形成するような $\sigma$ の下界 $s$ は何か？
• RQ2 $1/4$ の境界を改善できるか。5点に対して $6/25$ が最良の境界であるか？
• RQ3 単位三角形内に配置された5点は、常に3つ以上の小さな三角形（面積 $\leq 1/4$）を形成するのか？
• RQ4 $n \to \infty$ のとき、単位三角形内に配置された $n$ 個の点が形成する小さな三角形（面積 $\leq 1/4$）の最小割合 $\alpha$ は何か？
• RQ5 図17の構成は、すべての三角形の約 $5/8$ を小さな三角形にするが、これは漸近的に最適であるか？

主な発見

• 本稿は、単位面積の三角形に配置された任意の5点のうち、面積が最大 $6/25 = 0.24$ の三角形を必ず含むことを証明した。これは以前の $1/4 = 0.25$ の上限を改善した。
• 境界 $6/25$ は、すべての三角形の面積が $> 6/25$ だが $\leq 1/4$ であるような配置が存在することから、より小さい普遍的境界は成立しないという意味でタイトである。
• 本稿は、$\sigma$ の下界 $s$ として、$1/6$ が最適値であると予想している。この境界に達する構成も提示している。
• 5点が形成する小さな三角形が3つだけであることは可能であるため、それらが常に3つ以上形成されるという予想は妥当ではあるが、この例だけでは証明できない。
• 本稿は、$n$ 個の点が単位三角形内に配置されたとき、小さな三角形の漸近的最小割合が $5/8$ であると予想している。この予想は、$n/4$ 個の点を4つの小さな領域に配置する構成に基づくもので、すべての三角形の $5/8$ が小さな三角形になる。
• 図17の構成により、$A \leq 5/8$ が示され、本稿は、$n$ 個の点が常に $\alpha \binom{n}{3}$ 個以上の小さな三角形を形成するような $n$ が大きい場合の上界 $A$ として、これが最大値であると予想している。