平面における直線の標準形のソースを表示

{{出典の明記|date=2019年6月}}
平面上の[[解析幾何学]]において、[[直線]]の方程式はそのさまざまな特徴の抽出の仕方によって種々の{{仮リンク|標準形|en|canonical form}} を持つ。一般に直線の方程式は実二変数の一次方程式であたえられる。

以下、''x'', ''y'' を[[実数]]値の変数、''t'' を実数値[[助変数]]とし、それ以外は[[数学定数|定数]]を表すものとする。

== 一般形 ==
直線の方程式の一般形 (general form) は

: <math>Ax + By + C = 0</math>

の形で与えられるものである。ただし、''A'', ''B'' の少なくとも一方は 0 ではないものとする。慣習的に ''A'' &ge; 0 となるように書くのがふつうである。この方程式の[[グラフ (関数)|グラフ]]は[[直交座標系|座標平面]]上の直線であり、また平面上の全ての直線がこの一般形で表される。''A'' が 0 でないなら、直線の ''x''-切片（グラフが ''x''-軸 (''y'' = 0) と交わる点の ''x''-[[座標]]）の値は &minus;''C''/''A'' であり、''B'' が 0 でなければ、''y''-切片（グラフが ''y''-軸 (''x'' = 0) と交わる点の ''y''-座標）の値は &minus;''C''/''B'' である。また直線の[[傾き (数学)|傾き]]は &minus;''A''/''B'' である。

== 整標準形 ==
直線の整標準形 (standard form) とは

: <math>Ax + By = C</math>

の形の式で、''A'', ''B'' の少なくとも一方が 0 でなく、さらに ''A'', ''B'', ''C'' は最大公約数が 1 の整数となるものである。ただし、''A'' が 0 でないならば ''A'' &gt; 0 となるようにし、''A'' = 0 のときは ''B'' &gt; 0 となるようにするのが普通である。整標準形を一般形に直すのは容易いが、''A'' か ''B'' の一方が 0 のときにこれをほかの形に直せるとは限らない。この形で表せる直線はある程度限られてくるので、数学的にはさほど魅力があるわけでもないので、この形の標準形について触れられていない文献も少なくはない。たとえば、直線 ''x'' + ''y'' = √<span style = "text-decoration:overline">''2''</span> は √<span style = "text-decoration:overline">''2''</span> が無理数であるから、そもそも整数係数に直すことができない。

== 傾き・切片標準形 ==
[[file:Graf_of_linear_equation.png|thumb|right|]]
{{main|一次函数}}
直線の傾き・切片標準形 (slope–intercept form) は、傾き ''m'' と ''y''-切片 ''b'' を与えて
:<math>y = mx + b</math>

の形に表される。''x'' = 0 とすれば ''y'' = ''b'' となるから、''b'' が確かに ''y''-軸との交点の ''y''-座標であることがわかる。''x''-軸に垂直な直線は（傾きが定義できないので）この形では表せない。
{{clear|both}}
== 点・傾き標準形 ==
直線の点・傾き標準形 (point–slope form) は、直線の傾き ''m'' と直線上の一点 (''x''<sub>1</sub>,''y''<sub>1</sub>) に対して、
:<math>y - y_1 = m( x - x_1 )</math>

の形に表される方程式である。点・傾き標準形と傾き・切片標準形とは互いに簡単に書き換えられる。

点・傾き標準形は、直線上の二点間の ''y''-座標の差 (''y'' &minus; ''y''<sub>1</sub>) が ''x''-座標の差 (''x'' &minus; ''x''<sub>1</sub>) に[[比例]]する（比例定数は、直線の傾き ''m'' である）という事実を表しているものと見ることができる。

== 二点標準形 ==
直線の二点標準形 (two-point form) とは、直線上の二点 (''x''<sub>1</sub>, ''y''<sub>1</sub>), (''x''<sub>2</sub>, ''y''<sub>2</sub>) (''x''<sub>1</sub> &ne; ''x''<sub>2</sub>) によって
:<math>y - y_1 = \frac{y_2 - y_1}{x_2 - x_1} (x - x_1)</math>
の形の式をいう。二点標準形は基本的に点・傾き標準形と同じものだが、こちらでは直線の傾きが点の座標を用いて
: <math>\frac{y_2 - y_1}{x_2 - x_1}</math>
という形に陽に与えられている

== 切片標準形 ==
[[file:Rownanie odcinkowe.svg|thumb|right|]]
直線の切片標準形 (intercept form) は
: <math>\frac{x}{a} + \frac{y}{b} = 1</math>
という形である。この形にかけるということは ''a'', ''b'' ともに 0 であってはならない。この形の方程式のグラフは ''x''-切片が ''a'', ''y''-切片が ''b'' となるので、式を見ただけで切片が直ちにわかる。切片標準形は ''A'' = 1/''a'', ''B'' = 1/''b'', ''C'' = &minus;1 とおけば一般形で表すことができ、''a'', ''b'' が整数ならば ''A'' = 1/''a'', ''B'' = 1/''b'', ''C'' = 1 とおくことで整標準形になる。

{{clear|both}}
== パラメータ表示 ==
ふたつの変数 ''x'', ''y'' の関係を陰に記述する直線のパラメータ表示の標準形 (parametric form) は ''t'' をパラメータとする[[連立方程式]]
:<math>\begin{cases} x = T t + U\\y = V t + W\end{cases}</math>
である。このとき、直線の傾きは ''m'' = ''V'' / ''T'', ''x''-切片は (''VU''&minus;''WT'') / ''V'', ''y''-切片は (''WT''&minus;''VU'') / ''T'' で与えられる。この表示は二点標準形とも関係がある。（ベクトルで考えれば見易いが）実際 ''T'' = ''p'' &minus; ''h'', ''U'' = ''h'', ''V'' = ''q''&minus;''k'', ''W'' = ''k'' とおいたとき、
:<math>\begin{cases}x = (p - h) t + h\\y = (q - k)t + k\end{cases}</math>
と表せるが、ここで ''t'' = 0 とすれば点 (''h'', ''k'') を表し、''t'' = 1 とすれば点 (''p'', ''q'') に対応する。さらに 0 &lt; ''t'' &lt; 1 とすれば対応する点はいまの二点の [[内挿|内分点]]を与え、それいがいの値では[[外挿|外分点]]に対応する。

== 極表示 ==
{{main|極座標}}
直線の方程式を極座標で考えれば極方程式表示 (polar form) 
:<math>r=\frac{mr\cos\theta+b}{\sin\theta}</math>
が得られる。ここで、''m'' は直線の傾きで、''b'' は ''y''-切片である。これは ''θ'' = 0 のとき定義できないので、不連続性を除くために分母を払って
:<math>r\sin\theta=mr\cos\theta+b</math>
のように書くこともある。

== ヘッセの標準形 ==
{{main|ヘッセ標準形}}
[[file:Rownanie_normalne_prostej.svg|thumb|right|法線は直線に直交する。法線の長さ ''p'' は直線と原点との距離である。法線の傾斜角 &alpha; は直線が ''y''-軸の正の方向と成す角に等しい。]]
法線標準形 (normal form) と呼ばれる直線の標準形
: <math> y\sin\alpha + x\cos\alpha - p = 0</math>
は、ドイツの数学者[[ルートヴィヒ・オットー・ヘッセ]]に因んでヘッセ標準形 (Hesse standard form) とも呼ばれる{{efn|[[サイモン・アントワーヌ・ジャン・リュイリエ]]が、ヘッセの生誕前（1809年）に相当する形式を発表している。}}。ここで &alpha; は直線の法線の傾斜角であり、''p'' は法線の長さである。ここでいう法線 (normal) は直線と原点とを結ぶ最短の線分のことを指している（一般には[[法線]]は一般の曲線や曲面などに対して「直交する直線」の総称であるので注意）。ヘッセ標準形は標準形の式で各係数を
:<math>\frac{|C|}{-C}\sqrt{A^2 + B^2}</math>
で割ることによって得られる。

{{clear|both}}
== 退化形 ==
直線の方程式の係数が特定の値をとるときは、方程式が何らかの意味で退化してしまうこともある。
[[file:FuncionLineal06.svg|thumb|right|]]
方程式
: <math>y = b</math>
は一般形の方程式で ''A'' = 0, ''B'' = 1 とした特別の場合であり、また傾き・切片標準形で傾きを ''m'' = 0 とした特別の場合でもある。この直線のグラフは ''y''-切片が ''b'' に等しいような水平線（''x''-軸に平行）である。''b'' = 0 でない限り ''x''-切片は存在せず、''b'' = 0 でグラフが ''x''-軸に一致するときは任意の実数が ''x''-切片である。

{{clear|both}}
[[file:FuncionLineal07.svg|thumb|right|]]
方程式
: <math>x = a</math>
は一般形の方程式で ''A'' = 1, ''B'' = 0 とした特別の場合であり、このグラフは ''x''-切片が ''a'' であるような鉛直線（''y''-軸に平行）である。この直線の傾きは定まらず、また ''a'' = 0 でないならば ''y''-切片も存在しない。''a'' = 0 のときは直線のグラフが ''y''-軸に一致して、任意の実数が ''y''-切片となる。

{{clear|both}}
自明な方程式
: <math>y = y,\quad x = x</math>
は、全ての変数や定数が相殺されて消えてしまうもので、常に成立する自明な関係式である。これはつまり、もとの方程式は[[恒等式]]と呼ぶべきであり、この方程式のグラフはふつう考えない（考えるとすれば今の場合は ''xy''-平面全体である）。たとえば 2''x'' + 4''y'' = 2(''x'' + 2''y'') は見かけ上二変数の一次方程式だが、等号で結ばれた各辺の数式は ''x'' や ''y'' の値をどのように定めようとも「常に」等しい。

同様に不能な方程式
:<math> e = f</math>
も見かけ上二変数の一次方程式からは現れうる。方程式を代数的な操作で変形していって '''1 = 0''' のような成立不能な式が導かれる場合に、もとの方程式は'''不能'''であるという。これは ''x'' や ''y'' をどのように与えても関係式が常に成立しないということであり、この場合もグラフを考えることはふつうしないが、かんがえるとすればそれは[[空集合]]である。たとえば 3''x'' + 2 = 3''x'' &minus; 5 は一次不能方程式である。

== 一般化 ==
直線の一般化の方向としては、たとえば直線がうめこまれる空間の次元を上げることと、直線の高次元の対応物となる幾何学的対象を考えることのふたつを挙げることができる

空間直線やもっと高い次元の空間に埋め込まれた直線の標準形としてはしばしば
: <math>\begin{align}
 &\frac{x-a}{l}=\frac{y-b}{m}=\frac{z-c}{n},\\
 &\frac{x_1-a_1}{m_1}=\frac{x_2-a_2}{m_2}=\cdots=\frac{x_n-a_n}{m_n}
\end{align}</math>
という形の式が用いられる<ref>{{PlanetMath|urlname=lineinspace|title=line in space}}</ref>。これは実質的に点・傾き標準形であり、パラメータ表示で
:<math>\begin{cases} x = T t + U\\y = V t + W\\z = Xt + Y\\\quad\vdots\end{cases}</math>
と単純に変数の数を増やしたものとも実質的に同じものである。パラメータ表示はベクトルを用いて書けば高次元への一般化に際しても簡明な記述を行うことができる。直線の高次の対応物は適当な方法で助変数の数を増やすことで得られる。直線を高次元の対応物に置き換える方向では多変数化が行われることになるが、''x'' を（あるいは ''y'' も）ベクトル値変数とし、係数は同じ次元のベクトルで変数との内積をとるものとすると、ここに挙げたいくつかの標準形については、そのまま考えることができ、類似の議論をおこなうことができる。

== 注 ==
{{脚注ヘルプ}}
=== 注釈 ===
{{notelist}}
=== 出典 ===
{{reflist}}

== 参考文献 ==
* {{Cite book |title=Elémens d'analyse géométrique et d'analyse algébrique, appliquées à la recherche des lieux géométriques |author=Simon Lhuilier |publisher=A Paris: chez J. J. Paschoud; à Genève: chez le même libraire |year=1809 |doi=10.3931/e-rara-4330 |pages=114}}

== 関連項目 ==
* [[直線]]
* [[一次函数]]
* [[線型方程式]]
* [[標準形]]・[[正規形]] (canonical form, normal form, standard form, etc.)

== 外部リンク ==
* {{MathWorld|urlname=StandardForm|title=Standard Form|author=Stover, Christopher}}
* {{PlanetMath|urlname=lineinplane|title=line in plane}}
* {{ProofWiki|urlname=Equation_of_Straight_Line_in_Plane|title=Equation of Straight Line in Plane}}
* {{ProofWiki|urlname=Equation_of_Line_in_Complex_Plane|title=Equation of Line in Complex Plane}}

{{DEFAULTSORT:へいめんにおけるちよくせんのひようしゆんけい}}
[[Category:初等数学]]
[[Category:直線]]
[[Category:標準形]]
[[Category:数学に関する記事]]