円に外接する四角形とその内接円
平面幾何学 において、円に外接する四角形 [ 1] (えんにがいせつするしかくけい、英 : circumscribed quadrilateral,circumscribable quadrilateral,circumscribing quadrilateral,circumscriptible quadrilateral [ 2] )または円外接四辺形 [ 3] [ 4] 、接線四辺形 (英 : tangential quadrilateral,tangent quadrilateral )はすべての辺 がある円 に接する凸 四角形 である。特にこの円とその中心、半径 をそれぞれ内接円 、内心 、内半径 という。円に外接する四角形は円外接多角形 の一つである。
英語 では inscriptable quadrilateral , inscriptible quadrilateral , inscribable quadrilateral , circumcyclic quadrilateral ,co-cyclic quadrilateral などと言われる場合もある[ 2] [ 5] 。 しかしこの語は円に内接する四角形 を指す場合が多く混同を避けるため、あまり使われない[ 2] 。
任意の三角形 は内接円を持つが四角形ではそうとは限らない。例えば、正方形 でない長方形 は内接円を持たない。 四角形が円に外接する必要十分条件 は後述のピトーの定理 などがある。
特別な場合
円に外接する四角形の例にひし形 、正方形を含む凧形 がある。凧形は円に外接する四角形であり、直交対角線四角形 でもある[ 6] 。また、直角凧形 は外接円 を持つ。内接円と外接円を持つ四角形は双心四角形 と呼ばれ、直角凧形はその一つである。
円に外接する台形 は円に外接する台形 と呼ばれる。
特徴づけ
円に外接する四角形の4つの角の二等分線 はその内心で交わる。逆に四角形の4つの角の二等分線が共点 ならばその四角形は円に外接する四角形である[ 7] 。
ピトーの定理 によれば、円に外接する四角形の2組の対辺の長さの和は等しい。またその長さは四角形の半周長 である。
a
+
c
=
b
+
d
=
a
+
b
+
c
+
d
2
=
s
.
{\displaystyle a+c=b+d={\frac {a+b+c+d}{2}}=s.}
逆に a + c = b + d ならばその四角形は円に外接する[ 2] :p.65 [ 7] 。
図のように台形でない凸四角形ABCD のそれぞれの対辺の交点をE,F とする。 四角形ABCD が円に外接することと、以下の式が成り立つことは同値 である[ 7] 。
B
E
+
B
F
=
D
E
+
D
F
o
r
A
E
−
E
C
=
A
F
−
F
C
{\displaystyle \displaystyle BE+BF=DE+DF\quad \mathrm {or} \quad AE-EC=AF-FC}
他の、四角形が円に内接する必要十分条件 は、△ABC ,△ADC の内接円が接する ことである[ 2] :p.66 。
1954年、Iosifescuは凸四角形が円に外接する必要十分条件を、以下の様な、対角線 と辺 の成す角 による表現でまとめた[ 8] 。
tan
∠
A
B
D
2
⋅
tan
∠
B
D
C
2
=
tan
∠
A
D
B
2
⋅
tan
∠
D
B
C
2
.
{\displaystyle \tan {\frac {\angle ABD}{2}}\cdot \tan {\frac {\angle BDC}{2}}=\tan {\frac {\angle ADB}{2}}\cdot \tan {\frac {\angle DBC}{2}}.}
円に外接する四角形(青)とその内接円(破線)と4つの外部で接する円(赤)。赤い円はある2つの辺の延長で接している。
更に、辺長がa,b,c,d である凸四角形が円に外接することは
R
a
R
c
=
R
b
R
d
{\displaystyle R_{a}R_{c}=R_{b}R_{d}}
と同値である。ここでRa ,Rb ,Rc ,Rd はそれぞれ辺a,b,c,d とその隣接する辺の延長に接する円の半径である[ 9] :p.72 。
さらなる特徴づけには四角形の辺と対角線が成す4つの三角形 を用いるものがある。
接点と接線の長さ
円に外接する四角形(青)とその内接円との接点が成す四角形(緑)。赤い線は緑の四角形の対角線。
円に外接する四角形とその内接円は4点で接する。この4点から成る四角形は接触四角形(contact quadrilateral)とよばれ円に内接する四角形 となる。
図の様に、4つの接点と対応する各頂点の距離、接線長 [ 10] (tangent lengths)をe,f,g,h とする。内接円と隣り合う2辺の接点と、その間の頂点の距離は等しい。
それぞれ対辺の対辺を結ぶ線分 (図ではk,l )はtangency chords と呼ばれる。これは接触四角形の対角線である。
面積
三角法を用いない公式
円に外接する四角形の面積 K は内半径 と半周長 を用いて以下の様に表される。
K
=
r
⋅
s
,
{\displaystyle \displaystyle K=r\cdot s,}
または、
K
=
1
2
p
2
q
2
−
(
a
c
−
b
d
)
2
{\displaystyle \displaystyle K={\tfrac {1}{2}}{\sqrt {p^{2}q^{2}-(ac-bd)^{2}}}}
ただしp,q は二つの対角線 の長さとする[ 11] 。
e,f,g,h を用いれば以下のようになる[ 6] 。
K
=
(
e
+
f
+
g
+
h
)
(
e
f
g
+
f
g
h
+
g
h
e
+
h
e
f
)
.
{\displaystyle \displaystyle K={\sqrt {(e+f+g+h)(efg+fgh+ghe+hef)}}.}
a,b,c,d とe,f,g,h を両方用いれば、
K
=
a
b
c
d
−
(
e
g
−
f
h
)
2
.
{\displaystyle K={\sqrt {abcd-(eg-fh)^{2}}}.}
となる[ 6] :p.128 。もしこの四角形が円に内接するならばeg = fh が従い、双心四角形 の面積公式
a
b
c
d
{\displaystyle {\sqrt {abcd}}}
となる[ 12] 。
三角法による公式
辺の長さと、三角法 を使う公式には以下の様なものがある[ 13] [ 14] [ 15] [ 16] 。
K
=
a
b
c
d
sin
A
+
C
2
=
a
b
c
d
sin
B
+
D
2
.
{\displaystyle \displaystyle K={\sqrt {abcd}}\sin {\frac {A+C}{2}}={\sqrt {abcd}}\sin {\frac {B+D}{2}}.}
円に外接する四角形の辺長が与えられたとき、その面積が最大 となるのは、外接円 をもつ、つまり双心四角形となるときである。四角形が外接円をもつとき、それぞれの対角の和が180°となるためである。また微分幾何学 を用いることによっても証明できる[ 17] 。
四角形の頂点と内心I の距離を用いたものもある:p.19 。
K
=
(
I
A
⋅
I
C
+
I
B
⋅
I
D
)
sin
A
+
C
2
{\displaystyle K=\left(IA\cdot IC+IB\cdot ID\right)\sin {\frac {A+C}{2}}}
2つの対辺と角によってあらわすこともできる[ 11] 。
K
=
a
b
sin
B
2
csc
D
2
sin
B
+
D
2
.
{\displaystyle K=ab\sin {\frac {B}{2}}\csc {\frac {D}{2}}\sin {\frac {B+D}{2}}.}
さらに外積 を用いた面積公式ような形の公式もある[ 11] 。
K
=
1
2
|
(
a
c
−
b
d
)
tan
θ
|
,
{\displaystyle K={\tfrac {1}{2}}|(ac-bd)\tan {\theta }|,}
ここでθ は対角線の成す角である。ただし凧形 ではθ は90°であるから上の式を使うことはできない。
不等式
上記の公式から円に外接する四角形の面積 K と辺長a,b,c,d について
K
≤
a
b
c
d
{\displaystyle K\leq {\sqrt {abcd}}}
が成り立つ。等号成立条件 は四角形が双心四角形 である場合。
T. A. Ivanova (1976)によれば、内半径と半周長について
s
≥
4
r
{\displaystyle s\geq 4r}
が成り立つ。等号成立条件は四角形が正方形 である場合[ 18] 。 この式とK = rs から
K
≥
4
r
2
{\displaystyle K\geq 4r^{2}}
が導かれる。
分割
円に外接する四角形
円に外接する四角形の内接円と各辺の接点 と内心を結ぶ線分 は四角形を4つの直角凧形 に分割する。
円に外接する四角形を、面積と周長の等しい2つの多角形 に分ける直線 は内心 を通る。
内半径
円に外接する四角形ABCD の内半径 は面積 K と辺長a,b,c,d 、半周長 s を用いて以下のように書ける[ 11] 。
r
=
K
s
=
K
a
+
c
=
K
b
+
d
{\displaystyle r={\frac {K}{s}}={\frac {K}{a+c}}={\frac {K}{b+d}}}
円に外接する四角形の辺長が与えられたとき、その内半径が最大値 をとるような四角形は双心四角形 である。
接線長e,f,g,h を用いれば以下の様にも書ける[ 12] :Lemma2 [ 19] 。
r
=
e
f
g
+
f
g
h
+
g
h
e
+
h
e
f
e
+
f
+
g
+
h
.
{\displaystyle \displaystyle r={\sqrt {\frac {efg+fgh+ghe+hef}{e+f+g+h}}}.}
各頂点と内心 I の距離をu = AI , v = BI , x = CI ,y = DI と書けば
r
=
2
(
σ
−
u
v
x
)
(
σ
−
v
x
y
)
(
σ
−
x
y
u
)
(
σ
−
y
u
v
)
u
v
x
y
(
u
v
+
x
y
)
(
u
x
+
v
y
)
(
u
y
+
v
x
)
{\displaystyle r=2{\sqrt {\frac {(\sigma -uvx)(\sigma -vxy)(\sigma -xyu)(\sigma -yuv)}{uvxy(uv+xy)(ux+vy)(uy+vx)}}}}
となる[ 20] 。ただし
σ
=
1
2
(
u
v
x
+
v
x
y
+
x
y
u
+
y
u
v
)
{\displaystyle \sigma ={\tfrac {1}{2}}(uvx+vxy+xyu+yuv)}
△ABC ,△BCD ,△CDA ,△DAB の内半径をそれぞれ
r
1
,
r
2
,
r
3
,
r
4
{\displaystyle r_{1},r_{2},r_{3},r_{4}}
とすればさらに
r
=
G
+
G
2
−
4
r
1
r
2
r
3
r
4
(
r
1
r
3
+
r
2
r
4
)
2
(
r
1
r
3
+
r
2
r
4
)
{\displaystyle r={\frac {G+{\sqrt {G^{2}-4r_{1}r_{2}r_{3}r_{4}(r_{1}r_{3}+r_{2}r_{4})}}}{2(r_{1}r_{3}+r_{2}r_{4})}}}
と変形できる[ 21] 。ただし
G
=
r
1
r
2
r
3
+
r
2
r
3
r
4
+
r
3
r
4
r
1
+
r
4
r
1
r
2
{\displaystyle G=r_{1}r_{2}r_{3}+r_{2}r_{3}r_{4}+r_{3}r_{4}r_{1}+r_{4}r_{1}r_{2}}
.
角の公式
円に外接する四角形ABCD について、それぞれの頂点の接線長をe,f,g,h とする。四角形の角に対する正弦 は次のように計算できる[ 6] 。
sin
A
2
=
e
f
g
+
f
g
h
+
g
h
e
+
h
e
f
(
e
+
f
)
(
e
+
g
)
(
e
+
h
)
,
{\displaystyle \sin {\frac {A}{2}}={\sqrt {\frac {efg+fgh+ghe+hef}{(e+f)(e+g)(e+h)}}},}
sin
B
2
=
e
f
g
+
f
g
h
+
g
h
e
+
h
e
f
(
f
+
e
)
(
f
+
g
)
(
f
+
h
)
,
{\displaystyle \sin {\frac {B}{2}}={\sqrt {\frac {efg+fgh+ghe+hef}{(f+e)(f+g)(f+h)}}},}
sin
C
2
=
e
f
g
+
f
g
h
+
g
h
e
+
h
e
f
(
g
+
e
)
(
g
+
f
)
(
g
+
h
)
,
{\displaystyle \sin {\frac {C}{2}}={\sqrt {\frac {efg+fgh+ghe+hef}{(g+e)(g+f)(g+h)}}},}
sin
D
2
=
e
f
g
+
f
g
h
+
g
h
e
+
h
e
f
(
h
+
e
)
(
h
+
f
)
(
h
+
g
)
.
{\displaystyle \sin {\frac {D}{2}}={\sqrt {\frac {efg+fgh+ghe+hef}{(h+e)(h+f)(h+g)}}}.}
対辺上の接点を結ぶ直線k,l の成す角の正弦は次のように計算できる[ 6] 。
sin
φ
=
(
e
+
f
+
g
+
h
)
(
e
f
g
+
f
g
h
+
g
h
e
+
h
e
f
)
(
e
+
f
)
(
f
+
g
)
(
g
+
h
)
(
h
+
e
)
.
{\displaystyle \sin {\varphi }={\sqrt {\frac {(e+f+g+h)(efg+fgh+ghe+hef)}{(e+f)(f+g)(g+h)(h+e)}}}.}
対角線
接線長e,f,g,h を用いて、対角線 の長さp = AC , q = BD は以下の様に計算できる[ 12] :Lemma3 。
p
=
e
+
g
f
+
h
(
(
e
+
g
)
(
f
+
h
)
+
4
f
h
)
,
{\displaystyle \displaystyle p={\sqrt {{\frac {e+g}{f+h}}{\Big (}(e+g)(f+h)+4fh{\Big )}}},}
q
=
f
+
h
e
+
g
(
(
e
+
g
)
(
f
+
h
)
+
4
e
g
)
.
{\displaystyle \displaystyle q={\sqrt {{\frac {f+h}{e+g}}{\Big (}(e+g)(f+h)+4eg{\Big )}}}.}
接点を結ぶ直線
接線長e,f,g,h を用いて、接触四角形の対角線(Tangency chords)の長さk,l は以下の様に計算できる [ 6] 。
k
=
2
(
e
f
g
+
f
g
h
+
g
h
e
+
h
e
f
)
(
e
+
f
)
(
g
+
h
)
(
e
+
g
)
(
f
+
h
)
,
{\displaystyle \displaystyle k={\frac {2(efg+fgh+ghe+hef)}{\sqrt {(e+f)(g+h)(e+g)(f+h)}}},}
l
=
2
(
e
f
g
+
f
g
h
+
g
h
e
+
h
e
f
)
(
e
+
h
)
(
f
+
g
)
(
e
+
g
)
(
f
+
h
)
{\displaystyle \displaystyle l={\frac {2(efg+fgh+ghe+hef)}{\sqrt {(e+h)(f+g)(e+g)(f+h)}}}}
ここで四角形の辺の長さa,b,c,d についてa = e + f , c = g + h , b = f + g , d = h + e が成り立つから
k
2
l
2
=
b
d
a
c
.
{\displaystyle {\frac {k^{2}}{l^{2}}}={\frac {bd}{ac}}.}
である[ 6] 。2つのTangency chordsには以下の様な性質がある。
円に外接する四角形ABCD について、AB,CD がBC,DA よりも短ければ、AB,CD 間のtangency chordはBC,DA 間のtangency chordより長い[ 23] :p.162 。
AB,CD と内接円 の接点をそれぞれW,Y 、WY,BD の交点をM とする。
B
W
D
Y
{\displaystyle {\tfrac {BW}{DY}}}
と
B
M
D
M
{\displaystyle {\tfrac {BM}{DM}}}
は等しい[ 24] 。
共線点
円に外接する四角形(青)のニュートン線 (赤) 。ニュートン線は内心I 、対角線の中点 M 1 ,M 2 と対辺の交点J,K を結ぶ線分(緑)の中点M 3 を通る。
円に外接する四角形ABCD の対角線AC,BD の中点 をそれぞれM 1 ,M 2 、内心 をI 、対辺AB,CD の交点J とBC,DA の交点K を通る線分JK の中点をM 3 とする。この4点M 1 ,M 2 ,M 3 ,I は共線 である [ 25] [ 7] :p.42 。この線をニュートン線 という。
一般に四角形のすべての辺に接する楕円 (内接楕円 (英語版 ) )の中心は、そのニュートン線上にある[ 26] 。
また接触四角形のそれぞれの対辺の交点をL,M とすると、J,L,K,M は共線である[ 27] :Cor.3 。
円に外接する四角形を内心で4つの三角形に分割する。それぞれの垂心 (紫)と元の四角形の対角線(緑)の交点は共線である。
AB,BC,CD,DA と内接円 の接点をT 1 ,T 2 ,T 3 ,T 4 、T 1 ,T 2 ,T 3 ,T 4 の等長共役点 (AT 1 = BN 1 となる点)をそれぞれN 1 ,N 2 ,N 3 ,N 4 とする。円に外接する四角形のナーゲル点 は直線N 1 N 3 ,N 2 N 4 の交点として定義される。N 1 N 3 ,N 2 N 4 はどちらも四角形の周長 を二等分する。さらに四角形のナーゲル点N 、質量中心 G 、内心I は共線 でNG = 2GI が成り立つ。この線はナーゲル線 と呼ばれる[ 28] 。
円に外接する四角形ABCD の内心をI 、対角線 の交点をP 、△AIB ,△BIC ,△CID ,△DIA の垂心 をそれぞれHX , HY , HZ , HW とするとP,HX , HY , HZ , HW は共線である[ 15] :p.28 。
共点と垂線
2つの対角線と2つのtangency chordsは共点 である[ 16] [ 15] :p.11 。 これは、ブリアンションの定理 で2つの点を極限まで近づけた場合を用いて証明できる。円に外接する六角形の頂点2つを別の頂点に極限まで近づけると、近づかれた2点と、他の2点の接線 が円に外接する四角形を成し、近づいた点と近づかれた点の接線の交点はその2点と一致してtangency chordsとなる。同様の操作をすることで、もう一方のtangency chordsの共点も証明できる。
対辺AB,CD の交点J とBC,DA の交点K を結ぶ直線JK と、対角線の交点P と内心I を結ぶ直線IP は直交する[ 27] :Cor.4 。
内心
円に外接する四角形の内心 はニュートン線 上にある[ 29] 。
内心I と円に外接する四角形ABCD の頂点の距離の比について次の式が成り立つ[ 15] :p.15 。
A
B
C
D
=
I
A
⋅
I
B
I
C
⋅
I
D
,
B
C
D
A
=
I
B
⋅
I
C
I
D
⋅
I
A
.
{\displaystyle {\frac {AB}{CD}}={\frac {IA\cdot IB}{IC\cdot ID}},\quad \quad {\frac {BC}{DA}}={\frac {IB\cdot IC}{ID\cdot IA}}.}
この式から、以下の式が満足する[ 30] 。
A
B
⋅
B
C
=
I
B
2
+
I
A
⋅
I
B
⋅
I
C
I
D
.
{\displaystyle AB\cdot BC=IB^{2}+{\frac {IA\cdot IB\cdot IC}{ID}}.}
また
I
A
⋅
I
C
+
I
B
⋅
I
D
=
A
B
⋅
B
C
⋅
C
D
⋅
D
A
.
{\displaystyle IA\cdot IC+IB\cdot ID={\sqrt {AB\cdot BC\cdot CD\cdot DA}}.}
が成り立つ[ 15] :p.16 。内心が頂点の重心(幾何中心 )となるのは、
I
A
⋅
I
C
=
I
B
⋅
I
D
.
{\displaystyle IA\cdot IC=IB\cdot ID.}
が成立することと同値 である[ 15] :p.22 。AC,BD の中点 をそれぞれMp ,Mq とすると、以下の式が成り立つ[ 15] :p.19 [ 31] 。
I
M
p
I
M
q
=
I
A
⋅
I
C
I
B
⋅
I
D
=
e
+
g
f
+
h
{\displaystyle {\frac {IM_{p}}{IM_{q}}}={\frac {IA\cdot IC}{IB\cdot ID}}={\frac {e+g}{f+h}}}
ただしe,f,g,h はそれぞれA,B,C,D の接線長である。このことから内心が幾何中心と一致するのは、内心が対角線の中点を繋げた線分の中点であるときである。
円に外接する四角形が四節リンク機構 (英語版 ) とみなすとき、四角形が凸であれば、どのように機構を動かしても、円に外接する状態は変わらない[ 32] [ 33] 。例えば正方形をひし形 に変形しても円に外接したままである。ある辺が固定されて四角形が動くとき、その内心は半径が
a
b
c
d
/
s
{\displaystyle {\sqrt {abcd}}/s}
の円を描く。ただし、a,b,c,d はいづれかの四角形の辺長で、s は半周長 。
4つの三角形の特徴づけ
4つの三角形 の内接円半径に関するチャオとシメオノフの特徴づけ
凸 四角形 ABCD と対角線の交点P から重なり合わない三角形 △APB , △BPC , △CPD , △DPA を作る。四角形が円に外接するときこれらの四角形は多くの特徴を持つ。
△APB , △BPC , △CPD , △DPA の内半径 をそれぞれr 1 ,r 2 ,r 3 ,r 4 とする。チャオとシメオノフは四角形が円に外接することと次の式の成立が同値 であることを証明した[ 34] 。
1
r
1
+
1
r
3
=
1
r
2
+
1
r
4
.
{\displaystyle {\frac {1}{r_{1}}}+{\frac {1}{r_{3}}}={\frac {1}{r_{2}}}+{\frac {1}{r_{4}}}.}
ただし、この性質はVaynshtejnが5年早く発表していた[ 22] :p.169 [ 35] 。この問題の解決は、VasilyevとSenderovの証明した性質が使われた。四角形の辺を底辺 としてみたときの、4つの三角形の高さ をそれぞれh 1 ,h 2 ,h 3 ,h 4 とする。四角形が円に外接することと、以下の式が成り立つことは同値である[ 8] [ 35] 。
1
h
1
+
1
h
3
=
1
h
2
+
1
h
4
.
{\displaystyle {\frac {1}{h_{1}}}+{\frac {1}{h_{3}}}={\frac {1}{h_{2}}}+{\frac {1}{h_{4}}}.}
内半径と同様に、傍接円 半径 についても同じような性質がある。△APB , △BPC , △CPD , △DPA の角P 内の傍接円の半径をそれぞれra ,rb ,rc ,rd とする。四角形が円に外接することと、以下の式が成り立つことは同値である[ 2] :p.70 。
1
r
a
+
1
r
c
=
1
r
b
+
1
r
d
.
{\displaystyle {\frac {1}{r_{a}}}+{\frac {1}{r_{c}}}={\frac {1}{r_{b}}}+{\frac {1}{r_{d}}}.}
さらにこれらの三角形の外接円 の半径をそれぞれR 1 ,R 2 ,R 3 ,R 4 として
R
1
+
R
3
=
R
2
+
R
4
.
{\displaystyle R_{1}+R_{3}=R_{2}+R_{4}.}
が成り立つことも、四角形が円に外接する必要十分条件 となる[ 36] :pp. 23–24 。
1996年、Vaynshtejnは美しい性質を初めに証明し、いくつかの雑誌やウェブサイトで掲載された[ 2] :pp. 72–73 。それは、 凸四角形 が対角線の交点で4つの三角形に分割されていて、それら三角形の内心が共円 ならば、その四角形は円に外接する、というものである。このとき4つの内心から成る四角形は円に内接する直角四角形 である[ 2] :p.74 。対角線の交点の角内にある傍接円に関しても、同様の性質が成り立ち、4つの傍心 の成す四角形は円に内接する四角形 となる[ 2] :p. 73 。
凸四角形ABCD とその対角線の交点P について、角B,D 内の△APB , △BPC , △CPD , △DPA の傍心が共円であることと、四角形が円に外接することは同値である[ 2] :p. 79 。それらの傍接円半径をそれぞれRa ,Rb ,Rc ,Rd として、以下の式が成り立つこともまた、四角形が円に外接する必要十分条件 となる[ 2] :p. 80 。
1
R
a
+
1
R
c
=
1
R
b
+
1
R
d
.
{\displaystyle {\frac {1}{R_{a}}}+{\frac {1}{R_{c}}}={\frac {1}{R_{b}}}+{\frac {1}{R_{d}}}.}
さらに次の式が成り立つこともそれらと同値である[ 8] 。
a
△
(
A
P
B
)
+
c
△
(
C
P
D
)
=
b
△
(
B
P
C
)
+
d
△
(
D
P
A
)
{\displaystyle {\frac {a}{\triangle (APB)}}+{\frac {c}{\triangle (CPD)}}={\frac {b}{\triangle (BPC)}}+{\frac {d}{\triangle (DPA)}}}
ただし△(APB ) でその三角形の面積 を表す。
AP = p 1 ,BP = p 2 ,CP = q 1 ,DP = q 2 とする。以下の式の成立も、四角形が円に外接する必要十分条件である[ 37] 。
a
p
2
q
2
+
c
p
1
q
1
=
b
p
1
q
2
+
d
p
2
q
1
{\displaystyle ap_{2}q_{2}+cp_{1}q_{1}=bp_{1}q_{2}+dp_{2}q_{1}}
または[ 2] :p. 74
(
p
1
+
q
1
−
a
)
(
p
2
+
q
2
−
c
)
(
p
1
+
q
1
+
a
)
(
p
2
+
q
2
+
c
)
=
(
p
2
+
q
1
−
b
)
(
p
1
+
q
2
−
d
)
(
p
2
+
q
1
+
b
)
(
p
1
+
q
2
+
d
)
{\displaystyle {\frac {(p_{1}+q_{1}-a)(p_{2}+q_{2}-c)}{(p_{1}+q_{1}+a)(p_{2}+q_{2}+c)}}={\frac {(p_{2}+q_{1}-b)(p_{1}+q_{2}-d)}{(p_{2}+q_{1}+b)(p_{1}+q_{2}+d)}}}
または[ 2] :p. 77
(
a
+
p
1
−
q
1
)
(
c
+
p
2
−
q
2
)
(
a
−
p
1
+
q
1
)
(
c
−
p
2
+
q
2
)
=
(
b
+
p
2
−
q
1
)
(
d
+
p
1
−
q
2
)
(
b
−
p
2
+
q
1
)
(
d
−
p
1
+
q
2
)
.
{\displaystyle {\frac {(a+p_{1}-q_{1})(c+p_{2}-q_{2})}{(a-p_{1}+q_{1})(c-p_{2}+q_{2})}}={\frac {(b+p_{2}-q_{1})(d+p_{1}-q_{2})}{(b-p_{2}+q_{1})(d-p_{1}+q_{2})}}.}
円に外接する四角形が、他の種類の四角形である条件
ひし形
円に外接する四角形の対角が等しいことと、その四角形がひし形 であることは同値[ 38] 。
凧形
円に外接する四角形が凧形であることは以下の様な条件がある[ 22] 。
対角線 によって面積が二等分される。
対角線が直交 する。
それぞれの対辺の内接円との接点を結んだ線分の長さが等しい。
接線長が、反対の接線長と等しい。
2組の対辺の中点 を結んだ線分(bimedians)の長さが等しい。
2組の対辺の長さの積が等しい。
内接円 の中心が対称の軸 となる対角線上にある。
双心四角形
双心四角形ABCD 。その接触四角形(桃)は直角四角形となる。
AB,BC,CD,DA と内接円 の接点 をそれぞれW,X,Y,Z とする。円に外接する四角形が外接円 を持つ、つまり双心四角形 であるための十分条件 には以下の様なものがある[ 5] [ 6] :p.124 [ 27] 。
WY,XZ が直交する。
A
W
⋅
C
Y
=
B
W
⋅
D
Y
{\displaystyle AW\cdot CY=BW\cdot DY}
A
C
B
D
=
A
W
+
C
Y
B
X
+
D
Z
{\displaystyle {\frac {AC}{BD}}={\frac {AW+CY}{BX+DZ}}}
一つ目の条件は接触四角形が直交対角線四角形 となることである。
また、同じ辺長をもつどの円に外接する四角形よりも大きい内半径 をもつ円に外接する四角形は双心四角形となる[ 39] :pp.392–393 。
台形
円に外接する四角形がAB,CD が平行 である円に外接する台形 となるのは以下の式が成り立つときである[ 40] :Thm. 2 。
A
W
⋅
D
Y
=
B
W
⋅
C
Y
{\displaystyle AW\cdot DY=BW\cdot CY}
AD,BC が平行である場合は以下の式と同値である。
A
W
⋅
B
W
=
C
Y
⋅
D
Y
.
{\displaystyle AW\cdot BW=CY\cdot DY.}
関連項目
出典
^ “円に外接する四角形とその性質 ”. 高校数学の美しい物語 (2022年1月15日). 2024年7月13日 閲覧。
^ a b c d e f g h i j k l m Josefsson, Martin (2011), “More Characterizations of Tangential Quadrilaterals” , Forum Geometricorum 11 : 65–82, http://forumgeom.fau.edu/FG2011volume11/FG201108.pdf .
^ 『幾何解法ノ極意 』青野文魁堂 、1901年、50頁。doi :10.11501/828418 。https://dl.ndl.go.jp/pid/828418/1/50 。
^ 『幾何学問題集 』有朋堂書店 、1922年、259頁。doi :10.11501/949111 。https://dl.ndl.go.jp/pid/949111/1/79 。
^ a b Bryant, Victor; Duncan, John (2010), “Wheels within wheels”, The Mathematical Gazette 94 (November): 502–505 .
^ a b c d e f g h i JosefssonMartin「Calculations concerning the tangent lengths and tangency chords of a tangential quadrilateral 」『Forum Geometricorum 』第10巻、119–130頁、2010年。http://forumgeom.fau.edu/FG2010volume10/FG201013.pdf 。 .
^ a b c d Andreescu, Titu; Enescu, Bogdan (2006), Mathematical Olympiad Treasures , Birkhäuser, pp. 64–68 .
^ a b c
MinculeteNicusor「Characterizations of a Tangential Quadrilateral 」『Forum Geometricorum 』第9巻、113–118頁、2009年。http://forumgeom.fau.edu/FG2009volume9/FG200910.pdf 。 .
^ Josefsson, Martin (2012), “Similar Metric Characterizations of Tangential and Extangential Quadrilaterals” , Forum Geometricorum 12 : 63–77, http://forumgeom.fau.edu/FG2012volume12/FG201207.pdf
^ 長井, 熊吉、仲野, 雄介『測量設計實用表 』(改訂)仲野雄介、1940年、431頁。doi :10.11501/845933 。https://dl.ndl.go.jp/pid/845933/1/229 。
^ a b c d Durell, C.V.; Robson, A. (2003), Advanced Trigonometry , Dover reprint, pp. 28–30 .
^ a b c Hajja, Mowaffaq (2008), “A condition for a circumscriptible quadrilateral to be cyclic” , Forum Geometricorum 8 : 103–106, http://forumgeom.fau.edu/FG2008volume8/FG200814.pdf .
^ Durell, C.V.; Robson, A. (2003), Advanced Trigonometry , Dover reprint, pp. 28–30 .
^ Siddons, A.W.; Hughes, R.T. (1929), Trigonometry , Cambridge Univ. Press, p. 203 .
^ a b c d e f g Grinberg, Darij, Circumscribed quadrilaterals revisited , 2008
^ a b Yiu, Paul, Euclidean Geometry , , 1998, pp. 156–157.
^ Hoyt, John P. (1986), “Maximizing the Area of a Trapezium”, American Mathematical Monthly 93 (1): 54–56, doi :10.2307/2322549 .
^ “Art of Problem Solving ”. artofproblemsolving.com . 2024年7月13日 閲覧。
^ Hoyt, John P. (1984), “Quickies, Q694”, Mathematics Magazine 57 (4): 239, 242 .
^ Josefsson, Martin (2010), “On the inradius of a tangential quadrilateral” , Forum Geometricorum 10 : 27–34, http://forumgeom.fau.edu/FG2010volume10/FG201005.pdf .
^ “An Inradii Relation in Inscriptible Quadrilateral ”. www.cut-the-knot.org . 2024年7月13日 閲覧。
^ a b c Josefsson, Martin (2011), “When is a Tangential Quadrilateral a Kite?” , Forum Geometricorum 11 : 165–174, http://forumgeom.fau.edu/FG2011volume11/FG201117.pdf .
^ Josefsson, Martin (2011), “The Area of a Bicentric Quadrilateral” , Forum Geometricorum 11 : 155–164, http://forumgeom.fau.edu/FG2011volume11/FG201116.pdf .
^ “Geometry classes, Problem 152. Circumscribed Quadrilateral, Diagonal, Chord, Proportion. iPad Apps. Math teacher Master Degree. College, SAT Prep. Elearning, Online math tutor, LMS. ”. gogeometry.com . 2024年7月13日 閲覧。
^ “ニュートンの定理とその証明 ”. 高校数学の美しい物語 (2021年3月7日). 2024年7月13日 閲覧。
^ Chakerian, G. D. "A Distorted View of Geometry." Ch. 7 in Mathematical Plums (R. Honsberger, editor). Washington, DC: Mathematical Association of America, 1979.
^ a b c Josefsson, Martin (2010), “Characterizations of Bicentric Quadrilaterals” , Forum Geometricorum 10 : 165–173, http://forumgeom.fau.edu/FG2010volume10/FG201019.pdf .
^ Myakishev, Alexei (2006), “On Two Remarkable Lines Related to a Quadrilateral” , Forum Geometricorum 6 : 289–295, http://forumgeom.fau.edu/FG2006volume6/FG200634.pdf .
^ Dergiades, Nikolaos; Christodoulou, Dimitris M. (2017), “The two incenters of an arbitrary convex quadrilateral” , Forum Geometricorum 17 : 245–254, http://forumgeom.fau.edu/FG2017volume17/FG201727.pdf .
^ Andreescu, Titu; Feng, Zuming (2005), 103 Trigonometry Problems From the Training of the USA IMO Team , Birkhäuser, pp. 176–177 .
^ “Art of Problem Solving (2011) ”. artofproblemsolving.com . 2024年7月13日 閲覧。
^ Barton, Helen (1926), “On a circle attached to a collapsible four-bar” , American Mathematical Monthly 33 (9): 462–465, doi :10.2307/2299611 , JSTOR 2299611 , https://jstor.org/stable/2299611 .
^ “When A Quadrilateral Is Inscriptible? ”. www.cut-the-knot.org . 2024年7月13日 閲覧。
^ Chao, Wu Wei; Simeonov, Plamen (2000), “When quadrilaterals have inscribed circles (solution to problem 10698)”, American Mathematical Monthly 107 (7): 657–658, doi :10.2307/2589133 .
^ a b Vaynshtejn, I.; Vasilyev, N.; Senderov, V. (1995), “(Solution to problem) M1495”, Kvant (6): 27–28.
^ Josefsson, Martin (2012), “Characterizations of Orthodiagonal Quadrilaterals” , Forum Geometricorum 12 : 13–25, http://forumgeom.fau.edu/FG2012volume12/FG201202.pdf .
^ Hoehn, Larry (2011), “A new formula concerning the diagonals and sides of a quadrilateral” , Forum Geometricorum 11 : 211–212, http://forumgeom.fau.edu/FG2011volume11/FG201122.pdf .
^ De Villiers, Michael (2011), “Equiangular cyclic and equilateral circumscribed polygons”, Mathematical Gazette 95 (March): 102–107 .
^ Hess, Albrecht (2014), “On a circle containing the incenters of tangential quadrilaterals” , Forum Geometricorum 14 : 389–396, http://forumgeom.fau.edu/FG2014volume14/FG201437.pdf .
^ Josefsson, Martin (2014), “The diagonal point triangle revisited” , Forum Geometricorum 14 : 381–385, http://forumgeom.fau.edu/FG2014volume14/FG201435.pdf .
外部リンク
非古典的 (2辺以下) 辺の数: 3–10
辺の数: 11–20 辺の数: 21–30 辺の数: 31–40 辺の数: 41–50 辺の数: 51–70 (抜粋) 辺の数: 71–100 (抜粋) 辺の数: 101– (抜粋) 無限 星型多角形 (辺の数: 5–12)多角形のクラス