1. 高校数学の美しい物語
  2. 束の考え方と例題(直線,円,一般論)

束の考え方と例題(直線,円,一般論)

更新日時 2021/03/07

束の考え方:

sstt は実数で少なくとも一つは 00 でないとする。

sf(x,y)+tg(x,y)=0sf(x,y)+tg(x,y)=0 が表す図形は,

f(x,y)=0f(x,y)=0 が表す図形と g(x,y)=0g(x,y)=0 が表す図形の交点(が存在すれば)を全て通る。

高校数学で頻出の束の考え方について解説します。例として直線束,円束を扱います。「そく」と読みます。

注:大学数学では「束(そく)」という代数的構造を習いますが別物です。

目次
  • 直線束の例題

  • 円束の例題

  • 一般論

  • 束の考え方について

直線束の例題

冒頭の主張の証明は後回しにして,まずは例題を2問解説します。

まずは ffgg も直線を表す場合です。一番見かけるパターンです。

例題1

二つの直線 l:2x+y+3=0l:2x+y+3=0m:x3y+1=0m:x-3y+1=0 の交点 PP(0,0)(0,0) を通る直線の方程式を求めよ。

解答

s(2x+y+3)+t(x3y+1)=0s(2x+y+3)+t(x-3y+1)=0 という図形は,

1.束の考え方より交点 PP を通る

2. xxyy の一次式なので直線を表す

よって,あとは s,ts,\:t をうまいこと定めて (0,0)(0,0) を通るようにしてやればOK。そこで上式に (0,0)(0,0) を代入すると

3s+t=03s+t=0

この s=t=0s=t=0 以外の解を持ってくればOKなので,例えば s=1,t=3s=1,\:t=-3 とすれば,

(2x+y+3)3(x3y+1)=0(2x+y+3)-3(x-3y+1)=0

つまり

x+10y=0-x+10y=0 を得る。

注:この問題は直接交点の座標を求める方法でも,ほぼ同じくらいの手間でできます。

円束の例題

次は ffgg も円を表す場合です。

例題2

二つの円 C1:x2+y21=0C_1:x^2+y^2-1=0C2:x22x+y22y2=0C_2:x^2-2x+y^2-2y-2=0 の二つの交点 PPQQ を通る直線の方程式を求めよ。

解答

s(x2+y21)+t(x22x+y22y2)=0s(x^2+y^2-1)+t(x^2-2x+y^2-2y-2)=0 という図形は,束の考え方より交点 P,QP,\:Q を通る。

よって,あとは s,ts,\:t をうまいこと定めて直線の方程式にしてやればOK。そこで x2,y2x^2,\:y^2 の係数が 00 になるように,例えば s=1,t=1s=1,\:t=-1 とする:

(x2+y21)(x22x+y22y2)=0(x^2+y^2-1)-(x^2-2x+y^2-2y-2)=0

つまり

2x+2y+1=02x+2y+1=0 を得る。

注1.結果的には「二つの円の方程式を引き算したもの」に過ぎませんが,この結果だけではなく束の考え方をしっかり理解しておくべきです。

注2.二円の二交点を通る直線は根軸と呼ばれます。→根軸の性質と根心の存在定理

注3.二円が交わらないときは,冒頭の主張は何の結果ももたらしてくれません。 二つの図形が交点を持つときに威力を発揮する考え方だと認識しておきましょう。

注4.三次元の場合も似たような結果が成り立ちます。つまり「二つの球面が交わってできる円を含む平面の方程式」は,「二つの球面の方程式を引き算したもの」になります。

一般論

冒頭の主張について,ほぼ当たり前ですが証明(説明?)しておきます。

証明

f(x,y)=0f(x,y)=0g(x,y)=0g(x,y)=0 の交点 PP の座標を (xP,yP)(x_P,\:y_P) とおくと,当然ながら f(xP,yP)=g(xP,yP)=0f(x_P,y_P)=g(x_P,y_P)=0 を満たす。

よって,それらの重み付き和(線形結合という)も 00 である:

sf(xP,yP)+tg(xP,yP)=0sf(x_P,y_P)+tg(x_P,y_P)=0

よって,PPsf(x,y)+tg(x,y)=0sf(x,y)+tg(x,y)=0 が表す図形に含まれる。

交点が複数ある場合,全ての交点について上記の議論が成立する。

束の考え方について

  • 冒頭の主張において,ffgg が直線や円の場合が頻出ですが,それ以外の図形の場合にも成立する考え方です。
  • sf(x,y)+tg(x,y)=0sf(x,y)+tg(x,y)=0 と書かずに f(x,y)+kg(x,y)=0f(x,y)+kg(x,y)=0 で説明する参考書も多いです。どちらもほとんど同じことですが,前者では s=0s=0 とすることで g(x,y)=0g(x,y)=0 という図形を表現できますが後者ではできません。 実際,ほとんどの場合は後者で事足りますが,一般論を展開する上では前者の方が綺麗です。直線の一般形における y=ax+by=ax+bax+by+c=0ax+by+c=0 の違いみたいなものです。→直線の方程式の一般形が嬉しい3つの理由

代数構造の「束」と紛らわしいのでどっちか改名して欲しいですね!

Tag:数学2の教科書に載っている公式の解説一覧

人気記事
  1. 高校数学の美しい物語
  2. 束の考え方と例題(直線,円,一般論)