三角形の相似条件とは、2つの三角形が相似であることを示すための条件です。 このページでは、図と共に3つの相似条件を示しています。 また、三角形が相似であることを示す簡単な証明問題の解説をしています。. 三角形の相似条件は、相似を証明する問題ではもちろん、辺の長さや角度を求める問題でも利用することがあります。 合同条件と似ていますが、辺についてはあくまでも「比」が等しいという点に注意しましょう。 それぞれの相似条件を詳しく見てみましょう。 ① 3 組の辺の比がそれぞれ等しい
2つの図形 F と G が相似（そうじ、英: similar）であるとは、一方を適当に点スケール変換（拡大 (enlarging) または縮小 (shrinking)）して他方と合同になる（すなわち、有限回の平行移動、回転移動、対称移動により重なる）ことである。それらの「形」が等しいことであるとも言い換えられる。
記号では、欧米では F ∼ G と表すが、日本では「∼」でなく S を横に倒したような記号「∽」で表すことが多い。「∼」「∽」のいずれもゴットフリート・ライプニッツが発明したと言われる。
F を r倍-点スケール変換して G と合同になるとき、1 : r を F と G の相似比という。相似な図形の対応する線分（辺）の長さの比は一定であり、相似比に等しい。
直線図形（多角形など）においては、相似な図形の対応する角度の大きさは等しくなる。
図形の相似の概念は図形の合同（r = 1 の場合）の拡張であるが、それらを区別するため、図形の相似の定義から図形の合同を除く流儀もある。あまり本質的ではないので、本稿では r = 1 の場合も相似の定義に含めることとする。
例
相似な図形の例
直線, 正三角形, 直角二等辺三角形, 正方形, 正多角形, 円, 放物線, 双曲線, 正多面体, 球など
これらはそれぞれ、一方を適当な率で拡大または縮小し、適当に平行移動、回転、鏡映を施すと他方に重なる。このとき双方は形が同じであるが、大きさと向き（平面上では表裏）は異なる。
相似とはいえない図形の例
直角三角形, 二等辺三角形, ひし形, 長方形, 楕円, 双曲線, 角柱, 角錐, 円柱, 円錐など
適当な条件を加えると、それぞれ相似になる。
特に三角形においては、後述するように、相似となるための必要十分条件がよく知られている。
相似比
相似な図形の対応する線分（辺）の長さの比は一定であり、これを相似比という。特に、相似比 1:1 の図形は合同である。
ある図形をr倍して別の図形と一致したら、それらの相似比は
1
:
r
{\displaystyle 1:r}
になる。
相似な図形の面積比は相似比の2乗、相似な立体の体積比は相似比の3乗になる。
例えば、相似な立体の相似比が 1 : 2 : 3 ならば、表面積の比は 1 : 4 : 9、体積比は 1 : 8 : 27 になる。
性質および条件
図形が相似であるとは、平たくいえば、「形」(shape) が同じで「大きさ」(scale) が同じとは限らないことといえる。いわば、実物のものを地図に描くことになぞらえることができる（実物をある率で点縮小することとなる）。このことからも推察されるように、
- 対応する辺の長さの比は全て互いに等しい
- 対応する角の大きさは等しい
となる。特に、三角形について、△ABC と △DEF が相似 (△ABC ∽ △DEF) ならば、次の2つが成り立つ。
- AB/DE = BC/EF = CA/FD
- ∠BAC = ∠EDF, ∠CBA = ∠FED, ∠ACB = ∠DFE
逆に、2つの多角形が相似であるための条件は、これら2つを満たすことである。どちらか一方だけを満たしても、相似とは一般にはいえない（反例：正方形とひし形、正方形と長方形など）。
ただし、三角形の場合に限っては、次に示すようにもっと条件を弱めることができる。
三角形の相似条件
△ABC と △DEF が相似であるためには、上記の条件 1. と 2. 全てを満たす必要はない。いくつかの条件を満たせば他方の三角形の形が決まってしまうからである。条件の弱め方は以下の3種類である。
二角相等 (AA)：2組の角がそれぞれ等しければ、2つの三角形は互いに相似である。
この条件を満たせば、残りの角の組も等しくなる。
三辺比相等 (SSS)：3組の辺の比が互いに等しければ、2つの三角形は互いに相似である。
二辺比夾角相等 (SAS)：2組の辺の比とその間の角がそれぞれ等しければ、2つの三角形は相似である。
距離空間における相似性
一般の距離空間におけるスケール変換（相似変換、similarity transformation）とは、任意の2点間の距離が一定のスカラー倍される変換のことである。すなわち、距離空間 (X, d) とある定数 r ≠ 0 に対して、
d(f(x), f(y)) = rd(x, y) (x, y ∈ X)
を満たす f : X → X を r倍スケール変換という。X の図形（集合）F と G が相似 (similar) であるとは、F のある f による像が G に等しいことと定義される。特に、回転も鏡映もせずに重なる場合の f を相似拡大 (homothetic transformation あるいは中心相似 (central similarity) という。相似変換は相似拡大と等距変換の組み合わせである。したがって（ユークリッドの運動群 E(n) はアフィン群の部分群であるから）一般のユークリッド空間において相似変換はアフィン変換である。
実二次元の平面としてガウス平面を見れば、二次元の相似変換は f(z) = az + b（順相似変換）または f(z) = az + b（反相似変換） の形に表され、任意のアフィン変換は
f
(
z
)
=
a
z
+
b
z
¯
+
c
{\displaystyle f(z)=az+b{\bar {z}}+c}
の形に表される（ここで a, b および c は複素数である）
位相幾何学
位相幾何学において、集合に（距離函数を与える代わりに）相似性を与えることによって距離空間を構成することができる。ここでいう相似性 (similarity) あるいは類似度 (similitude) とは、2つの点が近接すればするほど値の大きくなる函数である（距離函数は反対で、点が近接するにつれて距離は小さくなる。この意味で距離は点の相違性 (dissimilarity) を測るものである）。
相似性の定義には（どの性質に重きをおくかによって）さまざまな流儀があるが、基本的には、a, b を任意の点として
- 正定値性: S (a, b) ≥ 0.
- 自己類似度 (auto-similarity) の極大性:
- S (a, b) ≤ S (a, a),
- S (a, b) = S (a, a) ⇔ a = b.
などを満たすものとして与えられる。ほかによく仮定される性質は、
- 反射性 (reflectivity): S (a, b) = S (b, a)
- 有限性 (finiteness): S (a, b) < ∞
などである。また（類似度の確率的な解釈の余地を得るために）上限の値を 1 にすることもよく行われる。
自己相似
自己相似性
パターンが自己相似性を持つとは、それが自分自身と非自明に相似であることである。たとえば数列 {…, 0.5, 0.75, 1, 1.5, 2, 3, 4, 6, 8, 12, …} は対数スケールでプロットすると並進対称性を持つ。
自己相似集合
一般の距離空間 (X, d) において狭義の相似性 (exact similitude) とは距離空間 X からそれ自身への写像であって、任意の距離を特定の同じ（f の縮小因子 (contraction factor) と呼ばれる）スカラー r -倍するものをいう。任意の2点 x, y について
d
(
f
(
x
)
,
f
(
y
)
)
=
r
d
(
x
,
y
)
{\displaystyle d(f(x),f(y))=rd(x,y)}
が成り立つ。これより条件の弱い（広義の）相似性が、たとえば写像 f が双リプシッツ連続で、スカラー r が（2点を十分近づける）極限における縮小因子として
lim
d
(
f
(
x
)
,
f
(
y
)
)
d
(
x
,
y
)
=
r
{\displaystyle \lim {\frac {d(f(x),f(y))}{d(x,y)}}=r}
を満たすといった条件で与えられる。この弱い形の相似性は、距離が位相幾何学的自己相似集合上の実効抵抗である場合などに用いられる。
距離空間 (X, d) の自己相似部分集合とは、X の部分集合 K であって、縮小因子 rs を持つ相似変換 fs の有限集合 {fs}s ∈S で
⋃
s
∈
S
f
s
(
K
)
=
K
{\displaystyle \bigcup _{s\in S}f_{s}(K)=K}
となる X のコンパクト集合が K のみとなるようなものが存在するものをいう。このような自己相似集合は次元 D の自己相似測度 μD を持つ。ここで次元 D は
∑
s
∈
S
(
r
s
)
D
=
1
{\displaystyle \sum _{s\in S}(r_{s})^{D}=1}
で与えられるもので、これは（常にではないが）多くの場合その集合のハウスドルフ次元およびパッキング次元に等しい。（s を動かしたときの）fs(K) の重なりが「小さい」ならば、測度を
μ
D
(
f
s
1
∘
f
s
2
∘
⋯
∘
f
s
n
(
K
)
)
=
(
r
s
1
⋅
r
s
2
⋯
r
s
n
)
D
{\displaystyle \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
相似とは？記号や性質、三角形の相似条件、証明問題も解説！ 受験辞典
三角形の相似条件！証明の練習になる簡単な問題を紹介！ 中学や高校の数学の計算問題
三角形の相似条件を使った証明のしかた
【中3数学】「三角形の相似条件2（2辺の比とその間の角）」(練習編) 映像授業のTry IT (トライイット)
【中3数学】「三角形の相似条件2（2辺の比とその間の角）」(練習編) 映像授業のTry IT (トライイット)
中3数学｜相似な三角形の解き方とコツ 教科書より詳しい中学数学
【図形】三角形の相似の定義と相似の3つの条件【中2数学】 のんびりと「なんで？」を探すブログ
中3数学｜相似な三角形の解き方とコツ 教科書より詳しい中学数学
三角形の相似条件が見やすい図で一発理解できる！練習問題付き｜高校生向け受験応援メディア「受験のミカタ」
三角形相似面積比問題 相似比と面積比の関係 HRURVM
2分でわかる！三角形の3つの相似条件 tomo
相似とは？記号や性質、三角形の相似条件、証明問題も解説！ 受験辞典
三角形の相似性 科学
相似とは？記号や性質、三角形の相似条件、証明問題も解説！ 受験辞典
三角形の相似性 科学
相似の関係三角形 三角形の相似条件 なぜ DMPME
三角形の相似条件と証明問題の解き方｜数学FUN
相似の基本⑥ 直角三角形と相似 YouTube
相似とは？記号や性質、三角形の相似条件、証明問題も解説！ 受験辞典
PPT 相似条件と証明 PowerPoint Presentation, free download ID6099365
相似な図形は比か角に注目するのがポイントであり、相似証明は2組の辺の比など3つの条件のいずれかを導くのが重要です。 今回は、三角形の相似条件の証明の書き方や相似な図形を見つけるコツなどについてご紹介します。. 1：必ず覚えよう!3つの相似条件 三角形の相似条件は全部で3つあります。 相似条件は3つとも必ず暗記するようにしてください! ※「相似」とは、形を変えずに拡大縮小した図形のことです。つまり、三角形の相似条件とは、「2つの三角形の形が全く同じになるための条件」ということです.
