図形の相似

300px|thumb|相似な図形を同じ色で示してある
2つの図形  と  が**相似**（そうじ、）であるとは、一方を適当に点スケール変換（拡大 () または縮小 ()）して他方と合同になる（すなわち、有限回の平行移動、回転移動、対称移動により重なる）ことである。それらの「形」が等しいことであるとも言い換えられる。

記号では、欧米では  と表すが、日本では「∼」でなく S を横に倒したような記号「∽」で表すことが多い。「∼」「∽」のいずれもゴットフリート・ライプニッツが発明したと言われる。

 を 倍-点スケール変換して  と合同になるとき、 を  と  の**相似比**という。相似な図形の対応する線分（辺）の長さの比は一定であり、相似比に等しい。

直線図形（多角形など）においては、相似な図形の対応する角度の大きさは等しくなる。

図形の相似の概念は図形の合同（ の場合）の拡張であるが、それらを区別するため、図形の相似の定義から図形の合同を除く流儀もある。あまり本質的ではないので、本稿では  の場合も相似の定義に含めることとする。

## 例
;相似な図形の例
:直線, 正三角形, 直角二等辺三角形, 正方形, 正多角形, 円, 放物線, 双曲線, 正多面体, 球など
これらはそれぞれ、一方を適当な率で拡大または縮小し、適当に平行移動、回転、鏡映を施すと他方に重なる。このとき双方は形が同じであるが、大きさと向き（平面上では表裏）は異なる。
;相似とはいえない図形の例
:直角三角形, 二等辺三角形, ひし形, 長方形, 楕円, 双曲線, 角柱, 角錐, 円柱, 円錐など
適当な条件を加えると、それぞれ相似になる。

特に三角形においては、後述するように、相似となるための必要十分条件がよく知られている。

## 相似比

320px|thumb|図は、 の長方形を相似拡大して  の長方形になる様子を表している。その相似比は  で、面積比は  となっている。
相似な図形の対応する線分（辺）の長さの比は一定であり、これを相似比という。特に、相似比 1:1 の図形は合同である。

ある図形をr倍して別の図形と一致したら、それらの相似比は1:rになる。

相似な図形の面積比は相似比の2乗、相似な立体の体積比は相似比の3乗になる。

例えば、相似な立体の相似比が  ならば、表面積の比は 、体積比は  になる。

## 性質および条件
図形が相似であるとは、平たくいえば、「形」(shape) が同じで「大きさ」() が同じとは限らないことといえる。いわば、実物のものを地図に描くことになぞらえることができる（実物をある率で点縮小することとなる）。このことからも推察されるように、
#対応する辺の長さの比は全て互いに等しい
#対応する角の大きさは等しい
となる。特に、三角形について、△ABC と △DEF が相似 (△ABC ∽ △DEF) ならば、次の2つが成り立つ。
# =  =  
#∠BAC = ∠EDF, ∠CBA = ∠FED, ∠ACB = ∠DFE
逆に、2つの多角形が相似であるための条件は、これら2つを満たすことである。どちらか一方だけを満たしても、相似とは一般にはいえない（反例：正方形とひし形、正方形と長方形など）。

ただし、三角形の場合に限っては、次に示すようにもっと条件を弱めることができる。

### 三角形の相似条件
△ABC と △DEF が相似であるためには、上記の条件 1. と 2. 全てを満たす必要はない。いくつかの条件を満たせば他方の三角形の形が決まってしまうからである。条件の弱め方は以下の3種類である。

**二角相等 (''AA'')**：2組の角がそれぞれ等しければ、2つの三角形は互いに相似である。
:この条件を満たせば、残りの角の組も等しくなる。
**三辺比相等 (''SSS'')**：3組の辺の比が互いに等しければ、2つの三角形は互いに相似である。

**二辺比夾角相等 (''SAS'')**：2組の辺の比とその間の角がそれぞれ等しければ、2つの三角形は相似である。

## 距離空間における相似性
一般の距離空間におけるスケール変換（**相似変換**、）とは、任意の2点間の距離が一定のスカラー倍される変換のことである。すなわち、距離空間  とある定数  に対して、
:
を満たす  を 倍スケール変換という。*X* の図形（集合）*F* と *G* が**相似** (*similar*) であるとは、*F* のある *f* による像が *G* に等しいことと定義される。特に、回転も鏡映もせずに重なる場合の *f* を**相似拡大** ( あるいは**中心相似** () という。相似変換は相似拡大と等距変換の組み合わせである。したがって（ユークリッドの運動群 *E*(*n*) はアフィン群の部分群であるから）一般のユークリッド空間において相似変換はアフィン変換である。

実二次元の平面としてガウス平面を見れば、二次元の相似変換は *f*(*z*) = *az* + *b*（順相似変換）または *f*(*z*) = *a* + *b*（反相似変換） の形に表され、任意のアフィン変換は
:f(z)=az+b\bar{z} +c
の形に表される（ここで *a,* *b* および *c* は複素数である）

## 位相幾何学
位相幾何学において、集合に（距離函数を与える代わりに）相似性を与えることによって距離空間を構成することができる。ここでいう**相似性** () あるいは**類似度** () とは、2つの点が近接すればするほど値の大きくなる函数である（距離函数は反対で、点が近接するにつれて距離は小さくなる。この意味で距離は点の相違性 () を測るものである）。 

相似性の定義には（どの性質に重きをおくかによって）さまざまな流儀があるが、基本的には、*a*, *b* を任意の点として
#正定値性: *S* (*a*, *b*) ≥ 0.
#自己類似度 () の極大性: 
#**S (a*, *b*) ≤ S (*a*, *a*),
#**S (a*, *b*) = S (*a*, *a*) ⇔ *a* = *b*.
などを満たすものとして与えられる。ほかによく仮定される性質は、
***反射性** (): S (*a*, *b*) = S (*b*, *a*)
***有限性** (): S (*a*, *b*) d(f(x),f(y))=rd(x,y)
が成り立つ。これより条件の弱い（広義の）相似性が、たとえば写像 *f* が双リプシッツ連続で、スカラー *r* が（2点を十分近づける）極限における縮小因子として
:\lim \frac{d(f(x),f(y))}{d(x,y)} =r
を満たすといった条件で与えられる。この弱い形の相似性は、距離が位相幾何学的自己相似集合上の実効抵抗である場合などに用いられる。

距離空間 (*X*, *d*) の自己相似部分集合とは、*X* の部分集合 *K* であって、縮小因子 *r* を持つ相似変換 *f* の有限集合 {*f*} で
:\bigcup_{s\in S} f_s (K)=K
となる *X* のコンパクト集合が *K* のみとなるようなものが存在するものをいう。このような自己相似集合は次元 *D* の自己相似測度 *μ* を持つ。ここで次元 *D* は
:\sum_{s\in S} (r_s)^D=1
で与えられるもので、これは（常にではないが）多くの場合その集合のハウスドルフ次元およびに等しい。（*s* を動かしたときの）*f*(*K*) の重なりが「小さい」ならば、測度を
:\mu^D(f_{s_1}\circ f_{s_2} \circ \cdots \circ f_{s_n} (K))=(r_{s_1}\cdot r_{s_2}\cdots r_{s_n})^D
という簡単な形の式に表すことができる。

## 脚注

## 関連項目
*図形の合同
*ハミング距離（文字列の相似性を表す）
*反転幾何学
*
*比例
*
*相似探索
*数量分類学における類似度空間
*Homoeoid (shell of concentric, similar ellipsoids)

## 外部リンク
*Animated demonstration of similar triangles