[論文レビュー] Ellipses of minimal area and of minimal eccentricity circumscribed about a convex quadrilateral

Alan Horwitz|arXiv (Cornell University)|Jul 13, 2007

Point processes and geometric inequalities参考文献 1被引用数 4

ひとこと要約

この論文は、凸四辺形に外接する最も円に近い楕円（最小離心率）について、シュタイナーによる特徴付けに長年の空白を解消する。代数幾何学と最適化を用いて、最小離心率および最小面積の外接楕円の存在と一意性を証明し、内接楕円と外接楕円の両方が同じ離心率を持つ四辺形である「双楕円四辺形」という画期的な概念を導入する。これは、二重内接円を形成する四辺形とは限らない場合にも成立する。

ABSTRACT

First, we fill in key gaps in Steiner's nice characterization of the most nearly circular ellipse which passes through the vertices of a convex quadrilateral, D. Steiner proved that there is only one pair of conjugate directions, M1 and M2, that belong to all ellipses of circumscription. Then he proves that if there is an ellipse, E, whose equal conjugate diameters possess the directional constants M1 and M2, then E must be an ellipse of circumscription which has minimal eccentricity. However, Steiner does not show the existence or uniqueness of such an ellipse. We prove that there is a unique ellipse of minimal eccentricity which passes through the vertices of D. We also show that there exists an ellipse which passes through the vertices of D and whose equal conjugate diameters possess the directional constants M1 and M2. We also show that there exists a unique ellipse of minimal area which passes through the vertices of D. Finally, we call a convex quadrilateral, D, bielliptic if the unique inscribed and circumscribed ellipses of minimal eccentricity have the same eccentricity. This generalizes the notion of bicentric quadrilaterals. In particular we show the existence of a bielliptic convex quadrilateral which is not bicentric.

研究の動機と目的

• 凸四辺形に外接する最小離心率楕円に関するシュタイナーの古典的証明における空白を埋めること。
• 凸四辺形の頂点を通過する最小面積楕円の存在と一意性を確立すること。
• 最小離心率の内接楕円と外接楕円が同じ離心率を持つ新たな凸四辺形のクラス—双楕円四辺形—を導入し、その特徴を明らかにすること。
• 凸四辺形における内接楕円と外接楕円の幾何的関係を調査し、二重内接円の場合を一般化すること。

提案手法

• 斜交座標系において、凸四辺形の4つの頂点を通る一般楕円方程式を導出する。
• 正定値二次形式および非退化性の代数的条件を用いて、有効な楕円のパラメータ空間を定義する。
• 補題1を適用し、楕円の半長軸および離心率を係数の関数として表現することで、パラメータ空間上の最適化を可能にする。
• 有効なパラメータ区間における離心率関数の臨界点解析により、最小離心率楕円の一意性を証明する。
• 共役直径に関連する方向定数 $M_1$ および $M_2$ の概念を導入し、すべての外接楕円においてその存在と不変性を証明する。
• 等長の共役直径が $M_1$ および $M_2$ と一致する条件を満たす方程式系を構築し、そのような最小離心率楕円の存在を証明する。

実験結果

リサーチクエスチョン

• RQ1 任意の凸四辺形に対して、常に一意な最小離心率楕円が存在するか？
• RQ2 最小面積外接楕円の存在と一意性を厳密に証明できるか？
• RQ3 二重内接円を形成しない四辺形に対しても、最小離心率の内接楕円と外接楕円が同じ離心率を持つ四辺形は存在するか？
• RQ4 凸四辺形における最小離心率内接楕円と外接楕円の間に、二重内接円の場合を一般化した幾何的関係は存在するか？

主な発見

• 任意の凸四辺形に外接する唯一の最小離心率楕円が存在し、シュタイナー元々の証明における空白が解消された。
• 凸四辺形の頂点を通る唯一の最小面積楕円が存在し、それは最小離心率楕円でもある。
• 最小離心率の内接楕円と外接楕円が同じ離心率を持つ新たな凸四辺形のクラス—双楕円四辺形—が導入された。
• 二重内接円ではない双楕円凸四辺形が存在することを証明し、双楕円性が二重内接性よりも弱い条件であることを示した。
• 二重内接円ではない双楕円台形が明示的に構成され、この概念が対称四辺形に限らないことが示された。
• 凸四辺形に内接するいかなる楕円とも、それとは外接するいかなる楕円とも、同じ中心を持てないことが証明された。これは非自明な幾何的制約である。