# Kepler triangle

A Kepler triangle is a special right triangle with edge lengths in geometric progression. The ratio of the progression is ${\displaystyle {\sqrt {\varphi }}}$ where ${\displaystyle \varphi =(1+{\sqrt {5}})/2}$ is the golden ratio, and the progression can be written: ${\displaystyle 1:{\sqrt {\varphi }}:\varphi }$, or approximately ${\displaystyle 1:1.272:1.618}$. Squares on the edges of this triangle have areas in another geometric progression, ${\displaystyle 1:\varphi :\varphi ^{2}}$. Alternative definitions of the same triangle characterize it in terms of the three Pythagorean means of two numbers, or via the inradius of isosceles triangles.

This triangle is named after Johannes Kepler, but can be found in earlier sources. Although some sources claim that ancient Egyptian pyramids had proportions based on a Kepler triangle, most scholars believe that the golden ratio was not known to Egyptian mathematics and architecture.

## History

The Kepler triangle is named after the German mathematician and astronomer Johannes Kepler (1571–1630), who wrote about this shape in a 1597 letter.[1] Two concepts that can be used to analyze this triangle, the Pythagorean theorem and the golden ratio, were both of interest to Kepler, as he wrote elsewhere:

Geometry has two great treasures: one is the theorem of Pythagoras, the other the division of a line into extreme and mean ratio. The first we may compare to a mass of gold, the second we may call a precious jewel.[2]

However, Kepler was not the first to describe this triangle.[3] Kepler himself credited it to "a music professor named Magirus".[1] The same triangle appears earlier in a book of Arabic mathematics, the Liber mensurationum of Abû Bekr, known from a 12th-century translation by Gerard of Cremona into Latin,[3][4] and in the Practica geometriae [it] of Fibonacci (published in 1220–1221), who defined it in a similar way to Kepler.[3][5] A little earlier than Kepler, Pedro Nunes wrote about it in 1567, and it is "likely to have been widespread in late medieval and Renaissance manuscript traditions".[3] It has also been independently rediscovered several times, later than Kepler.[1]

According to some authors, a "golden pyramid" with a doubled Kepler triangle as its cross-section accurately describes the design of Egyptian pyramids such as the Great Pyramid of Giza; one source of this theory is a 19th-century misreading of Herodotus by pyramidologist John Taylor.[6][7] Many other theories of proportion have been proposed for the same pyramid, unrelated to the Kepler triangle.[1][6][8] Because these different theories are very similar in the numeric values they obtain, and because of inaccuracies in measurement, in part caused by the destruction of the outer surface of the pyramid, such theories are difficult to resolve based purely on physical evidence.[6][9] The match in proportions to the Kepler triangle may well be a numerical coincidence: according to scholars who have investigated this relationship, the ancient Egyptians most likely did not know about or use the golden ratio in their mathematics or architecture.[1][8][10][11] Instead, the proportions of the pyramid can be adequately explained using integer ratios, based on a right triangle with sides 11 and 14.[1][6]

The name "Kepler triangle" for this shape was used by Roger Herz-Fischler, based on Kepler's 1597 letter, as early as 1979.[7] Another name for the same triangle, used by Matila Ghyka in his 1946 book on the golden ratio, The Geometry of Art and Life, is the "triangle of Price", after pyramidologist W. A. Price.[12]

## Definitions

The Kepler triangle is uniquely defined by the properties of being a right triangle and of having its side lengths in geometric progression, or equivalently having the squares on its sides in geometric progression. The ratio of the progression of side lengths is ${\displaystyle {\sqrt {\varphi }}}$, where ${\displaystyle \varphi =(1+{\sqrt {5}})/2}$ is the golden ratio, and the progression can be written: ${\displaystyle 1:{\sqrt {\varphi }}:\varphi }$, or approximately 1 : 1.272 : 1.618. Squares on the edges of this triangle have areas in another geometric progression, ${\displaystyle 1:\varphi :\varphi ^{2}}$. The fact that the triangle with these proportions is a right triangle follows from the fact that, for squared edge lengths with these proportions, the defining polynomial of the golden ratio is the same as the formula given by the Pythagorean theorem for the squared edge lengths of a right triangle:

${\displaystyle \varphi ^{2}=\varphi +1.}$
Because this equation is true for the golden ratio, these three lengths obey the Pythagorean theorem, and form a right triangle. Conversely, in any right triangle whose squared edge lengths are in geometric progression with any ratio ${\displaystyle \rho }$, the Pythagorean theorem implies that this ratio obeys the identity ${\displaystyle \rho ^{2}=\rho +1}$. Therefore, the ratio must be the unique positive solution to this equation, the golden ratio, and the triangle must be a Kepler triangle.[1]

The three edge lengths ${\displaystyle 1}$, ${\displaystyle {\sqrt {\varphi }}}$ and ${\displaystyle \varphi }$ are the harmonic mean, geometric mean, and arithmetic mean, respectively, of the two numbers ${\displaystyle \varphi \pm 1}$.[13][14] These three ways of combining two numbers were all studied in ancient Greek mathematics, and are called the Pythagorean means.[15] Conversely, this can be taken as an alternative definition of the Kepler triangle: it is a right triangle whose edge lengths are the three Pythagorean means of some two numbers. The only triangles for which this is true are the Kepler triangles.[13][14]

A third, equivalent way of defining this triangle comes from a problem of maximizing the inradius of isosceles triangles. Among all isosceles triangles with a fixed choice of the length of the two equal sides but with a variable base length, the one with the largest inradius is formed from two copies of the Kepler triangle, reflected across their longer sides from each other. Therefore, the Kepler triangle can be defined as the right triangle that, among all right triangles with the same hypotenuse, forms with its reflection the isosceles triangle of maximum inradius.[16] The same reflection also forms an isosceles triangle that, for a given perimeter, contains the largest possible semicircle.[17]

## Properties

If the short side of a Kepler triangle has length ${\displaystyle s}$, the other sides will have lengths ${\displaystyle s{\sqrt {\varphi }}}$ and ${\displaystyle s\varphi }$. The area can be calculated by the standard formula for the area of right triangles (half the product of the two short sides) as ${\displaystyle {\tfrac {s^{2}}{2}}{\sqrt {\varphi }}}$. The cosine of the larger of the two non-right angles is the ratio of the adjacent side (the shorter of the two sides) to the hypotenuse, ${\displaystyle \varphi }$, from which it follows that the two non-right angles are[1]

${\displaystyle \theta =\sin ^{-1}{\frac {1}{\varphi }}\approx 38.1727^{\circ }}$
and
${\displaystyle \theta =\cos ^{-1}{\frac {1}{\varphi }}\approx 51.8273^{\circ }.}$

Jerzy Kocik has observed that the larger of these two angles is also the angle formed by the centers of triples of consecutive circles in Coxeter's loxodromic sequence of tangent circles.[18]

• Automedian triangle, a triangle whose squared side lengths form an arithmetic progression, including the right triangle with side lengths ${\displaystyle 1:{\sqrt {2}}:{\sqrt {3}}}$
• Golden triangle, an isosceles triangle whose ratio of base to side length is the golden ratio.

## References

1. Herz-Fischler, Roger (2000). The Shape of the Great Pyramid. Waterloo, Ontario: Wilfrid Laurier University Press. ISBN 0-88920-324-5. MR 1788996. The entire book surveys many alternative theories for this pyramid's shape. See Chapter 11, "Kepler triangle theory", pp. 80–91, for material specific to the Kepler triangle, and p. 166 for the conclusion that the Kepler triangle theory can be eliminated by the principle that "A theory must correspond to a level of mathematics consistent with what was known to the ancient Egyptians." See note 3, p. 229, for the history of Kepler's work with this triangle.
2. ^ Fink, Karl (1903). A Brief History of Mathematics: An Authorized Translation of Dr. Karl Fink's Geschichte der Elementar-Mathematik. Translated by Beman, Wooster Woodruff; Smith, David Eugene (2nd ed.). Chicago: Open Court Publishing Company. p. 223.
3. ^ a b c d Høyrup, Jens (2002). "Review of The shape of the Great Pyramid by Roger Herz-Fischler" (PDF). Mathematical Reviews. MR 1788996. Archived (PDF) from the original on 2022-02-23. Retrieved 2022-02-23.
4. ^ Busard, Hubert L. L. (April–June 1968). "L'algèbre au Moyen Âge : le "Liber mensurationum" d'Abû Bekr". Journal des Savants (in French and Latin). 1968 (2): 65–124. doi:10.3406/jds.1968.1175. Archived from the original on 2022-01-12. Retrieved 2022-01-12. See problem 51, reproduced on p. 98
5. ^ Hughes, Barnabas, ed. (2008). Fibonacci's De Practica Geometrie. Sources and Studies in the History of Mathematics and Physical Sciences. New York: Springer. pp. 130–131. doi:10.1007/978-0-387-72931-2. ISBN 978-0-387-72930-5. MR 2364574.
6. ^ a b c d Bartlett, Christopher (May 2014). "The Design of The Great Pyramid of Khufu". Nexus Network Journal. 16 (2): 299–311. doi:10.1007/s00004-014-0193-9. S2CID 122021107.
7. ^ a b Fischler, R. (1979). "What did Herodotus really say? or how to build (a theory of) the Great Pyramid". Environment and Planning B: Planning and Design. 6 (1): 89–93. doi:10.1068/b060089. S2CID 62210630.
8. ^ a b Rossi, Corinna (2004). Architecture and Mathematics in Ancient Egypt. Cambridge University Press. pp. 67–68. ISBN 978-0-521-82954-0. there is no direct evidence in any ancient Egyptian written mathematical source of any arithmetic calculation or geometrical construction which could be classified as the Golden Section ... convergence to ${\displaystyle \varphi }$, and ${\displaystyle \varphi }$ itself as a number, do not fit with the extant Middle Kingdom mathematical sources; see also extensive discussion of multiple alternative theories for the shape of the pyramid and other Egyptian architecture, pp. 7–56
9. ^ Anglin, W. S. (1994). "Great pyramid nonsense". Mathematics: a concise history and philosophy. Undergraduate Texts in Mathematics. New York: Springer-Verlag. p. 4. doi:10.1007/978-1-4612-0875-4. ISBN 0-387-94280-7. MR 1301327.
10. ^ Rossi, Corinna; Tout, Christopher A. (2002). "Were the Fibonacci series and the Golden Section known in ancient Egypt?". Historia Mathematica. 29 (2): 101–113. doi:10.1006/hmat.2001.2334. hdl:11311/997099. MR 1896969.
11. ^ Markowsky, George (January 1992). "Misconceptions about the Golden Ratio" (PDF). The College Mathematics Journal. 23 (1). Mathematical Association of America: 2–19. doi:10.2307/2686193. JSTOR 2686193. Archived (PDF) from the original on 2020-12-11. Retrieved 2012-06-29. It does not appear that the Egyptians even knew of the existence of ${\displaystyle \varphi }$ much less incorporated it in their buildings
12. ^ Ghyka, Matila Costiescu (1946). The Geometry of Art and Life. New York: Sheed and Ward. p. 22.
13. ^ a b Bruce, Ian (1994). "Another instance of the golden right triangle" (PDF). Fibonacci Quarterly. 32 (3): 232–233. MR 1285752. Archived (PDF) from the original on 2022-01-29. Retrieved 2022-01-29.
14. ^ a b Di Domenico, Angelo (July 2005). "89.41 The golden ratio—the right triangle—and the arithmetic, geometric, and harmonic means". The Mathematical Gazette. 89 (515): 261. doi:10.1017/s0025557200177769. JSTOR 3621234. S2CID 123738769.
15. ^ Huffman, Carl (2005). "Archytas and the history of means". Archytas of Tarentum: Pythagorean, Philosopher and Mathematician King. Cambridge University Press. pp. 170–177. ISBN 978-1-139-44407-1. Archived from the original on 2022-01-22. Retrieved 2022-01-22.
16. ^ Halleck, Ezra (March 2012). "Teaching tip: Consider a circular cow". The College Mathematics Journal. 43 (2): 133. doi:10.4169/college.math.j.43.2.133. JSTOR 10.4169/college.math.j.43.2.133. S2CID 123891402.
17. ^ DeTemple, Duane W. (1992). "The triangle of smallest perimeter which circumscribes a semicircle" (PDF). Fibonacci Quarterly. 30 (3): 274. MR 1175315. Archived (PDF) from the original on 2022-01-20. Retrieved 2022-01-29.
18. ^ Kocik, Jerzy (January 2019). "A note on unbounded Apollonian disk packings". arXiv:1910.05924 [math.MG].