Kite
A kite, showing its pairs of equal-length sides and its inscribed circle.
Edges and vertices4
Symmetry group D1 (*)
Dual polygon Isosceles 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 perimeter to diameter is a kite, with 60°, 75°, and 150° angles. Kites of two shapes (one convex and one non-convex) form the prototiles of one of the forms of the Penrose tiling. Kites also form the faces of several face-symmetric polyhedra and tessellations, and have been studied in connection with 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:

• The four sides can be split into two pairs of adjacent equal-length sides. [7]
• One diagonal crosses the midpoint of the other diagonal at a right angle, forming its perpendicular bisector. [9] (In the concave case, the line through one of the diagonals bisects the other.)
• One diagonal is a line of symmetry. It divides the quadrilateral into two congruent triangles that are mirror images of each other. [7]
• One diagonal bisects both of the angles at its two ends. [7]

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 rhombi (quadrilaterals with four equal sides) and 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 right kites have two opposite right angles. [15] [16] The right kites are exactly the kites that are cyclic quadrilaterals, meaning that there is a circle that passes through all their vertices. [17] The cyclic quadrilaterals may equivalently defined as the quadrilaterals in which two opposite angles are 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 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 convex hull of the lute of Pythagoras, a fractal made of nested pentagrams. [22] The four sides of this kite lie on four of the sides of a 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 edge tessellation. One of them is a tiling by a right kite, with 60°, 90°, and 120° angles. It produces the 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 orthodiagonal quadrilateral, meaning that its two diagonals are at right angles to each other. Moreover, one of the two diagonals (the symmetry axis) is the perpendicular bisector of the other, and is also the angle bisector of the two angles it meets. [1] Because of its symmetry, the other two angles of the kite must be equal. [10] [11] The diagonal symmetry axis of a convex kite divides it into two congruent triangles; the other diagonal divides it into two isosceles triangles. [1]

As is true more generally for any orthodiagonal quadrilateral, the area ${\displaystyle A}$ of a kite may be calculated as half the product of the lengths of the diagonals ${\displaystyle p}$ and ${\displaystyle q}$: [10]

${\displaystyle A={\frac {p\cdot q}{2}}.}$
Alternatively, the area can be calculated by dividing the kite into two congruent triangles and applying the SAS formula for their area. If ${\displaystyle a}$ and ${\displaystyle b}$ are the lengths of two sides of the kite, and ${\displaystyle \theta }$ is the angle between, then the area is [26]
${\displaystyle \displaystyle A=ab\cdot \sin \theta .}$

### 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 tangential quadrilateral, a quadrilateral that has an 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 ${\displaystyle p}$ and ${\displaystyle q}$ and side lengths ${\displaystyle a}$ and ${\displaystyle b}$, the radius ${\displaystyle r}$ of the inscribed circle is

${\displaystyle r={\frac {pq}{2(a+b)}},}$
and the radius ${\displaystyle \rho }$ of the ex-tangential circle is [16]
${\displaystyle \rho ={\frac {pq}{2|a-b|}}.}$

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 ${\displaystyle ABCD}$ intersect at ${\displaystyle P}$, and the incircles of triangles ${\displaystyle ABP}$, ${\displaystyle BCP}$, ${\displaystyle CDP}$, ${\displaystyle DAP}$ have radii ${\displaystyle r_{1}}$, ${\displaystyle r_{2}}$, ${\displaystyle r_{3}}$, and ${\displaystyle r_{4}}$ respectively, then the quadrilateral is a kite if and only if [28]

${\displaystyle r_{1}+r_{3}=r_{2}+r_{4}.}$
If the excircles to the same four triangles opposite the vertex ${\displaystyle P}$ have radii ${\displaystyle R_{1}}$, ${\displaystyle R_{2}}$, ${\displaystyle R_{3}}$, and ${\displaystyle R_{4}}$ respectively, then the quadrilateral is a kite if and only if [28]
${\displaystyle R_{1}+R_{3}=R_{2}+R_{4}.}$

### Duality

A kite and its dual isosceles trapezoid

Kites and isosceles trapezoids are dual to each other, meaning that there is a correspondence between them that reverses the dimension of their parts, taking vertices to sides and sides to vertices. From any kite, the inscribed circle is tangent to its four sides at the four vertices of an isosceles trapezoid. For any isosceles trapezoid, tangent lines to the circumscribing circle at its four vertices form the four sides of a kite. This correspondence can also be seen as an example of 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 ${\displaystyle n}$ such that the polygon has an equidissection into ${\displaystyle n}$ 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 ${\displaystyle n}$ sides into ${\displaystyle O(n)}$ 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 ${\displaystyle \pi (1-{\tfrac {1}{n}})}$ for some positive integer ${\displaystyle n}$, then scaled copies of that kite can be used to tile the plane in a fractal rosette in which successively larger rings of ${\displaystyle n}$ 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 deltoidal trihexagonal tiling, superposes a tessellation of the plane by regular hexagons and isosceles triangles. [16] The deltoidal icositetrahedron, deltoidal hexecontahedron, and trapezohedron are polyhedra with congruent kite-shaped faces, [36] which can alternatively be thought of as tilings of the sphere by congruent spherical kites. [37] There are infinitely many face-symmetric tilings of the hyperbolic plane by kites. [38] These polyhedra (equivalently, spherical tilings), the square and deltoidal trihexagonal tilings of the Euclidean plane, and some tilings of the hyperbolic plane are shown in the table below, labeled by 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 Richard Schwartz has studied outer billiards on kites. Outer billiards is a dynamical system in which, from a point outside a given 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 ${\displaystyle (-1,0)}$ and ${\displaystyle (0,\pm 1)}$, with the fourth at ${\displaystyle (\alpha ,0)}$ with ${\displaystyle \alpha }$ in the open unit interval ${\displaystyle (0,1)}$. The behavior of outer billiards on any kite depends strongly on the parameter ${\displaystyle \alpha }$ and in particular whether it is rational. For the case of the Penrose kite, ${\displaystyle \alpha =1/\varphi ^{3}}$, an irrational number, where ${\displaystyle \varphi =(1+{\sqrt {5}})/2}$ is the golden ratio. [40]

## References

1. Halsted, George Bruce (1896), "Chapter XIV. Symmetrical Quadrilaterals", Elementary Synthetic Geometry, J. Wiley & sons, pp. 49–53
2. ^ Goormaghtigh, R. (1947), "Orthopolar and isopolar lines in the cyclic quadrilateral", The American Mathematical Monthly, 54 (4): 211–214, doi: 10.1080/00029890.1947.11991815, JSTOR  2304700, MR  0019934
3. ^ See H. S. M. Coxeter's review of Grünbaum (1960) in MR 0125489: "It is unfortunate that the author uses, instead of 'kite', the name 'deltoid', which belongs more properly to a curve, the three-cusped hypocycloid."
4. ^ Charter, Kevin; Rogers, Thomas (1993), "The dynamics of quadrilateral folding", Experimental Mathematics, 2 (3): 209–222, doi: 10.1080/10586458.1993.10504278, MR  1273409
5. ^ a b Gardner, Martin (January 1977), "Extraordinary nonperiodic tiling that enriches the theory of tiles", Mathematical Games, Scientific American, vol. 236, no. 1, pp. 110–121, Bibcode: 1977SciAm.236a.110G, doi: 10.1038/scientificamerican0177-110, JSTOR  24953856
6. ^ Thurston, William P. (1998), "Shapes of polyhedra and triangulations of the sphere", in Rivin, Igor; Rourke, Colin; Series, Caroline (eds.), The Epstein birthday schrift, Geometry & Topology Monographs, vol. 1, Coventry, pp. 511–549, arXiv:, doi: 10.2140/gtm.1998.1.511, MR  1668340, S2CID  8686884
7. De Villiers, Michael (2009), Some Adventures in Euclidean Geometry, pp. 16, 55, ISBN  978-0-557-10295-2
8. ^ Szecsei, Denise (2004), The Complete Idiot's Guide to Geometry, Penguin, pp. 290–291, ISBN  9781592571833
9. ^ a b Usiskin, Zalman; Griffin, Jennifer (2008), The Classification of Quadrilaterals: A Study of Definition, Information Age Publishing, pp. 49–52, 63–67
10. ^ a b c Beamer, James E. (May 1975), "The tale of a kite", The Arithmetic Teacher, 22 (5): 382–386, doi: 10.5951/at.22.5.0382, JSTOR  41188788
11. ^ a b Alexander, Daniel C.; Koeberlein, Geralyn M. (2014), Elementary Geometry for College Students (6th ed.), Cengage Learning, pp. 180–181, ISBN  9781285965901
12. ^ Suay, Juan Miguel; Teira, David (2014), "Kites: the rise and fall of a scientific object" (PDF), Nuncius, 29 (2): 439–463, doi: 10.1163/18253911-02902004
13. ^ Liberman, Anatoly (2009), Word Origins...And How We Know Them: Etymology for Everyone, Oxford University Press, p. 17, ISBN  9780195387070
14. ^ Henrici, Olaus (1879), Elementary Geometry: Congruent Figures, Longmans, Green, p. xiv
15. ^ a b De Villiers, Michael (February 1994), "The role and function of a hierarchical classification of quadrilaterals", For the Learning of Mathematics, 14 (1): 11–18, JSTOR  40248098
16. Alsina, Claudi; Nelsen, Roger B. (2020), "Section 3.4: Kites", A Cornucopia of Quadrilaterals, The Dolciani Mathematical Expositions, vol. 55, Providence, Rhode Island: MAA Press and American Mathematical Society, pp. 73–78, ISBN  978-1-4704-5312-1, MR  4286138; see also antiparallelograms, p. 212
17. ^ Gant, P. (1944), "A note on quadrilaterals", The Mathematical Gazette, 28 (278): 29–30, doi: 10.2307/3607362, JSTOR  3607362, S2CID  250436895
18. ^ Josefsson, Martin (2012), "Maximal area of a bicentric quadrilateral" (PDF), Forum Geometricorum, 12: 237–241, MR  2990945
19. ^ Ball, D. G. (1973), "A generalisation of ${\displaystyle \pi }$", The Mathematical Gazette, 57 (402): 298–303, doi: 10.2307/3616052, JSTOR  3616052, S2CID  125396664
20. ^ Griffiths, David; Culpin, David (1975), "Pi-optimal polygons", The Mathematical Gazette, 59 (409): 165–175, doi: 10.2307/3617699, JSTOR  3617699, S2CID  126325288
21. ^ Audet, Charles; Hansen, Pierre; Svrtan, Dragutin (2021), "Using symbolic calculations to determine largest small polygons", Journal of Global Optimization, 81 (1): 261–268, doi: 10.1007/s10898-020-00908-w, MR  4299185, S2CID  203042405
22. ^
23. ^ Kirby, Matthew; Umble, Ronald (2011), "Edge tessellations and stamp folding puzzles", Mathematics Magazine, 84 (4): 283–289, arXiv:, doi: 10.4169/math.mag.84.4.283, MR  2843659, S2CID  123579388
24. ^ Smith, David; Myers, Joseph Samuel; Kaplan, Craig S.; Goodman-Strauss, Chaim (March 2023), An aperiodic monotile, arXiv:
25. ^ Eves, Howard Whitley (1995), College Geometry, Jones & Bartlett Learning, p. 245, ISBN  9780867204759
26. ^ "OC506" (PDF), Olympiad Corner Solutions, Crux Mathematicorum, 47 (5): 241, May 2021
27. ^ Wheeler, Roger F. (1958), "Quadrilaterals", The Mathematical Gazette, 42 (342): 275–276, doi: 10.2307/3610439, JSTOR  3610439, S2CID  250434576
28. ^ a b c Josefsson, Martin (2011), "When is a tangential quadrilateral a kite?" (PDF), Forum Geometricorum, 11: 165–174
29. ^ Robertson, S. A. (1977), "Classifying triangles and quadrilaterals", The Mathematical Gazette, 61 (415): 38–49, doi: 10.2307/3617441, JSTOR  3617441, S2CID  125355481
30. ^ Kasimatis, Elaine A.; Stein, Sherman K. (December 1990), "Equidissections of polygons", Discrete Mathematics, 85 (3): 281–294, doi:, MR  1081836, Zbl  0736.05028
31. ^ Jepsen, Charles H.; Sedberry, Trevor; Hoyer, Rolf (2009), "Equidissections of kite-shaped quadrilaterals" (PDF), Involve, a Journal of Mathematics, 2 (1): 89–93, doi:, MR  2501347
32. ^ Bern, Marshall; Eppstein, David (2000), "Quadrilateral meshing by circle packing", International Journal of Computational Geometry and Applications, 10 (4): 347–360, arXiv:, doi: 10.1142/S0218195900000206, MR  1791192, S2CID  12228995
33. ^ Schattschneider, Doris (1993), "The fascination of tiling", in Emmer, Michele (ed.), The Visual Mind: Art and Mathematics, Leonardo Book Series, Cambridge, Massachusetts: MIT Press, pp. 157–164, ISBN  0-262-05048-X, MR  1255846
34. ^ Fathauer, Robert (2018), "Art and recreational math based on kite-tiling rosettes", in Torrence, Eve; Torrence, Bruce; Séquin, Carlo; Fenyvesi, Kristóf (eds.), Proceedings of Bridges 2018: Mathematics, Art, Music, Architecture, Education, Culture, Phoenix, Arizona: Tessellations Publishing, pp. 15–22, ISBN  978-1-938664-27-4
35. ^ Chazelle, Bernard; Karntikoon, Kritkorn; Zheng, Yufei (2022), "A geometric approach to inelastic collapse", Journal of Computational Geometry, 13 (1): 197–203, doi: 10.20382/jocg.v13i1a7, MR  4414332
36. ^ a b Grünbaum, B. (1960), "On polyhedra in ${\displaystyle E^{3}}$ having all faces congruent", Bulletin of the Research Council of Israel, 8F: 215–218 (1960), MR  0125489
37. ^ Sakano, Yudai; Akama, Yohji (2015), "Anisohedral spherical triangles and classification of spherical tilings by congruent kites, darts and rhombi", Hiroshima Mathematical Journal, 45 (3): 309–339, doi: 10.32917/hmj/1448323768, MR  3429167, S2CID  123859584
38. ^ Dunham, Douglas; Lindgren, John; Witte, Dave (1981), "Creating repeating hyperbolic patterns", in Green, Doug; Lucido, Tony; Fuchs, Henry (eds.), Proceedings of the 8th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1981, Dallas, Texas, USA, August 3–7, 1981, Association for Computing Machinery, pp. 215–223, doi: 10.1145/800224.806808, S2CID  2255628
39. ^ Schwartz, Richard Evan (2007), "Unbounded orbits for outer billiards, I", Journal of Modern Dynamics, 1 (3): 371–424, arXiv:, doi: 10.3934/jmd.2007.1.371, MR  2318496, S2CID  119146537
40. ^ Schwartz, Richard Evan (2009), Outer Billiards on Kites, Annals of Mathematics Studies, vol. 171, Princeton, New Jersey: Princeton University Press, doi: 10.1515/9781400831975, ISBN  978-0-691-14249-4, MR  2562898