\documentclass[12pt,titlepage]{article} \usepackage{amsmath} \usepackage{mathrsfs} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsthm} \usepackage{mathtools} \usepackage{graphicx} \usepackage{color} \usepackage{ucs} \usepackage[utf8x]{inputenc} \usepackage{xparse} \usepackage{hyperref} %----Macros---------- % % Unresolved issues: % % \righttoleftarrow % \lefttorightarrow % % \color{} with HTML colorspec % \bgcolor % \array with options (without options, it's equivalent to the matrix environment) % Of the standard HTML named colors, white, black, red, green, blue and yellow % are predefined in the color package. Here are the rest. \definecolor{aqua}{rgb}{0, 1.0, 1.0} \definecolor{fuschia}{rgb}{1.0, 0, 1.0} \definecolor{gray}{rgb}{0.502, 0.502, 0.502} \definecolor{lime}{rgb}{0, 1.0, 0} \definecolor{maroon}{rgb}{0.502, 0, 0} \definecolor{navy}{rgb}{0, 0, 0.502} \definecolor{olive}{rgb}{0.502, 0.502, 0} \definecolor{purple}{rgb}{0.502, 0, 0.502} \definecolor{silver}{rgb}{0.753, 0.753, 0.753} \definecolor{teal}{rgb}{0, 0.502, 0.502} % Because of conflicts, \space and \mathop are converted to % \itexspace and \operatorname during preprocessing. % itex: \space{ht}{dp}{wd} % % Height and baseline depth measurements are in units of tenths of an ex while % the width is measured in tenths of an em. \makeatletter \newdimen\itex@wd% \newdimen\itex@dp% \newdimen\itex@thd% \def\itexspace#1#2#3{\itex@wd=#3em% \itex@wd=0.1\itex@wd% \itex@dp=#2ex% \itex@dp=0.1\itex@dp% \itex@thd=#1ex% \itex@thd=0.1\itex@thd% \advance\itex@thd\the\itex@dp% \makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}} \makeatother % \tensor and \multiscript \makeatletter \newif\if@sup \newtoks\@sups \def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}% \def\reset@sup{\@supfalse\@sups={}}% \def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else% \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}% \else \append@sup#2 \@suptrue \fi% \expandafter\mk@scripts\fi} \def\tensor#1#2{\reset@sup#1\mk@scripts#2_/} \def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2% \reset@sup\mk@scripts#3_/} \makeatother % \slash \makeatletter \newbox\slashbox \setbox\slashbox=\hbox{$/$} \def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$} \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa \copy\slashbox \kern-\@tempdima \box\@tempboxa} \def\slash{\protect\itex@pslash} \makeatother % math-mode versions of \rlap, etc % from Alexander Perlis, "A complement to \smash, \llap, and lap" % http://math.arizona.edu/~aprl/publications/mathclap/ \def\clap#1{\hbox to 0pt{\hss#1\hss}} \def\mathllap{\mathpalette\mathllapinternal} \def\mathrlap{\mathpalette\mathrlapinternal} \def\mathclap{\mathpalette\mathclapinternal} \def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}} \def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}} \def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}} % Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2} \let\oldroot\root \def\root#1#2{\oldroot #1 \of{#2}} \renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}} % Manually declare the txfonts symbolsC font \DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n} \SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n} \DeclareFontSubstitution{U}{txsyc}{m}{n} % Manually declare the stmaryrd font \DeclareSymbolFont{stmry}{U}{stmry}{m}{n} \SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n} % Manually declare the MnSymbolE font \DeclareFontFamily{OMX}{MnSymbolE}{} \DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n} \SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n} \DeclareFontShape{OMX}{MnSymbolE}{m}{n}{ <-6> MnSymbolE5 <6-7> MnSymbolE6 <7-8> MnSymbolE7 <8-9> MnSymbolE8 <9-10> MnSymbolE9 <10-12> MnSymbolE10 <12-> MnSymbolE12}{} % Declare specific arrows from txfonts without loading the full package \makeatletter \def\re@DeclareMathSymbol#1#2#3#4{% \let#1=\undefined \DeclareMathSymbol{#1}{#2}{#3}{#4}} \re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116} \re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116} \re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117} \re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117} \re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118} \re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118} \re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119} \re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119} \re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46} \re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121} \re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121} \re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12} \re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64} \re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6} \re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77} \re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77} \makeatother % \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE \makeatletter \def\Decl@Mn@Delim#1#2#3#4{% \if\relax\noexpand#1% \let#1\undefined \fi \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}} \def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}} \def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}} \Decl@Mn@Open{\llangle}{mnomx}{'164} \Decl@Mn@Close{\rrangle}{mnomx}{'171} \Decl@Mn@Open{\lmoustache}{mnomx}{'245} \Decl@Mn@Close{\rmoustache}{mnomx}{'244} \makeatother % Widecheck \makeatletter \DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}} \def\@widecheck#1#2{% \setbox\z@\hbox{\m@th$#1#2$}% \setbox\tw@\hbox{\m@th$#1% \widehat{% \vrule\@width\z@\@height\ht\z@ \vrule\@height\z@\@width\wd\z@}$}% \dp\tw@-\ht\z@ \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@ \setbox\tw@\hbox{% \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box \tw@}}}% {\ooalign{\box\tw@ \cr \box\z@}}} \makeatother % \mathraisebox{voffset}[height][depth]{something} \makeatletter \NewDocumentCommand\mathraisebox{moom}{% \IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{% \IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}% }{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}% \mathpalette\@temp{#4}} \makeatletter % udots (taken from yhmath) \makeatletter \def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.} \mkern2mu\raise4\p@\hbox{.}\mkern1mu \raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}} \makeatother %% Fix array \newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}} %% \itexnum is a noop \newcommand{\itexnum}[1]{#1} %% Renaming existing commands \newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}} \newcommand{\widevec}{\overrightarrow} \newcommand{\darr}{\downarrow} \newcommand{\nearr}{\nearrow} \newcommand{\nwarr}{\nwarrow} \newcommand{\searr}{\searrow} \newcommand{\swarr}{\swarrow} \newcommand{\curvearrowbotright}{\curvearrowright} \newcommand{\uparr}{\uparrow} \newcommand{\downuparrow}{\updownarrow} \newcommand{\duparr}{\updownarrow} \newcommand{\updarr}{\updownarrow} \newcommand{\gt}{>} \newcommand{\lt}{<} \newcommand{\map}{\mapsto} \newcommand{\embedsin}{\hookrightarrow} \newcommand{\Alpha}{A} \newcommand{\Beta}{B} \newcommand{\Zeta}{Z} \newcommand{\Eta}{H} \newcommand{\Iota}{I} \newcommand{\Kappa}{K} \newcommand{\Mu}{M} \newcommand{\Nu}{N} \newcommand{\Rho}{P} \newcommand{\Tau}{T} \newcommand{\Upsi}{\Upsilon} \newcommand{\omicron}{o} \newcommand{\lang}{\langle} \newcommand{\rang}{\rangle} \newcommand{\Union}{\bigcup} \newcommand{\Intersection}{\bigcap} \newcommand{\Oplus}{\bigoplus} \newcommand{\Otimes}{\bigotimes} \newcommand{\Wedge}{\bigwedge} \newcommand{\Vee}{\bigvee} \newcommand{\coproduct}{\coprod} \newcommand{\product}{\prod} \newcommand{\closure}{\overline} \newcommand{\integral}{\int} \newcommand{\doubleintegral}{\iint} \newcommand{\tripleintegral}{\iiint} \newcommand{\quadrupleintegral}{\iiiint} \newcommand{\conint}{\oint} \newcommand{\contourintegral}{\oint} \newcommand{\infinity}{\infty} \newcommand{\bottom}{\bot} \newcommand{\minusb}{\boxminus} \newcommand{\plusb}{\boxplus} \newcommand{\timesb}{\boxtimes} \newcommand{\intersection}{\cap} \newcommand{\union}{\cup} \newcommand{\Del}{\nabla} \newcommand{\odash}{\circleddash} \newcommand{\negspace}{\!} \newcommand{\widebar}{\overline} \newcommand{\textsize}{\normalsize} \renewcommand{\scriptsize}{\scriptstyle} \newcommand{\scriptscriptsize}{\scriptscriptstyle} \newcommand{\mathfr}{\mathfrak} \newcommand{\statusline}[2]{#2} \newcommand{\tooltip}[2]{#2} \newcommand{\toggle}[2]{#2} % Theorem Environments \theoremstyle{plain} \newtheorem{theorem}{Theorem} \newtheorem{lemma}{Lemma} \newtheorem{prop}{Proposition} \newtheorem{cor}{Corollary} \newtheorem*{utheorem}{Theorem} \newtheorem*{ulemma}{Lemma} \newtheorem*{uprop}{Proposition} \newtheorem*{ucor}{Corollary} \theoremstyle{definition} \newtheorem{defn}{Definition} \newtheorem{example}{Example} \newtheorem*{udefn}{Definition} \newtheorem*{uexample}{Example} \theoremstyle{remark} \newtheorem{remark}{Remark} \newtheorem{note}{Note} \newtheorem*{uremark}{Remark} \newtheorem*{unote}{Note} %------------------------------------------------------------------- \begin{document} %------------------------------------------------------------------- \section*{pentagon decagon hexagon identity} \hypertarget{context}{}\subsubsection*{{Context}}\label{context} \hypertarget{geometry}{}\paragraph*{{Geometry}}\label{geometry} [[!include higher geometry - contents]] \hypertarget{contents}{}\section*{{Contents}}\label{contents} \noindent\hyperlink{contents}{Contents}\dotfill \pageref*{contents} \linebreak \noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak \noindent\hyperlink{euclids_proof}{Euclid's proof}\dotfill \pageref*{euclids_proof} \linebreak \noindent\hyperlink{another_2d_proof}{Another 2d proof}\dotfill \pageref*{another_2d_proof} \linebreak \noindent\hyperlink{golden_triangle_lemma}{Golden triangle lemma}\dotfill \pageref*{golden_triangle_lemma} \linebreak \noindent\hyperlink{proof_using_the_golden_triangle_lemma}{Proof using the golden triangle lemma}\dotfill \pageref*{proof_using_the_golden_triangle_lemma} \linebreak \noindent\hyperlink{alternative_construction_displaying_right_triangles}{Alternative construction displaying right triangles}\dotfill \pageref*{alternative_construction_displaying_right_triangles} \linebreak \noindent\hyperlink{an_identity_in_the_golden_ratio}{An identity in the golden ratio}\dotfill \pageref*{an_identity_in_the_golden_ratio} \linebreak \noindent\hyperlink{Icosahedron}{Proof using the icosahedron}\dotfill \pageref*{Icosahedron} \linebreak \noindent\hyperlink{avoiding_the_intermediate_value_theorem}{Avoiding the intermediate value theorem}\dotfill \pageref*{avoiding_the_intermediate_value_theorem} \linebreak \noindent\hyperlink{IcosahedronDual}{A dual proof using the icosahedron}\dotfill \pageref*{IcosahedronDual} \linebreak \noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak \hypertarget{idea}{}\section*{{Idea}}\label{idea} A certain identity in [[Euclidean geometry]]. Suppose we inscribe a regular pentagon, a regular decagon, and a regular hexagon in circles of the same radius. If we denote the respective edge lengths of these polygons by $P$, $D$ and $H$, then these lengths will satisfy the identity: \begin{displaymath} P^2=D^2+H^2 \end{displaymath} This means that the edges of a pentagon, decagon and hexagon of identical radii can fit together to form a right triangle. Euclid states this beautiful but mysterious identity as \href{http://aleph0.clarku.edu/~djoyce/java/elements/bookXIII/propXIII10.html}{Proposition 10} of Book XIII of the \emph{Elements}. This is the last book of the \emph{Elements}, the one which deals with properties of the Platonic solids. He uses Proposition 10 as part of his construction of the regular icosahedron in \href{http://aleph0.clarku.edu/~djoyce/java/elements/bookXIII/propXIII13.html}{Proposition 13}. This has led various historians to suggest that the pentagon-decagon-hexagon identity was first discovered in the course of research on the icosahedron. However, it seems that until now there has been no \emph{proof} of the pentagon-decagon-hexagon identity based on properties of the icosahedron. We present such a proof here. We also present two other proofs: a modernized version of Euclid's original proof, and a somewhat simpler proof which (like Euclid's) uses only 2-dimensional geometry. \hypertarget{euclids_proof}{}\section*{{Euclid's proof}}\label{euclids_proof} The essence of \href{http://aleph0.clarku.edu/~djoyce/java/elements/bookXIII/propXIII10.html}{Euclid's proof} can be understood if we take for granted the numerical values of the various angles in his construction, which are easily established. Euclid himself would not have used numerical values like this, and they are not a part of the proof; they're merely a short-hand that allows the reader to see at a glance the relationships between angles that the original proof established by routine methods. [[!include pentagon decagon hexagon identity {\tt \symbol{62}} Euclid]] The line segment $A B$ is one edge of a pentagon inscribed in a circle centred at $F$, and $A K$ and $K B$ are edges of a decagon inscribed in the same circle. Note that while $A B$ is bisected by $H$ and $A K$ is bisected by $L$, the point $N$ is \emph{not} a point of bisection of $A H$. Triangle $A B F$ is similar to triangle $B F N$. So $\frac{A B}{B F}=\frac{B F}{F N}=\frac{B F}{B N}$, with the last equality true because the triangles are isosceles with $F N = B N$. Thus ${B F}^2={A B}\cdot{B N}$. Triangle $B A K$ is similar to triangle $K A N$. So $\frac{B A}{A K}=\frac{K A}{A N}$. Thus ${A K}^2={A B}\cdot{A N}$. Adding our two results, we have: ${B F}^2+{A K}^2={A B}\cdot(A N + B N)={A B}^2$. $B F$ is our radius (or equivalently, the length of one side of a hexagon inscribed in the same circle), $A K$ is a decagon side, and $A B$ is a pentagon side. So we have established the pentagon-decagon-hexagon identity. \hypertarget{another_2d_proof}{}\section*{{Another 2d proof}}\label{another_2d_proof} Euclid's proof is quick but somewhat mysterious. Here is another, perhaps simpler, proof that uses only 2-dimensional constructions. It relies on a lemma concerning the ratio of sides in a ``golden triangle''. \hypertarget{golden_triangle_lemma}{}\subsection*{{Golden triangle lemma}}\label{golden_triangle_lemma} [[!include pentagon decagon hexagon identity {\tt \symbol{62}} golden triangle]] The lemma states that in any isosceles triangle with angles of 72\textdegree{}, 36\textdegree{} and 72\textdegree{}, the ratio of the long sides of the triangle to its base is $\Phi$, the golden ratio, which is defined as the unique positive solution of the equation: \begin{displaymath} 1+\frac{1}{\Phi}=\Phi \end{displaymath} Note that some authors call ``the golden ratio'' the reciprocal of the number we're calling $\Phi$. For the purpose of this article, $\Phi=\frac{\sqrt{5}+1}{2}\approx 1.61803$. In the diagram above, triangle $B D E$ is similar to triangle $B E C$. So: \begin{displaymath} \frac{B D}{B E}=\frac{B E}{B C} \end{displaymath} \begin{displaymath} \frac{r+t}{r}=\frac{r}{t} \end{displaymath} \begin{displaymath} 1+\frac{t}{r}=\frac{r}{t} \end{displaymath} By the definition of the golden ratio, $\frac{r}{t}=\Phi$. This lemma was given by Euclid as \href{http://aleph0.clarku.edu/~djoyce/java/elements/bookXIII/propXIII9.html}{Proposition 9} of Book XIII. \hypertarget{proof_using_the_golden_triangle_lemma}{}\subsection*{{Proof using the golden triangle lemma}}\label{proof_using_the_golden_triangle_lemma} [[!include pentagon decagon hexagon identity {\tt \symbol{62}} golden ratio]] By the golden triangle lemma for isosceles triangles with angles of 36\textdegree{}, triangle $N O P$ gives us $r=t\Phi$. From the same lemma, applied to triangle $P N Q$, we have $2b=t/\Phi$. So the product of $r$ and $2b$ is $t^2$. Because triangle $N Q O$ and $N Q P$ are both isosceles, $O Q = N Q = N P = t$, the decagon edge. And we can read off the equation $r=t+2b$ just by summing the distances along $O P$. From the right triangle $N M P$ we have $s^2=t^2-b^2$, hence $(2s)^2=4t^2-4b^2$. The whole large multi-coloured rectangle has an area of $(2s)^2$, because the green square, the light blue rectangle, and each of the two red rectangles \emph{all} have areas of $t^2$, but then we need to subtract the light red square where the two red rectangles overlap, and that has area $4b^2$. Now if we subtract a single $t^2$, the light blue rectangle, we're left with a square of side length $r$. So $(2s)^2-t^2=r^2$, which is the pentagon-decagon-hexagon identity. \hypertarget{alternative_construction_displaying_right_triangles}{}\subsubsection*{{Alternative construction displaying right triangles}}\label{alternative_construction_displaying_right_triangles} While the construction above is straightforward, it's also possible to present an equivalent result that explicitly gives us right triangles with the pentagon edge as their hypotenuse and the hexagon and decagon edges as their other sides. [[!include pentagon decagon hexagon identity {\tt \symbol{62}} pythagorean identity]] The diagram above is similar to one used in a common proof of Pythagoras's Theorem, but here we use it to establish the value of the square of the hypotenuse of a right triangle with sides $r$ and $t$, i.e. the hexagon edge and the decagon edge. The large tilted square has a hypotenuse as its side. Its area is $4b^2$, from the central pink square, plus $4t^2$, from the four multi-coloured $t\times t$ squares arranged around the central square, minus four times the area of the dark green triangle that needs to be excluded (the contributions from the yellow triangles inside and outside the region cancel out). But each dark green triangle has both base and height of $2b$, and hence an area of $2b^2$, so the total area is $4t^2+4b^2-4\times 2b^2=4t^2-4b^2=(2s)^2$, the square of a pentagon edge. At first glance it might seem as if we've only used $r=t+2b$ to derive the result here, whereas in the previous construction we needed the fact that the product of $r$ and $2b$ was $t^2$. But we \emph{have} used it: the yellow triangles that share an edge with the dark green triangles, and those that do not, are only congruent because of it. The latter have one of their sides by construction being $r-t=2b$, whereas the former's matching side arises as a proportion of the larger $r\times t$ triangle as $\frac{t}{r}\cdot t=2b$. \hypertarget{an_identity_in_the_golden_ratio}{}\subsection*{{An identity in the golden ratio}}\label{an_identity_in_the_golden_ratio} The first way of presenting the preceding proof implies the identity: \begin{displaymath} \Phi^2+\frac{1}{\Phi^2}=3 \end{displaymath} which can also be verified algebraically from the defining equation for $\Phi$. We can see this identity a bit more clearly if we remove the leftmost rectangle from the construction, slide the rightmost one down to eliminate the overlap, and take out the overall factor of $t$ from all the sides. We then have: [[!include pentagon decagon hexagon identity {\tt \symbol{62}} golden ratio identity]] We can also construct a diagram that explicitly shows that the square of the diagonal of a rectangle of dimensions $\Phi$ by $\frac{1}{\Phi}$ is $3$. [[!include pentagon decagon hexagon identity {\tt \symbol{62}} golden ratio identity pythagorean]] Here each red triangle has area $\frac{1}{2}$, so along with the light green unit square the total area is $3$. \hypertarget{Icosahedron}{}\section*{{Proof using the icosahedron}}\label{Icosahedron} Suppose we take \textbf{three congruent rectangles}, and assemble them symmetrically so that their \emph{long} edges are all mutually orthogonal, and their \emph{short} edges are all mutually orthogonal. Like this: [[!include pentagon decagon hexagon identity {\tt \symbol{62}} skinny duads]] We then join up the corners to make an icosahedron, as in the diagram above. Eight faces of this icosahedron (the ones centred on the diagonals of the eight ``octants'' into which the space here is divided) will \emph{always} be congruent and equilateral; that's guaranteed by the construction, whatever the precise ratio of the side lengths of the rectangles. The other twelve faces will be isosceles triangles, all congruent to each other. In terms of edges, there are two congruent sets: the six edges that correspond to short sides of our rectangles will all be congruent, and the twenty-four edges that are sides of the eight equilateral faces will all be congruent. Now, it's clear that by making the rectangles long and skinny, we can make the isosceles triangles as long and skinny as we like. But what about making them short and squat? How far can we go in that direction? [[!include pentagon decagon hexagon identity {\tt \symbol{62}} square duads]] If we make the three rectangles into squares, as above, the isosceles triangles have two 45\textdegree{} angles. So between this extreme, and the long-and-skinny extreme, it's clear that we can choose \emph{some} intermediate degree of skinniness for the rectangles that will turn the 12 isosceles triangles into equilateral triangles. So, a \emph{regular} icosahedron must exist, and it will have six edges that form three mutually orthogonal pairs. [[!include pentagon decagon hexagon identity {\tt \symbol{62}} duads]] (The argument we've just given implicity uses the [[intermediate value theorem]] and would not have been used by Euclid, although Archimedes might have attempted it. An alternative that avoids using the intermediate value theorem is given at the end of the proof.) We will set the short side of the rectangles to $1$, and for now we will call the corresponding value for the long side that produces a regular icosahedron $x$. In the figure below we project everything into the plane of one of the rectangles. Where two vertices are projected to the same point in the diagram, a circle is drawn around the point. [[!include pentagon decagon hexagon identity {\tt \symbol{62}} icosahedron]] The five vertices of the icosahedron that project onto the line segment $A P R$ will form a regular pentagon, the edges of which are also edges of the icosahedron. $A P R$ is a straight line because the pentagon is a planar figure, as it must be if it forms the base of a pentagonal pyramid with five congruent equilateral triangles as its other faces. The point $C$ is produced by dropping a perpendicular line from the apex, $B$, of this pentagonal pyramid, to its base. By construction, $Q R$ is parallel to $A B$, and both are orthogonal to $O P$. Combined with the fact that $A P R$ is a straight line, that's enough to show that the triangle $A B C$ is congruent to the triangle $S P T$. The five vertices that project onto the line segment $Z S Q$ will form another pentagon. The two pentagons will be congruent, and the radius of the circles in which they're inscribed will be $A C$. And since the triangle $A B C$ is congruent to the triangle $S P T$, the \emph{distance} between the pentagons, $S T$, equals their radius, $A C$. These two pentagons are shown in the diagram below. [[!include pentagon decagon hexagon identity {\tt \symbol{62}} icosahedron triangles]] If we draw a line perpendicular to the planes of the two pentagons, from a vertex in one plane, $A$, to the point directly below it on the other plane, $V$, the length of that perpendicular, $A V$, will be equal to the common radius of the pentagons, $A C$. Now, $A V$ is one side of a right triangle whose hypotenuse is an icosahedral edge, $A Q$ (congruent to the edges of the pentagons), and whose third side, $Q V$, is one edge of a decagon inscribed in the same circle as the lower pentagon. The decagon edge arises because the two pentagons are rotated relative to each other by an angle of 36\textdegree{}, the angle between vertices in a decagon. So, the triangles $A B C$ and $A Q V$ are congruent (both being right triangles with a pentagon edge as their hypotenuse and the radius as one of their sides), and both exhibit the pentagon-decagon-hexagon identity. According to the historian Ian Mueller, Eva Sachs, in her book \emph{Die F\"u{}nf Platonischen K\"o{}rper}, suggested an accurately drawn figure could let someone guess that the distance between the two pentagons equals the radius of either one. Mueller also writes that Dijksterhuis (in 1929) and Neuenschwander (in 1975) claimed it's ``intuitively evident'' that the two right triangles above are congruent. These clues led Greg Egan to the present proof. If we want, we can now appeal to Euclid's golden triangle lemma -- which gives us the ratio between the radius and the decagon edge length as $\Phi$ -- and work backwards to show that this is also the ratio of length to width for our three orthogonal rectangles; that is, $x=\Phi$ is the value needed to produce a regular icosahedron. This follows simply from the fact that the right triangle $O R P$ is similar to the right triangle $C A B$. \hypertarget{avoiding_the_intermediate_value_theorem}{}\subsection*{{Avoiding the intermediate value theorem}}\label{avoiding_the_intermediate_value_theorem} Finally, suppose we wish to avoid using the intermediate value theorem. To do this, we need to specify the length-to-width ratio, $x$, of the rectangles in our construction, and show that our choice yields a regular icosahedron. One approach we could take is to set $x=\Phi$, and directly calculate the length of an edge of our icosahedron that doesn't lie on one of the rectangles. If this length is $1$ -- matching the edges that \emph{do} lie on the rectangles -- the icosahedron will be regular. [[!include pentagon decagon hexagon identity {\tt \symbol{62}} pythagorean icosahedron]] As the diagram above shows, this isn't too hard; with the help of a re-scaled version of the diagram we used to demonstrate the identity $\Phi^2+\frac{1}{\Phi^2}=3$, we can see that ${A Q}^2=\frac{3}{4}$, and, since the vertices that project to $Q$ are a distance of $\frac{1}{2}$ out of the plane, the squared length of the edge that projects to $A Q$ will be $1$. But if this is a little too close to resorting to algebra, we can take a more geometric approach. If we project the generic version of our icosahedron onto the plane of one of its rectangles, we get this: [[!include pentagon decagon hexagon identity {\tt \symbol{62}} irregular icosahedron]] In order to make $A P R$ into a straight line -- which amounts to making the pentagon of vertices that project onto $A P R$ into a planar figure -- we need the slope of $A R$ to equal the slope of $P R$, which is equivalent to: \begin{displaymath} \frac{x+1}{x}=x \end{displaymath} This is just the defining equation for the golden ratio, $\Phi$. So we need to set $x=\Phi$ to have any hope of our icosahedron being regular, since in a regular icosahedron the pentagon will be the base of a pentagonal pyramid with equilateral sides, which is clearly a planar figure. Next, we note that the golden triangle lemma can be used to establish that in the figure below, the larger of the two golden triangles here associated with a regular pentagon is $\Phi$ times larger than the smaller one (because the long edge of the smaller triangle is congruent to the small edge of the larger triangle). This means the \emph{height} of a regular pentagon, measured from one edge, is $\Phi$ times the height of an adjacent vertex. [[!include pentagon decagon hexagon identity {\tt \symbol{62}} pentagon heights]] The same lemma also shows that the \emph{width} of a regular pentagon, measured parallel to one edge, is $\Phi$ times its edge length. [[!include pentagon decagon hexagon identity {\tt \symbol{62}} pentagon width]] Now, by choosing $x=\Phi$, as well as making the pentagon that projects onto $A P R$ into a planar figure, we've actually made \emph{every} set of five vertices that are neighbours to any given vertex in the icosahedron lie in a plane. [[!include pentagon decagon hexagon identity {\tt \symbol{62}} icosahedron pentagon]] For example, the two such pentagons that project onto $B P S Z R$ must also be planar. But since they're planar, their projection here will preserve the ratio between the perpendicular distance from $P S$ to the vertex that projects to $R$ and the perpendicular distance from $P S$ to the vertices that project to $Z$ and $B$. The projections of these distances are just $\frac{x}{2}$ and $\frac{1}{2}$ respectively, so our choice of $x=\Phi$ makes their ratio equal to $\Phi$. Furthermore, the lengths of the line segments projecting to $B Z$ and $P S$ will be the same in the actual pentagons as they are in the projection, and in the projection their ratio is $\frac{B Z}{P S}=x=\Phi$. But we've established that both these ratios are $\Phi$ for a \emph{regular} pentagon, and the pentagons projecting to $B P S Z R$ are already so symmetrical (with at least four congruent edges, and mirror symmetry in the perpendicular bisector of the fifth edge) that if they share both ratios, they too must be regular. [[!include pentagon decagon hexagon identity {\tt \symbol{62}} regular pentagon]] That's probably intuitively obvious, but we can make it a bit more explicit. In the diagram above, the blue pentagon shares one edge with the regular, black pentagon, and has also been constrained to have the same width and height ratios. The height ratio fixes $\frac{J K}{G H}=\Phi$ and the width ratio fixes $\frac{F L}{E F}=\Phi$, which means the two yellow triangles are similar, which in turn fixes $\frac{F K}{F H}=\Phi=\frac{F K'}{F H'}$. If we further require that the triangle $F K H$ is isosceles (which follows from the way we've constructed the generic icosahedron), then it will be similar to $F K' H'$, and $F L K$ will be similar to $F L K'$ (since the angle of either of the two yellow triangles at $F$ is just half the supplement of the angle $K F H$). But since $F L K$ and $F L K'$ share an edge, they will actually be \emph{congruent}, and the blue and black pentagons will coincide exactly. In other words, there is only one pentagon meeting all the conditions we've imposed: the regular pentagon with edge $F L$. This means that, given our choice of $x=\Phi$, the two kinds of congruent edges in our generic icosahedron end up being the same size, and the icosahedron itself is regular. \hypertarget{IcosahedronDual}{}\section*{{A dual proof using the icosahedron}}\label{IcosahedronDual} The pentagon-decagon-hexagon identity is usually demonstrated by exhibiting a right triangle whose sides are the edges of a regular pentagon, decagon and hexagon \emph{with the same radii}. However, a proof of the identity devised by Ian Agol constructs a pentagon, decagon and hexagon associated with the icosahedron that all share a common edge, and whose \emph{radii} (now of different lengths) correspond to the \emph{altitudes} of a right triangle. If the length of the common edge of the three polygons is taken to be 1, then their radii are the \emph{reciprocals} of the edge lengths $P$, $D$ and $H$ of the same polygons if they had radii of 1. But the altitudes of a right triangle obey a ``reciprocal'' or ``dual'' version of the usual Pythagorean theorem: if the altitudes of a right triangle measured from its two perpendicular sides are $a$ and $b$, and that measured from the hypotenuse is $c$, then it is easily shown that: \begin{displaymath} \frac{1}{c^2} = \frac{1}{a^2} + \frac{1}{b^2} \end{displaymath} It follows that the existence of a right triangle with altitudes $a=\frac{1}{D}$, $b=\frac{1}{H}$ and $c=\frac{1}{P}$ implies the pentagon-decagon-hexagon identity: \begin{displaymath} P^2=D^2+H^2 \end{displaymath} [[!include pentagon decagon hexagon identity {\tt \symbol{62}} agol icosahedron]] In the diagram above, we have chosen a vertex $V$ of a regular icosahedron with center $C$. The points $M_1$ and $M_2$ are the midpoints of two edges of the icosahedron incident on $V$, and we construct three regular polygons that all have $M_1 M_2$ as a common edge. A regular hexagon (blue) is constructed with center $V$, with $M_1 M_2$ as one of its edges, lying in the plane of one of the faces of the icosahedron. A regular pentagon (yellow) is constructed, with its five vertices being the midpoints of the five edges of the icosahedron that are incident on $V$. The center of this pentagon will lie on the line segment $C V$, and is named $W$ in the diagram. The plane in which this pentagon lies is orthogonal to $C V$, so the line segment $W M_1$ meets $C V$ in a right angle. A regular decagon (green) is constructed with center $C$, with $M_1 M_2$ as one of its edges. Finally, a right triangle (red) is constructed, with vertices $C$, $M_1$ and $V$. The angle at $M_1$ is a right angle, because $C M_1$ is a perpendicular bisector of the polyhedron edge of which $M_1$ is the midpoint. The altitude $C M_1$ of this triangle is the radius of the decagon. The altitude $V M_1$ is the radius of the hexagon. And the altitude $W M_1$ is the radius of the pentagon. From the dual Pythagorean theorem, this establishes the pentagon-decagon-hexagon identity. Ian Agol's construction can also be applied to any of the other Platonic solids, and also to the four Kepler-Poinsot polyhedra. This yields the following results: From the tetrahedron and from the cube, $T^2=S^2+H^2$ for a triangle, square and hexagon. From the octahedron, $S^2=H^2+H^2$, for a square and two hexagons. From the dodecahedron, $T^2=D^2+D_3^2$, for a triangle, decagon, and a 10-pointed star polygon, $D_3$, whose ten edges subtend a total of 1080\textdegree{}. This star polygon arises as the analogous polygon to the blue hexagon in the icosahedral case. Its center is a vertex $V$ of the dodecahedron, and it has as one edge the line segment joining the midpoints of two adjacent edges of a pentagonal face (both edges being incident on the vertex $V$). Since the interior angle of a regular pentagon at each corner is 108\textdegree{}, the corresponding polygon must be a star polygon with its edges subtending that angle, and the first multiple of 108\textdegree{} that is also a multiple of 360\textdegree{} is 1080\textdegree{}, from ten edges. [[!include pentagon decagon hexagon identity {\tt \symbol{62}} agol dodecahedron]] Applying the construction to the Kepler-Poinsot polyhedra, the great dodecahedron and the great icosahedron both yield $P_2^2=H^2+D_3^2$, where $P_2$ is a pentagram. The small stellated dodecahedron yields the original identity, $P^2=D^2+H^2$, with the locations of the hexagon and decagon swapped compared to the icosahedral construction. And the great stellated dodecahedron yields $T^2=D^2+D_3^2$, the same identity as the ordinary dodecahedron, with the decagon and the 10-pointed stars changing places. In general, one of the polygons (the ``green'' one) is invariant under taking the dual of the polyhedron. If the faces of the polyhedron are $n$-gons and the vertex figures are $v$-gons, the ``yellow'' polygon (whose vertices are all the midpoints of all the edges incident on some vertex of the polyhedron) will be a $v$-gon, with each edge subtending an angle of $\frac{2\pi}{v}$, while the ``blue'' polygon centred on the vertex will be a $\frac{2n}{n-2}$-gon, where each edge subtends an angle of $\frac{(n-2)\pi}{n} = \pi-\frac{2\pi}{n}$ (the interior angle between the edges of an $n$-gon). The difference of the squares of the sines of half these angles is: \begin{displaymath} \sin\left(\frac{\pi}{v}\right)^2 - \sin\left(\frac{(n-2)\pi}{2n}\right)^2 = -\cos\left(\pi \left(\frac{1}{n}+\frac{1}{v}\right)\right) \cos\left(\pi \left(\frac{1}{n}-\frac{1}{v}\right)\right) \end{displaymath} where the RHS is now clearly invariant under an exchange of $n$ and $v$. This quantity is the squared sine of half the angle subtended by each edge of the ``green'' polygon. \hypertarget{references}{}\section*{{References}}\label{references} \begin{itemize}% \item John Baez, \href{http://math.ucr.edu/home/baez/week283.html}{This Week's Finds in Mathematical Physics, Week 283} \item \href{http://golem.ph.utexas.edu/category/2009/11/this_weeks_finds_in_mathematic_44.html}{n-Caf\'e{} discussion of TWF 283} \item John Baez, \href{http://math.ucr.edu/home/baez/six.html}{Some Thoughts on the Number 6} \item Ian Mueller, \emph{Philosophy of Mathematics and Deductive Structure in Euclid's Elements}, MIT Press, Cambridge Massachusetts, 1981, pp. 257--258 and references therein. \item Eva Sachs, \emph{Die F\"u{}nf Platonischen K\"o{}rper, zur Geschichte der Mathematik und der Elementenlehre Platons und der Pythagoreer}, Berlin, Weidmann, 1917, pp. 102--104. See page 102--103 \href{http://math.ucr.edu/home/baez/icosahedron_sachs_1.jpg}{here} and page 104 \href{http://math.ucr.edu/home/baez/icosahedron_sachs_2.jpg}{here}. \end{itemize} [[!redirects pentagon-decagon-hexagon identity]] [[!redirects pentagon–decagon–hexagon identity]] [[!redirects pentagon--decagon--hexagon identity]] \end{document}