|
|
| Line 1: |
Line 1: |
| {{For|other uses|Similarity transformation (disambiguation){{!}}Similarity transformation|Similarity (disambiguation)}}
| | My name is Chance (44 years old) and my hobbies are Kayaking and Singing.<br><br>My webpage - Fifa 15 Coin Generator, [http://Get-The-Picture.org/?p=27 get-the-Picture.org], |
| | |
| [[Image:Similar-geometric-shapes.svg|thumb|300px|Figures shown in the same color are similar]]
| |
| Two geometrical objects are called '''similar''' if they both have the same [[shape]], or one has the same shape as the mirror image of the other. More precisely, one can be obtained from the other by uniformly [[Scaling (geometry)|scaling]] (enlarging or shrinking), possibly with additional [[Translation (geometry)|translation]], [[Rotation (mathematics)|rotation]] and [[Reflection (mathematics)|reflection]]. This means that either object can be rescaled, repositioned, and reflected, so as to coincide precisely with the other object. If two objects are similar, each is [[congruence (geometry)|congruent]] to the result of a uniform scaling of the other.
| |
| | |
| For example, all [[circle]]s are similar to each other, all [[square (geometry)|square]]s are similar to each other, and all [[equilateral triangles]] are similar to each other. On the other hand, [[ellipse]]s are ''not'' all similar to each other, ''nor'' are [[hyperbola]]s all similar to each other.
| |
| | |
| If two angles of a triangle have measures equal to the measures of two angles of another triangle, then the triangles are similar. Corresponding sides of similar polygons are in proportion, and corresponding angles of similar polygons have the same measure.
| |
| | |
| This article assumes that a scaling can have a scale factor of 1, so that all congruent shapes are also similar, but some school text books specifically exclude congruent triangles from their definition of similar triangles by insisting that the sizes must be different to qualify as similar.
| |
| | |
| ==Similar triangles==
| |
| Two triangles <math>\triangle ABC</math> and <math>\triangle DEF</math> are said to be similar if any of the following equivalent conditions hold:
| |
| | |
| 1. They have two identical angles, which implies that their angles are all identical. For instance:
| |
| | |
| : <math> \angle BAC</math> is equal in measure to <math>\angle EDF</math>, and <math>\angle ABC</math> is equal in measure to <math>\angle DEF</math>. This also implies that <math>\angle ACB</math> is equal in measure to <math>\angle DFE</math>.
| |
| | |
| 2. Corresponding sides have lengths in the same ratio:
| |
| | |
| : <math> {AB \over DE} = {BC \over EF} = {AC \over DF}</math>. This is equivalent to saying that one triangle (or its mirror image) is an [[Homothetic transformation|enlargement]] of the other.
| |
| | |
| 3. Two sides have lengths in the same ratio, and the angles included between these sides have the same measure. For instance:
| |
| : <math> {AB \over DE} = {BC \over EF} </math> and <math>\angle ABC</math> is equal in measure to <math>\angle DEF</math>.
| |
| | |
| When two triangles <math>\triangle ABC</math> and <math>\triangle DEF</math> are similar, one writes
| |
| | |
| :<math>\triangle ABC\sim\triangle DEF \, </math>
| |
| or
| |
| :<math>\triangle ABC \, ||| \,\triangle DEF \, </math>
| |
| | |
| ==Other similar polygons==
| |
| | |
| The concept of similarity extends to [[polygon]]s with more than three sides. Given any two similar polygons, corresponding sides taken in the same sequence (even if clockwise for one polygon and counterclockwise for the other) are [[Proportionality (mathematics)|proportional]] and corresponding angles taken in the same sequence are equal in measure. However, proportionality of corresponding sides is not by itself sufficient to prove similarity for polygons beyond triangles (otherwise, for example, all [[rhombus|rhombi]] would be similar). Likewise, equality of all angles in sequence is not sufficient to guarantee similarity (otherwise all [[rectangle]]s would be similar). A sufficient condition for similarity of polygons is that corresponding sides and diagonals are proportional.
| |
| | |
| ==Similar curves==
| |
| | |
| Several types of curves have the property that all examples of that type are similar to each other. These include:
| |
| *[[Circle]]s
| |
| *[[Parabola]]s
| |
| *[[Hyperbola]]s of a specific [[eccentricity (mathematics)|eccentricity]]
| |
| *[[Ellipse]]s of a specific eccentricity
| |
| *[[Catenary|Catenaries]]
| |
| *Graphs of the [[logarithm]] function for different bases
| |
| *Graphs of the [[exponential function]] for different bases
| |
| *[[Logarithmic spiral]]s
| |
| | |
| ==Similarity in Euclidean space==
| |
| | |
| One of the meanings of the terms '''similarity''' and '''similarity transformation''' (also called [[Scaling (geometry)|dilation]]) of a [[Euclidean space]] is a [[function (mathematics)|function]] ''f'' from the space into itself that multiplies all distances by the same positive [[scalar (mathematics)|scalar]] ''r'', so that for any two points ''x'' and ''y'' we have
| |
| | |
| :<math>d(f(x),f(y)) = r d(x,y), \, </math> | |
| | |
| where "''d''(''x'',''y'')" is the [[Euclidean distance]] from ''x'' to ''y''. Two sets are called '''similar''' if one is the image of the other under such a similarity.
| |
| | |
| A special case is a [[homothetic transformation]] or central similarity: it neither involves rotation nor taking the mirror image. A similarity is a composition of a homothety and an orthogonal transformation. Therefore, in general Euclidean spaces every similarity is an [[affine transformation]], because the [[Euclidean group]] ''E(n)'' is a subgroup of the [[affine group]].
| |
| | |
| Viewing the [[complex number|complex plane]] as a 2-dimensional space over the [[real number|reals]], the 2D similarity transformations expressed in terms of complex arithmetic are <math>f(z)=az+b</math> and <math>f(z)=a\overline z+b</math> where ''a'' and ''b'' are complex numbers, ''a'' ≠ 0.
| |
| | |
| ==Galileo's square-cube law==
| |
| {{Main|Square-cube law}}
| |
| The ratio between the areas of similar figures is equal to the square of the ratio of corresponding lengths of those figures (for example, when the side of a square or the radius of a circle is multiplied by two, its area is multiplied by four — i.e. by two squared).
| |
| | |
| The ratio between the volumes of similar figures is equal to the cube of the ratio of corresponding lengths of those figures (for example, when the edge of a cube or the radius of a sphere is multiplied by two, its volume is multiplied by eight — i.e. by two cubed). | |
| | |
| ==Similarity in general metric spaces==
| |
| | |
| [[Image:Sierpinski triangle (blue).jpg|thumb|300px|[[Sierpinski triangle]]. A space having self-similarity dimension ln 3 / ln 2 = log<sub>2</sub>3, which is approximately 1.58. (from [[Hausdorff dimension]].)]]
| |
| | |
| In a general [[metric space]] (''X'', ''d''), an exact '''similitude''' is a [[function (mathematics)|function]] ''f'' from the metric space X into itself that multiplies all distances by the same positive [[scalar (mathematics)|scalar]] ''r'', called f's contraction factor, so that for any two points ''x'' and ''y'' we have
| |
| | |
| :<math>d(f(x),f(y)) = r d(x,y).\, \,</math>
| |
| | |
| Weaker versions of similarity would for instance have ''f'' be a bi-[[Lipschitz continuity|Lipschitz]] function and the scalar ''r'' a limit
| |
| | |
| :<math>\lim \frac{d(f(x),f(y))}{d(x,y)} = r. </math>
| |
| | |
| This weaker version applies when the metric is an effective resistance on a topologically self-similar set.
| |
| | |
| A self-similar subset of a metric space (''X'', ''d'') is a set ''K'' for which there exists a finite set of similitudes <math>\{ f_s \}_{s\in S}</math> with contraction factors <math>0\leq r_s < 1 </math> such that ''K'' is the unique compact subset of ''X'' for which
| |
| | |
| :<math>\bigcup_{s\in S} f_s(K)=K. \,</math>
| |
| | |
| These self-similar sets have a self-similar [[Measure (mathematics)|measure]] <math>\mu^D</math>with dimension ''D'' given by the formula
| |
| | |
| :<math>\sum_{s\in S} (r_s)^D=1 \, </math>
| |
| | |
| which is often (but not always) equal to the set's [[Hausdorff dimension]] and [[packing dimension]]. If the overlaps between the <math>f_s(K)</math> are "small", we have the following simple formula for the measure:
| |
| | |
| :<math>\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.\,</math>
| |
| | |
| ==Topology==
| |
| In [[topology]], a [[metric space]] can be constructed by defining a '''similarity''' instead of a [[distance]]. The similarity is a function such that its value is greater when two points are closer (contrary to the distance, which is a measure of '''dissimilarity:''' the closer the points, the lesser the distance).
| |
| | |
| The definition of the similarity can vary among authors, depending on which properties are desired. The basic common properties are
| |
| # Positive defined: <math>\forall (a,b), S(a,b)\geq 0</math>
| |
| # Majored by the similarity of one element on itself ('''auto-similarity'''): <math>S (a,b) \leq S (a,a)</math> and <math>\forall (a,b), S (a,b) = S (a,a) \Leftrightarrow a=b</math>
| |
| | |
| More properties can be invoked, such as '''reflectivity''' (<math>\forall (a,b)\ S (a,b) = S (b,a)</math>) or '''finiteness''' (<math>\forall (a,b)\ S(a,b) < \infty</math>). The upper value is often set at 1 (creating a possibility for a probabilistic interpretation of the similitude).
| |
| | |
| ==Self-similarity==
| |
| [[Self-similarity]] means that a pattern is '''non-trivially similar''' to itself, e.g., the set {.., 0.5, 0.75, 1, 1.5, 2, 3, 4, 6, 8, 12, ..}. When this set is plotted on a [[logarithmic scale]] it has [[translational symmetry]].
| |
| | |
| ==See also==
| |
| * [[Congruence (geometry)]]
| |
| * [[Hamming distance]] (string or sequence similarity)
| |
| * [[Inversive geometry#Dilations|inversive geometry]]
| |
| * [[Jaccard index]]
| |
| * [[Proportionality (mathematics)|Proportionality]]
| |
| * [[Semantic similarity]]
| |
| * [[Nearest neighbor search|Similarity search]]
| |
| * [[Similarity space]] on [[Numerical taxonomy]]
| |
| * [[Homoeoid]] (shell of concentric, similar ellipsoids)
| |
| * [[Solution of triangles]]
| |
| | |
| ==References==
| |
| * Judith N. Cederberg (1989, 2001) ''A Course in Modern Geometries'', Chapter 3.12 Similarity Transformations, pp. 183–9, Springer ISBN 0-387-98972-2 .
| |
| * [[H.S.M. Coxeter]] (1961,9) ''Introduction to Geometry'', §5 Similarity in the Euclidean Plane, pp. 67–76, §7 Isometry and Similarity in Euclidean Space, pp 96–104, [[John Wiley & Sons]].
| |
| * Günter Ewald (1971) ''Geometry: An Introduction'', pp 106, 181, [[Wadsworth Publishing]].
| |
| * George E. Martin (1982) ''Transformation Geometry: An Introduction to Symmetry'', Chapter 13 Similarities in the Plane, pp. 136–46, Springer ISBN 0-387-90636-3 .
| |
| | |
| ==External links==
| |
| *[http://www.mathopenref.com/similartriangles.html Animated demonstration of similar triangles]
| |
| | |
| [[Category:Euclidean geometry]]
| |
| [[Category:Triangles]]
| |