定理証明済み
平面におけるユークリッド距離の公式
内容
デカルト平面上の任意の二点 A(x1,y1) と B(x2,y2) に対して、その間の距離は AB=(x2−x1)2+(y2−y1)2 である。
なぜ正しいのか?
A と B から座標軸に平行な直線を引くと、二辺の長さが ∣x2−x1∣ と ∣y2−y1∣ の直角三角形ができるため、斜辺 AB はピタゴラスの定理からただちに導かれる。
証明の概略
A(x1,y1) と同じ第2座標 y1 を持ち、B(x2,y2) と同じ第1座標 x2 を持つ補助点 C(x2,y1) をとる。
線分 AC は第1軸に平行で長さは AC=∣x2−x1∣ であり、線分 CB は第2軸に平行で長さは CB=∣y2−y1∣ である。二つの座標軸は直交しているから ∠ACB=90∘ となる。
直角三角形 △ACB にピタゴラスの定理を適用すると AB2=AC2+CB2=∣x2−x1∣2+∣y2−y1∣2=(x2−x1)2+(y2−y1)2 が成り立つ。非負の平方根をとれば AB=(x2−x1)2+(y2−y1)2 が得られる(この式は x1=x2 または y1=y2 の退化した場合にも成り立つ)。
ステップごとの証明
この定理のステップごとの証明はまだありません。