こんにちは。相城です。2直線の交点が存在するとき、その交点を通る直線は無数に存在します。それらを直線の束と呼びます。一般的には一変数を用いて表されることが多いです。それには問題点があるのですが以下に例を示し、お話しします。円に関しては下部のリンクまたはこちらからどうぞ。
例:直線と直線
の交点を通る直線で
を通るものを求めなさい。
一変数の場合の問題点
参考書などで見かける形は一般的には変数を用いて、以下のように表されることが多いです。
・・・①
この直線が(0, 0)を通るので、それを代入すると、、
となり、
となります。
①の式で問題になるのは、2直線の交点を通る直線がすべて完全には表せないことに問題があるのです。実は表せない式というのが1つあって、実は
の後ろにあるかっこの中の
だけが表せません。実際
上の座標を代入すると
の係数が0となって、等式が成立しません。しかし、別にこれが表せなくても一意性は失われないということで、参考書などでは①の表記になっています。ですから、この解き方が間違っているというお話ではないので、ご理解いただけたらと存じます。
完全な形での表し方
では、完全な形での表現はどうかと申しますと、・・・②
という形です。これに①のときと同様(0, 0)を代入すると、
これを満たすは無数に存在しますが、
なので、適当に値を決めるか、
として代入しても
が得られます。
ちなみに①、②式でもどちらでもの項が消えるように変数の値を決める
と、
と交点の
座標が求まる。同様に
の項が消えるように変数の値を決める
と、
と交点の
座標が求まる。
GeoGebraで動かしてみよう
以下にGeoGebraでアニメーションできるようにしています。ボックスに値を入れるとそのときの束が表されます。バーを動かしたりしてみてください。アニメーションしたいときは左下の▶ボタンを押してみてください。束の式はです。
、
ですので、すべて表せていないと思いますが、イメージをつかんでくださればと思います。デフォルトは例題の答え
に設定しています。
