定理証明済み
相似変換における距離と面積の倍率
内容
中心 I、比 k=0 の相似変換 V(I,k) のもとで、任意の2点 A,B とその像 A′=V(I,k)(A)、B′=V(I,k)(B) について B′A′=kBA が成り立ち、したがって A′B′=∣k∣⋅AB となる。その結果、任意の三角形 ABC の面積は比の2乗倍になる: [A′B′C′]=k2⋅[ABC]。
なぜ正しいのか?
すべての点が中心 I から同じ倍率 k で遠ざかる(または近づく)ため、I と任意の2点 A,B が作る三角形は放射状の2辺が一様に拡大縮小され、タレスの定理により第3の辺 A′B′ は AB に平行なまま長さが ∣k∣ 倍になる。面積は2次元の量(底辺×高さ)であり、底辺と高さの両方が ∣k∣ 倍になるため、その積は ∣k∣⋅∣k∣=k2 倍になる。
証明の概略
相似変換の定義より、IA′=kIA および IB′=kIB である。1番目のベクトル方程式から2番目を引くと IA′−IB′=k(IA−IB) が得られる。
両辺にベクトルの差の規則 IA−IB=BA を適用すると、B′A′=kBA を得る。両ベクトルの長さをとれば直ちに A′B′=∣B′A′∣=∣k∣⋅∣BA∣=∣k∣⋅AB となる。
次に任意の三角形 ABC を考える。C から直線 AB への高さ h は、C とその AB 上への正射影 H との距離である。相似変換は平行性と角度を保つため垂直性も保ち、したがって H′=V(I,k)(H) は A′B′C′ の垂線の足となる。よって底辺 A′B′=∣k∣⋅AB と高さ C′H′=∣k∣⋅CH はともに ∣k∣ 倍となり、[A′B′C′]=21A′B′⋅C′H′=∣k∣2⋅21AB⋅CH=k2⋅[ABC] が得られる。
ステップごとの証明
この定理のステップごとの証明はまだありません。