二点間の距離

座標平面上の 22 点間の距離は、三平方の定理で求められます。ここでは A(1,2)A(1, 2)B(4,6)B(4, 6) の距離を求めます。

三平方の定理から

AA から BB へは、横に 41=34 - 1 = 3、縦に 62=46 - 2 = 4 だけ移動します。この横の差と縦の差を 22 辺とする直角三角形を考えると、AABB を結ぶ線分はその斜辺にあたります。

AB=32+42=25=5AB = \sqrt{3^2 + 4^2} = \sqrt{25} = 5

距離は 55 です。辺の比が 3:4:53 : 4 : 5 の、よく知られた直角三角形が現れています。

一般の式

一般に、22(x1,y1)(x_1, y_1)(x2,y2)(x_2, y_2) の距離は、横の差と縦の差を使って次の式で計算できます。

(x2x1)2+(y2y1)2\sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2}

差は 22 乗するので、x2x1x_2 - x_1 が負でも結果は変わりません。AABB のどちらを先に書いても同じ距離が出る、ということです。とくに原点からの距離は x2+y2\sqrt{x^2 + y^2} で、これは数直線での絶対値 x|x| を平面へ広げたものにあたります。

中点

同じ 22 点から、線分の中点も求まります。中点の座標は xx どうし、yy どうしの平均です。

(1+42,2+62)=(52,4)\left( \frac{1 + 4}{2}, \frac{2 + 6}{2} \right) = \left( \frac{5}{2}, 4 \right)

円の方程式とのつながり

この距離の式は、そのまま円の定義につながります。中心 (a,b)(a, b) から距離が rr である点 (x,y)(x, y) の集まりが円ですから、(xa)2+(yb)2=r\sqrt{(x - a)^2 + (y - b)^2} = r となり、両辺を 22 乗して次の式が得られます。

(xa)2+(yb)2=r2(x - a)^2 + (y - b)^2 = r^2

円の方程式は、距離の式を書き直したものにすぎません。

三角形の形を調べる

33 点が作る三角形の形を調べるときも、まず 33 辺の長さをこの式で求めます。A(0,0)A(0, 0)B(4,0)B(4, 0)C(0,3)C(0, 3) で計算すると次のようになります。

計算長さ
ABAB42+02\sqrt{4^2 + 0^2}44
ACAC02+32\sqrt{0^2 + 3^2}33
BCBC(4)2+32\sqrt{(-4)^2 + 3^2}55

いちばん長い辺 BCBC について 42+32=524^2 + 3^2 = 5^2 が成り立つので、この三角形は直角三角形です(三平方の定理の逆)。22 辺の長さが等しければ二等辺三角形、33 辺が等しければ正三角形と分かります。

空間への拡張

空間へ広げるのも簡単で、33 次元では zz の差の 22 乗を足すだけです。

(x2x1)2+(y2y1)2+(z2z1)2\sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2 + (z_2 - z_1)^2}

この距離はユークリッド距離と呼ばれ、いちばん近いデータをさがす最近傍探索など、応用でも基本の道具になっています。距離が 00 になるのは 22 点が完全に一致するときだけで、それ以外ではつねに正の値です。

グラフの大きな点が A(1,2)A(1, 2)B(4,6)B(4, 6) で、この 22 点を結ぶ線分の長さが求めた距離 55 です。