
<?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>

<p>Dodecahedronal, Icosahedronal Symmetry:

The cosines of the angle between adjacent face normals are

 <math xmlns="http://www.w3.org/1998/Math/MathML">
  <mi>cos(&#x2219;)</mi>
      <mo>=</mo>
  <mfrac>

   <mrow>
      <mi>1</mi>
   </mrow>

   <mrow>
   <msqrt>
      <mi>5</mi>
   </msqrt>
   </mrow>

  </mfrac>
 </math>

 and
 <math xmlns="http://www.w3.org/1998/Math/MathML">
  <mi>cos(&#x2219;)</mi>
      <mo>=</mo>
  <mfrac>

   <mrow>
   <msqrt>
      <mi>5</mi>
   </msqrt>
   </mrow>

   <mrow>
      <mi>3</mi>
   </mrow>

  </mfrac>
 </math>   respectively
   </p>


abstract:
At exact_exp.xml the pertenant dodecahedron and icosahedron lenghts, which
are derived at proof_new.txt, are exhibited.  Further derivation is at
plato.txt, and the ratios for the dodecahedron inscribed sphere radius
equal to one are exhibited on this page.  For deriving the volume of
the dodecahedron, it is easier and more direct to have these values first. 
Further, it is shown how to know if a form of [a+b[5]]/[c] can be reduced
to a form (d[5]+e)/f.


<p> Pentagon </p>


<p> Dodecahedron </p>
<table>
<tr>
<td> edge length </td>
<td>&#xA0;&#xA0;&#xA0;
 <math xmlns="http://www.w3.org/1998/Math/MathML">
   <mrow>
   <msqrt>
      <mi>50</mi>
      <mo>-</mo>
      <mi>22</mi>
    <msqrt>
      <mi>5</mi>
    </msqrt>
   </msqrt>
   </mrow>
 </math>&#xA0;&#xA0;&#xA0;
</td>

<td>&#xA0;&#xA0;&#xA0;&#xA0;&#xA0;&#xA0;&#xA0;1</td>
<td>&#xA0;&#xA0;&#xA0;
 <math xmlns="http://www.w3.org/1998/Math/MathML">
  <mfrac>
   <mrow>
   <msqrt>
      <mi>12</mi>
      <mo>+</mo>
      <mi>4</mi>
    <msqrt>
      <mi>5</mi>
    </msqrt>
   </msqrt>
   </mrow>

   <mrow>
   <msqrt>
     <mi>6</mi>
   </msqrt>
   </mrow>
  </mfrac>
 </math>&#xA0;&#xA0;&#xA0;
</td>
</tr>

<tr>
<td> inscribed </td>
<td>&#xA0;&#xA0;&#xA0;&#xA0;&#xA0;1&#xA0;&#xA0;&#xA0;&#xA0;</td>
<td>&#xA0;&#xA0;&#xA0;
 <math xmlns="http://www.w3.org/1998/Math/MathML">
  <mfrac>
   <mrow>
   <msqrt>
      <mi>25</mi>
      <mo>+</mo>
      <mi>11</mi>
    <msqrt>
      <mi>5</mi>
    </msqrt>
   </msqrt>
   </mrow>

   <mrow>
   <msqrt>
     <mi>40</mi>
   </msqrt>
   </mrow>
  </mfrac>
 </math>&#xA0;&#xA0;&#xA0;
</td>
<td>&#xA0;&#xA0;&#xA0;
 <math xmlns="http://www.w3.org/1998/Math/MathML">
  <mfrac>
   <mrow>
   <msqrt>
      <mi>5</mi>
      <mo>+</mo>
      <mi>2</mi>
    <msqrt>
      <mi>5</mi>
    </msqrt>
   </msqrt>
   </mrow>

   <mrow>
   <msqrt>
     <mi>15</mi>
   </msqrt>
   </mrow>
  </mfrac>
 </math>&#xA0;&#xA0;&#xA0;
</td>
</tr>
<tr>
<td> center of edge radius </td>
<td>&#xA0;&#xA0;&#xA0;
 <math xmlns="http://www.w3.org/1998/Math/MathML">
  <mfrac>
   <mrow>
   <msqrt>
      <mi>5</mi>
      <mo>-</mo>
    <msqrt>
      <mi>5</mi>
    </msqrt>
   </msqrt>
   </mrow>

   <mrow>
   <msqrt>
     <mi>2</mi>
   </msqrt>
   </mrow>
  </mfrac>
 </math>&#xA0;&#xA0;&#xA0;
</td>
<td>&#xA0;&#xA0;&#xA0;
 <math xmlns="http://www.w3.org/1998/Math/MathML">
  <mfrac>
   <mrow>
      <mi>3</mi>
      <mo>+</mo>
    <msqrt>
      <mi>5</mi>
    </msqrt>
   </mrow>

   <mrow>
     <mi>4</mi>
   </mrow>
  </mfrac>
 </math>&#xA0;&#xA0;&#xA0;
</td>
<td>&#xA0;&#xA0;&#xA0;
 <math xmlns="http://www.w3.org/1998/Math/MathML">
  <mfrac>
   <mrow>
   <msqrt>
      <mi>3</mi>
      <mo>+</mo>
    <msqrt>
      <mi>5</mi>
    </msqrt>
   </msqrt>
   </mrow>

   <mrow>
   <msqrt>
     <mi>6</mi>
   </msqrt>
   </mrow>
  </mfrac>
 </math>&#xA0;&#xA0;&#xA0;
</td>
</tr>
<tr>
<td> superscribed </td>
<td>&#xA0;&#xA0;&#xA0;
 <math xmlns="http://www.w3.org/1998/Math/MathML">
   <mrow>
   <msqrt>
      <mi>15</mi>
      <mo>-</mo>
      <mi>6</mi>
    <msqrt>
      <mi>5</mi>
    </msqrt>
   </msqrt>
   </mrow>
 </math>&#xA0;&#xA0;&#xA0;
</td>
<td>&#xA0;&#xA0;&#xA0;
 <math xmlns="http://www.w3.org/1998/Math/MathML">
  <mfrac>
   <mrow>
   <msqrt>
      <mi>9</mi>
      <mo>+</mo>
      <mi>3</mi>
    <msqrt>
      <mi>5</mi>
    </msqrt>
   </msqrt>
   </mrow>

   <mrow>
   <msqrt>
     <mi>8</mi>
   </msqrt>
   </mrow>
  </mfrac>
 </math>&#xA0;&#xA0;&#xA0;
</td>

<td>&#xA0;&#xA0;&#xA0;&#xA0;&#xA0;&#xA0;&#xA0;1</td>


</tr>
<tr>
<td> pentagon height </td>
<td>&#xA0;&#xA0;&#xA0;
 <math xmlns="http://www.w3.org/1998/Math/MathML">
  <mfrac>
   <mrow>
   <msqrt>
      <mi>15</mi>
      <mo>-</mo>
      <mi>5</mi>
    <msqrt>
      <mi>5</mi>
    </msqrt>
   </msqrt>
   </mrow>

   <mrow>
   <msqrt>
     <mi>2</mi>
   </msqrt>
   </mrow>
  </mfrac>
 </math>&#xA0;&#xA0;&#xA0;
</td>
<td>
<math xmlns="http://www.w3.org/1998/Math/MathML">
  <mfrac>
   <mrow>
   <msqrt>
      <mi>5</mi>
      <mo>+</mo>
      <mi>2</mi>
    <msqrt>
      <mi>5</mi>
    </msqrt>
   </msqrt>
   </mrow>

   <mrow>
     <mi>2</mi>
   </mrow>
  </mfrac>
 </math>&#xA0;&#xA0;&#xA0;
</td>
<td>
 <math xmlns="http://www.w3.org/1998/Math/MathML">
  <mfrac>
   <mrow>
   <msqrt>
      <mi>5</mi>
      <mo>+</mo>
    <msqrt>
      <mi>5</mi>
    </msqrt>
   </msqrt>
   </mrow>

   <mrow>
   <msqrt>
     <mi>6</mi>
   </msqrt>
   </mrow>
  </mfrac>
 </math>&#xA0;&#xA0;&#xA0;
</td>
</tr>
<tr>
<td> pentagon area </td>
<td>&#xA0;&#xA0;&#xA0;&#xA0;&#xA0;&#xA0;&#xA0;&#x2219;</td>
<td>
 <math xmlns="http://www.w3.org/1998/Math/MathML">
  <mfrac>
   <mrow>
   <msqrt>
      <mi>25</mi>
      <mo>+</mo>
      <mi>10</mi>
    <msqrt>
      <mi>5</mi>
    </msqrt>
   </msqrt>
   </mrow>

   <mrow>
     <mi>4</mi>
   </mrow>
  </mfrac>
     <mi></mi>
 </math>&#xA0;&#xA0;&#xA0;
</td>
<td>&#xA0;&#xA0;&#xA0;&#xA0;&#xA0;&#xA0;&#xA0;&#x2219;</td>
</tr>
<tr>
<td> total surface area </td>

<td>&#xA0;&#xA0;&#xA0;
 <math xmlns="http://www.w3.org/1998/Math/MathML">
      <mi>30</mi>
      <mi>&#x2219;</mi>
    <msqrt>
      <mi>2</mi>
    </msqrt>
      <mi>&#x2219;</mi>
   <mrow>
   <msqrt>
      <mi>65</mi>
      <mo>-</mo>
      <mi>29</mi>
    <msqrt>
      <mi>5</mi>
    </msqrt>
   </msqrt>
   </mrow>
 </math>&#xA0;&#xA0;&#xA0;
</td>
<td>&#xA0;&#xA0;&#xA0;
 <math xmlns="http://www.w3.org/1998/Math/MathML">
      <mi>3</mi>
      <mi>&#x2219;</mi>
    <msqrt>
      <mi>5</mi>
    </msqrt>
      <mi>&#x2219;</mi>
   <mrow>
   <msqrt>
      <mi>5</mi>
      <mo>+</mo>
      <mi>2</mi>
    <msqrt>
      <mi>5</mi>
    </msqrt>
   </msqrt>
   </mrow>
 </math>&#xA0;&#xA0;&#xA0;
</td>
<td>&#xA0;&#xA0;&#xA0;&#xA0;&#xA0;&#xA0;&#xA0;&#x2219;</td>
</tr>
<tr>
<td> volume </td>
<td>&#xA0;&#xA0;&#xA0;
 <math xmlns="http://www.w3.org/1998/Math/MathML">
      <mi>10</mi>
      <mi>&#x2219;</mi>
    <msqrt>
      <mi>2</mi>
    </msqrt>
      <mi>&#x2219;</mi>
   <mrow>
   <msqrt>
      <mi>65</mi>
      <mo>-</mo>
      <mi>29</mi>
    <msqrt>
      <mi>5</mi>
    </msqrt>
   </msqrt>
   </mrow>
 </math>&#xA0;&#xA0;&#xA0;
</td>
<td>&#xA0;&#xA0;&#xA0;
 <math xmlns="http://www.w3.org/1998/Math/MathML">
   <mfrac>
   <mrow>
   <msqrt>
      <mi>5</mi>
   </msqrt>
   <msqrt>
      <mi>47</mi>
      <mo>+</mo>
      <mi>21</mi>
    <msqrt>
      <mi>5</mi>
    </msqrt>
   </msqrt>
   </mrow><mrow>
      <mi>2</mi>
    <msqrt>
      <mi>2</mi>
    </msqrt>
   </mrow></mfrac>
 </math>&#xA0;&#xA0;&#xA0;
</td>
<td>&#xA0;&#xA0;&#xA0;&#xA0;&#xA0;&#xA0; &#x2219; </td>
</tr>
</table>


<p> wiki/Exact_trigonometric_constants#Uses_for_cnstants
    Volume, where a is the length of an edge </p>

<math xmlns="http://www.w3.org/1998/Math/MathML">


<mfrac>
 <mrow>
    <mi>15</mi>
    <mo>+</mo>
    <mi>7</mi>
  <msqrt>
     <mi>5</mi>
  </msqrt>
 </mrow>
 <mrow>
     <mi>4</mi>
 </mrow>
</mfrac>

<mi> &#x2219; </mi>
<msup>
<mi> a </mi>
<mn> 3 </mn>
</msup>

</math>

<p> </p>

<math xmlns="http://www.w3.org/1998/Math/MathML">

  <mi> sin </mi>

 <mfenced open="(" close=")"> <mrow>
 <mi> &#x03c0; </mi><mo>/</mo><mi>5</mi>
 </mrow></mfenced>

 <mo>=</mo>

</math>


<math xmlns="http://www.w3.org/1998/Math/MathML">

  <msqrt>
<mfrac>
 <mrow>
    <mi>5</mi>
    <mo>-</mo>
    <msqrt>
     <mi>5</mi>
    </msqrt>
 </mrow>
 <mrow>
    <mi>8</mi>
 </mrow>
</mfrac>
  </msqrt>

</math>



<p>  Divide the circle into 120 divisions wthout transendental formulas

<!-- surds  16 * sin(pi/60)  = 2(1-[3])[5+[5]] + [2]([5]-1)([3]+1)   -->

<math xmlns="http://www.w3.org/1998/Math/MathML">

    <mi>16</mi><mi> &#x2219; </mi><mi> sin </mi>

 <mfenced open="(" close=")"> <mrow>
 <mi> &#x03c0; </mi><mo>/</mo><mi>60</mi>
 </mrow></mfenced>

 <mo>=</mo>

</math>



<math xmlns="http://www.w3.org/1998/Math/MathML">

    <mi>2</mi>
      <mi> &#x2219; </mi>
 <mfenced open="(" close=")"> <mrow>
    <mi>1</mi>
    <mo>-</mo>
    <msqrt>
     <mi>3</mi>
    </msqrt>
  </mrow></mfenced>
      <mi> &#x2219; </mi>
  <msqrt>
    <mi>5</mi>
    <mo>+</mo>
    <msqrt>
     <mi>5</mi>
    </msqrt>
  </msqrt>

    <mo>+</mo>

  <msqrt>
    <mi>2</mi>
  </msqrt>
      <mi> &#x2219; </mi>
 <mfenced open="(" close=")"> <mrow>
    <msqrt>
     <mi>5</mi>
    </msqrt>
    <mo>-</mo>
    <mi>1</mi>
  </mrow></mfenced>
      <mi> &#x2219; </mi>
 <mfenced open="(" close=")"> <mrow>
    <msqrt>
     <mi>3</mi>
    </msqrt>
    <mo>+</mo>
    <mi>1</mi>
  </mrow></mfenced>

</math>

  </p>


<!--     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>

For pi/7 angles the solution is transcendental
but for pi/60 the solution is irrational   </p><p>
<!--
      &#x03c0;
   2cos(2pi/7) = (7/27 [1+3^3] /2)^(1/3) 2*sin((pi-2*atan([3^3])/3)/2) -1/3
-->

<!--  /wiki/Exact_trigonometric_constants #Uses ...  (15+7[5])/4
  16 * sin(pi/60)  = 2(1-[3])[5+[5]] + [2]([5]-1)([3]+1)   -->


<!--  -->

</p>






</body>

</html> 





<!--  Mathematica or Maple  -->



