ここでは直線と円などの性質を座標を用いて考察する。
座標平面上の2点
間の距離
を求めてみよう。
直線
が座標軸に平行でないとき[1]、点
をとると

は直角三角形であるから、三平方の定理より

この式は、直線
がx軸、y軸に平行なときにも成り立つ[2]。
特に、原点
と点
間の距離は

点
と実数
に対して、線分
上の点
が存在して、
となるとき、点
を
を
に内分する点という。
また、線分
上でない点
が存在して、
となるとき、点
を
を
に外分する点という。
数直線上の点
を
に内分する点と外分する点を求める。
内分点を
とする。
のとき、
なので、
なので、
である。
のときも同様。
次に外分点を求める。外分点を
とする。
で
のとき、
となるので、
なので、
なので、
これは、
または
のときも同様。[3]
2次元の場合には、一般に点と点との位置関係は、座標軸に平行でなく、それらの距離の内分は複雑になるように思える。しかし、実際には、内分点や外分点を計算するには、上の公式をx,y
の両方向に対して用いればよい。これは、2点をつなぐ線が直線であるので、その直線上である点からの距離が一定の割合となる点をいくつか取ったとき、その点と元の点のx軸方向の座標の変化の割合とy軸方向の座標の変化の割合と直線自身の長さの変化の割合はそれぞれ等しくなるからである。
よって、一般に点
を、a:bに内分する点と外分する点は、
- 内分点

- 外分点


で与えられる。
演習問題
点
を3:1にそれぞれ内分、外分する点を求めよ。
解答
内分点は
外分点は
3点
を頂点とする三角形の重心
の座標を求めてみよう。
線分
の中点
の座標は

重心
は線分
を2:1に内分する点であるから、
の座標を
とすると

同様に

よって、重心
の座標は

ある点
を通って傾きaの直線の式は、
で与えられる。これは、傾きがyの変化分
xの変化分で表わされ、
,
はまさに、y,xそれぞれの変化分そのものであることによる。
2点
,
を通る直線は傾きが
で与えられることを用いると、
で与えられる。
演習問題
それぞれの直線を表わす式を計算せよ。
(i)
傾き-2で、点(-3,1)を通る直線
(ii)
2点(4,3) ,(5,7)を通る直線
解答


を用いればよい。
(i)
![{\displaystyle \left[y=-2\,x-5\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d18a2bad6c5339a626418d8aee1344cef494fd00)
(ii)
![{\displaystyle \left[y=4\,x-13\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/47a62a3bfb1dbb3a58396e33ad464fb69355409b)
また直線の方程式は一般に
で表される。
点
を通り、直線
に平行な直線、垂直な直線の方程式を求めよ。
直線
の傾きは
である。
平行な直線の方程式は


垂直な直線の傾きを
とすると


よって、垂直な直線の方程式は


点
と直線
に対し、直線
上の点と点
の距離の最小値を点と直線の距離という。これは点
から直線
に下ろした垂線
の長さに等しい。
直線
と点
の距離は

と表される。
証明

点
と直線
とする。
点
から直線
に垂線を下ろし、垂線の足を点
とする。
また、点
から
軸に平行な直線を引き、直線
との交点を点
とする。
次に、図のように、直線
上の点
に対して、直線
が
軸と平行となり、
となるように点
をとり、直線
が
軸に平行になる点
を直線
上に取る。
直線
の傾きは
となるので
である。
ここで、
は直角三角形であり、
[4] なので、
[5] である。したがって

また点
の座標を
とすると、
で、点
と直線
の距離
は、
ところで、点
は直線
上の点なので、

である。これを代入すれば

- を得る。
ベクトルを使った証明
すでにベクトルを知っているならばこちらの方が簡潔である。
点
と直線
とし、点
を直線
上の点とする。直線
の法線は
で、
であるので、直線
上の点と点
の距離
は
[6] である。
演習問題
直線
と点
の距離を求めよ
解答
中心
半径
の円は、
となる点
の集合である。つまり、
となる点
の集合である。この方程式の両辺は正なので2乗して
を得る。これが円の方程式である。
特に原点が中心で半径
の円の方程式は
で与えられる。
演習問題
- 中心
半径
の円の方程式を求めよ
- 円
の中心と半径を求めよ
解答

なので中心
半径 
方程式
はいつも円であるとは限らない。
方程式を変形して
となるとき
のとき方程式は円を表す
のとき方程式は1点
を表す
のとき方程式の左辺は常に正なので、方程式の表す図形はない
円
上のある点
で接する接線の方程式は

で表される。
同様に、円
上のある点
で接する接線の方程式は

で表される。
円と直線の位置関係について大きく次の3つに分類することができる。
- 円と直線が2点で交わる(直線が円の内部を通る)
- 円と直線が1点で交わる(直線が円の接線となる)
- 円と直線は交わらない
一般の円と直線についてそれらの位置関係を分類してみよう。
円
と直線
について、円
の中心
と直線
の距離
とすると、
のとき、円
と直線
は2点で交わる
のとき、円
と直線
は1点で交わる
のとき、円
と直線
は交わらない
他にも、円の方程式と直線の方程式を連立してその実数解の個数で分類する方法もあるが、位置関係を求めるだけなら上の方法のほうが計算量が少ない。
演習問題
直線
と円
の交点の座標を求めよ
解答
直線の方程式を
について解き、それを円の方程式に代入すればよい。
答えは
ある条件を満たす点全体がつくる図形を、その条件を満たす点の軌跡という。
2点
から等距離にある点
の軌跡を求めよ。
条件
より、
の座標を
とすると


だから

整理して、

したがって、求める軌跡は、直線
である。
軌跡を求める手順
|
1.求める軌跡上の任意の点の座標を などで表し、与えられた条件を座標の間の関係式で表す。
2.軌跡の方程式を導き、その方程式の表す図形を求める。
3.その図形上の点が条件を満たしていることを確かめる。
|
2点
からの距離の比が
である点
の軌跡を求めよ。
の座標を
とする。
を満たす条件は

すなわち

これを座標で表すと

両辺を2乗して、整理すると

すなわち

したがって、求める軌跡は、中心が
、半径が
の円である。
を異なる正の数とするとき、2点
からの距離の比が
である点の軌跡は、線分
を
に内分する点と、外分する点を直径の両端とする円である。この円をアポロニウスの円という。
のときは、線分
の垂直二等分線である。
座標平面上で一次方程式
を満たす点
全体の集合は
を
切片とする傾き1の直線である。この直線を
とする。
一次不等式
を満たす点
全体の集合を考える。
不等式を満たす任意の点
をとる。
を通り
軸に垂直な直線を引き、
との交点を点
とする。このとき
より
が導かれる。故に、点
は直線
よりも上側にある。逆に、直線
よりも上側にある任意の点
は条件を満たす。
同様に、不等式
を満たす任意の点は直線lよりも下側に存在することがわかる。
一般に、変数
についての不等式を満たす座標平面上の点
全体の集合を、その不等式の表す領域という。領域の境目となる曲線をその領域の境界線という。境界線の方程式は、不等式の不等号を等号に変えたものである。
以上のことから、以下が成り立つ。
直線と領域
直線
について、
①不等式
の表す領域は直線
の上側の部分。ただし、境界線を含まない。
②不等式
の表す領域は直線
の下側の部分。ただし、境界線を含まない。
③不等式
の表す領域は直線
の上側の部分。ただし、境界線を含む。
④不等式
の表す領域は直線
の下側の部分。ただし、境界線を含む。
直線の場合と同様にして、円を境界線とする領域について以下が成り立つ。
円と領域
円
について、
①不等式
の表す領域は円
の内部。ただし、境界線を含まない。
②不等式
の表す領域は円
の外部。ただし、境界線を含まない。
不等号に等号が含まれる場合は境界線を含む。
一般に、以下が成り立つ。
曲線と領域
曲線
について、
①不等式
の表す領域は、曲線の上側の部分。ただし、境界線を含まない。
②不等式
の表す領域は、曲線の下側の部分。ただし、境界線を含まない。
曲線
について、
③不等式
の表す領域は、曲線の左側の部分。ただし、境界線を含まない。
④不等式
の表す領域は、曲線の右側の部分。ただし、境界線を含まない。
連立不等式の表す領域は、各不等式を同時に満たす点全体の集合、すなわち各不等式の表す領域の共通部分である。
例えば、不等式
の表す領域は以下のように求まる。
- 不等式を変形すると
すなわち
- これは
または
が成り立つことと同値である。
- すなわち二つの連立不等式
が表す領域の和集合が求める領域である。
- 一つ目の連立不等式の表す領域は直線
の左側の部分と直線
の上側の部分の共通部分、二つ目の連立不等式の表す領域は直線
の右側の部分と直線
の下側の部分の共通部分なので、求める領域は2直線
で区切られた領域の左上・右下の部分である。ただし、境界線は含まない。
領域の考え方は以下のように応用されている。
一次不等式で表される領域内で一次関数の値を最大化(または最小化)する問題を線形計画法という。
(ここに例題)
二つの条件
について、
という集合
を設定すると、「
が真」
「
」が成り立つ。
条件
が二変数の不等式で表される場合、領域の考え方を用いて
の真偽を証明できる場合がある。
(ここに例題)
デカルト
このページの分野のように、数式をつかって座標の位置をあらわして、幾何学の問題を解く手法のことを解析幾何学という。
なお、幾何学という言葉自体は、図形の学問というような意味であり、小学校や中学校で習った図形の理論も幾何学である。
中世ヨーロッパの数学者デカルトが、解析幾何学の研究を進めた。なお、デカルトは、哲学の格言「われ思う、ゆえに我あり」でも有名である。
- ^ つまり、直線
が
軸、
軸 のどちらとも平行でないとき
- ^ 直線
が
軸に平行なときは
であり、
となる。よって
は成り立つ。直線
が
軸に平行なときも同様
- ^ 外分点の座標は内分点の座標の
を
にしたものに等しい
- ^ 直線
と直線
は平行なので
- ^
は相似を意味する
- ^ 点
は直線
上の点なので
である。