カルノーの定理 (円錐曲線)

カルノーの定理は、18世紀から19世紀にかけて活躍したフランスの数学者であり政治家でもあったラザール・カルノーにちなんで名付けられた、古典幾何学における重要な定理の一つです。

この定理は、複数の点とそれらを結ぶ直線に関する幾何学的な性質を示しています。一般的には、m個の点P₁, P₂, ..., P_mが閉じた多角形（m=3の場合は三角形）を形成するように配置され、さらに各辺PᵢPᵢ₊₁上（ただしP_{m+1} = P₁とします）にn個の点Aᵢ₁, Aᵢ₂, ..., Aᵢnが取られている状況を考えます。これらの合計mn個の点が、あるn次の曲線（n=1なら直線、n=2なら円錐曲線など）上にあるとき、以下の等式が成り立ちます。

$$ \prod_{1 \leq i \leq m, 1 \leq j \leq n} \frac{P_i A_{ij}}{A_{ij} P_{i+1}} = (-1)^{mn} $$

ここで、$\frac{P_i A_{ij}}{A_{ij} P_{i+1}}$ は、線分PᵢPᵢ₊₁上の点Aᵢⱼに関して、点PᵢからAᵢⱼまでの符号付き距離と、点AᵢⱼからPᵢ₊₁までの符号付き距離の比を表します。この定理は、このように配置された点間の距離の比の積が、点の個数mとnによって決まる特定の値 $ (-1)^{mn} $ に等しくなることを主張します。

特にこの定理が注目されるのは、特定の条件下での応用です。
m = 3、つまり三角形の頂点をP₁, P₂, P₃とする場合を考えます。

n = 1 の場合、各辺PᵢPᵢ₊₁上に1点ずつAᵢ₁が取られます。このとき、定理はメネラウスの定理となります。メネラウスの定理は、三角形とその辺またはその延長線上の3点が共線であるための条件を示すもので、カルノーの定理がその一般化であることがわかります。
n = 2 の場合、各辺PᵢPᵢ₊₁上に2点ずつAᵢ₁, Aᵢ₂が取られます。この場合の定理がしばしば狭義の「カルノーの定理」と呼ばれることがあります。これは三角形の各辺上の2点ずつの配置に関する重要な性質を示します。

ただし、一般形においてn > 2の場合は、上記の等式が成り立つからといって、mn個の点が必ずしもn次の曲線上にあるとは限らず、逆は成立しないことが知られています。

カルノーの定理に関連する他の幾何学の定理も存在します。例えば、ブラッドリーの定理やパスカルの定理などが挙げられます。これらはそれぞれ異なる幾何学的配置や条件のもとで点の関係性や曲線の存在を示すもので、カルノーの定理と同様に古典幾何学における重要な結果です。また、この定理はユークリッド空間にとどまらず、他の幾何学的空間へ拡張された研究も行われています。

もう一度検索