# 円の幾何：円周角・接線・方べきの定理を座標から証明する > 円周上の点を e(θ) と書いて弦の方向と長さを求め、円周角の定理とその逆（4 点が同一円周上にある条件）、内接四角形、接弦定理、方べきの定理とその逆、根軸と根心、2 円の位置関係と共通接線の本数を場合分けなしで証明する。 > https://rikai.mugen-giken.com/mathematics/hs-geometry/circle-geometry ## 0. この記事の要点 円周角の定理は、中学では図を描いて「中心が三角形の中にあるとき、外にあるとき」と場合を分けて示すことの多い定理です。この章では、円周上の点を角度で表して計算することで、場合分けをせずに円周角・接線・方べきなどの性質を示します。読み終えると、4 点が同じ円の上にあるかを角の大きさで確かめたり、点から円に引いた線の長さの積を計算したりできるようになります。 - 円周上の点を $O+r\,e(\theta)$（$e(\theta)=(\cos\theta,\sin\theta)$）と書くと、2 点を結ぶ弦のベクトルは $2r\sin\frac{\beta-\alpha}{2}\,e\!\bigl(\frac{\alpha+\beta}{2}+\frac\pi2\bigr)$ になります（）。弦の長さと方向が一度に出るので、以降の証明は計算になります。 - **円周角の定理**は、円周上の点 $P$ から弦 $AB$ を見込む角が、$P$ が $O$ と同じ側にあれば中心角の半分、反対側なら $\pi$ から半分を引いた値になる、という形で証明します（）。点の配置による場合分け（中心が三角形の内側か外側か）が要りません。 - その逆（同じ側から同じ角で見込む点は同一円周上にある）は、$\cot$（$\cot\theta=\cos\theta/\sin\theta$）を使った補題で証明します（、）。内接四角形の条件、接弦定理もここから従います（、）。 - **方べきの定理**は、直線上の点の 2 次方程式の解の積です（）。その逆、2 円の**根軸**（2 円に関する方べきが等しい点の集まり）が直線であること、3 円の根心の存在、2 円の位置関係と共通接線の本数（）まで進みます。 - Ptolemy の定理、Brahmagupta の公式、蝶の定理などの円の名定理は、次の章（[円の名定理](/mathematics/hs-geometry/circle-theorems)）に回します。この章の定理は、そこで `` されます。 ## 1. 動機 — 円周角の定理の「場合分け」をなくす 高校の円周角の定理の証明は、円の中心 $O$ が円周角を作る三角形の内部にあるか、辺上か、外部かで場合分けします。さらに 4 点が円周上にある条件（円周角の定理の逆）では、点が弦の同じ側にあるか反対側にあるかでまた分けます。図を描くと場合分けが見えますが、図に頼る証明は、描かなかった配置の取りこぼしが起きやすい証明でもあります。 この章では、円周上の点を角度の媒介変数で表して、**弦のベクトルを 1 本の式で書く**ところから始めます。点 $P$ の位置が円周のどこにあっても、同じ式が使えます。場合分けは、式の中の正弦の符号として現れ、その符号が「$P$ が $O$ と同じ側か」という幾何的な意味を持つことを示します。 前章までの記号を使います。三角形・角 $\angle ABC$・[符号付き面積](/mathematics/hs-geometry/plane-vectors#def-signed-area) $S(A,B,C)$・外心と外接円（）などです。$S(A,B,P)>0$ は、$P$ が有向直線 $A\to B$ の左側（$A$ から $B$ へ向かって進むときの、進行方向の左手側）にあることを表します。 ## 2. 円と弦 中心 $O$、半径 $r>0$ の**円**とは、集合 $\Gamma(O,r)=\{\boldsymbol x\mid|\boldsymbol x-\boldsymbol o|=r\}$ のことをいう。円周上の点は $O+r\,e(\theta)$（$\theta\in\mathbb{R}$）と書ける（）。円周上の相異なる 2 点を結ぶ線分を**弦**といい、$\angle AOB$ を弦 $AB$ の**中心角**という。 任意の実数 $\alpha,\gamma$ について $$ e(\alpha)-e(\gamma)=2\sin\frac{\alpha-\gamma}{2}\;e\!\Bigl(\frac{\alpha+\gamma}{2}+\frac\pi2\Bigr) $$ である。したがって $|e(\alpha)-e(\gamma)|=2\bigl|\sin\frac{\alpha-\gamma}{2}\bigr|$ で、$\det(e(x),e(y))=\sin(y-x)$ である。 和積の公式（）から $\cos\alpha-\cos\gamma=-2\sin\frac{\alpha+\gamma}2\sin\frac{\alpha-\gamma}2$、$\sin\alpha-\sin\gamma=2\cos\frac{\alpha+\gamma}2\sin\frac{\alpha-\gamma}2$。よって $e(\alpha)-e(\gamma)=2\sin\frac{\alpha-\gamma}2\bigl(-\sin m,\cos m\bigr)$（$m=\frac{\alpha+\gamma}2$）で、$(-\sin m,\cos m)=e(m+\frac\pi2)$（ の 1）。$e(\cdot)$ は単位ベクトルなので長さが出る。最後の式は $\cos x\sin y-\sin x\cos y=\sin(y-x)$ である（加法定理）。 円 $\Gamma(O,r)$ の弦 $AB$ の中心角を $\omega=\angle AOB\in(0,\pi]$ とすると、$|AB|=2r\sin\dfrac\omega2$ である。したがって 2 つの弦の長さが等しいことと、中心角が等しいことは同値である。 $A=O+re(\alpha)$、$B=O+re(\beta)$ とすると、 から $|AB|=2r|\sin\frac{\beta-\alpha}2|$。$\cos\omega=e(\alpha)\cdot e(\beta)=\cos(\beta-\alpha)$ なので、$\beta-\alpha\equiv\pm\omega\pmod{2\pi}$ で、$\frac{\beta-\alpha}2\equiv\pm\frac\omega2\pmod\pi$。$|\sin|$ は周期 $\pi$ の偶関数なので $|\sin\frac{\beta-\alpha}2|=\sin\frac\omega2$（$\omega/2\in[0,\pi/2]$）。$\sin$ は $[0,\pi/2]$ で狭義単調増加（ の 3）なので、後半が従う。 ## 3. 円周角の定理とその逆 円周角の定理を、見込む角の値として正確に述べます。円周上の点 $P$ が、弦 $AB$ を境にして中心 $O$ と同じ側にあるか反対側にあるかで、値が変わります。 証明は 3 段で進みます。まず弦の補題で $\overrightarrow{PA}$、$\overrightarrow{PB}$ の向きと長さを書き、$\cos\angle APB$ を求めます。次に、その符号が $\frac\omega2$ と $\pi-\frac\omega2$ のどちらになるかを、$P$ の位置（角度 $\gamma$ の範囲 (i)、(ii)）ごとに調べます。最後に、行列式の符号から $P$ が直線 $AB$ のどちら側にあるかを調べ、$O$ の側と比べます。なお $e(\mu)$ は、$x$ 軸の正の向きから角 $\mu$ だけ回った向きの単位ベクトルなので、$\mu$ の差が 2 本のベクトルの向きの角度の差になります。 円 $\Gamma$ の中心を $O$、弦 $AB$ の中心角を $\omega=\angle AOB\in(0,\pi]$ とする。$\Gamma$ 上の点 $P\ne A,B$ について、 1. $\omega<\pi$ のとき、$P$ が直線 $AB$ について $O$ と同じ側にあれば $\angle APB=\dfrac\omega2$、反対側にあれば $\angle APB=\pi-\dfrac\omega2$ である。 2. $\omega=\pi$（$AB$ が直径）のとき、$\angle APB=\dfrac\pi2$ である。 平行移動で $O$ を原点に、正の倍率の拡大で $r$ を $1$ にしてよい（どちらも角の大きさと、点が直線 $AB$ のどちら側にあるかを変えない）。$\cos\omega=e(\alpha)\cdot e(\beta)=\cos(\beta-\alpha)$ から、$A,B$ の名前を必要なら入れ替えて（$\angle APB$ は $A,B$ について対称）$A=e(\alpha)$、$B=e(\beta)$、$\beta=\alpha+\omega$ とできる。$P=e(\gamma)$ とする。 から $\overrightarrow{PA}=\lambda_A\,e(\mu_A)$、$\overrightarrow{PB}=\lambda_B\,e(\mu_B)$、ここで $\lambda_A=2\sin\frac{\alpha-\gamma}2$、$\lambda_B=2\sin\frac{\beta-\gamma}2$（$P\ne A,B$ なので $\ne0$）、$\mu_B-\mu_A=\frac{\beta-\alpha}2=\frac\omega2$。したがって $$ \cos\angle APB=\frac{\overrightarrow{PA}\cdot\overrightarrow{PB}}{|PA||PB|}=\frac{\lambda_A\lambda_B}{|\lambda_A\lambda_B|}\cos\frac\omega2. $$ $\lambda_A\lambda_B>0$ なら $\angle APB=\frac\omega2$、$\lambda_A\lambda_B<0$ なら $\cos\angle APB=\cos(\pi-\frac\omega2)$ なので $\angle APB=\pi-\frac\omega2$（ともに $[0,\pi]$ の元）。 符号を調べる。$\gamma$ を $(\alpha,\alpha+2\pi)$ にとる（$P\ne A$）。**(i)** $\beta<\gamma<\alpha+2\pi$ のとき、$\frac{\alpha-\gamma}2\in(-\pi,-\frac\omega2)$、$\frac{\beta-\gamma}2\in(-\pi,0)$ でどちらも $\sin<0$ なので $\lambda_A\lambda_B>0$。**(ii)** $\alpha<\gamma<\beta$ のとき、$\frac{\alpha-\gamma}2\in(-\frac\omega2,0)$ で $\sin<0$、$\frac{\beta-\gamma}2\in(0,\frac\omega2)$ で $\sin>0$ なので $\lambda_A\lambda_B<0$。 次に側を調べる。 から $\overrightarrow{AB}=2\sin\frac{\beta-\alpha}2\,e(\cdot)$、$\overrightarrow{AP}=2\sin\frac{\gamma-\alpha}2\,e(\cdot)$ で、2 つの $e$ の偏角の差が $\frac{\gamma-\beta}2$ なので、 $$ \det(\overrightarrow{AB},\overrightarrow{AP})=4\sin\frac{\beta-\alpha}2\,\sin\frac{\gamma-\alpha}2\,\sin\frac{\gamma-\beta}2. $$ (i) では 3 つの $\sin$ がすべて正（$\frac\omega2\in(0,\frac\pi2]$、$\frac{\gamma-\alpha}2\in(0,\pi)$、$\frac{\gamma-\beta}2\in(0,\pi)$）で $P$ は $A\to B$ の左側、(ii) では $\sin\frac{\gamma-\beta}2<0$ で右側にある。一方、$\det(\overrightarrow{AB},\overrightarrow{AO})=\det(e(\beta)-e(\alpha),-e(\alpha))=\det(e(\alpha),e(\beta))=\sin\omega$ で、$\omega<\pi$ なら正（$O$ は左側）、$\omega=\pi$ なら $0$（$O$ は直線 $AB$ 上）である。以上をまとめると、$\omega<\pi$ のとき (i) は $P$ が $O$ と同じ側で $\angle APB=\frac\omega2$、(ii) は反対側で $\angle APB=\pi-\frac\omega2$ である。$\omega=\pi$ のときは $\frac\omega2=\pi-\frac\omega2=\frac\pi2$ で 2 つの場合の値が一致する。 $AB$ が円の直径ならば、円周上の $A,B$ 以外の点 $P$ について $\angle APB=\pi/2$ である。逆に $\angle APB=\pi/2$ ならば $P$ は $AB$ を直径とする円周上にある。 前半は の 2。後半は、$\angle APB=\pi/2$ が $(\boldsymbol a-\boldsymbol p)\cdot(\boldsymbol b-\boldsymbol p)=0$ と同値で、これが $AB$ を直径とする円であること（ の 4）による。
A B P Q O ω ω/2 π − ω/2
円周角の定理の逆を証明します。見込む角の大きさが「弦の同じ側にある点が円の内側・円周上・外側のどこにあるか」を教えてくれることを、補題として示します。 方針は、角の大きさを $\cot$ の大小に置き換えることです。$\cot$ の大小は点 $X$ の座標の 2 次式 $q(X)$ の符号で決まり、$q(X)=0$ がちょうど円の方程式になります。こうして、角の大小と点が円の内か外かが結びつきます。 $A\ne B$ とし、$T$ を $S(A,B,T)>0$ を満たす点、$\Gamma$ を $A,B,T$ を通る円（）、$O',\rho$ をその中心と半径とする。$S(A,B,X)>0$ を満たす点 $X$ について、 $$ \angle AXB>\angle ATB\iff|XO'|<\rho,\qquad\angle AXB=\angle ATB\iff|XO'|=\rho,\qquad\angle AXB<\angle ATB\iff|XO'|>\rho $$ である。 $X$ が $A\to B$ の左側にあるとき、$\boldsymbol u=A-X$、$\boldsymbol w=B-X$ とすると、$\det(\boldsymbol u,\boldsymbol w)=2S(A,B,X)>0$（前章の の 1）。$\theta=\angle AXB$ とおくと、 の 1・2 から $\boldsymbol u\cdot\boldsymbol w=|\boldsymbol u||\boldsymbol w|\cos\theta$、$\det(\boldsymbol u,\boldsymbol w)=|\boldsymbol u||\boldsymbol w|\sin\theta$ で $\theta\in(0,\pi)$ なので、$\cot\theta=\dfrac{\boldsymbol u\cdot\boldsymbol w}{\det(\boldsymbol u,\boldsymbol w)}$。$0<\theta_1<\theta_2<\pi$ なら $\cot\theta_1-\cot\theta_2=\dfrac{\sin(\theta_2-\theta_1)}{\sin\theta_1\sin\theta_2}>0$（加法定理）なので $\cot$ は $(0,\pi)$ で狭義単調減少である。$\kappa=\cot\angle ATB$ とおき $$ q(X)=(A-X)\cdot(B-X)-\kappa\det(A-X,B-X) $$ とすると、$\det(\boldsymbol u,\boldsymbol w)>0$ の下で $\angle AXB>\angle ATB\iff\cot\angle AXB<\kappa\iff q(X)<0$ であり、等号・不等号の向きも同様に対応する。$q(X)=|\boldsymbol x|^2-(\boldsymbol a+\boldsymbol b)\cdot\boldsymbol x+\boldsymbol a\cdot\boldsymbol b-\kappa\bigl(\det(\boldsymbol a,\boldsymbol b)-\det(\boldsymbol a,\boldsymbol x)-\det(\boldsymbol x,\boldsymbol b)\bigr)$ は $\boldsymbol x$ について 2 次の項が $|\boldsymbol x|^2$ で、1 次の項が線形なので、平方完成して $q(X)=|\boldsymbol x-\boldsymbol m|^2-\rho_0^2$（$\boldsymbol m$ はある点、$\rho_0^2$ はある実数）と書ける。$q(A)=q(B)=0$（$\boldsymbol u$ または $\boldsymbol w$ が $\boldsymbol 0$）、$q(T)=0$（$\kappa$ の定義）なので、$|\boldsymbol a-\boldsymbol m|^2=|\boldsymbol b-\boldsymbol m|^2=|\boldsymbol t-\boldsymbol m|^2=\rho_0^2$ となり、$\rho_0^2\ge0$ で $M$ は 3 点 $A,B,T$ から等距離にある。外心の一意性（）から $M=O'$、$\rho_0=\rho$ である。したがって $q(X)<0\iff|XO'|<\rho$ など。 $A\ne B$ とし、$P,Q$ を直線 $AB$ 上にない点とする。 1. $P,Q$ が直線 $AB$ について同じ側にあるとき、$A,B,P,Q$ が同一円周上にある $\iff\angle APB=\angle AQB$。 2. $P,Q$ が直線 $AB$ について反対側にあるとき、$A,B,P,Q$ が同一円周上にある $\iff\angle APB+\angle AQB=\pi$。 1: $S(A,B,P)$ と $S(A,B,Q)$ が同符号なので、負のときは $A,B$ を入れ替えて正としてよい（$\angle$ は $A,B$ について対称）。$\Gamma$ を $A,B,P$ を通る円とすると、（$T=P$、$X=Q$）から $\angle AQB=\angle APB\iff Q\in\Gamma$ で、これは 4 点が同一円周上にあることである（$A,B,P$ を通る円は 1 つだけなので）。 2: （$\Rightarrow$）4 点が円 $\Gamma$ 上にあるとする。中心 $O$ と弦 $AB$ について、$P,Q$ は反対側にあるので、一方は $O$ と同じ側、他方は反対側（$AB$ が直径なら $O$ は直線上で、どちらも $\frac\pi2$）。 により $\angle APB+\angle AQB=\frac\omega2+(\pi-\frac\omega2)=\pi$（または $\frac\pi2+\frac\pi2$）。（$\Leftarrow$）$\Gamma$ を $A,B,P$ を通る円とする。$\Gamma$ は直線 $AB$ の両側に点を持つ（ の証明の (i)、(ii) の範囲の $\gamma$ はどちらも空でなく、それぞれ直線 $AB$ の別の側に対応する）ので、$Q$ と同じ側にある $\Gamma$ 上の点 $Q^*$ をとれる。 により $\angle AQ^*B=\pi-\angle APB$（$P,Q^*$ は反対側）で、仮定から $\angle AQB=\pi-\angle APB$ なので $\angle AQB=\angle AQ^*B$。$Q,Q^*$ は同じ側にあるので 1 により $A,B,Q^*,Q$ は同一円周上にあり、その円は $A,B,Q^*$ を通る円 $\Gamma$ である。よって $Q\in\Gamma$。 次の定理は、四角形の向かい合う 2 つの角の和を、直前の定理に当てはめたものです。$S(A,B,P)$ の符号は $P$ が有向直線 $AB$ のどちら側にあるかを表すので、2 つの点で符号が逆なら、その 2 点は直線の反対側にあります。 凸四角形 $ABCD$（前章の ）について、次は同値である。 1. 4 点 $A,B,C,D$ は同一円周上にある。 2. $\angle A+\angle C=\pi$。 3. $\angle B+\angle D=\pi$。 4. 1 つの頂点の外角が、その対角（向かい合う頂点の内角）に等しい。 $A,B,C,D$ が反時計回りの凸四角形なので $S(A,B,D)>0$、$S(B,C,D)>0$、すなわち $S(B,D,C)<0$ で、$A$ と $C$ は直線 $BD$ について反対側にある。 の 2（弦 $BD$、点 $A,C$）から 1 $\iff\angle BAD+\angle BCD=\pi$、つまり 2 である。同様に $S(C,A,B)>0$、$S(A,C,D)>0$ から $B$ と $D$ は直線 $AC$ について反対側にあり、1 $\iff\angle B+\angle D=\pi$ すなわち 3 を得る。4 は 2・3 の言い換えである（外角は $\pi$ から内角を引いたもの）。 ## 4. 接線と接弦定理 円 $\Gamma(O,r)$ と直線 $\ell=\{\boldsymbol x\mid\boldsymbol n\cdot\boldsymbol x=c\}$（$|\boldsymbol n|=1$）について、$\delta=|\boldsymbol n\cdot\boldsymbol o-c|$ とすると、共有点の個数は $\deltar$ のとき $0$ である。$\delta=r$ のとき、共有点 $T$ は $\overrightarrow{OT}\perp\ell$ を満たす。 $\ell$ 上の点は $\boldsymbol x=\boldsymbol o+(c-\boldsymbol n\cdot\boldsymbol o)\boldsymbol n+s\boldsymbol n^\perp$（$\boldsymbol n^\perp=R(\frac\pi2)\boldsymbol n$、$s\in\mathbb{R}$）とただ 1 通りに書け（）、$|\boldsymbol x-\boldsymbol o|^2=(c-\boldsymbol n\cdot\boldsymbol o)^2+s^2=\delta^2+s^2$ である。これが $r^2$ に等しいのは $s^2=r^2-\delta^2$ のときで、解は $\deltar$ で 0 個。$s=0$ のとき $\overrightarrow{OT}=(c-\boldsymbol n\cdot\boldsymbol o)\boldsymbol n$ は $\boldsymbol n$ の倍数で、$\ell$ の方向と垂直である。 円と**ちょうど 1 点で交わる**直線を、その円の**接線**といい、共有点を**接点**という。 により、円周上の点 $T$ における接線は、$T$ を通り $\overrightarrow{OT}$ に垂直な直線 $\{\boldsymbol x\mid(\boldsymbol x-\boldsymbol t)\cdot(\boldsymbol t-\boldsymbol o)=0\}$ である。 接弦定理は、接線と弦のなす角が、その弦の反対側の円周角に等しい、という主張です。証明は円周角の定理と同じく $e(\theta)$ で書き、$\cos$ の値に付く符号の因子を比べます。$\operatorname{sgn}$ は符号を取り出す記号で、正の数には $1$、負の数には $-1$ を対応させます。 円周上の点 $A$ における接線上の点 $T\ne A$ と、円周上の点 $B\ne A$、$P\ne A,B$ について、$T$ と $P$ が直線 $AB$ について反対側にあれば、$\angle TAB=\angle APB$ である。 $O$ を原点、$r=1$ としてよい。$A=e(\alpha)$、$B=e(\beta)$、$P=e(\gamma)$、接線の方向は $e(\alpha+\frac\pi2)$（$\overrightarrow{OA}$ に垂直）で、$\overrightarrow{AT}=\tau\,e(\alpha+\frac\pi2)$（$\tau\ne0$）と書く。 から $\overrightarrow{AB}=2\sin\frac{\beta-\alpha}2\,e(\frac{\alpha+\beta}2+\frac\pi2)$ で、2 つの単位ベクトルの偏角の差は $\frac{\beta-\alpha}2$ なので $$ \cos\angle TAB=\operatorname{sgn}\Bigl(\tau\sin\frac{\beta-\alpha}2\Bigr)\cos\frac{\beta-\alpha}2. $$ 一方、 の証明と同じ計算（$\lambda_A,\lambda_B$ の符号の議論は $\alpha,\beta,\gamma$ の取り方によらない）で $\cos\angle APB=\operatorname{sgn}(\lambda_A\lambda_B)\cos\frac{\beta-\alpha}2$。ここで $\lambda_A\lambda_B=4\sin\frac{\gamma-\alpha}2\sin\frac{\gamma-\beta}2$ である。さらに側を調べると、$\det(\overrightarrow{AB},\overrightarrow{AT})=2\tau\sin\frac{\beta-\alpha}2\sin(\alpha-\frac{\alpha+\beta}2)=-2\tau\sin^2\frac{\beta-\alpha}2$ の符号は $-\operatorname{sgn}\tau$、$\det(\overrightarrow{AB},\overrightarrow{AP})=4\sin\frac{\beta-\alpha}2\sin\frac{\gamma-\alpha}2\sin\frac{\gamma-\beta}2$ の符号は $\operatorname{sgn}\bigl(\sin\frac{\beta-\alpha}2\bigr)\operatorname{sgn}(\lambda_A\lambda_B)$ である。$T,P$ が反対側であることは、この 2 つの符号が反対であること、すなわち $\operatorname{sgn}\tau=\operatorname{sgn}\bigl(\sin\frac{\beta-\alpha}2\bigr)\operatorname{sgn}(\lambda_A\lambda_B)$ と同値で、これは 2 つの余弦の式の符号因子が一致することである。ゆえに $\cos\angle TAB=\cos\angle APB$、$\angle TAB=\angle APB$ を得る。
O A B P T ∠TAB ∠APB
## 5. 方べきの定理と根軸 円 $\Gamma(O,r)$ と点 $P$ に対し、$\operatorname{pow}_\Gamma(P)=|P-O|^2-r^2$ を $P$ の $\Gamma$ に関する**方べき**という。$P$ が円の外にあれば正、円周上なら $0$、内にあれば負である。 1. 点 $P$ を通る直線が円 $\Gamma$ と $X,Y$ で交わるとき、$\overrightarrow{PX}\cdot\overrightarrow{PY}=\operatorname{pow}_\Gamma(P)$ である（接するときは $X=Y$ とする）。とくに $P$ が円の外にあるとき、$P$ から引いた接線の接点を $T$ とすると $|PT|^2=\operatorname{pow}_\Gamma(P)$ である。 2. 相異なる 2 直線 $\ell_1,\ell_2$ が点 $P$ で交わり、$\ell_i$ 上の相異なる 2 点 $X_i,Y_i$（$i=1,2$、どれも $P$ と異なる）が $\overrightarrow{PX_1}\cdot\overrightarrow{PY_1}=\overrightarrow{PX_2}\cdot\overrightarrow{PY_2}$ を満たすならば、$X_1,Y_1,X_2,Y_2$ は同一円周上にある。 1: 直線を $P+t\boldsymbol d$（$|\boldsymbol d|=1$）と書くと、円との共有点は $|\boldsymbol p+t\boldsymbol d-\boldsymbol o|^2=r^2$、すなわち $$ t^2+2t\,\boldsymbol d\cdot(\boldsymbol p-\boldsymbol o)+\operatorname{pow}_\Gamma(P)=0 $$ の解 $t_1,t_2$（$X=P+t_1\boldsymbol d$、$Y=P+t_2\boldsymbol d$。接するときは重解）である。2 次式 $(t-t_1)(t-t_2)$ との係数比較で $t_1t_2=\operatorname{pow}_\Gamma(P)$ なので、$\overrightarrow{PX}\cdot\overrightarrow{PY}=t_1t_2|\boldsymbol d|^2=\operatorname{pow}_\Gamma(P)$。接線の場合は $X=Y=T$ で $|PT|^2=\operatorname{pow}_\Gamma(P)$。 2: $X_1,Y_1$ は $\ell_1$ 上の相異なる 2 点で、$X_2\in\ell_2\setminus\{P\}$ は $\ell_1$ 上にない（$\ell_1\cap\ell_2=\{P\}$）ので、$X_1,Y_1,X_2$ は一直線上にない。これらを通る円 $\Gamma$ をとる。$\ell_2$ は $\Gamma$ と $X_2$ ともう 1 点 $Y'$（接するなら $Y'=X_2$）で交わり、1 を $\ell_1$ と $\ell_2$ に使うと $\overrightarrow{PX_2}\cdot\overrightarrow{PY'}=\operatorname{pow}_\Gamma(P)=\overrightarrow{PX_1}\cdot\overrightarrow{PY_1}=\overrightarrow{PX_2}\cdot\overrightarrow{PY_2}$。$\ell_2$ の方向ベクトル $\boldsymbol d$ で $\overrightarrow{PX_2}=\xi\boldsymbol d$、$\overrightarrow{PY'}=\eta\boldsymbol d$、$\overrightarrow{PY_2}=\zeta\boldsymbol d$ と書くと $\xi\eta=\xi\zeta$ で、$\xi\ne0$ なので $\eta=\zeta$、$Y_2=Y'\in\Gamma$ である。 1. 中心が異なる 2 円 $\Gamma_1,\Gamma_2$ について、$\{P\mid\operatorname{pow}_{\Gamma_1}(P)=\operatorname{pow}_{\Gamma_2}(P)\}$ は、中心を結ぶ直線に垂直な直線である（**根軸**）。2 円が 2 点 $X,Y$ で交わるとき、根軸は直線 $XY$ である。 2. 中心が一直線上にない 3 円について、3 本の根軸は 1 点で交わる（**根心**）。 1: $\operatorname{pow}_{\Gamma_1}(P)-\operatorname{pow}_{\Gamma_2}(P)=-2\boldsymbol p\cdot(\boldsymbol o_1-\boldsymbol o_2)+|\boldsymbol o_1|^2-|\boldsymbol o_2|^2-r_1^2+r_2^2$ は $\boldsymbol p$ の 1 次式で、係数ベクトル $\boldsymbol o_1-\boldsymbol o_2\ne\boldsymbol 0$ なので、零点集合は $\boldsymbol o_1-\boldsymbol o_2$ に垂直な直線である（ の 2）。2 円の共有点では両方の方べきが $0$ なので根軸上にあり、2 点 $X\ne Y$ を通る直線は 1 本だけなので根軸は直線 $XY$ である。 2: 根軸 $\ell_{12},\ell_{23}$ の法線ベクトル $\boldsymbol o_1-\boldsymbol o_2$、$\boldsymbol o_2-\boldsymbol o_3$ は、中心が一直線上にないので 1 次独立で、2 直線はただ 1 点 $Z$ で交わる（）。$Z$ では $\operatorname{pow}_1=\operatorname{pow}_2=\operatorname{pow}_3$ なので、$\ell_{13}$ にも属する。 ## 6. 2 円の位置関係と共通接線 共有点の個数は、2 円の交点の座標を中心を結ぶ軸に沿って計算して調べます。共通接線は、直線を $(\boldsymbol n,c)$ の組で表し、条件を満たす組の個数を数えて 2 で割ります。同じ直線が $(\boldsymbol n,c)$ と $(-\boldsymbol n,-c)$ の 2 通りの組で表されるので、数えた個数は本数の 2 倍になるからです。 半径 $r_1,r_2>0$、中心間の距離 $d>0$ の 2 円 $\Gamma_1,\Gamma_2$ について、共有点の個数と共通接線（2 円の両方に接する直線）の本数は次の表のとおりである。 | 条件 | 共有点 | 共通接線 | |---|---|---| | $d>r_1+r_2$（離れている） | 0 | 4 | | $d=r_1+r_2$（外接） | 1 | 3 | | $\lvert r_1-r_2\rvert **共有点**: $O_1=(0,0)$、$O_2=(d,0)$ と座標を取ると、共有点は $x=\dfrac{d^2+r_1^2-r_2^2}{2d}$、$y^2=r_1^2-x^2$ で決まる。因数分解すると $$ r_1^2-x^2=\frac{(r_1+r_2-d)(r_2+d-r_1)(d+r_1-r_2)(d+r_1+r_2)}{4d^2} $$ である。右辺の最後の因子は正で、最初の 3 つの因子のうち、どの 2 つの和も正（$2r_2$、$2r_1$、$2d$）なので、負の因子は高々 1 つである。したがって $y^2>0$（共有点 2 個）は 3 つの因子がすべて正、すなわち $|r_1-r_2| から、これが $\Gamma_i$ の接線であることは $\boldsymbol n\cdot\boldsymbol o_i-c=\varepsilon_ir_i$（$\varepsilon_i=\pm1$）と同値である。2 式を引くと $\boldsymbol n\cdot(\boldsymbol o_1-\boldsymbol o_2)=\varepsilon_1r_1-\varepsilon_2r_2=:\kappa$ で、$\boldsymbol o_1-\boldsymbol o_2=(-d,0)$ なので $n_1=-\kappa/d$。これを満たす単位ベクトル $\boldsymbol n$ は、$|\kappa|d$ なら 0 個で、$\boldsymbol n$ が決まれば $c$ も決まる。したがって $(\varepsilon_1,\varepsilon_2)$ の 4 通りについて $(\boldsymbol n,c)$ の個数 $N$ を数えて 2 で割れば、直線の本数が出る（$(\boldsymbol n,c)\mapsto(-\boldsymbol n,-c)$ が $(\varepsilon_1,\varepsilon_2)\mapsto(-\varepsilon_1,-\varepsilon_2)$ に対応して 2 対 1 だから）。$\varepsilon_1=\varepsilon_2$ の 2 通りでは $|\kappa|=|r_1-r_2|$、$\varepsilon_1\ne\varepsilon_2$ の 2 通りでは $|\kappa|=r_1+r_2$ である。 - $d>r_1+r_2$: どの場合も $|\kappa| 2 円の中心が一致する場合（同心円）は、半径が異なれば共有点も共通接線もありません。 $r_1=3$、$r_2=1$ の 2 円で、中心間の距離が $d=5$ なら $d>r_1+r_2=4$ なので共通接線は 4 本、$d=4$ なら外接で 3 本（接点を通る共通の接線を含む）、$d=3$ なら $|r_1-r_2|=2<3<4$ で 2 本、$d=2$ なら内接で 1 本、$d=1$ なら小さい円が大きい円の内部にあって 0 本である。 ## 7. 大学ではどこへ続くか - **複素解析の円円対応**（[等角写像](/mathematics/complex-analysis/conformal-mapping)）。円周角の定理の逆の言い換え「4 点が同一円周上にある $\iff$ 複比が実数」は、1 次分数変換が円を円に移すことの土台です。後の章の[反転：円と直線の名定理](/mathematics/hs-geometry/inversion-and-projective)で、円と直線を同列に扱う見方を学びます。 - **代数幾何**。 の「2 次方程式の解の積」は、円と直線の交点の個数を重複度も含めて数える Bézout の定理の一番小さい場合です。方べきは円の方程式 $|x-o|^2-r^2=0$ の値そのもので、円の束は方程式の 1 次結合として表せます。 - **射影幾何**。根軸・根心は、円の束（2 つの円の方程式の線形結合の全体）を考えると自然に現れる直線で、後の章の極と極線へつながります。 ## 8. 演習 半径 $5$ の円の弦 $AB$ の長さが $6$ であるとき、中心角 $\omega$ について $\sin\dfrac\omega2$ を求めよ。また、円周上の点 $P$ から弦 $AB$ を見込む角 $\angle APB$ のとりうる値の $\sin$ を求めよ。 から $6=2\cdot5\sin\frac\omega2$、$\sin\frac\omega2=\frac35$。 により $\angle APB$ は $\frac\omega2$（中心と同じ側）または $\pi-\frac\omega2$（反対側）で、どちらの場合も $\sin\angle APB=\sin\frac\omega2=\frac35$ である。 半径 $5$ の円の中心 $O$ から距離 $13$ の点 $P$ がある。$P$ から引いた接線の接点を $T$ とするとき $|PT|$ を求めよ。また、$P$ を通る直線が円と $X,Y$ で交わり、$|PX|=8$ であるとき、$|PY|$ を求めよ。$O$ を通る直線の場合はどうなるか。 $\operatorname{pow}(P)=13^2-5^2=144$ なので、 の 1 から $|PT|=12$。割線では $|PX|\cdot|PY|=144$（$P$ が円の外なので $\overrightarrow{PX}$ と $\overrightarrow{PY}$ は同じ向き）から $|PY|=18$。$O$ を通る直線なら交点までの距離は $13-5=8$ と $13+5=18$ で、確かに $8\cdot18=144$ である。 2 円 $x^2+y^2=4$ と $(x-3)^2+y^2=1$ の根軸を求め、2 円の位置関係を答えよ。 方べきの差は $x^2+y^2-4-\bigl((x-3)^2+y^2-1\bigr)=6x-12$ なので、根軸は $x=2$（ の 1）。半径は $2,1$、中心間の距離は $3=2+1$ なので外接し（）、接点は $(2,0)$、これは根軸上にある。 ## 参考文献 - H. S. M. Coxeter, S. L. Greitzer, *Geometry Revisited*, Mathematical Association of America, 1967 — 第 2 章（円のいくつかの性質：円周角・方べき・根軸）。 - Roger A. Johnson, *Advanced Euclidean Geometry*, Dover, 2007 — 円と根軸・根心の古典的な扱い。 - Robin Hartshorne, *Geometry: Euclid and Beyond*, Springer, 2000 — 円周角の定理を公理から証明する立場（この章は座標から証明した）。 - Marcel Berger, *Geometry II*, Springer, 1987 — 円・球の幾何と円束。