MathLabs
定理証明済み

相似変換における距離と面積の倍率

内容

中心 II、比 k≠0k \neq 0 の相似変換 V(I,k)V_{(I, k)} のもとで、任意の2点 A,BA, B とその像 A′=V(I,k)(A)A' = V_{(I,k)}(A)、B′=V(I,k)(B)B' = V_{(I,k)}(B) について B′A′→=k BA→\overrightarrow{B'A'} = k\,\overrightarrow{BA} が成り立ち、したがって A′B′=∣k∣⋅ABA'B' = |k|\cdot AB となる。その結果、任意の三角形 ABCABC の面積は比の2乗倍になる: [A′B′C′]=k2⋅[ABC][A'B'C'] = k^2 \cdot [ABC]。

なぜ正しいのか?

すべての点が中心 II から同じ倍率 kk で遠ざかる(または近づく)ため、II と任意の2点 A,BA, B が作る三角形は放射状の2辺が一様に拡大縮小され、タレスの定理により第3の辺 A′B′A'B' は ABAB に平行なまま長さが ∣k∣|k| 倍になる。面積は2次元の量(底辺×高さ)であり、底辺と高さの両方が ∣k∣|k| 倍になるため、その積は ∣k∣⋅∣k∣=k2|k| \cdot |k| = k^2 倍になる。

証明の概略

相似変換の定義より、IA′→=k IA→\overrightarrow{IA'} = k\,\overrightarrow{IA} および IB′→=k IB→\overrightarrow{IB'} = k\,\overrightarrow{IB} である。1番目のベクトル方程式から2番目を引くと IA′→−IB′→=k(IA→−IB→)\overrightarrow{IA'} - \overrightarrow{IB'} = k(\overrightarrow{IA} - \overrightarrow{IB}) が得られる。

両辺にベクトルの差の規則 IA→−IB→=BA→\overrightarrow{IA} - \overrightarrow{IB} = \overrightarrow{BA} を適用すると、B′A′→=k BA→\overrightarrow{B'A'} = k\,\overrightarrow{BA} を得る。両ベクトルの長さをとれば直ちに A′B′=∣B′A′→∣=∣k∣⋅∣BA→∣=∣k∣⋅ABA'B' = |\overrightarrow{B'A'}| = |k| \cdot |\overrightarrow{BA}| = |k| \cdot AB となる。

次に任意の三角形 ABCABC を考える。CC から直線 ABAB への高さ hh は、CC とその ABAB 上への正射影 HH との距離である。相似変換は平行性と角度を保つため垂直性も保ち、したがって H′=V(I,k)(H)H' = V_{(I,k)}(H) は A′B′C′A'B'C' の垂線の足となる。よって底辺 A′B′=∣k∣⋅ABA'B' = |k|\cdot AB と高さ C′H′=∣k∣⋅CHC'H' = |k|\cdot CH はともに ∣k∣|k| 倍となり、[A′B′C′]=12A′B′⋅C′H′=∣k∣2⋅12AB⋅CH=k2⋅[ABC][A'B'C'] = \tfrac{1}{2} A'B' \cdot C'H' = |k|^2 \cdot \tfrac{1}{2} AB \cdot CH = k^2 \cdot [ABC] が得られる。

この定理を使うトピック

ステップごとの証明

この定理のステップごとの証明はまだありません。

参考文献

  1. H. S. M. Coxeter (1969). Introduction to Geometry
  2. Wikipedia contributors (2026). Geometric transformation — Wikipedia