# 円の名定理：Ptolemy・Brahmagupta・Miquel・蝶・折れ弦・Pitot・目玉・最大視角 > 円周角の定理と方べきの定理を道具に、Ptolemy の定理と第 2 定理、Brahmagupta の公式と定理、Miquel の定理、蝶の定理、Archimedes の折れ弦の定理、Pitot の定理、目玉の定理、最大視角の問題（Regiomontanus）を証明する。 > https://rikai.mugen-giken.com/mathematics/hs-geometry/circle-theorems ## 0. この記事の要点 円の中に四角形や三角形を描くと、辺や対角線の長さ、角の間に、思いがけないきれいな関係が成り立つことがあります。この記事では、そうした関係のうち人の名前がついた有名なものを、図の描き方に左右されない計算で一つずつ確かめます。読み終えると、円に内接する四角形の対角線や面積を辺の長さから求めたり、見る位置によって絵の見え方（見込む角）が最大になる場所を見つけたりできるようになります。 - 前の章（[円の幾何](/mathematics/hs-geometry/circle-geometry)）で証明した円周角の定理・方べきの定理・見込む角と円の内外の補題を使って、円の名定理を一つずつ証明します。 - **Ptolemy の定理**は、既存の解析学の章にある複素数による等号条件を円に内接する凸四角形に当てはめて得ます（）。**第 2 定理**は、外接円の半径の公式 $S=\frac{abc}{4R}$ から出ます（）。 - 円に内接する四角形の面積の **Brahmagupta の公式**は Bretschneider の公式（一般の四角形の面積を 4 辺と対角の和で表す公式）の特別な場合、**Brahmagupta の定理**（直交する対角線）は方べきの定理から出ます（、）。 - **Miquel の定理**は、向きつきの直線の角（$\pi$ を法とする角、つまり半回転ぶんのずれを同じとみなして測る角）を使うと一行の計算になります（）。そのための共円条件を、先に向きつきの形で言い直します（）。 - **蝶の定理**は座標による計算、**折れ弦の定理**は円周上の点の媒介変数表示による計算、**Pitot の定理**は[接線](/mathematics/hs-geometry/circle-geometry#def-tangent)の長さの等しさ、**目玉の定理**は接線と半径の関係で証明します。**最大視角**の問題は、前章の補題から「円が接するところで最大」と分かります（）。 - この章の定理には、すべて証明を付けます。位置関係が特殊な場合（円が接する、点が一致する）の扱いは、定理の仮定として明記します。 ## 1. 動機 — 「名前のついた定理」を、場合分けなしで 初等幾何には、人名のついた定理が数多くあります。たいていは補助線 1 本のきれいな証明が知られていますが、補助線の引き方は図の配置に依存します。この章では、前章で作った道具を使い、**配置が変わっても同じ式で通る証明**を選びます。 使う道具を並べておきます。 | 道具 | 内容 | |---|---| | | 円周上の 2 点を結ぶベクトルを角度で表す | | | 4 点が同一円周上にある条件（見込む角） | | | 方べきの定理とその逆 | | | 三角形の面積公式 | | | 外接円の半径 $R=\frac{abc}{4S}$ | ## 2. Ptolemy の定理 円に内接する四角形では、2 本の対角線の長さの積が、2 組の対辺の長さの積の和に等しくなります。長方形に当てはめると三平方の定理が出る、その一般化です。この章では、解析学の章で複素数を使って示されている等号条件を、円に内接する凸四角形に当てはめる形で証明します。 円に内接する凸四角形 $ABCD$（4 頂点が同一円周上にある、前章の の意味の凸四角形）について $$ |AC|\,|BD|=|AB|\,|CD|+|AD|\,|BC| $$ である。 証明の方針は、複素数の章で示された等号条件に当てはめるだけです。ただし、その条件は「$B$ と $D$ が弦 $AC$ の両側にある」ことを要求するので、凸四角形ならそうなることを確かめるのが仕事になります。その確認に符号つき面積 $S(A,B,C)$（三角形 $ABC$ が反時計回りなら正、時計回りなら負になる面積）を使い、符号が違えば 2 点は直線の反対側にある、と読みます。 平面を複素平面とみなし、頂点を複素数 $a,b,c,d$ とする。既存の定理 は、相異なる 4 点について $|a-c||b-d|=|a-b||c-d|+|a-d||b-c|$ が成り立つ必要十分条件が、4 点が一つの円周（または直線）上にあって $b$ と $d$ が $a,c$ で分けられる 2 つの弧の別々の側にあることだと述べている。いまの 4 点は一つの円周上にある。凸四角形の定義から $S(A,B,C)>0$ かつ $S(A,C,D)>0$、すなわち $S(C,A,B)>0$ かつ $S(C,A,D)<0$ なので、$B$ と $D$ は直線 $AC$ について反対側にある。円周から $A,C$ を除いた 2 つの弧は、弦 $AC$ の両側にそれぞれある（ の証明で調べた 2 つの範囲 (i)、(ii) がそれぞれ直線の別の側に対応する）ので、$B$ と $D$ は別々の弧にある。よって等式が成り立つ。 一辺 $1$ の正五角形の頂点 $A,B,C,D,E$ のうち連続する 4 頂点 $A,B,C,D$ を取る。5 頂点は一つの円周上にあり、対角線は等しいので $|AC|=|BD|=|AD|=\delta$ とおくと、辺は $|AB|=|BC|=|CD|=1$ である。 から $\delta\cdot\delta=1\cdot1+\delta\cdot1$、すなわち $\delta^2=\delta+1$ で、$\delta=\dfrac{1+\sqrt5}{2}$（黄金比）となる。 長方形では対角線が等しく対辺が等しいので、Ptolemy の定理は三平方の定理 $|AC|^2=|AB|^2+|BC|^2$ になります。 Ptolemy の定理は対角線の積を与えます。次の第 2 定理は対角線の**比**を、4 辺の長さだけで与えます。両方を使うと、4 辺の長さから 2 本の対角線の長さが別々に求まります。 円に内接する凸四角形 $ABCD$ について $$ \frac{|AC|}{|BD|}=\frac{|AB||AD|+|CB||CD|}{|BA||BC|+|DA||DC|} $$ である。 円の半径を $R$ とする。4 つの三角形 $ABC$、$ACD$、$ABD$、$BCD$ の外接円はどれもこの円なので（外心の一意性、）、それぞれの面積は の公式 $S=\dfrac{abc}{4R}$ で書ける。四角形の面積は、対角線 $AC$ で分けても $BD$ で分けても同じである。実際、 の 4 から $S(A,B,C)+S(A,C,D)=\tfrac12\det(\boldsymbol c-\boldsymbol a,\boldsymbol d-\boldsymbol b)$ で、同じ 4 を頂点の順 $B,C,D,A$ に使うと $S(B,C,D)+S(B,D,A)=\tfrac12\det(\boldsymbol d-\boldsymbol b,\boldsymbol a-\boldsymbol c)$ となり、この 2 つは等しい（$\det$ の交代性）。凸四角形では 4 つの三角形はどれも反時計回りで、$S$ はそのまま面積である。したがって、 $$ \frac{|AB||BC||CA|}{4R}+\frac{|AC||CD||DA|}{4R}=\frac{|AB||BD||DA|}{4R}+\frac{|BC||CD||DB|}{4R}. $$ 左辺は $\dfrac{|AC|}{4R}\bigl(|AB||BC|+|CD||DA|\bigr)$、右辺は $\dfrac{|BD|}{4R}\bigl(|AB||DA|+|BC||CD|\bigr)$ なので、$4R$ を払って整理すると主張の式を得る。 ## 3. Brahmagupta の公式と定理 一般の四角形は、辺の長さを変えずに変形できるので、4 辺だけでは面積が決まりません。円に内接するという条件を足すと面積が決まり、Heron の公式の 4 辺版になります。 円に内接する凸四角形で、辺が $a,b,c,d$、$s=\dfrac{a+b+c+d}{2}$ のとき、面積 $S$ は $$ S=\sqrt{(s-a)(s-b)(s-c)(s-d)} $$ である。 前章の から対角の和は $A+C=\pi$ で、$\cos\dfrac{A+C}{2}=\cos\dfrac\pi2=0$ である。Bretschneider の公式（）の最後の項が消える。 $d=0$（四角形が三角形に退化する極限）とみなせば、Heron の公式に戻ります。 $s=88$ で $S=\sqrt{63\cdot49\cdot36\cdot28}=\sqrt{3111696}=1764$。実際、$25^2+60^2=65^2=39^2+52^2$ なので、対角線 $65$ で直角三角形 2 つに分かれ、面積は $\tfrac12\cdot25\cdot60+\tfrac12\cdot39\cdot52=750+1014=1764$ と一致する。 円に内接する凸四角形 $ABCD$ の対角線 $AC$ と $BD$ が垂直に交わるとき、その交点 $P$ を通り辺 $AB$ に垂直な直線は、対辺 $CD$ の中点を通る。 まず対角線の交点を調べる。凸四角形では $A$ と $C$ は直線 $BD$ について反対側にあり、$B$ と $D$ は直線 $AC$ について反対側にある（前章の の証明）。直線 $BD$ に関する $\det$ の符号が $A,C$ で異なるので、線分 $AC$ は直線 $BD$ と内部の 1 点で交わり（1 次関数の符号が変わる）、同様に線分 $BD$ は直線 $AC$ と内部の 1 点で交わる。2 直線 $AC,BD$ は平行でない（垂直）ので交点は 1 つで、2 つの点は一致する。これが $P$ で、線分 $AC$ と $BD$ の内部の点である。 $\boldsymbol u,\boldsymbol v$ を互いに垂直な単位ベクトルとし、$A=P+a\boldsymbol u$、$C=P-c\boldsymbol u$、$B=P+b\boldsymbol v$、$D=P-d\boldsymbol v$（$a,b,c,d>0$）と書く。方べきの定理（ の 1）を $P$ について 2 本の弦 $AC$、$BD$ に使うと、$\overrightarrow{PA}\cdot\overrightarrow{PC}=-ac$、$\overrightarrow{PB}\cdot\overrightarrow{PD}=-bd$ がともに $\operatorname{pow}(P)$ に等しいので $ac=bd$ である。$CD$ の中点を $M$ とすると $\overrightarrow{PM}=-\tfrac12(c\boldsymbol u+d\boldsymbol v)$、$\overrightarrow{AB}=b\boldsymbol v-a\boldsymbol u$ で $$ \overrightarrow{PM}\cdot\overrightarrow{AB}=-\tfrac12\bigl(c\boldsymbol u+d\boldsymbol v\bigr)\cdot\bigl(b\boldsymbol v-a\boldsymbol u\bigr)=\tfrac12(ac-bd)=0 $$ なので、$P$ と $M$ を通る直線は $AB$ に垂直である。 ## 4. Miquel の定理 三角形の 3 辺（の延長）上に 1 点ずつとり、各頂点とその両隣の 2 点を通る円を 3 つ描くと、3 円が 1 点を共有します。点が辺の内部にあるか延長上にあるかで図の見た目が大きく変わるので、図に頼る証明は配置ごとに書き直しが要ります。そこで、直線どうしの角を $\pi$ を法として測り、配置によらない形で証明します。 「$\pi$ を法として測る」とは、角が半回転（$\pi$）だけ違うものを同じ角とみなす、ということです。直線には向きがなく、方向ベクトルを逆向きにとっても同じ直線なので、直線どうしの角はこう測るのが自然です。ふつうの角（[向きつきの角](/mathematics/hs-geometry/plane-vectors#def-oriented-angle)、$2\pi$ ごとに同じ）との違いはそこだけです。次の定義と命題は、そのための準備で、Miquel の定理の証明で使います。 直線の向きつきの角を、$\pi$ を法として定義します。 直線 $\ell,m$ の方向ベクトルを $\boldsymbol u,\boldsymbol w$ とするとき、$\measuredangle(\ell,m)=\operatorname{ang}(\boldsymbol u,\boldsymbol w)\bmod\pi$ を $\ell$ から $m$ への**向きつきの角**（$\mathbb{R}/\pi\mathbb{Z}$ の元）という。方向ベクトルの向きを反転すると $\operatorname{ang}$ は $\pi$ だけ変わるので、$\pi$ を法とすれば $\ell,m$ だけで決まる。$\measuredangle(\ell,m)=0\iff\ell\parallel m$ で、前章の の 4 から $\measuredangle(\ell,m)+\measuredangle(m,n)=\measuredangle(\ell,n)$ である。 $A\ne B$ とし、$P,Q$ を直線 $AB$ 上にない点とする。$A,B,P,Q$ が同一円周上にある $\iff\measuredangle(PA,PB)=\measuredangle(QA,QB)$ である。 $X$ が直線 $AB$ 上にないとき、$\det(\overrightarrow{XA},\overrightarrow{XB})=2S(A,B,X)$ なので、$\operatorname{ang}(\overrightarrow{XA},\overrightarrow{XB})$ は $S(A,B,X)>0$ なら $\angle AXB\in(0,\pi)$、$S(A,B,X)<0$ なら $-\angle AXB$ である（ の 1・2）。したがって $\measuredangle(XA,XB)=\varepsilon_X\angle AXB\bmod\pi$（$\varepsilon_X=\operatorname{sgn}S(A,B,X)$）。$P,Q$ が同じ側（$\varepsilon_P=\varepsilon_Q$）なら $\measuredangle(PA,PB)=\measuredangle(QA,QB)\iff\angle APB\equiv\angle AQB\pmod\pi\iff\angle APB=\angle AQB$（どちらも $(0,\pi)$ の元）で、これは前章の の 1 により共円と同値。反対側（$\varepsilon_Q=-\varepsilon_P$）なら $\measuredangle(PA,PB)=\measuredangle(QA,QB)\iff\angle APB+\angle AQB\equiv0\pmod\pi\iff\angle APB+\angle AQB=\pi$（和は $(0,2\pi)$ にある）で、同 2 により共円と同値である。 三角形 $ABC$ と、直線 $BC,CA,AB$ 上の点 $D,E,F$（頂点とは異なる）をとる。円 $AEF$、$BFD$、$CDE$ をそれぞれ $\Gamma_A,\Gamma_B,\Gamma_C$ とする。$\Gamma_B$ と $\Gamma_C$ が $D$ 以外の共有点 $M$ をもつならば、$M$ は $\Gamma_A$ の上にもある。とくに 3 円は 1 点 $M$（**Miquel 点**）で交わる。 $M=E$ なら $E\in\Gamma_A$、$M=F$ なら $F\in\Gamma_A$ なので $M\in\Gamma_A$ である。$M\ne E,F$ とする（$M\ne D$ は仮定）。向きつきの角の加法性（）から $$ \measuredangle(ME,MF)=\measuredangle(ME,MD)+\measuredangle(MD,MF). $$ $M,C,D,E$ は円 $\Gamma_C$ 上にあり、$C\ne D,E$、$M\ne D,E$ である。円と直線は高々 2 点で交わるので、$M,C$ は直線 $DE$ 上にない（$\Gamma_C$ と直線 $DE$ の共有点は $D,E$ だけ）。したがって から $\measuredangle(ME,MD)=\measuredangle(CE,CD)$ である。同様に $M,B,D,F$ は円 $\Gamma_B$ 上にあり、$B,M\ne D,F$ なので $\measuredangle(MD,MF)=\measuredangle(BD,BF)$ である。直線として $CE=CA$、$CD=CB$、$BD=BC$、$BF=BA$ なので、 $$ \measuredangle(ME,MF)=\measuredangle(CA,CB)+\measuredangle(BC,BA)=\measuredangle(CA,BA)=\measuredangle(AE,AF) $$ （最後は $AE=AC$、$AF=AB$ による）。$A,E,F$ は一直線上にない（$\measuredangle(AE,AF)\ne0$）ので、この等式から $M$ は直線 $EF$ 上になく、 により $M,A,E,F$ は同一円周上、すなわち $M\in\Gamma_A$ である。
A B C D E F M Γ_A Γ_B Γ_C
$\Gamma_B$ と $\Gamma_C$ が $D$ で接する場合には、$D$ 以外の共有点がないので、この定理は何も主張しません。その場合を含めた主張は、この章では扱いません。 ## 5. 蝶の定理 弦 $PQ$ の中点 $M$ を通る 2 本の弦をひくと、4 つの端点を結ぶ 2 本の直線が $PQ$ から切り取る 2 点は、$M$ から等しい距離にあります。補助線の引き方が配置に左右されるので、ここでは座標をとって計算します。方針は、$M$ を原点、弦 $PQ$ を $x$ 軸にとり、2 本の弦の円との交点の座標を「2 次方程式の解と係数の関係」で押さえ、$X$ と $Y$ の座標の逆数を足すと 0 になることを示す、というものです。 円の弦 $PQ$ の中点を $M$ とし、$M$ を通る別の 2 本の弦 $AB$、$CD$（$A,B,C,D$ は円周上、直線 $AB\ne CD$、どちらも直線 $PQ$ と異なる）をとる。直線 $AD$ と直線 $PQ$ の交点を $X$、直線 $BC$ と直線 $PQ$ の交点を $Y$ とする（それぞれ存在するとする）と、$M$ は線分 $XY$ の中点である。 $M$ を原点、直線 $PQ$ を $x$ 軸にとると、円の中心は垂直二等分線（$y$ 軸）上にあり、$(0,k)$ と書ける。$P=(-h,0)$、$Q=(h,0)$、半径を $r$ とすると $r^2=h^2+k^2$、$h>0$ で、円の方程式は $x^2+(y-k)^2=r^2$ である。$M$ は円の内部の点で、$A,B,C,D$ は $M$ と異なる。 直線 $AB$ は $x$ 軸ではないので $x=s_1y$ と書ける。円との共有点の $y$ 座標は、$(s_1y)^2+(y-k)^2=r^2$、すなわち $(1+s_1^2)y^2-2ky-h^2=0$ の 2 解 $y_1,y_2$（$A=(s_1y_1,y_1)$、$B=(s_1y_2,y_2)$）で、解と係数の関係（2 次式の係数比較）から $$ y_1+y_2=\frac{2k}{1+s_1^2},\qquad y_1y_2=\frac{-h^2}{1+s_1^2},\qquad\text{したがって}\quad\frac1{y_1}+\frac1{y_2}=-\frac{2k}{h^2}. $$ 直線 $CD$ を $x=s_2y$、$C=(s_2y_3,y_3)$、$D=(s_2y_4,y_4)$ とすると同様に $\dfrac1{y_3}+\dfrac1{y_4}=-\dfrac{2k}{h^2}$ である（$s_1\ne s_2$）。 直線 $AD$ と $x$ 軸（$y=0$）の交点は、$A+\lambda(D-A)$ の $y$ 座標を $0$ とおく $\lambda=-\dfrac{y_1}{y_4-y_1}$ から、$x_X=\dfrac{y_1y_4(s_1-s_2)}{y_4-y_1}$ である（$X$ が存在するので $y_4\ne y_1$）。したがって $\dfrac1{x_X}=\dfrac{1}{s_1-s_2}\Bigl(\dfrac1{y_1}-\dfrac1{y_4}\Bigr)$。同様に直線 $BC$ との交点は $\dfrac1{x_Y}=\dfrac1{s_1-s_2}\Bigl(\dfrac1{y_2}-\dfrac1{y_3}\Bigr)$。足すと $$ \frac1{x_X}+\frac1{x_Y}=\frac1{s_1-s_2}\Bigl[\Bigl(\frac1{y_1}+\frac1{y_2}\Bigr)-\Bigl(\frac1{y_3}+\frac1{y_4}\Bigr)\Bigr]=0 $$ なので $x_X=-x_Y$、すなわち $M$ は $XY$ の中点である。 ## 6. 折れ弦の定理 円周上の 2 点 $A,C$ を結ぶ折れ線 $ABC$（弦 $AB$ と $BC$ をつないだもの）の長さ $|AB|+|BC|$ を、長いほうの弦に下ろした垂線の足がちょうど二等分する、というのが折れ弦の定理です。円周上の点を角度で表して（$e(\theta)=(\cos\theta,\sin\theta)$ は、$x$ 軸の正の向きから角 $\theta$ だけ回った単位円周上の点です）、弦の長さと向きを で書き下します。 円周上の 3 点 $A,B,C$ について、$B$ を含む方の弧 $AC$ の中点を $M$ とし、$|AB|>|BC|$ とする。$M$ から弦 $AB$ に下ろした垂線の足を $F$ とすると、$F$ は線分 $AB$ 上にあって $|AF|=|FB|+|BC|$ である。 円の半径を $1$、中心を原点にとってよい（等式 $|AF|=|FB|+|BC|$ も垂線の足も、拡大・回転・鏡映で保たれる）。回転して $M=e(\frac\pi2)$ とし、必要なら鏡映して $A$ が $M$ から反時計回りの側にあるようにする。すなわち $M=e(\frac\pi2)$、$A=e(\frac\pi2+x)$、$C=e(\frac\pi2-x)$（$0 から $$ |AB|=2\sin\tfrac{x-y}2,\qquad|BC|=2\sin\tfrac{x+y}2,\qquad\overrightarrow{AB}=2\sin\tfrac{x-y}2\,e\bigl(\tfrac{x+y}2\bigr),\qquad\overrightarrow{AM}=2\sin\tfrac x2\,e\bigl(\tfrac x2\bigr) $$ （$0<\frac{x\pm y}2<\pi$ なので正弦は正）。和積の公式から $|AB|-|BC|=2\bigl(\sin\frac{x-y}2-\sin\frac{x+y}2\bigr)=4\cos\frac x2\sin\bigl(-\frac y2\bigr)$ で、$\cos\frac x2>0$ だから、$|AB|>|BC|$ は $y<0$ と同値である。 $\boldsymbol e=e(\frac{x+y}2)$ は $\overrightarrow{AB}$ の単位ベクトルで、垂線の足 $F$ は $\overrightarrow{AF}=\bigl(\overrightarrow{AM}\cdot\boldsymbol e\bigr)\boldsymbol e$ で与えられる。 $$ \overrightarrow{AM}\cdot\boldsymbol e=2\sin\tfrac x2\cos\Bigl(\tfrac x2-\tfrac{x+y}2\Bigr)=2\sin\tfrac x2\cos\tfrac y2=\sin\tfrac{x+y}2+\sin\tfrac{x-y}2. $$ これは $|AB|=2\sin\frac{x-y}2$ より小さく、$0$ より大きい（$\sin\frac{x+y}{2}-\sin\frac{x-y}2=2\cos\frac x2\sin\frac y2<0$）ので、$F$ は線分 $AB$ 上にある。$|FB|=|AB|-|AF|=\sin\frac{x-y}2-\sin\frac{x+y}2=2\cos\frac x2\sin\bigl(-\frac y2\bigr)$ で、 $$ |AF|-|BC|=\sin\tfrac{x-y}2-\sin\tfrac{x+y}2=2\cos\tfrac x2\sin\bigl(-\tfrac y2\bigr)=|FB| $$ である。 ## 7. Pitot の定理と目玉の定理 四角形に円が内接する（4 辺すべてに接する）ときは、向かい合う辺の長さの和が等しくなります。鍵は、円の外の 1 点から円へ引いた 2 本の接線の長さが等しいことで、これは方べき（）が接線の長さの 2 乗に等しいことから出ます。ここでは、この向きの主張（必要条件）だけを証明します。 凸四角形 $ABCD$ の 4 辺（線分）に、それぞれの内部の点で接する円があるならば、$|AB|+|CD|=|BC|+|DA|$ である。 円を $\Gamma(O,r)$ とし、辺 $AB,BC,CD,DA$ との接点をそれぞれ $T_1,T_2,T_3,T_4$ とする。接線 $\ell$ 上の接点 $T$ と異なる点 $P$ では、$\overrightarrow{OT}\perp\ell$ なので $|PO|^2=|OT|^2+|PT|^2$、すなわち $\operatorname{pow}(P)=|PT|^2$（）である。頂点 $A$ は直線 $AB$ 上で $T_1$ と異なり、直線 $AD$ 上で $T_4$ と異なるので、$|AT_1|^2=\operatorname{pow}(A)=|AT_4|^2$。他の頂点でも同様なので、$t_A=|AT_1|=|AT_4|$、$t_B=|BT_1|=|BT_2|$、$t_C=|CT_2|=|CT_3|$、$t_D=|DT_3|=|DT_4|$ とおける。接点は辺の内部にあるので $|AB|=t_A+t_B$、$|BC|=t_B+t_C$、$|CD|=t_C+t_D$、$|DA|=t_D+t_A$ で、$|AB|+|CD|=t_A+t_B+t_C+t_D=|BC|+|DA|$ である。 次の目玉の定理は、離れた 2 つの円の一方の中心から他方へ接線を引き、それが自分の円から切り取る弦を比べるものです。2 円の半径が違っていても、2 つの弦の長さは等しくなります。 中心 $O_1,O_2$、半径 $r_1,r_2$ の 2 円が、$d=|O_1O_2|>r_1+r_2$ を満たすとする（互いに外部にある）。$O_1$ から円 $\Gamma_2$ に引いた 2 本の接線が円 $\Gamma_1$ と、$O_1O_2$ の側の半直線上で交わる点を $A,B$、$O_2$ から円 $\Gamma_1$ に引いた 2 本の接線が $\Gamma_2$ と、$O_2O_1$ の側の半直線上で交わる点を $C,D$ とすると、$|AB|=|CD|$ である。 $\boldsymbol e$ を $\overrightarrow{O_1O_2}$ 方向の単位ベクトルとし、$O_1$ を通る単位方向ベクトル $\boldsymbol\nu$ の直線の $O_2$ からの距離は $|\det(\boldsymbol\nu,\overrightarrow{O_1O_2})|=d\,|\sin\operatorname{ang}(\boldsymbol\nu,\boldsymbol e)|$ である（ の 1）。これが $r_2$ に等しいのは $\sin\operatorname{ang}=\pm\dfrac{r_2}{d}$ のときで、$O_2$ 側を向く方向は $\boldsymbol\nu=R(\pm\varphi)\boldsymbol e$、$\varphi\in(0,\frac\pi2)$、$\sin\varphi=\dfrac{r_2}{d}$ の 2 つである。したがって $A=O_1+r_1R(\varphi)\boldsymbol e$、$B=O_1+r_1R(-\varphi)\boldsymbol e$ で、 と回転が長さを保つこと（ の 2）から $|AB|=r_1\,|e(\varphi)-e(-\varphi)|=2r_1\sin\varphi=\dfrac{2r_1r_2}{d}$。同様に $|CD|=\dfrac{2r_2r_1}{d}$ で、等しい。 ## 8. 最大視角（Regiomontanus の問題） 壁にかかった絵（線分 $AB$）を、床の上の直線 $m$ に沿って歩きながら見るとき、見込む角 $\angle APB$ が最大になる位置はどこでしょうか。候補は、$A,B$ を通って直線 $m$ に接する円の接点です。その近くでは、接点以外の点は円の外に出るので、見込む角は小さくなります。この証明は、前章の「見込む角と円の内外の補題」を使って、そのことを示すものです。 直線 $m$ と、$m$ 上にない同じ側の 2 点 $A,B$ をとる。 1. 直線 $AB$ が $m$ と点 $Q$ で交わるとき、$T\in m$ を $|QT|^2=|QA||QB|$ となる点（$m$ 上に 2 つある）とすると、$A,B,T$ を通る円は $m$ に $T$ で接し、$Q$ から $T$ の方向の半直線上の点 $P\ne T$ について $\angle APB<\angle ATB$ である。 2. $AB\parallel m$ のとき、線分 $AB$ の垂直二等分線と $m$ の交点を $T$ とすると、$m$ 上の点 $P\ne T$ について $\angle APB<\angle ATB$ である。 1: $A,B$ は $m$ の同じ側にあるので、$Q$ は線分 $AB$ の外にあり、$\overrightarrow{QA}\cdot\overrightarrow{QB}=|QA||QB|>0$。$\Gamma$ を $A,B,T$ を通る円とすると、方べきの定理（ の 1）から $\operatorname{pow}_\Gamma(Q)=\overrightarrow{QA}\cdot\overrightarrow{QB}=|QT|^2$。直線 $m=QT$ は $\Gamma$ と $T$ ともう 1 点 $T_2$（接するなら $T_2=T$）で交わり、$\overrightarrow{QT}\cdot\overrightarrow{QT_2}=\operatorname{pow}_\Gamma(Q)=|QT|^2$、$T_2-Q$ は $T-Q$ の実数倍なので $T_2=T$。よって $m$ は $\Gamma$ の接線で、$m$ 上の $T$ と異なる点 $P$ では、直線 $m$ と $\Gamma$ の共有点は $T$ だけなので、 の 1（接する場合）から $\operatorname{pow}_\Gamma(P)=|PT|^2>0$、すなわち $P$ は $\Gamma$ の外にある。直線 $AB$ に関する符号 $f(X)=\det(\overrightarrow{AB},\overrightarrow{AX})$ は $m$ 上で 1 次関数で $f(Q)=0$、$f$ は定数でない（$m$ は $AB$ と平行でない）ので、$Q$ から $T$ の方向の半直線上の $Q$ 以外の点では符号が一定、つまり $P$ は直線 $AB$ について $T$ と同じ側にある（$P=Q$ のときは $A,B$ が $Q$ から同じ向きにあるので $\angle AQB=0<\angle ATB$ で、主張は明らか）。$A,B$ を必要なら入れ替えて $S(A,B,T)>0$ とすると、見込む角と円の内外の補題 から $\angle APB<\angle ATB$。 2: $T$ は垂直二等分線上にあるので、$A,B,T$ を通る円の中心 $O'$ も垂直二等分線上にある。垂直二等分線は $AB\parallel m$ に垂直なので $m$ にも垂直で、$\overrightarrow{TO'}$ は $m$ に垂直、すなわち $m$ は $T$ で $\Gamma$ に接する（）。あとは 1 と同じく、$P\ne T$ は $\Gamma$ の外にあり、$AB\parallel m$ なので $P,T$ は同じ側にある。補題から $\angle APB<\angle ATB$。 $A=(0,1)$、$B=(0,3)$、$m$ を $x$ 軸とすると、$AB$ と $m$ の交点は $Q=(0,0)$ で、$|QA||QB|=3$ なので $T=(\sqrt3,0)$。$x>0$ の側で見込む角は $x=\sqrt3$ で最大になる。そのとき $T$ から $B$ への仰角は $\arctan\sqrt3=\dfrac\pi3$、$A$ への仰角は $\arctan\dfrac1{\sqrt3}=\dfrac\pi6$ なので、$\angle ATB=\dfrac\pi3-\dfrac\pi6=\dfrac\pi6$（$30^\circ$）である。たとえば $x=1$ では $\arctan3-\arctan1\approx26.6^\circ$ で、確かに小さい。 ## 9. 大学ではどこへ続くか - **複比と円円対応**。Ptolemy の定理の等号条件が「複比が負の実数」であったこと（既存の解析学の章）は、複素解析の 1 次分数変換と複比の理論（[等角写像](/mathematics/complex-analysis/conformal-mapping)）に直結します。4 点が同一円周上にあることは複比が実数であることと同値で、向きつきの角（）はその偏角の言い換えです。 - **射影幾何**。Miquel の定理と Brianchon の定理は、直線と円の「双対性」と射影変換のもとで統一されます。後の章の[反転：円と直線の名定理](/mathematics/hs-geometry/inversion-and-projective)で円と直線を区別しない反転の見方を、その次の章の[射影の名定理](/mathematics/hs-geometry/projective-theorems)で Brianchon の定理を極と極線の双対として学びます。 - **代数幾何**。蝶の定理の証明の「2 次式の解と係数の関係」は、円錐曲線と直線の交点の議論の最小の例です。 ## 10. 演習 円に内接する四角形の辺が $5,5,5,5$（順に）であるとき面積を求めよ。また、辺が $1,1,1,\ x$ の内接四角形が存在するとき、面積を $x$ で表せ。 前半は から $s=10$、$S=\sqrt{5^4}=25$（正方形）。後半は $s=\dfrac{3+x}2$、$s-1=\dfrac{1+x}2$、$s-x=\dfrac{3-x}2$ なので $S=\sqrt{\Bigl(\dfrac{1+x}2\Bigr)^3\dfrac{3-x}2}=\dfrac{1}{4}\sqrt{(1+x)^3(3-x)}$（$0 $A=(0,2)$、$B=(0,8)$ を $y$ 軸上にとり、$x$ 軸の正の側の点 $P=(x,0)$ から $AB$ を見込む角を最大にする $x$ と、そのときの角を求めよ。 $Q=(0,0)$ で $|QA||QB|=16$ なので、 から $x=4$。そのとき $\tan\angle ATB=\dfrac{\tan\angle BTQ-\tan\angle ATQ}{1+\tan\angle BTQ\tan\angle ATQ}=\dfrac{2-\frac12}{1+1}=\dfrac34$ で（$T=(4,0)$ から $B$ への仰角の $\tan$ が $\frac84=2$、$A$ へが $\frac24=\frac12$）、角は $\arctan\dfrac34\approx36.9^\circ$ である。 半径 $2$ と $3$、中心間の距離 $10$ の 2 円について、 の $|AB|$ と $|CD|$ を求めよ。 $|AB|=|CD|=\dfrac{2r_1r_2}{d}=\dfrac{2\cdot2\cdot3}{10}=\dfrac65$ である。 ## 参考文献 - H. S. M. Coxeter, S. L. Greitzer, *Geometry Revisited*, Mathematical Association of America, 1967 — 第 2 章（円のいくつかの性質）。 - Roger A. Johnson, *Advanced Euclidean Geometry*, Dover, 2007 — 円に内接する四角形、Miquel の定理の古典的な扱い。 - Robin Hartshorne, *Geometry: Euclid and Beyond*, Springer, 2000 — 円周角の定理と共円条件を公理から扱う。 - Titu Andreescu, Dorin Andrica, *Complex Numbers from A to … Z*, Birkhäuser, 2006 — 複素数による初等幾何の証明。