Kite (geometry)

This is a good article. Click here for more information.
Source: Wikipedia, the free encyclopedia.

Kite
A kite, showing its pairs of equal-length sides and its inscribed circle.
TypeQuadrilateral
Edges and vertices4
Symmetry groupD1 (*)
Dual polygonIsosceles trapezoid

In Euclidean geometry, a kite is a quadrilateral with reflection symmetry across a diagonal. Because of this symmetry, a kite has two equal angles and two pairs of adjacent equal-length sides. Kites are also known as deltoids,[1] but the word deltoid may also refer to a deltoid curve, an unrelated geometric object sometimes studied in connection with quadrilaterals.[2][3] A kite may also be called a dart,[4] particularly if it is not convex.[5][6]

Every kite is an orthodiagonal quadrilateral (its diagonals are at right angles) and, when convex, a tangential quadrilateral (its sides are tangent to an inscribed circle). The convex kites are exactly the quadrilaterals that are both orthodiagonal and tangential. They include as special cases the right kites, with two opposite right angles; the rhombi, with two diagonal axes of symmetry; and the squares, which are also special cases of both right kites and rhombi.

The quadrilateral with the greatest ratio of

outer billiards, a problem in the advanced mathematics of dynamical systems
.

Definition and classification

Convex and concave kites

A kite is a quadrilateral with reflection symmetry across one of its diagonals. Equivalently, it is a quadrilateral whose four sides can be grouped into two pairs of adjacent equal-length sides.[1][7] A kite can be constructed from the centers and crossing points of any two intersecting circles.[8] Kites as described here may be either convex or concave, although some sources restrict kite to mean only convex kites. A quadrilateral is a kite if and only if any one of the following conditions is true:

Kite quadrilaterals are named for the wind-blown, flying kites, which often have this shape[10][11] and which are in turn named for a hovering bird and the sound it makes.[12][13] According to Olaus Henrici, the name "kite" was given to these shapes by James Joseph Sylvester.[14]

Quadrilaterals can be classified hierarchically, meaning that some classes of quadrilaterals include other classes, or partitionally, meaning that each quadrilateral is in only one class. Classified hierarchically, kites include the

squares. All equilateral kites are rhombi, and all equiangular kites are squares. When classified partitionally, rhombi and squares would not be kites, because they belong to a different class of quadrilaterals; similarly, the right kites discussed below would not be kites. The remainder of this article follows a hierarchical classification; rhombi, squares, and right kites are all considered kites. By avoiding the need to consider special cases, this classification can simplify some facts about kites.[15]

Like kites, a parallelogram also has two pairs of equal-length sides, but they are opposite to each other rather than adjacent. Any non-self-crossing quadrilateral that has an axis of symmetry must be either a kite, with a diagonal axis of symmetry; or an isosceles trapezoid, with an axis of symmetry through the midpoints of two sides. These include as special cases the rhombus and the rectangle respectively, and the square, which is a special case of both.[1] The self-crossing quadrilaterals include another class of symmetric quadrilaterals, the antiparallelograms.[16]

Special cases

Right kite
Equidiagonal kite in a Reuleaux triangle

The

supplementary (they add to 180°); if one pair is supplementary the other is as well.[9] Therefore, the right kites are the kites with two opposite supplementary angles, for either of the two opposite pairs of angles. Because right kites circumscribe one circle and are inscribed in another circle, they are bicentric quadrilaterals (actually tricentric, as they also have a third circle externally tangent to the extensions of their sides).[16] If the sizes of an inscribed and a circumscribed circle are fixed, the right kite has the largest area of any quadrilateral trapped between them.[18]

Among all quadrilaterals, the shape that has the greatest ratio of its perimeter to its diameter (maximum distance between any two points) is an equidiagonal kite with angles 60°, 75°, 150°, 75°. Its four vertices lie at the three corners and one of the side midpoints of the Reuleaux triangle.[19][20] When an equidiagonal kite has side lengths less than or equal to its diagonals, like this one or the square, it is one of the quadrilaterals with the greatest ratio of area to diameter.[21]

A kite with three 108° angles and one 36° angle forms the

regular pentagon, with a golden triangle glued onto the fifth side.[16]

Part of an aperiodic tiling with prototiles made from eight kites

There are only eight polygons that can tile the plane such that reflecting any tile across any one of its edges produces another tile; this arrangement is called an

deltoidal trihexagonal tiling (see § Tilings and polyhedra).[23] A prototile made by eight of these kites tiles the plane only aperiodically, key to a claimed solution of the einstein problem.[24]

In non-Euclidean geometry, a kite can have three right angles and one non-right angle, forming a special case of a Lambert quadrilateral. The fourth angle is acute in hyperbolic geometry and obtuse in spherical geometry.[25]

Properties

Diagonals, angles, and area

Every kite is an

congruent triangles; the other diagonal divides it into two isosceles triangles.[1]

As is true more generally for any orthodiagonal quadrilateral, the area of a kite may be calculated as half the product of the lengths of the diagonals and :[10]

Alternatively, the area can be calculated by dividing the kite into two congruent triangles and applying the SAS formula for their area. If and are the lengths of two sides of the kite, and is the angle between, then the area is[26]

Inscribed circle

Two circles tangent to the sides and extended sides of a convex kite (top), non-convex kite (middle), and antiparallelogram (bottom). The four lines through the sides of each quadrilateral are bitangents of the circles.

Every convex kite is also a

inscribed circle. That is, there exists a circle that is tangent to all four sides. Additionally, if a convex kite is not a rhombus, there is a circle outside the kite that is tangent to the extensions of the four sides; therefore, every convex kite that is not a rhombus is an ex-tangential quadrilateral. The convex kites that are not rhombi are exactly the quadrilaterals that are both tangential and ex-tangential.[16] For every concave kite there exist two circles tangent to two of the sides and the extensions of the other two: one is interior to the kite and touches the two sides opposite from the concave angle, while the other circle is exterior to the kite and touches the kite on the two edges incident to the concave angle.[27]

For a convex kite with diagonal lengths and and side lengths and , the radius of the inscribed circle is

and the radius of the ex-tangential circle is
[16]

A tangential quadrilateral is also a kite if and only if any one of the following conditions is true:[28]

  • The area is one half the product of the diagonals.
  • The diagonals are perpendicular. (Thus the kites are exactly the quadrilaterals that are both tangential and orthodiagonal.)
  • The two line segments connecting opposite points of tangency have equal length.
  • The tangent lengths, distances from a point of tangency to an adjacent vertex of the quadrilateral, are equal at two opposite vertices of the quadrilateral. (At each vertex, there are two adjacent points of tangency, but they are the same distance as each other from the vertex, so each vertex has a single tangent length.)
  • The two bimedians, line segments connecting midpoints of opposite edges, have equal length.
  • The products of opposite side lengths are equal.
  • The center of the incircle lies on a line of symmetry that is also a diagonal.

If the diagonals in a tangential quadrilateral intersect at , and the

incircles
of triangles , , , have radii , , , and respectively, then the quadrilateral is a kite if and only if[28]
If the
excircles
to the same four triangles opposite the vertex have radii , , , and respectively, then the quadrilateral is a kite if and only if[28]

Duality

A kite and its dual isosceles trapezoid

Kites and

polar reciprocation, a general method for corresponding points with lines and vice versa given a fixed circle. Although they do not touch the circle, the four vertices of the kite are reciprocal in this sense to the four sides of the isosceles trapezoid.[29] The features of kites and isosceles trapezoids that correspond to each other under this duality are compared in the table below.[7]

Isosceles trapezoid Kite
Two pairs of equal adjacent angles Two pairs of equal adjacent sides
Two equal opposite sides Two equal opposite angles
Two opposite sides with a shared perpendicular bisector Two opposite angles with a shared angle bisector
An axis of symmetry through two opposite sides An axis of symmetry through two opposite angles
Circumscribed circle through all vertices Inscribed circle tangent to all sides

Dissection

The equidissection problem concerns the subdivision of polygons into triangles that all have equal areas. In this context, the spectrum of a polygon is the set of numbers such that the polygon has an equidissection into equal-area triangles. Because of its symmetry, the spectrum of a kite contains all even integers. Certain special kites also contain some odd numbers in their spectra.[30][31]

Every triangle can be subdivided into three right kites meeting at the center of its inscribed circle. More generally, a method based on circle packing can be used to subdivide any polygon with sides into kites, meeting edge-to-edge.[32]

Tilings and polyhedra

Recursive construction of the kite and dart Penrose tiling
Fractal rosette of Penrose kites

All kites tile the plane by repeated point reflection around the midpoints of their edges, as do more generally all quadrilaterals.[33] Kites and darts with angles 72°, 72°, 72°, 144° and 36°, 72°, 36°, 216°, respectively, form the prototiles of one version of the Penrose tiling, an aperiodic tiling of the plane discovered by mathematical physicist Roger Penrose.[5] When a kite has angles that, at its apex and one side, sum to for some positive integer , then scaled copies of that kite can be used to tile the plane in a fractal rosette in which successively larger rings of kites surround a central point.[34] These rosettes can be used to study the phenomenon of inelastic collapse, in which a system of moving particles meeting in inelastic collisions all coalesce at a common point.[35]

A kite with angles 60°, 90°, 120°, 90° can also tile the plane by repeated reflection across its edges; the resulting tessellation, the

face configuration
(the numbers of neighbors of each of the four vertices of each tile). Some polyhedra and tilings appear twice, under two different face configurations.

Polyhedra Euclidean

V4.3.4.3

V4.3.4.4

V4.3.4.5
V4.3.4.6
Polyhedra Euclidean Hyperbolic tilings

V4.4.4.3

V4.4.4.4
V4.4.4.5
V4.4.4.6
Polyhedra Hyperbolic tilings

V4.3.4.5
V4.4.4.5
V4.5.4.5
V4.6.4.5
Euclidean Hyperbolic tilings
V4.3.4.6
V4.4.4.6
V4.5.4.6
V4.6.4.6
Ten-sided dice

The trapezohedra are another family of polyhedra that have congruent kite-shaped faces. In these polyhedra, the edges of one of the two side lengths of the kite meet at two "pole" vertices, while the edges of the other length form an equatorial zigzag path around the polyhedron. They are the dual polyhedra of the uniform antiprisms.[36] A commonly seen example is the pentagonal trapezohedron, used for ten-sided dice.[16]

Family of n-gonal trapezohedra
Name Digonal trapezohedron
(Tetrahedron)
Trigonal Tetragonal Pentagonal Hexagonal
Heptagonal
Octagonal
...
Apeirogonal
Polyhedron ...
Tessellation ...
Face configuration
V2.3.3.3 V3.3.3.3 V4.3.3.3 V5.3.3.3 V6.3.3.3 V7.3.3.3 V8.3.3.3 ... V∞.3.3.3

Outer billiards

Mathematician

compact convex set in the plane, one draws a tangent line to the convex set, travels from the starting point along this line to another point equally far from the point of tangency, and then repeats the same process. It had been open since the 1950s whether any system defined in this way could produce paths that get arbitrarily far from their starting point, and in a 2007 paper Schwartz solved this problem by finding unbounded billiards paths for the kite with angles 72°, 72°, 72°, 144°, the same as the one used in the Penrose tiling.[39] He later wrote a monograph analyzing outer billiards for kite shapes more generally. For this problem, any affine transformation
of a kite preserves the dynamical properties of outer billiards on it, and it is possible to transform any kite into a shape where three vertices are at the points and , with the fourth at with in the open unit interval . The behavior of outer billiards on any kite depends strongly on the parameter and in particular whether it is rational. For the case of the Penrose kite, , an irrational number, where is the golden ratio.[40]

References

  1. ^ a b c d e Halsted, George Bruce (1896), "Chapter XIV. Symmetrical Quadrilaterals", Elementary Synthetic Geometry, J. Wiley & sons, pp. 49–53
  2. : "It is unfortunate that the author uses, instead of 'kite', the name 'deltoid', which belongs more properly to a curve, the three-cusped hypocycloid."
  3. ^
  4. S2CID 8686884{{citation}}: CS1 maint: location missing publisher (link
    )
  5. ^
  6. ^ a b Usiskin, Zalman; Griffin, Jennifer (2008), The Classification of Quadrilaterals: A Study of Definition, Information Age Publishing, pp. 49–52, 63–67
  7. ^
    JSTOR 41188788
  8. ^
  9. ^ Henrici, Olaus (1879), Elementary Geometry: Congruent Figures, Longmans, Green, p. xiv
  10. ^
    JSTOR 40248098
  11. ^ ; see also antiparallelograms, p. 212
  12. ^ Ball, D. G. (1973), "A generalisation of ",
    S2CID 125396664
  13. ^ "OC506" (PDF), Olympiad Corner Solutions, Crux Mathematicorum, 47 (5): 241, May 2021
  14. S2CID 250434576
  15. ^ a b c Josefsson, Martin (2011), "When is a tangential quadrilateral a kite?" (PDF), Forum Geometricorum, 11: 165–174
  16. S2CID 125355481
  17. ^ a b Grünbaum, B. (1960), "On polyhedra in having all faces congruent", Bulletin of the Research Council of Israel, 8F: 215–218 (1960),

External links