1 円の標準形と一般形
中心C=(a,b)、半径r>0の円は、実数平面の点P=(x,y)のうちCP=rを満たす点の集合です。距離は非負なので、距離の式を二乗すると同値な方程式が得られます。
証明.x2+ℓx=(x+ℓ/2)2−ℓ2/4とy2+my=(y+m/2)2−m2/4を一般形へ代入する。左辺の平方和は非負であり、0になるのは二つの平方がともに0のときに限る。右辺が正なら、その平方根を距離とする円になる。▨
例 1.2.x2+y2−4x+2y−4=0を平方完成すると
(x−2)2+(y+1)2=9となるので、中心は(2,−1)、半径は3である。一方、定数項を5に変えた方程式は(x−2)2+(y+1)2=0となり、点(2,−1)だけを表す。この一点の集合を点円と呼ぶこともある。
2 直線と円の位置関係
定理 2.1. 中心C=(u,v)、半径r>0の円と、直線l:ax+by+c=0(a2+b2>0)に対し、
d=a2+b2∣au+bv+c∣とおく。d<rなら共有点は二つ、d=rなら一つで接し、d>rなら共有点はない。
証明.§A2.5 公式 4.1により、dは中心Cと直線lの距離である。垂線の足をHとすると、l上の点Pに対し三平方の定理からCP2=d2+HP2である。よって円上にある条件はHP2=r2−d2となる。右辺が正ならHの両側に一点ずつ、0ならHだけがあり、負なら点はない。▨
交点の座標は、円と直線の連立方程式を解いて求めます。b=0ならy=(−ax−c)/bを円の方程式に代入してxの二次方程式を作ります。b=0ならa=0なのでx=−c/aを円の方程式に代入し、yの二次方程式を作ります。残した未知数の各実数解に交点が一つずつ対応するため、その二次方程式の判別式の正・零・負が共有点の個数二・一・零に対応します。
例 2.2. 円x2+y2=5と直線y=x+1では、中心から直線までの距離が1/2<5なので交点は二つである。代入すると
x2+(x+1)2=5,2(x+2)(x−1)=0となる。二次方程式2x2+2x−4=0の判別式はD=22−4⋅2⋅(−4)=36>0で、距離による二交点の判定と一致する。交点は(−2,−1),(1,2)である。同じ円と鉛直線x=1では1<5であり、代入した式はy2=4となる。交点は(1,−2),(1,2)である。鉛直線x=5ならy2=0となり、接点は(5,0)である。
問題 2.3. 円x2+y2=1に接し、点P=(1,2)を通る直線をすべて求め、それぞれの接点の座標を求めよ。
解答.
Pを通る鉛直線はx=1である。原点からこの直線までの距離は1なので、円に接する。接点は(1,0)である。
Pを通る鉛直でない直線は、実数mを用いて
y−2=m(x−1)と表される。定理 2.1により、円に接する条件は、原点から直線までの距離が半径1に等しいことである。したがって
m2+1∣2−m∣=1.分母は正であり、両辺が非負なので、この等式は
(2−m)2=m2+1と同値である。整理すると4−4m=1となり、m=3/4を得る。よって鉛直でない接線は
3x−4y+5=0だけである。
接点は原点から接線へ下ろした垂線の足である。§A2.5 公式 4.1より、この接点は
(−32+(−4)25⋅3,−32+(−4)25⋅(−4))=(−53,54)となる。したがって求める接線はx=1と3x−4y+5=0であり、接点はそれぞれ(1,0)と(−3/5,4/5)である。▨
3 2つの円の位置関係
定理 3.1. 二つの円の中心間距離をd、半径をr1,r2>0とする。d>0のとき、d>r1+r2またはd<∣r1−r2∣なら共有点はなく、等号ならそれぞれ外接・内接する。∣r1−r2∣<d<r1+r2なら2点で交わる。d=0のときは、半径が等しければ同じ円、異なれば共有点なしである。
証明.d=0なら、同じ中心からの距離が二つの半径に等しくなる条件を比べれば結論を得る。d>0の場合、中心を結ぶ方向を座標軸とし、中心を(0,0),(d,0)に置く。二つの円の方程式を引くと、両方の円上にある条件は
x2+y2=r12,x=s,s=2dd2+r12−r22と同値である。したがって、二円の共有点は、中心が原点で半径がr1の円と直線x=sの共有点である。原点と直線x=sの距離は∣s∣なので、定理 2.1により、共有点の個数はr12−s2が正なら二つ、零なら一つ、負なら零である。
r12−s2=4d2((r1+r2)2−d2)(d2−(r1−r2)2).r1+r2>∣r1−r2∣なので、この式は∣r1−r2∣<d<r1+r2で正、両端で零、それ以外で負になる。▨
閑話休題:アポロニウスの円 相異なる定点A,Bから等距離にある点の集合は、線分ABの垂直二等分線です。一方、距離の比をk:1(k>0,k=1)に固定した点の集合は円となり、アポロニウスの円と呼ばれます。たとえばA=(0,0)、B=(3,0)、P=(x,y)とすると、AP=2BPは、距離がともに非負であるため
x2+y2=4((x−3)2+y2)と同値です。平方完成すると
(x−4)2+y2=4となります。この円にはBが含まれないので、比AP:BP=2:1も定義されます。一般のk>0,k=1では、同じ計算によって中心と半径は
(k2−13k2,0),∣k2−1∣3kとなります。kが1に近づくと、原点から中心までの距離と半径はともに増大します。k=1の距離条件を直接整理すると、垂直二等分線x=3/2が得られます。
複素解析では、円と直線を合わせた族がメビウス変換によって保たれるという性質を扱います。直線も円とともに扱うことで、変換の性質を統一して述べることができます。
4 例題
実数平面上の半径 r>0 の円を表す次の方程式について、中心と半径を求めよ。
解法の型平方完成して(x−p)2+(y−q)2=r2の形に直す。
例 4.1.x2+y2−4y−21=0
答(0,2),r=5
例 4.2.x2+y2+12x+4y+15=0
答(−6,−2),r=5
例 4.3.x2+y2+6x+8y=0
答(−3,−4),r=5
例 4.4.x2+y2+8y−9=0
答(0,−4),r=5
例 4.5.x2+y2−10x+21=0
答(5,0),r=2
例 4.6.x2+y2−8x−12y+43=0
答(4,6),r=3
例 4.7.x2+y2+4x+4y+4=0
答(−2,−2),r=2
例 4.8.x2+y2+8x−12y+48=0
答(−4,6),r=2
例 4.9.x2+y2−8x+4y+19=0
答(4,−2),r=1
例 4.10.x2+y2−2x−6y+6=0
答(1,3),r=2
5 演習
実数平面上の半径 r>0 の円を表す次の方程式について、中心と半径を求めよ。
解法の型平方完成して(x−p)2+(y−q)2=r2の形に直す。
問題 5.1.x2+y2+10x+8y+16=0
解答.
答(−5,−4),r=5▨
問題 5.2.x2+y2−4x+10y+13=0
解答.
答(2,−5),r=4▨
問題 5.3.x2+y2+2x−4y−20=0
解答.
答(−1,2),r=5▨
問題 5.4.x2+y2−8x−12y+43=0
解答.
答(4,6),r=3▨
問題 5.5.x2+y2−10x−12y+52=0
解答.
答(5,6),r=3▨
問題 5.6.x2+y2+12x+4y+36=0
解答.
答(−6,−2),r=2▨
問題 5.7.x2+y2−12x+12y+63=0
解答.
答(6,−6),r=3▨
問題 5.8.x2+y2−4x+10y+4=0
解答.
答(2,−5),r=5▨
問題 5.9.x2+y2−4x+6y+12=0
解答.
答(2,−3),r=1▨
問題 5.10.x2+y2−6x+12y+36=0
解答.
答(3,−6),r=3▨
問題 5.11.x2+y2+6x+4y+12=0
解答.
答(−3,−2),r=1▨
問題 5.12.x2+y2+10x−10y+46=0
解答.
答(−5,5),r=2▨
問題 5.13.x2+y2+10x−4y+28=0
解答.
答(−5,2),r=1▨
問題 5.14.x2+y2−10x+8y+32=0
解答.
答(5,−4),r=3▨
問題 5.15.x2+y2+10x−4y+25=0
解答.
答(−5,2),r=2▨