
<?xml version="1.0"?>
<?xml-stylesheet type="text/xsl" href="..\pmathml.xsl"?>

<!--
  pref:renderer="techexplorer-plugin"
  pref:renderer="techexplorer"
  pref:renderer="css"
  pref:renderer="mathplayer"
  pref:renderer="mathplayer-dl"
  -->



<html xmlns="http://www.w3.org/1999/xhtml">
<head>








</head>
<body>

<!--  /wiki/Exact_trigonometric_constants #Uses ...  (15+7[5])/4
  16 * sin(pi/60)  = 2(1-[3])[5+[5]] + [2]([5]-1)([3]+1)   -->







<!--     http://www.w3.org/TR/xml-entity-names/isogrk3.html
 invisible separator  &#x2063;
 invisible times      &#x2062;
 zerowidthspace          200b
 line feed  000a
 no break   2060
 tab        0009


 integral  &#222b;
 product     220f

 e(euler) &#x212f;   1d522         xml-entity-names/isomscr.html
 sigma    &#x03c3;
 pi       &#x03c0;
 phi      &#x03c6;

 multiply &#x2219;
 cross product   &#x2a2f;
 congruent  &#x2a75;  224e 224f 2242  226d 224f
 qed        &#x25fc;  25aa 25fb

 cent     &#xA2;&cent;

 ??       &#x3c3;

 &lt; &gt;

  lower case epsilon
       decimal   hex
U03B5   949      &#x03B5;

combining breve  &#x0311;
macron              00af

-->









<p> </p>


<p>
The cosine of the angle between normals to the faces of the
  dodecahedron is equal to the angle between the vectors to the
  vertices of the icosahedron, 

<math xmlns="http://www.w3.org/1998/Math/MathML">

<mfrac><mrow>
    <msqrt>
     <mi>5</mi>
    </msqrt>

</mrow><mrow>

    <mi>5</mi>
</mrow></mfrac>

</math>.

Similarly, the cosine of the angle between normals to the faces of the
  icosahedron is equal to the angle between the vectors to the
  vertices of the dodecahedron, 

<math xmlns="http://www.w3.org/1998/Math/MathML">

<mfrac><mrow>
   <msqrt>
     <mi>5</mi>
    </msqrt>


</mrow><mrow>

    <mi>3</mi>
</mrow></mfrac>

</math>.

</p>

<!--  delete from body beginning to here -->

The exact formulas for the pentagonal and fivefold symmetrical
platonic solids is rendered with MathML.  The expressions are
useful in constructing geodesic domes and planetariums.


<table border="1" >
<tr>
<td>

component\object

</td>
<td> dodecahedron </td>
<td> dodecahedron </td>
<td> icosahedron </td>
<td> icosahedron </td>
</tr>

<!--
dodecahedron face normal [5]/5  vertex angle [5]/3
icosahedron  face normal [5]/3  vertex angle [5]/5
-->

<tr>
<td> inscribed radius </td>
<td> 1 </td>
<td>
<math xmlns="http://www.w3.org/1998/Math/MathML">

    <mi>1</mi>
      <mi> &#x2219; </mi>
<mfrac><mrow>
  <msqrt>
    <mi>5</mi>
    <mo>+</mo>
    <mi>2</mi>
      <mi> &#x2219; </mi>
    <msqrt>
     <mi>5</mi>
    </msqrt>
  </msqrt>

</mrow><mrow>

  <msqrt>
    <mi>15</mi>
  </msqrt>
</mrow></mfrac>
</math>
 &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0;
= 0.794654

 </td>
<td> 1 </td>
<td>
<math xmlns="http://www.w3.org/1998/Math/MathML">

    <mi>1</mi>
      <mi> &#x2219; </mi>
<mfrac><mrow>
  <msqrt>
    <mi>5</mi>
    <mo>+</mo>
    <mi>2</mi>
      <mi> &#x2219; </mi>
    <msqrt>
     <mi>5</mi>
    </msqrt>
  </msqrt>

</mrow><mrow>

  <msqrt>
    <mi>15</mi>
  </msqrt>
</mrow></mfrac>
</math>

 &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0;
= 0.794654

 </td>
</tr>
<tr>
<td> circumscribed radius </td>
<td>

<math xmlns="http://www.w3.org/1998/Math/MathML">

  <msqrt>
    <mi>3</mi>
  </msqrt>
      <mi> &#x2219; </mi>

<mfrac><mrow>
  <msqrt>
    <mi>5</mi>
    <mo>-</mo>
    <mi>2</mi>
      <mi> &#x2219; </mi>
    <msqrt>
     <mi>5</mi>
    </msqrt>
  </msqrt>

</mrow><mrow>

    <mi>1</mi>

</mrow></mfrac>
</math>

 &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0;
= 1.258409

 </td>
<td> 1 </td>
<td>

<math xmlns="http://www.w3.org/1998/Math/MathML">

  <msqrt>
    <mi>3</mi>
  </msqrt>
      <mi> &#x2219; </mi>

<mfrac><mrow>
  <msqrt>
    <mi>5</mi>
    <mo>-</mo>
    <mi>2</mi>
      <mi> &#x2219; </mi>
    <msqrt>
     <mi>5</mi>
    </msqrt>
  </msqrt>

</mrow><mrow>

    <mi>1</mi>

</mrow></mfrac>
</math>

 &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0;
= 1.258409



 </td>
<td> 1 </td>
</tr>

<tr>
<td> edge length </td>  <!-- [2][25-11[5]]  [2/3][3-[5]] -->
<td>

<math xmlns="http://www.w3.org/1998/Math/MathML">

  <msqrt>
    <mi>2</mi>
  </msqrt>
      <mi> &#x2219; </mi>

<mfrac><mrow>
  <msqrt>
    <mi>25</mi>
    <mo>-</mo>
    <mi>11</mi>
      <mi> &#x2219; </mi>
    <msqrt>
     <mi>5</mi>
    </msqrt>
  </msqrt>

</mrow><mrow>

    <mi>1</mi>

</mrow></mfrac>
</math>

 &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0;
 = 0.898056 </td>

<td>

<math xmlns="http://www.w3.org/1998/Math/MathML">

  <msqrt>
<mfrac><mrow>
    <mi>2</mi>
</mrow><mrow>

    <mi>3</mi>

</mrow></mfrac>
  </msqrt>
      <mi> &#x2219; </mi>

  <msqrt>
    <mi>3</mi>
    <mo>-</mo>
    <msqrt>
     <mi>5</mi>
    </msqrt>
  </msqrt>

</math>

 &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0;
= 0.713644 </td>

<!-- [6][7-3[5]]  [2/5][5-[5]] -->
<td>

<math xmlns="http://www.w3.org/1998/Math/MathML">

  <msqrt>
    <mi>6</mi>
  </msqrt>
      <mi> &#x2219; </mi>

<mfrac><mrow>
  <msqrt>
    <mi>7</mi>
    <mo>-</mo>
    <mi>3</mi>
      <mi> &#x2219; </mi>
    <msqrt>
     <mi>5</mi>
    </msqrt>
  </msqrt>

</mrow><mrow>

    <mi>1</mi>

</mrow></mfrac>
</math>

 &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0;
 = 1.323169 </td>

<td>

<math xmlns="http://www.w3.org/1998/Math/MathML">

  <msqrt>
<mfrac><mrow>
    <mi>2</mi>
</mrow><mrow>

    <mi>5</mi>

</mrow></mfrac>
  </msqrt>
      <mi> &#x2219; </mi>

  <msqrt>
    <mi>5</mi>
    <mo>-</mo>
    <mi>5</mi>
      <mi> &#x2219; </mi>
    <msqrt>
     <mi>5</mi>
    </msqrt>
  </msqrt>

</math>

 &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0;
 = 1.051462 </td>

</tr>

<tr>
<td> edge from center, radius </td>   <!-- [10][5-[5]]/[20]  [3+5[5]]/[6] -->
<td>

<math xmlns="http://www.w3.org/1998/Math/MathML">

  <msqrt>
    <mi>1</mi>
  </msqrt>
      <mi> &#x2219; </mi>

<mfrac><mrow>
  <msqrt>
    <mi>5</mi>
    <mo>-</mo>
    <msqrt>
     <mi>5</mi>
    </msqrt>
  </msqrt>

</mrow><mrow>

  <msqrt>
    <mi>2</mi>
  </msqrt>

</mrow></mfrac>
</math>

 &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0;
 = 1/0.850650 </td>

<td>

<math xmlns="http://www.w3.org/1998/Math/MathML">

  <msqrt>
    <mi>1</mi>
  </msqrt>
      <mi> &#x2219; </mi>

<mfrac><mrow>
  <msqrt>
    <mi>3</mi>
    <mo>+</mo>

    <mi>5</mi>
      <mi> &#x2219; </mi>

    <msqrt>
     <mi>5</mi>
    </msqrt>
  </msqrt>

</mrow><mrow>

  <msqrt>
    <mi>6</mi>
  </msqrt>

</mrow></mfrac>
</math>

 &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0;
 = 0.934172 </td>

       <!-- [6][3-[5]]/[4]  [5+5[5]]/[10] -->
<td>

<math xmlns="http://www.w3.org/1998/Math/MathML">

  <msqrt>
<mfrac><mrow>
    <mi>3</mi>
</mrow><mrow>

    <mi>2</mi>

</mrow></mfrac>
  </msqrt>
      <mi> &#x2219; </mi>

  <msqrt>
    <mi>3</mi>
    <mo>-</mo>
    <msqrt>
     <mi>5</mi>
    </msqrt>
  </msqrt>

</math>

 &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0;
 = 1/0.934172 </td>

<td>

<math xmlns="http://www.w3.org/1998/Math/MathML">

  <msqrt>
    <mi>1</mi>
  </msqrt>
      <mi> &#x2219; </mi>

<mfrac><mrow>
  <msqrt>
    <mi>5</mi>
    <mo>+</mo>
    <mi>5</mi>
      <mi> &#x2219; </mi>
    <msqrt>
     <mi>5</mi>
    </msqrt>
  </msqrt>

</mrow><mrow>

  <msqrt>
    <mi>10</mi>
  </msqrt>

</mrow></mfrac>
</math>

 &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0; &#x00A0;
 = 0.850650 </td>

</tr>


</table>

<p> </p>



The derivation of the exact formulas, assuming some symmetries, with
enough detail to follow is at
<a href="http://www.issi1.com/corwin/calculator/proof_new.txt"> proof_new.txt; </a>
more detail with proof of the symmetry without any assumptions on
symmetry is at
<a href="http://www.issi1.com/corwin/calculator/proof.txt"> proof.txt. </a>

At proof_new.txt enough progress is made to check the expressions; further
blazing into new territory is at plato.txt where additional expressions are
derived.  They are rendered in MathML at pentagon.xml.



Calculators using the exact formulas for the 
<a href="http://www.issi1.com/corwin/calculator/pentagon.html"> pentagon</a>, 
<a href="http://www.issi1.com/corwin/calculator/dodec.html"> dodecahedron</a>, 
<a href="http://www.issi1.com/corwin/calculator/ahedron.html"> icosahedron</a>, 
and an other
<a href="http://www.issi1.com/corwin/calculator/geodprot.html"> example </a>
available, as well as an
<a href="http://www.issi1.com/corwin/calculator/icosahedron.jpg"> illustration. </a>
are available.



Another amazing expression for &#x03c0; is

<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi> &#x03c0;  </mi>
  <mo>=</mo>
    <mi>3</mi>
    <mo> + </mo>

     <mfrac><mrow>
       <msup>
         <mi> 1 </mi>
         <mn> 2 </mn>
       </msup>
     </mrow><mrow>
      <mi>6</mi>
      <mo> + </mo>
     </mrow></mfrac>

     <mfrac><mrow>
       <msup>
         <mi> 3 </mi>
         <mn> 2 </mn>
       </msup>
     </mrow><mrow>
      <mi>6</mi>
      <mo> + </mo>
     </mrow></mfrac>

     <mfrac><mrow>
       <msup>
         <mi> 5 </mi>
         <mn> 2 </mn>
       </msup>
     </mrow><mrow>
      <mi>6</mi>
      <mo> + </mo>
     </mrow></mfrac>

     <mfrac><mrow>
       <msup>
         <mi> 7 </mi>
         <mn> 2 </mn>
       </msup>
     </mrow><mrow>
      <mi>6</mi>
      <mo> + </mo>
     </mrow></mfrac>

     <mfrac><mrow>
       <msup>
         <mi> 9 </mi>
         <mn> 2 </mn>
       </msup>
     </mrow><mrow>
      <mi>6</mi>
      <mo> + </mo>
     </mrow></mfrac>


</math>...

<!--  -->


<p>

The pentagon can be constructed using the ruler and staight edge but
the angle pi/7 cannot be.

For pi/7 angles the solution is transcendental
but for pi/60 the solution is still irrational   </p>
<!--
      &#x03c0;
   2cos(2pi/7) = (7/27 [1+3^3] /2)^(1/3) 2*sin((pi-2*atan([3^3])/3)/2) -1/3



-->



<p> </p>

 &#169; 2009
<a href="http://www.issi1.com/corwin/corwin.jpg"> Wm.C</a>. 
<a href="http://www.issi1.com/corwin/home.html"> Corwin </a>
  billc&#x0040;issi1&#x2219;com

<a href="http://www.issi1.com/corwin/ConcurrentInverse.html"> www.ConcurrentInverse.com </a> Calculators 

</body>

</html> 





<!--    mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"  -->
<!--  Mathematica or Maple  -->



<!--












www.ConcurrentInverse.com


Other important compendiums are at
www.ur.ru/~sg/transl
www.aurora.rg.iupui.edu/UCUM/UCUM-tab.html
physics.nist.gov/ccu/Constants/Index.html


www.mcs.surrey.ac.uk/Personal/R.Knott/Fibonacci/
  phi3DGeomTrig.html#simpletrig
  simpleTrig#2pmphi
  trig6.gif

HSMCoxeter Toronto 0486614808 Dover

www-history.mcs.st-andrews.ac.uk/history/HistTopics/references/Golden_ratio.html
  construction of pentagon
  http://www-history.mcs.st-andrews.ac.uk/history/Extras/Thompson_irrationals.html
  Plato's aim to construct dodecahedron

www.rwgrayprojects.com/OswegoOct2001/Presentation.presentationWeb4.html


 -->


