双心多角形

幾何学における双心多角形（そうしんたかくけい、英: bicentric polygon）は内接円と外接円を持つ多角形である。すべての三角形は外接円と内接円を持つので、双心多角形である。しかし例えば正方形でない長方形は、外接円を持つが内接円を持たないため双心多角形でない。 前述のとおり、任意の三角形は外接円と内接円を持つ。内半径、外半径をそれぞれr,R、内心と外心の距離をdとして 1 R − d + 1 R + d = 1 r {\displaystyle {\frac {1}{R-d}}+{\frac {1}{R+d}}={\frac {1}{r}}} が成り立つ。これはオイラーの定理である。 証明 以下の証明は右の図に書かれているものである。 ABC は三角形の頂点、O, I は三角形の外心と内心とする。R ,r ,d は前節と同じ、α=∠CAB, β=∠ABC と定義する。 AI が外接円と交わる（A以外の）点を L とし、LOが外接円と交わる点を M とする。 I から AB に下ろした垂線の足を D とすると、ID = r 。 LM は外接円の直径なので∠MBL は直角。よって∠ADI=∠MBL。円周角なので ∠BAL=∠BML。よって△ADI∽△MBL がいえる。よって AI×BL = ID×ML = 2R r 。 BI を結ぶと、∠BIL = ∠IAB + ∠ABI = α/2 + β/2, ∠IBL = ∠IBC + ∠CBL = β/2 + α/2。よって∠BIL = ∠IBL がいえるので△LBI は二等辺三角形であり、LB = LI。よって AI×IL = 2R r 。 OI の延長線が外接円と交わる点を P, Q とする。PI×IQ = (R -d )(R +d ) である。方べきの定理より AI×IL = PI×IQ である。 2R r = (R -d )(R +d ) なので、これを整理すれば求める式が得られる。 すべての四角形が内接円と外接円を持つわけではない。 R > r {\displaystyle R>r} を満たすr,Rをそれぞれ半径とする円の中心の距離をdとする。この2円に内接、外接する四角形が存在することと、以下の式が成り立つことは同値である。 1 ( R − d ) 2 + 1 ( R + d ) 2 = 1 r 2 {\displaystyle {\frac {1}{(R-d)^{2}}}+{\frac {1}{(R+d)^{2}}}={\frac {1}{r^{2}}}} この定理はファスの定理として知られている。 r,R,dを前項と同様に定義する。一般の双心n角形のr,R,dの関係式は非常に複雑である。 以下に、いくつかの双心n角形のr,R,dに関する関係式を挙げた。 n = 5 : r ( R − d ) = ( R + d ) ( R − r + d ) ( R − r − d ) + ( R + d ) 2 R ( R − r − d ) , {\displaystyle n=5:\quad r(R-d)=(R+d){\sqrt {(R-r+d)(R-r-d)}}+(R+d){\sqrt {2R(R-r-d)}},} n = 6 : 3 ( R 2 − d 2 ) 4 = 4 r 2 ( R 2 + d 2 ) ( R 2 − d 2 ) 2 + 16 r 4 d 2 R 2 , {\displaystyle n=6:\quad 3(R^{2}-d^{2})^{4}=4r^{2}(R^{2}+d^{2})(R^{2}-d^{2})^{2}+16r^{4}d^{2}R^{2},} n = 8 : 16 p 4 q 4 ( p 2 − 1 ) ( q 2 − 1 ) = ( p 2 + q 2 − p 2 q 2 ) 4 , {\displaystyle n=8:\quad 16p^{4}q^{4}(p^{2}-1)(q^{2}-1)=(p^{2}+q^{2}-p^{2}q^{2})^{4},} ただし、 p = R + d r , q = R − d r {\displaystyle p={\frac {R+d}{r}},q={\frac {R-d}{r}}} である。 全ての正多角形は双心である。さらに、その外接円と内接円は同心円となる。また、内接円の半径は 辺心距離と等しい。 辺長がaである正n角形について、次の式が成立する。 R = a 2 sin ⁡ π n = r cos ⁡ π n . {\displaystyle R={\frac {a}{2\sin {\frac {\pi }{n}}}}={\frac {r}{\cos {\frac {\pi }{n}}}}.} 定規とコンパスによる作図可能な正多角形についてはいかのような関係式がある。 外半径、内半径、1辺に長さの比の近似値は以下のようになる。 2つの円に外接、内接するようなn角形が1つでも存在すれば、同様にその2円に外接、内接するn角形が無数に存在する。これはポンスレの閉形定理と呼ばれる。より一般には円を円錐曲線へ置き換えても成り立つ。 さらに、そのような多角形のどの対角線もある円錐曲線へ接する。 ヴァイルの定理 円外接多角形 円外接多角形状図形 ^ Gorini, Catherine A. (2009), The Facts on File Geometry Handbook, Infobase Publishing, p. 17, ISBN 9780816073894, https://books.google.com/books?id=ZnkASIOYJWsC&pg=PA17 . ^ a b c Reiman, István (2005), International Mathematical Olympiad: 1976-1990, Anthem Press, pp. 170–171, ISBN 9781843312000, https://books.google.com/books?id=xE_qYoJBpf4C&pg=PA170 . ^ Davison, Charles (1915), Subjects for mathematical essays, Macmillan and co., limited, p. 98, https://books.google.com/books?id=Uz0_AQAAIAAJ&pg=PA98 . ^ Dörrie, Heinrich (1965), 100 Great Problems of Elementary Mathematics: Their History and Solution, Courier Dover Publications, p. 192, ISBN 9780486613482, https://books.google.com/books?id=i4SJwNrYuAUC&pg=PA192 . ^ Weisstein, Eric W.. “Poncelet's Porism” (英語). Mathworld. 2024年7月17日閲覧。 ^ Cheng, Junhao; Ma, Long; Zhou, Yuanfeng (2023-09-01). “A new method for researching and constructing spherical bicentric polygons based on geometric mapping”. Computer Aided Geometric Design 105: 102232. doi:10.1016/j.cagd.2023.102232. ISSN 0167-8396. https://www.sciencedirect.com/science/article/pii/S016783962300064X.  ^ Cieślak, Waldemar; Mozgawa, Witold (2018-11-01). “The Fuss formulas in the Poncelet porism”. Computer Aided Geometric Design 66: 19–30. doi:10.1016/j.cagd.2018.07.006. ISSN 0167-8396. https://www.sciencedirect.com/science/article/pii/S0167839618300943.  ^ Flatto, Leopold (2009), Poncelet's Theorem, American Mathematical Society, ISBN 9780821886267 . ^ Johnson, Roger A.『Advanced Euclidean Geometry』Dover Publ、1929年、94頁。  Weisstein, Eric W. "Bicentric polygon". mathworld.wolfram.com (英語).