1次関数が互いに直交するためにはどんな条件があるのかをいくつかの方法で調べてみました。
前提
 |
| 図1 直交する直線と平行な直線 |
直線l:ax+by+c=0l:ax+by+c=0と直線s:px+qy+r=0s:px+qy+r=0（ただし、c、rは0でない）が直交しているとき、原点を通り直線l、直線sそれぞれに平行な直線m:ax+by=0m:ax+by=0、t:px+qy=0t:px+qy=0を考えます。
平行線の性質より、直線lは直線tと直交することからlと平行な直線mもtと直交します。
lとm、sとtはそれぞれ切片が異なるだけで傾きは同じなので、直線（1次関数）が直交する条件は原点を通る直線についてのみ調べるだけで良いことがわかります。
また、原点を通る直線の傾きは原点以外であればyxyxで求めることができます。
1. 二等辺三角形の性質を利用
 |
| 図2 二等辺三角形の性質を利用 |
原点を通る直線l上に原点以外の点(p, q)と原点に関して対称な点(-p,-q)の2点をおきます。
この2点と等距離にある点(x, y)をおくとこれら3点によって二等辺三角形ができ、(x, y)の軌跡は二等辺三角形の中線であるため直線lに対し垂直で原点を通る直線となります。
(p, q)と(x, y)との距離は
√(p−x)2+(q−y)2√(p−x)2+(q−y)2
(-p, -q)と(x, y)との距離は
√(x+p)2+(y+q)2√(x+p)2+(y+q)2
で、これらは等しいので、
√(p−x)2+(q−y)2=√(x+p)2+(y+q)2(p−x)2+(q−y)2=(x+p)2+(y+q)2(p2−2px+x2)+(q2−2qy+y2)=(x2+2px+p2)+(y2+2qy+q2)px+qy=0√(p−x)2+(q−y)2=√(x+p)2+(y+q)2(p−x)2+(q−y)2=(x+p)2+(y+q)2(p2−2px+x2)+(q2−2qy+y2)=(x2+2px+p2)+(y2+2qy+q2)px+qy=0
となり、これを満たすx、yは
x=−kq,y=kp または x=kq,y=−kp(k:任意の実数)x=−kq,y=kp または x=kq,y=−kp(k:任意の実数)
となります。すなわち(-kq, kp)または(kq, -kp)となる点ということです。
したがって、直線lの傾きはqpqpであるのに対しlに直交する直線の傾きは
x=−kq,y=kpのときkp−kq=−pqx=kq,y=−kpのとき−kpkq=−pqx=−kq,y=kpのときkp−kq=−pqx=kq,y=−kpのとき−kpkq=−pq
となるので、互いに直交する直線の傾きの積は
pq×(−qp)=−1pq×(−qp)=−1
となることがわかります。
2. 半径の等しい2円の交点を利用
 |
| 図3 半径の等しい2円の交点 |
原点を通る直線l上に原点以外の点(p, q)と原点に関して対称な点(-p, -q)をおきます。
この2点を中心とする半径の等しい円(x−p)2+(y−q)2=r2と(x+p)2+(y+q)2=r2(r≧√p2+q2)(x−p)2+(y−q)2=r2と(x+p)2+(y+q)2=r2(r≧√p2+q2)を考えます。
1. と同様に円の中心と2円の交点によって二等辺三角形ができ、円の半径を変化させることで直線lに直交する直線の軌跡を求めることができます。
2円の交点を求める方程式は
(x−p)2+(y−q)2=(x+p)2+(y+q)2(x2−2px+p2)+(y2−2qy+q2)=(x2+2px+p2)+(y2+2qy+q2)px+qy=0(x−p)2+(y−q)2=(x+p)2+(y+q)2(x2−2px+p2)+(y2−2qy+q2)=(x2+2px+p2)+(y2+2qy+q2)px+qy=0
となり、これを満たすx、yは
x=−kq,y=kp または x=kq,y=−kp(k:任意の実数)x=−kq,y=kp または x=kq,y=−kp(k:任意の実数)
となるため、2円の交点の座標はk≠0k≠0のとき(-kq, kp)、(kq, -kp)、k=0k=0のとき(0, 0)と求まります。
原点を通ること、xとyの値がともにk倍され比例の関係にあることから2円の交点の軌跡は確かに原点を通る直線であることがわかります。
以上より直線lに直交する直線の傾きは
x=−kq,y=kpのときkp−kq=−pqx=kq,y=−kpのとき−kpkq=−pqx=−kq,y=kpのときkp−kq=−pqx=kq,y=−kpのとき−kpkq=−pq
となるため、互いに直交する直線の傾きの積は
qp×(−pq)=−1qp×(−pq)=−1
となることがわかります。
3. 三角関数を利用
 |
| 図4 三角関数を利用 |
原点を通る直線lと原点を中心とする半径1の円Ox2+y2=1を描きます。
直線lとx軸のなす角をθとすると直線lと円Oの交点の1つは&(\cos\theta,\sin\theta)&となるため、直線lと直交する直線と円Oの交点の1つは(cos(90∘+θ),sin(90∘+θ))と表せます。
三角関数の性質より
cos(90∘+θ)=−sinθsin(90∘+θ))=cosθ
となるので、
(cos(90∘+θ),sin(90∘+θ))=(−sinθ,cosθ)
です。
したがって、直線lの傾きは
sinθcosθ=tanθ
直線lに直交する直線の傾きは
sin(90∘+θ)cos(90∘+θ)=cosθ−sinθ=−1tanθ
となるので、この2直線の傾きの積は
tanθ×(−1tanθ)=−1
となることがわかります。
4. ベクトルを利用
 |
| 図5 ベクトルを利用 |
原点を通る直線l上に点(p, q)をとり、これを成分とする→A=(p,q)と、このベクトルに垂直な→B=(x,y)を考えます。
するとこの2つのベクトルの内積は
→A⋅→B=px+qy=0
となり、これを満たすx, yは
x=−kq,y=kp または x=kq,y=−kp(k:任意の実数)
となります。
したがって、→B=(−kq,kp)または→B=(kq,−kp)となりますが、(−kq,kp)=−(kq,−kp)なので、互いに向きが逆であるだけで同一直線上にあります。
ベクトルの成分は始点を原点としたときの終点の座標なので、→Bの軌跡は原点を通る直線lに直交する直線であることがわかります。
以上より直線lに直交する直線の傾きは
x=−kq,y=kpのときkp−kq=−pqx=kq,y=−kpのとき−kpkq=−pq
となるため、互いに直交する直線の傾きの積は
qp×(−pq)=−1
となることがわかります。
以上のように様々な方法で調べてみると2直線（1次関数）が互いに直交するための条件とは、2直線の傾きの積が−1となることがわかります。
直線の傾きにばかり言及して直線の方程式に触れていませんが、原点と(p, q)を通る直線l（3. の場合はcosθ=p,sinθ=qとして）は
qpx−y=0qx−py=0
直線lに直交する直線は(-q, p)、(q, -p)を通るので
−p−pq−(−q)(x−q)−y−p=0px+qy=0
で表されます。
また、前提で述べたとおり原点を通る直線の直交するための条件は、平行線の性質によりあらゆる直線に対し適用できるので、任意の実数r、sをもちいてqx−py+r=0とpx+qy+s=0もまた直交することがわかります。
.png)
