モンジュの定理
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/b0/Monge_theorem.svg/220px-Monge_theorem.svg.png)
幾何学において、モンジュの定理(もんじゅのていり、英:Monge's theorem)は、ガスパール・モンジュに因んで名付けられた、3つの円の外側の相似中心が共線であるという定理である。
2つの円の2本の共通外接線(external tangent)は、射影平面上に交点を持つ。3つの円からなる2つの円の組3つの共通外接線の交点は同一直線上にある。これをモンジュの定理と言う。 円の半径が等しい場合、2本の共通外接線は平行であるが、 無限遠点で交わると考える。このとき、他2組の共通外接線の交点を通る直線は、半径が等しい円の共通外接線と平行になる。
証明
![](http://upload.wikimedia.org/wikipedia/commons/thumb/5/5c/%E3%83%A2%E3%83%B3%E3%82%B8%E3%83%A5%E3%81%AE%E5%AE%9A%E7%90%86.png/221px-%E3%83%A2%E3%83%B3%E3%82%B8%E3%83%A5%E3%81%AE%E5%AE%9A%E7%90%86.png)
最も簡単な証明に、射影幾何学を用いるものがある[1][2]。3つの円を、半径の異なる3つの球の中心を通る平面による球の断面と対応させる。異なる半径を持つ3つの球に接する平面を考える(このような平面は2つある)。2つの球に外接する円錐の頂点は球の外相似点(英語版)となり、3つの球に接する平面上にある。また、3つの球の中心を通る平面上の2つの球に接する2直線の交点は、円錐の頂点である。したがって、3つの外相似点は3つの球に接する平面と、3つの球の中心を通る平面の交線上にあるので、3つの球に接する平面上で、モンジュの定理が示された。
他の証明にはメネラウスの定理とデザルグの定理を用いたものがある[3]。それぞれの3つの円の中心が成す三角形と円の半径を用いることによって容易に示すことができる。デザルグの定理による証明もまた、3次元での平面の交点を考えるか、内相似点が成す三角形を考える事によって示される。
関連
出典
- ^ Wells, David (1991). The Penguin Dictionary of Curious and Interesting Geometry. New York: Penguin Books. pp. 153–154. ISBN 0-14-011813-6. https://archive.org/details/penguindictionar0000well
- ^ 竹之内和樹、福田幸一「Mongeの図法幾何学における3 次元問題と平面幾何定理に関する考察」『図学研究』第52巻第4号、日本図学会、2019年、27頁、doi:10.5989/jsgs.52.4_27、ISSN 0387-5512、2024年7月2日閲覧。
- ^ “Aozora Gakuen”. aozoragakuen.sakura.ne.jp. 2024年5月3日閲覧。
論文
- Graham, L. A. (1959). Ingenious Mathematical Problems and Methods. New York: Dover. ISBN 0486205452. https://archive.org/details/ingeniousmathema0000grah 1 December 2012閲覧。
外部リンク
- Monge's Circle Theorem at MathWorld
- Monge's theorem at cut-the-knot
- Three Circles and Common Tangents at cut-the-knot