Difference between revisions of "Homothety"
(→Practice Problem) |
|||
(9 intermediate revisions by 6 users not shown) | |||
Line 1: | Line 1: | ||
− | + | In [[mathematics]], a '''homothety''' (or '''homothecy''') is a transformation of space which [[dilation|dilates]] distances with respect to a fixed point. A homothety can be an enlargement (resulting figure is larger), identity transformation (resulting figure is [[congruent]]), or a contraction (resulting figure is smaller). A homothety with center <math>H</math> and factor <math>k</math> sends point <math>A</math> to a point <math>A' \ni HA'=k\cdot HA</math> This is denoted by <math>\mathcal{H}(H, k)</math>. | |
+ | |||
+ | The below picture is an example of a homothety that maps <math>ABCD</math> into <math>A'B'C'D'</math>. From the picture, <math>O</math> is the center, and the factor is <math>\frac{OD'}{OD}</math>. Additionally, <math>ABCD</math> and <math>A'B'C'D'</math> are homothetic with respect to <math>O</math>. | ||
+ | <asy> | ||
+ | pair A=(15,15),B=(30,15),C=(30,30),D=(15,30),a=(60,60),b=(120,60),c=(120,120),d=(60,120); | ||
+ | |||
+ | dot((0,0)); | ||
+ | draw(d--(0,0)--b,dotted); | ||
+ | draw(c--(0,0),dotted); | ||
+ | label("$O$",(0,0),SW); | ||
+ | draw(A--B--C--D--A); | ||
+ | dot(A); | ||
+ | label("$A$",A,SW); | ||
+ | dot(B); | ||
+ | label("$B$",B,SE); | ||
+ | dot(C); | ||
+ | label("$C$",C,NE); | ||
+ | dot(D); | ||
+ | label("$D$",D,NW); | ||
+ | draw(a--b--c--d--a); | ||
+ | dot(a); | ||
+ | label("$A'$",a,SW); | ||
+ | dot(b); | ||
+ | label("$B'$",b,SE); | ||
+ | dot(c); | ||
+ | label("$C'$",c,NE); | ||
+ | dot(d); | ||
+ | label("$D'$",d,NW); | ||
+ | |||
+ | </asy> | ||
+ | |||
+ | ==Properties== | ||
+ | |||
+ | * A homothety with factor <math>-1</math> is a <math>180^\circ</math> rotation about the center. | ||
+ | * A point, its image from the homothety, and the center of the homothety are all collinear. | ||
+ | ** For a given polygon, the lines connecting each point to its corresponding point of a polygon that is homothetic with the given polygon are all concurrent. | ||
+ | * The image of a line from a homothety is [[parallel]] to the original line. | ||
+ | * The resulting image of a polygon from a homothety is [[similar]] to the original polygon. | ||
+ | ** Likewise, the resulting image of a circle from a homothety is also a [[circle]]. | ||
+ | |||
+ | ==Usage== | ||
+ | |||
+ | Homothety often means that we can use properties of similarity. Additionally, similarity (especially with circles) where parallel lines are used can indicate that homothety can be used, and homothety can be used to prove that three points are collinear. | ||
+ | |||
+ | == Practice Problem == | ||
+ | *Four [[circle]]s <math>\omega,</math> <math>\omega_{A},</math> <math>\omega_{B},</math> and <math>\omega_{C}</math> with the same [[radius]] are drawn in the interior of [[triangle]] <math>ABC</math> such that <math>\omega_{A}</math> is [[tangent]] to sides <math>AB</math> and <math>AC</math>, <math>\omega_{B}</math> to <math>BC</math> and <math>BA</math>, <math>\omega_{C}</math> to <math>CA</math> and <math>CB</math>, and <math>\omega</math> is [[externally tangent]] to <math>\omega_{A},</math> <math>\omega_{B},</math> and <math>\omega_{C}</math>. If the sides of triangle <math>ABC</math> are <math>13,</math> <math>14,</math> and <math>15,</math> the radius of <math>\omega</math> can be represented in the form <math>\frac{m}{n}</math>, where <math>m</math> and <math>n</math> are [[relatively prime]] positive integers. Find <math>m+n.</math> | ||
+ | |||
+ | ([[2007 AIME II Problems/Problem 15|Source]]) | ||
+ | |||
+ | ==References== | ||
+ | * https://brilliant.org/wiki/euclidean-geometry-homothety/ (contains sample problems and related proofs) | ||
+ | * https://euclid.ucc.ie/mathenr/IMOTraining/2018JuneCamp/HomothetyExcalibur.pdf | ||
+ | |||
+ | ==See Also== | ||
+ | * [[Dilation]] | ||
+ | * [[Similarity]] | ||
+ | |||
+ | [[Category:Definition]] | ||
+ | [[Category:Geometry]] |
Latest revision as of 01:11, 11 January 2021
In mathematics, a homothety (or homothecy) is a transformation of space which dilates distances with respect to a fixed point. A homothety can be an enlargement (resulting figure is larger), identity transformation (resulting figure is congruent), or a contraction (resulting figure is smaller). A homothety with center and factor
sends point
to a point
This is denoted by
.
The below picture is an example of a homothety that maps into
. From the picture,
is the center, and the factor is
. Additionally,
and
are homothetic with respect to
.
Properties
- A homothety with factor
is a
rotation about the center.
- A point, its image from the homothety, and the center of the homothety are all collinear.
- For a given polygon, the lines connecting each point to its corresponding point of a polygon that is homothetic with the given polygon are all concurrent.
- The image of a line from a homothety is parallel to the original line.
- The resulting image of a polygon from a homothety is similar to the original polygon.
- Likewise, the resulting image of a circle from a homothety is also a circle.
Usage
Homothety often means that we can use properties of similarity. Additionally, similarity (especially with circles) where parallel lines are used can indicate that homothety can be used, and homothety can be used to prove that three points are collinear.
Practice Problem
- Four circles
and
with the same radius are drawn in the interior of triangle
such that
is tangent to sides
and
,
to
and
,
to
and
, and
is externally tangent to
and
. If the sides of triangle
are
and
the radius of
can be represented in the form
, where
and
are relatively prime positive integers. Find
(Source)
References
- https://brilliant.org/wiki/euclidean-geometry-homothety/ (contains sample problems and related proofs)
- https://euclid.ucc.ie/mathenr/IMOTraining/2018JuneCamp/HomothetyExcalibur.pdf