Similarity (geometry)

Last updated
Similar figures SimilitudeL.svg
Similar figures

In Euclidean geometry, two objects are similar if they have the same shape, or if one has the same shape as the mirror image of the other. More precisely, one can be obtained from the other by uniformly scaling (enlarging or reducing), possibly with additional translation, rotation and 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 congruent to the result of a particular uniform scaling of the other.

Contents

Translation TranslationL.svg
Translation
Rotation RotationL.svg
Rotation
Reflection SymetrieL.svg
Reflection
Scaling SimilitudeHomothetieL.svg
Scaling

For example, all circles are similar to each other, all squares are similar to each other, and all equilateral triangles are similar to each other. On the other hand, ellipses are not all similar to each other, rectangles are not all similar to each other, and isosceles triangles are not all similar to each other. This is because two ellipses can have different width to height ratios, two rectangles can have different length to breadth ratios, and two isosceles triangles can have different base angles.

Figures shown in the same color are similar Similar-geometric-shapes.svg
Figures shown in the same color are similar

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.

Two congruent shapes are similar, with a scale factor of 1. However, some school textbooks specifically exclude congruent triangles from their definition of similar triangles by insisting that the sizes must be different if the triangles are to qualify as similar.[ citation needed ]

Similar triangles

Two triangles, ABC and A'B'C' are similar if and only if corresponding angles have the same measure: this implies that they are similar if and only if the lengths of corresponding sides are proportional. [1] It can be shown that two triangles having congruent angles (equiangular triangles) are similar, that is, the corresponding sides can be proved to be proportional. This is known as the AAA similarity theorem. [2] Note that the "AAA" is a mnemonic: each one of the three A's refers to an "angle". Due to this theorem, several authors simplify the definition of similar triangles to only require that the corresponding three angles are congruent. [3]

There are several criteria each of which is necessary and sufficient for two triangles to be similar:

If BAC is equal in measure to B'A'C', and ABC is equal in measure to A'B'C', then this implies that ACB is equal in measure to A'C'B' and the triangles are similar.
This is equivalent to saying that one triangle (or its mirror image) is an enlargement of the other.
This is known as the SAS similarity criterion. [7] The "SAS" is a mnemonic: each one of the two S's refers to a "side"; the A refers to an "angle" between the two sides.

Symbolically, we write the similarity and dissimilarity of two triangles ABC and A'B'C' as follows: [8]

There are several elementary results concerning similar triangles in Euclidean geometry: [9]

Given a triangle ABC and a line segment DE one can, with a ruler and compass, find a point F such that ABC ~ △DEF. The statement that point F satisfying this condition exists is Wallis's postulate [11] and is logically equivalent to Euclid's parallel postulate. [12] In hyperbolic geometry (where Wallis's postulate is false) similar triangles are congruent.

In the axiomatic treatment of Euclidean geometry given by George David Birkhoff (see Birkhoff's axioms) the SAS similarity criterion given above was used to replace both Euclid's parallel postulate and the SAS axiom which enabled the dramatic shortening of Hilbert's axioms. [7]

Similar triangles provide the basis for many synthetic (without the use of coordinates) proofs in Euclidean geometry. Among the elementary results that can be proved this way are: the angle bisector theorem, the geometric mean theorem, Ceva's theorem, Menelaus's theorem and the Pythagorean theorem. Similar triangles also provide the foundations for right triangle trigonometry. [13]

Other similar polygons

Similar rectangles SimilarRectangles.png
Similar rectangles

The concept of similarity extends to polygons 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 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 rhombi would be similar). Likewise, equality of all angles in sequence is not sufficient to guarantee similarity (otherwise all rectangles would be similar). A sufficient condition for similarity of polygons is that corresponding sides and diagonals are proportional.

For given n, all regular n-gons are similar.

Similar curves

Several types of curves have the property that all examples of that type are similar to each other. These include:

In Euclidean space

A similarity (also called a similarity transformation or similitude) of a Euclidean space is a bijection f from the space onto itself that multiplies all distances by the same positive real number r, so that for any two points x and y we have

where d(x,y) is the Euclidean distance from x to y. [16] The scalar r has many names in the literature including; the ratio of similarity, the stretching factor and the similarity coefficient. When r = 1 a similarity is called an isometry (rigid transformation). Two sets are called similar if one is the image of the other under a similarity.

As a map a similarity of ratio r takes the form

where is an n × n orthogonal matrix and is a translation vector.

Similarities preserve planes, lines, perpendicularity, parallelism, midpoints, inequalities between distances and line segments. [17] Similarities preserve angles but do not necessarily preserve orientation, direct similitudes preserve orientation and opposite similitudes change it. [18]

The similarities of Euclidean space form a group under the operation of composition called the similarities groupS. [19] The direct similitudes form a normal subgroup of S and the Euclidean group E(n) of isometries also forms a normal subgroup. [20] The similarities group S is itself a subgroup of the affine group, so every similarity is an affine transformation.

One can view the Euclidean plane as the complex plane, [lower-alpha 2] that is, as a 2-dimensional space over the reals. The 2D similarity transformations can then be expressed in terms of complex arithmetic and are given by

where a and b are complex numbers, a ≠ 0. When |a|= 1, these similarities are isometries.

Area ratio and volume ratio

The tessellation of the large triangle shows that it is similar to the small triangle with an area ratio of 5. The similarity ratio is
5
h
=
h
1
=
5
.
{\displaystyle {\tfrac {5}{h}}={\tfrac {h}{1}}={\sqrt {5}}.}
This can be used to construct a non-periodic infinite tiling. A proportion to conceive square root of 5.svg
The tessellation of the large triangle shows that it is similar to the small triangle with an area ratio of 5. The similarity ratio is This can be used to construct a non-periodic infinite tiling.

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 three, its area is multiplied by nine — i.e. by three squared). The altitudes of similar triangles are in the same ratio as corresponding sides. If a triangle has a side of length b and an altitude drawn to that side of length h then a similar triangle with corresponding side of length kb will have an altitude drawn to that side of length kh. The area of the first triangle is while the area of the similar triangle will be

Similar figures which can be decomposed into similar triangles will have areas related in the same way. The relationship holds for figures that are not rectifiable as well.

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 three, its volume is multiplied by 27 — i.e. by three cubed).

Galileo's square–cube law concerns similar solids. If the ratio of similitude (ratio of corresponding sides) between the solids is k, then the ratio of surface areas of the solids will be k2, while the ratio of volumes will be k3.

Similarity with a center

3 iterations of similarities applied to 3 regular polygons.svg
Example where each similarity
composed with itself several times successively
has a center at the center of a regular polygon that it shrinks.
Academ Example of similarity with ratio square root of 2.svg
Example of direct similarity of center S
decomposed into a rotation of 135° angle
and a homothety that halves areas.
Examples of direct similarities that have each a center.

If a similarity has exactly one invariant point: a point that the similarity keeps unchanged, then this only point is called "center" of the similarity.

On the first image below the title, on the left, one or another similarity shrinks a regular polygon into a concentric one, the vertices of which are each on a side of the previous polygon. This rotational reduction is repeated, so the initial polygon is extended into an abyss of regular polygons. The center of the similarity is the common center of the successive polygons. A red segment joins a vertex of the initial polygon to its image under the similarity, followed by a red segment going to the following image of vertex, and so on to form a spiral. Actually we can see more than three direct similarities on this first image, because every regular polygon is invariant under certain direct similarities, more precisely certain rotations the center of which is the center of the polygon, and a composition of direct similarities is also a direct similarity. For example we see the image of the initial regular pentagon under a homothety of negative ratio –k, which is a similarity of ±180° angle and a positive ratio equal to k.

Below the title on the right, the second image shows a similarity decomposed into a rotation and a homothety. Similarity and rotation have the same angle of +135 degrees modulo 360 degrees. Similarity and homothety have the same ratio of multiplicative inverse of the ratio (square root of 2) of the inverse similarity. Point S is the common center of the three transformations: rotation, homothety and similarity. For example point W is the image of F under the rotation, and point T is the image of W under the homothety, more briefly

by naming R, H and D the previous rotation, homothety and similarity, with “D" like "Direct".

This direct similarity that transforms triangle EFA into triangle ATB can be decomposed into a rotation and a homothety of same center S in several manners. For example, D = RH = HR, the last decomposition being only represented on the image. To get D we can also compose in any order a rotation of –45° angle and a homothety of ratio

With "M" like "Mirror" and "I" like "Indirect", if M is the reflection with respect to line CW, then MD = I is the indirect similarity that transforms segment BF like D into segment CT, but transforms point E into B and point A into A itself. Square ACBT is the image of ABEF under similarity I of ratio Point A is the center of this similarity because any point K being invariant under it fulfills only possible if AK = 0, otherwise written A = K.

How to construct the center S of direct similarity D from square ABEF, how to find point S center of a rotation of +135° angle that transforms ray SE into ray SA? This is an inscribed angle problem plus a question of orientation. The set of points P such that PE, PA = +135° is an arc of circle EA that joins E and A, of which the two radius leading to E and A form a central angle of 2(180° – 135°) = 2 × 45° = 90°. This set of points is the blue quarter of circle of center F inside square ABEF. In the same manner, point S is a member of the blue quarter of circle of center T inside square BCAT. So point S is the intersection point of these two quarters of circles.

In general metric spaces

Sierpinski triangle. A space having self-similarity dimension
log
[?]
3
log
[?]
2
=
log
2
[?]
3
,
{\displaystyle {\tfrac {\log 3}{\log 2}}=\log _{2}3,}
which is approximately 1.58. (From Hausdorff dimension.) Sierpinski deep.svg
Sierpiński triangle. A space having self-similarity dimension which is approximately 1.58. (From Hausdorff dimension.)

In a general metric space (X, d), an exact similitude is a function f from the metric space X into itself that multiplies all distances by the same positive scalar r, called f 's contraction factor, so that for any two points x and y we have

Weaker versions of similarity would for instance have f be a bi-Lipschitz function and the scalar r a limit

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 { fs}sS with contraction factors 0 ≤ rs < 1 such that K is the unique compact subset of X for which

A self-similar set constructed with two similitudes:
z
'
=
0.1
[
(
4
+
i
)
z
+
4
]
z
'
=
0.1
[
(
4
+
7
i
)
z
*
+
5
-
2
i
]
{\displaystyle {\begin{aligned}z'&=0.1[(4+i)z+4]\\z'&=0.1[(4+7i)z^{*}+5-2i]\end{aligned}}} Epi17.png
A self-similar set constructed with two similitudes:

These self-similar sets have a self-similar measure μD with dimension D given by the formula

which is often (but not always) equal to the set's Hausdorff dimension and packing dimension. If the overlaps between the fs(K) are "small", we have the following simple formula for the measure:

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

  1. Positive defined:
  1. Majored by the similarity of one element on itself (auto-similarity):

More properties can be invoked, such as:

The upper value is often set at 1 (creating a possibility for a probabilistic interpretation of the similitude).

Note that, in the topological sense used here, a similarity is a kind of measure. This usage is not the same as the similarity transformation of the § In Euclidean space and § In general metric spaces sections of this article.

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, ...} of numbers of the form {2i, 3·2i} where i ranges over all integers. When this set is plotted on a logarithmic scale it has one-dimensional translational symmetry: adding or subtracting the logarithm of two to the logarithm of one of these numbers produces the logarithm of another of these numbers. In the given set of numbers themselves, this corresponds to a similarity transformation in which the numbers are multiplied or divided by two.

Psychology

The intuition for the notion of geometric similarity already appears in human children, as can be seen in their drawings. [21]

See also

Notes

  1. Sibley 1998, p. 35.
  2. Stahl 2003, p. 127. This is also proved in Euclid's Elements, Book VI, Proposition 4.
  3. For instance, Venema 2006 , p. 122 and Henderson & Taimiņa 2005 , p. 123.
  4. Euclid's Elements, Book VI, Proposition 4.
  5. Euclid's Elements, Book VI, Proposition 5.
  6. Euclid's Elements, Book VI, Proposition 6.
  7. 1 2 Venema 2006, p. 143.
  8. Posamentier, Alfred S.; Lehmann, Ingmar (2012). The Secrets of Triangles . Prometheus Books. p. 22.
  9. Jacobs 1974, pp. 384–393.
  10. Hadamard, Jacques (2008). Lessons in Geometry, Vol. I: Plane Geometry. American Mathematical Society. Theorem 120, p. 125. ISBN   978-0-8218-4367-3.
  11. Named for John Wallis (1616–1703)
  12. Venema 2006, p. 122.
  13. Venema 2006, p. 145.
  14. a proof from academia.edu
  15. 1 2 The shape of an ellipse or hyperbola depends only on the ratio b/a
  16. Smart 1998, p. 92.
  17. Yale 1968, p. 47 Theorem 2.1.
  18. Pedoe 1988, pp. 179–181.
  19. Yale 1968, p. 46.
  20. Pedoe 1988, p. 182.
  21. Cox, Dana Christine (2008). Understanding Similarity: Bridging Geometric and Numeric Contexts for Proportional Reasoning (Ph.D.). Kalamazoo, Michigan: Western Michigan University. ISBN   978-0-549-75657-6. S2CID   61331653.
  1. This statement is not true in non-Euclidean geometry where the triangle angle sum is not 180 degrees.
  2. This traditional term, as explained in its article, is a misnomer. This is actually the 1-dimensional complex line.

Related Research Articles

<span class="mw-page-title-main">Circle</span> Simple curve of Euclidean geometry

A circle is a shape consisting of all points in a plane that are at a given distance from a given point, the centre. The distance between any point of the circle and the centre is called the radius.

<span class="mw-page-title-main">Triangle</span> Shape with three sides

A triangle is a polygon with three corners and three sides, one of the basic shapes in geometry. The corners, also called vertices, are zero-dimensional points while the sides connecting them, also called edges, are one-dimensional line segments. The triangle's interior is a two-dimensional region. Sometimes an arbitrary edge is chosen to be the base, in which case the opposite vertex is called the apex.

<span class="mw-page-title-main">Congruence (geometry)</span> Relationship between two figures of the same shape and size, or mirroring each other

In geometry, two figures or objects are congruent if they have the same shape and size, or if one has the same shape and size as the mirror image of the other.

<span class="mw-page-title-main">Triangle inequality</span> Property of geometry, also used to generalize the notion of "distance" in metric spaces

In mathematics, the triangle inequality states that for any triangle, the sum of the lengths of any two sides must be greater than or equal to the length of the remaining side. This statement permits the inclusion of degenerate triangles, but some authors, especially those writing about elementary geometry, will exclude this possibility, thus leaving out the possibility of equality. If x, y, and z are the lengths of the sides of the triangle, with no side being greater than z, then the triangle inequality states that

<span class="mw-page-title-main">Rectangle</span> Quadrilateral with four right angles

In Euclidean plane geometry, a rectangle is a quadrilateral with four right angles. It can also be defined as: an equiangular quadrilateral, since equiangular means that all of its angles are equal ; or a parallelogram containing a right angle. A rectangle with four sides of equal length is a square. The term "oblong" is occasionally used to refer to a non-square rectangle. A rectangle with vertices ABCD would be denoted as  ABCD.

<span class="mw-page-title-main">Parallelogram</span> Quadrilateral with two pairs of parallel sides

In Euclidean geometry, a parallelogram is a simple (non-self-intersecting) quadrilateral with two pairs of parallel sides. The opposite or facing sides of a parallelogram are of equal length and the opposite angles of a parallelogram are of equal measure. The congruence of opposite sides and opposite angles is a direct consequence of the Euclidean parallel postulate and neither condition can be proven without appealing to the Euclidean parallel postulate or one of its equivalent formulations.

<span class="mw-page-title-main">Ceva's theorem</span> Geometric relation between line segments from a triangles vertices and their intersection

In Euclidean geometry, Ceva's theorem is a theorem about triangles. Given a triangle ABC, let the lines AO, BO, CO be drawn from the vertices to a common point O, to meet opposite sides at D, E, F respectively. Then, using signed lengths of segments,

<span class="mw-page-title-main">Altitude (triangle)</span> Perpendicular line segment from a triangles side to opposite vertex

In geometry, an altitude of a triangle is a line segment through a vertex and perpendicular to a line containing the side opposite the vertex. This line containing the opposite side is called the extended base of the altitude. The intersection of the extended base and the altitude is called the foot of the altitude. The length of the altitude, often simply called "the altitude", is the distance between the extended base and the vertex. The process of drawing the altitude from the vertex to the foot is known as dropping the altitude at that vertex. It is a special case of orthogonal projection.

<span class="mw-page-title-main">Incircle and excircles</span> Circles tangent to all three sides of a triangle

In geometry, the incircle or inscribed circle of a triangle is the largest circle that can be contained in the triangle; it touches the three sides. The center of the incircle is a triangle center called the triangle's incenter.

<span class="mw-page-title-main">Equilateral triangle</span> Shape with three equal sides

In geometry, an equilateral triangle is a triangle in which all three sides have the same length. In the familiar Euclidean geometry, an equilateral triangle is also equiangular; that is, all three internal angles are also congruent to each other and are each 60°. It is also a regular polygon, so it is also referred to as a regular triangle.

<span class="mw-page-title-main">Incenter</span> Center of the inscribed circle of a triangle

In geometry, the incenter of a triangle is a triangle center, a point defined for any triangle in a way that is independent of the triangle's placement or scale. The incenter may be equivalently defined as the point where the internal angle bisectors of the triangle cross, as the point equidistant from the triangle's sides, as the junction point of the medial axis and innermost point of the grassfire transform of the triangle, and as the center point of the inscribed circle of the triangle.

<span class="mw-page-title-main">Homothety</span> Generalized scaling operation in geometry

In mathematics, a homothety is a transformation of an affine space determined by a point S called its center and a nonzero number called its ratio, which sends point to a point by the rule

A taxicab geometry or a Manhattan geometry is a geometry whose usual distance function or metric of Euclidean geometry is replaced by a new metric in which the distance between two points is the sum of the absolute differences of their Cartesian coordinates. The taxicab metric is also known as rectilinear distance, L1 distance, L1 distance or norm, snake distance, city block distance, Manhattan distance or Manhattan length. The latter names refer to the rectilinear street layout on the island of Manhattan, where the shortest path a taxi travels between two points is the sum of the absolute values of distances that it travels on avenues and on streets.

<span class="mw-page-title-main">Concyclic points</span> Points on a common circle

In geometry, a set of points are said to be concyclic if they lie on a common circle. A polygon whose vertices are concyclic is called a cyclic polygon, and the circle is called its circumscribing circle or circumcircle. All concyclic points are equidistant from the center of the circle.

In geometry, a cevian is a line segment which joins a vertex of a triangle to a point on the opposite side of the triangle. Medians and angle bisectors are special cases of cevians. The name "cevian" comes from the Italian mathematician Giovanni Ceva, who proved a well-known theorem about cevians which also bears his name.

<span class="mw-page-title-main">Homothetic center</span> Point from which two similar geometric figures can be scaled to each other

In geometry, a homothetic center is a point from which at least two geometrically similar figures can be seen as a dilation or contraction of one another. If the center is external, the two figures are directly similar to one another; their angles have the same rotational sense. If the center is internal, the two figures are scaled mirror images of one another; their angles have the opposite sense.

<span class="mw-page-title-main">Pythagorean theorem</span> Relation between sides of a right triangle

In mathematics, the Pythagorean theorem or Pythagoras' theorem is a fundamental relation in Euclidean geometry between the three sides of a right triangle. It states that the area of the square whose side is the hypotenuse is equal to the sum of the areas of the squares on the other two sides.

<span class="mw-page-title-main">Newton–Gauss line</span> Line joining midpoints of a complete quadrilaterals 3 diagonals

In geometry, the Newton–Gauss line is the line joining the midpoints of the three diagonals of a complete quadrilateral.

<span class="mw-page-title-main">Spiral similarity</span>

Spiral similarity is a plane transformation in mathematics composed of a rotation and a dilation. It is used widely in Euclidean geometry to facilitate the proofs of many theorems and other results in geometry, especially in mathematical competitions and Olympiads. Though the origin of this idea is not known, it was documented in 1967 by Coxeter in his book Geometry Revisited. and 1969 - using the term "dilative rotation" - in his book Introduction to Geometry.

<span class="mw-page-title-main">Mixtilinear incircles of a triangle</span> Circle tangent to two sides of a triangle and its circumcircle

In plane geometry, a mixtilinear incircle of a triangle is a circle which is tangent to two of its sides and internally tangent to its circumcircle. The mixtilinear incircle of a triangle tangent to the two sides containing vertex is called the -mixtilinear incircle. Every triangle has three unique mixtilinear incircles, one corresponding to each vertex.

References

Further reading