図形の相似

2つの図形 F}} と G}} が相似であるとは、一方を適当に点スケール変換して他方と合同になることである。それらの「形」が等しいことであるとも言い換えられる。

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

F}} を r}}倍-点スケール変換して G}} と合同になるとき、1 : //r//}} を F}} と G}} の相似比という。相似な図形の対応する線分の長さの比は一定であり、相似比に等しい。

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

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

1. 例
----

相似な図形の例直線, 正三角形, 直角二等辺三角形, 正方形, 正多角形, 円, 放物線, 直角双曲線, 正多面体, 球などこれらはそれぞれ、一方を適当な率で拡大または縮小し、適当に平行移動、回転、鏡映を施すと他方に重なる。このとき双方は形が同じであるが、大きさと向きは異なる。

相似とはいえない図形の例直角三角形, 二等辺三角形, ひし形, 長方形, 楕円, 双曲線, 角柱, 角錐, 円柱, 円錐など適当な条件を加えると、それぞれ相似になる。

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

2. 相似比
------

相似な図形の対応する線分の長さの比は一定であり、これを相似比という。特に、相似比 1:1 の図形は合同である。

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

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

例えば、相似な立体の相似比が 1 : 2 : 3}} ならば、表面積の比は 1 : 4 : 9}}、体積比は 1 : 8 : 27}} になる。

3. 性質および条件
----------

図形が相似であるとは、平たくいえば、「形」 が同じで「大きさ」 が同じとは限らないことといえる。いわば、実物のものを地図に描くことになぞらえることができる。このことからも推察されるように、

対応する辺の長さの比は全て互いに等しい
対応する角の大きさは等しいとなる。特に、三角形について、△ABC と △DEF が相似  ならば、次の2つが成り立つ。

AB = BC = CA
∠BAC = ∠EDF, ∠CBA = ∠FED, ∠ACB = ∠DFE逆に、2つの多角形が相似であるための条件は、これら2つを満たすことである。どちらか一方だけを満たしても、相似とは一般にはいえない。

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

3.1. 三角形の相似条件
-------------

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

二角相等 ：2組の角がそれぞれ等しければ、2つの三角形は互いに相似である。

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

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

4. 距離空間における相似性
--------------

一般の距離空間におけるスケール変換とは、任意の2点間の距離が一定のスカラー倍される変換のことである。すなわち、距離空間 }} とある定数 //r// ≠ 0}} に対して、

を満たす //f// : //X// → //X//}} を r}}倍スケール変換という。//X// の図形//F// と //G// が相似  であるとは、//F// のある //f// による像が //G// に等しいことと定義される。特に、回転も鏡映もせずに重なる場合の //f// を相似拡大  という。相似変換は相似拡大と等距変換の組み合わせである。したがって一般のユークリッド空間において相似変換はアフィン変換である。

実二次元の平面としてガウス平面を見れば、二次元の相似変換は //f// = //az// + //b//または //f// = //a'z//}} + //b// の形に表され、任意のアフィン変換は

の形に表される

5. 位相幾何学
--------

位相幾何学において、集合に相似性を与えることによって距離空間を構成することができる。ここでいう相似性  あるいは類似度  とは、2つの点が近接すればするほど値の大きくなる函数である。

相似性の定義にはさまざまな流儀があるが、基本的には、//a//, //b// を任意の点として

正定値性: //S//  ≥ 0.
自己類似度  の極大性:
//S// ≤ //S//,
//S// = //S// ⇔ //a// = //b//.などを満たすものとして与えられる。ほかによく仮定される性質は、

反射性  : //S// = //S//
有限性  : //S// < ∞などである。また上限の値を 1 にすることもよく行われる。

6. 自己相似
-------

6.1. 自己相似性
----------

パターンが自己相似性を持つとは、それが自分自身と非自明に相似であることである。たとえば数列 {... , 0.5, 0.75, 1, 1.5, 2, 3, 4, 6, 8, 12, ...} は対数スケールでプロットすると並進対称性を持つ。

6.2. 自己相似集合
-----------

一般の距離空間  において狭義の相似性 en とは距離空間 //X// からそれ自身への写像であって、任意の距離を特定の同じスカラー //r// -倍するものをいう。任意の2点 //x//, //y// についてが成り立つ。これより条件の弱い相似性が、たとえば写像 //f// が双リプシッツ連続で、スカラー //r// が極限における縮小因子として

を満たすといった条件で与えられる。この弱い形の相似性は、距離が位相幾何学的自己相似集合上の実効抵抗である場合などに用いられる。

距離空間  の自己相似部分集合とは、//X// の部分集合 //K// であって、縮小因子 //rs}}// を持つ相似変換 //fs}}// の有限集合 s}}//}//s// ∈//S//}} で//

となる //X// のコンパクト集合が //K// のみとなるようなものが存在するものをいう。このような自己相似集合は次元 //D// の自己相似測度 //μ'D//}} を持つ。ここで次元 //D// は

で与えられるもので、これは多くの場合その集合のハウスドルフ次元およびパッキング次元に等しい。//f's//}} の重なりが「小さい」ならば、測度を

という簡単な形の式に表すことができる。

7. 脚注
-----

8. 関連項目
-------

図形の合同
ハミング距離
反転幾何学
比例
相似探索
数量分類学における類似度空間
Homoeoid 

9. 外部リンク
--------

[1]