在幾何學 中，圓內接四邊形的日本定理 指出，圓內接四邊形 內某些三角形 的內心 形成一個矩形 。
任意圓內四邊形被對角線分成四個三角形（每條對角線分出兩個三角形）。這些三角形的內心 形成一個矩形。
具體而言，設□ABCD M 1 M 2 M 3 M 4 △ABD △ABC △BCD △ACD M 1 M 2 M 3 M 4
□M 1 M 2 M 3 M 4
|
∢
A
B
D
|
=
|
∢
A
C
D
|
{\displaystyle \left|\sphericalangle ABD\right|=\left|\sphericalangle ACD\right|}
（以下稱為
α
{\displaystyle \alpha }
A
D
¯
{\displaystyle {\overline {AD}}}
因為
|
∢
A
M
1
D
|
=
180
∘
−
|
∢
B
A
D
|
+
|
∢
B
D
A
|
2
=
180
∘
−
180
∘
−
|
∢
A
B
D
|
2
=
90
∘
+
|
α
|
2
{\displaystyle {\begin{aligned}\left|\sphericalangle AM_{1}D\right|&=180^{\circ }-{\frac {\left|\sphericalangle BAD\right|+\left|\sphericalangle BDA\right|}{2}}\\&=180^{\circ }-{\frac {180^{\circ }-\left|\sphericalangle ABD\right|}{2}}\\&=90^{\circ }+{\frac {\left|\alpha \right|}{2}}\end{aligned}}}
由此可得，
|
∢
A
M
1
D
|
=
|
∢
A
M
4
D
|
=
90
∘
+
|
α
|
2
{\displaystyle \left|\sphericalangle AM_{1}D\right|=\left|\sphericalangle AM_{4}D\right|=90^{\circ }+{\frac {\left|\alpha \right|}{2}}}
由於這些角相等，
◻
A
M
1
M
4
D
{\displaystyle \square AM_{1}M_{4}D}
圓內接四邊形 。
根據圓內接四邊形 的性質，現在有
|
∢
M
1
M
4
D
|
=
180
∘
−
|
∢
D
A
M
1
|
{\displaystyle \left|\sphericalangle M_{1}M_{4}D\right|=180^{\circ }-\left|\sphericalangle DAM_{1}\right|}
同樣地，對於
◻
D
C
M
4
M
3
{\displaystyle \square DCM_{4}M_{3}}
|
∢
D
M
4
M
3
|
=
180
∘
−
|
∢
M
3
C
D
|
{\displaystyle \left|\sphericalangle DM_{4}M_{3}\right|=180^{\circ }-\left|\sphericalangle M_{3}CD\right|}
角度相加，得到以下結果
|
∢
M
1
M
4
D
|
+
|
∢
D
M
4
M
3
|
=
360
∘
−
|
∢
D
A
M
1
|
−
|
∢
M
3
C
D
|
=
360
∘
−
|
∢
D
A
B
|
+
|
∢
B
C
D
|
2
=
360
∘
−
180
∘
2
=
270
∘
_
_
{\displaystyle \left|\sphericalangle M_{1}M_{4}D\right|+\left|\sphericalangle DM_{4}M_{3}\right|=360^{\circ }-\left|\sphericalangle DAM_{1}\right|-\left|\sphericalangle M_{3}CD\right|=360^{\circ }-{\frac {\left|\sphericalangle DAB\right|+\left|\sphericalangle BCD\right|}{2}}=360^{\circ }-{\frac {180^{\circ }}{2}}={\underline {\underline {270^{\circ }}}}}
由於
∢
M
1
M
4
M
3
=
270
∘
{\displaystyle \sphericalangle M_{1}M_{4}M_{3}=270^{\circ }}
所以
∢
M
3
M
4
M
1
=
90
∘
{\displaystyle \sphericalangle M_{3}M_{4}M_{1}=90^{\circ }}
以上對於點
M
1
,
M
2
,
M
3
,
M
4
{\displaystyle M_{1},M_{2},M_{3},M_{4}}
90
∘
{\displaystyle 90^{\circ }}
因此，
◻
M
1
M
2
M
3
M
4
{\displaystyle \square M_{1}M_{2}M_{3}M_{4}}
[ 1]
根據Thébault定理(3) 有如下結論[ 2]
定理 — Thébault定理(3) 給定任意三角形
A
B
C
{\displaystyle ABC}
，
B
C
{\displaystyle BC}
上任意一點
M
{\displaystyle M}
。作兩個圓，均與
A
M
{\displaystyle AM}
、
B
C
{\displaystyle BC}
、外接圓相切。該兩圓的圓心
P
{\displaystyle P}
、
Q
{\displaystyle Q}
和三角形內心
I
{\displaystyle I}
三點共線共線，且
P
I
I
Q
=
tan
2
θ
2
{\displaystyle {\frac {PI}{IQ}}=\tan ^{2}{\frac {\theta }{2}}}
其中
θ
=
∠
A
M
B
{\displaystyle \theta =\angle AMB}
下面開始處理原題。
4個黃色圓
O
c
d
{\displaystyle O_{cd}}
O
d
a
{\displaystyle O_{da}}
O
a
b
{\displaystyle O_{ab}}
O
b
c
{\displaystyle O_{bc}}
先標記題目中四個三角形的內心 是
I
a
{\displaystyle I_{a}}
I
b
{\displaystyle I_{b}}
I
c
{\displaystyle I_{c}}
I
d
{\displaystyle I_{d}}
假設對角線 AC 和 BD 交於 E .
與線段 AE 、BE 及外接圓相切的圓的圓心記為
O
c
d
{\displaystyle O_{cd}}
類似地，與線段 BE 、CE 及外接圓相切的圓的圓心記為
O
d
a
{\displaystyle O_{da}}
CE 、DE 及外接圓相切的圓的圓心記為
O
a
b
{\displaystyle O_{ab}}
DE 、AE 及外接圓相切的圓的圓心記為
O
b
c
{\displaystyle O_{bc}}
設 AE 、BE 的夾角是
θ
{\displaystyle \theta }
Thébault定理(3) 有如下結論：
O
d
a
{\displaystyle O_{da}}
I
d
{\displaystyle I_{d}}
O
c
d
{\displaystyle O_{cd}}
O
c
d
I
d
I
d
O
d
a
=
tan
2
θ
2
{\displaystyle {\frac {O_{cd}I_{d}}{I_{d}O_{da}}}=\tan ^{2}{\frac {\theta }{2}}}
同理，
O
a
b
{\displaystyle O_{ab}}
I
a
{\displaystyle I_{a}}
O
d
a
{\displaystyle O_{da}}
O
a
b
I
a
I
a
O
d
a
=
tan
2
θ
2
{\displaystyle {\frac {O_{ab}I_{a}}{I_{a}O_{da}}}=\tan ^{2}{\frac {\theta }{2}}}
所以，
I
a
I
d
/
/
O
a
b
O
c
d
{\displaystyle I_{a}I_{d}/\!/O_{ab}O_{cd}}
由於
O
c
d
O
a
b
⊥
O
d
a
O
b
c
{\displaystyle O_{cd}O_{ab}\perp O_{da}O_{bc}}
E
{\displaystyle E}
I
a
I
d
⊥
I
d
I
c
{\displaystyle I_{a}I_{d}\perp I_{d}I_{c}}
I
a
I
b
I
c
I
d
{\displaystyle I_{a}I_{b}I_{c}I_{d}}
過
M
1
,
M
2
,
M
3
,
M
4
{\displaystyle M_{1},M_{2},M_{3},M_{4}}
該定理可推廣到圓內接多邊形的日本定理 。
證明了四邊形的情況後，可以把一般多邊形分成三角形進行歸納而立即證明一般情況。
