[論文レビュー] The distribution function of the distance between two random points in a right-angled triangle

Uwe Bäsel|arXiv (Cornell University)|Aug 30, 2012

Historical Geography and Cartography参考文献 6被引用数 6

ひとこと要約

本稿では、任意の直角三角形内における独立かつ一様にランダムに選ばれた2点間の距離の正確な確率密度関数および累積分布関数を導出する。ピエフケの公式と弦長分布関数を用いて、距離分布の閉形式表現を提供し、2つの合同な直角三角形が長方形を形成する場合への結果の拡張も行う。

ABSTRACT

In this paper we obtain the density function and the distribution function of the distance between two uniformly and independently distributed random points in any right-angled triangle. The density function is derived from the chord length distribution function using Piefke's formula. We conclude results for random distances between two congruent right-angled triangles together forming a rectangle.

研究の動機と目的

• 積分幾何学を用いて、任意の直角三角形における弦長分布関数を導出すること。
• 直角三角形内に一様にランダムに選ばれた2点間の距離の正確な確率密度関数および累積分布関数を計算すること。
• 2つの合同な直角三角形が長方形を形成する場合に、その距離分布を拡張し、対応する距離分布を導出すること。
• 数値シミュレーションと既知の長方形に関する結果との比較を通じて、理論的結果の妥当性を検証すること。
• 辺の長さと角度にのみ依存する、密度関数および分布関数の明示的公式を提供すること。

提案手法

• 凸集合内におけるランダムな点間の距離分布と関連付けるために、ピエフケの公式を用いる。
• 不変測度 $ \mathrm{d}g = \mathrm{d}p\,\mathrm{d}\psi $ を用いて、長さ $ \leq s $ の弦を含む直線が三角形 $ \mathcal{T}_{a,b} $ と交差する領域について統合することで、直角三角形 $ \mathcal{T}_{a,b} $ における弦長分布関数 $ F(s) $ を導出する。
• 幾何的閾値に基づいて積分領域を分割：$ s < h $、$ h \leq s < a $、$ a \leq s < b $、$ b \leq s < c $、ここで $ h $ は斜辺への高さ、$ c $ は斜辺の長さである。
• 各区間における累積測度 $ H_k(s) $ を表すために、補助関数 $ L_1(s,x) = s \arcsin(x/s) $ および $ L_2(s,x) = \sqrt{1 - (x/s)^2} $ を導入する。
• 2つの直角三角形が長方形を形成する場合の距離分布を、個々の三角形の分布とゴーシュの知られた長方形の結果を組み合わせることで、間接的手法を適用する。
• 関係式 $ g_2 = 2g_{\mathcal{R}} - g $ および $ G_2 = 2G_{\mathcal{R}} - G $ を用いる。ここで $ g_{\mathcal{R}} $ は長方形の既知の密度、$ g $ は三角形の密度を表す。

実験結果

リサーチクエスチョン

• RQ1 直角三角形内に一様にランダムに選ばれた2点間の距離の正確な分布関数は何か？
• RQ2 ピエフケの公式を用いて、弦長分布関数からどのように距離分布関数を導出できるか？
• RQ3 与えられた辺の長さ $ a $ と $ b $ を持つ直角三角形における距離の密度関数および累積分布関数の解析的表現は何か？
• RQ4 2つの合同な直角三角形が長方形を形成する場合、その距離分布は個々の三角形の分布とどのように関係するか？
• RQ5 導出された公式は、数値シミュレーションと既知の結果との比較を通じて検証可能か？

主な発見

• 本稿では、直角三角形 $ \mathcal{T}_{a,b} $ 内の2点間の距離の区分的累積分布関数 $ F(s) $ を導出しており、三角形の幾何的パラメータに基づく区間ごとに異なる表現を持つ。
• 密度関数 $ g(s) $ は $ F(s) $ の微分により得られ、$ a $、$ b $ および角 $ \alpha = \arctan(a/b) $ を含む三角関数および逆三角関数の形で表される。
• 2つの合同な直角三角形が長方形を形成する場合、距離密度 $ g_2(s) $ は $ g_2 = 2g_{\mathcal{R}} - g $ として導出され、ここで $ g_{\mathcal{R}} $ はゴーシュの研究による長方形の既知の密度である。
• 長方形の分布関数 $ G_2(s) $ は $ G_2 = 2G_{\mathcal{R}} - G $ として計算され、$ G_{\mathcal{R}} $ および $ G $ はそれぞれ長方形および三角形の累積分布関数を表す。
• 10^7 個の点ペアを用いた数値シミュレーションにより、三角形および長方形の両ケースにおいて理論的曲線と非常に良好に一致することが確認された。
• ユークリッド変換による不変性のおかげで、結果は方向に依存せず、正規化された密度 $ c g(s) $ は比 $ a/b $ のみに依存するため、類似三角形への一般化が可能である。