Advertisement
Matthen

Dodecahedron is planar

Jun 27th, 2011
317
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 2.29 KB | None | 0 0
  1. pts = {{-Sqrt[1 + 2/Sqrt[5]], 0,
  2. Root[1 - 20 #1^2 + 80 #1^4 &, 3]}, {Sqrt[1 + 2/Sqrt[5]], 0,
  3. Root[1 - 20 #1^2 + 80 #1^4 &, 2]}, {Root[1 - 20 #1^2 + 80 #1^4 &,
  4. 1], 1/4 (-3 - Sqrt[5]),
  5. Root[1 - 20 #1^2 + 80 #1^4 &, 3]}, {Root[1 - 20 #1^2 + 80 #1^4 &,
  6. 1], 1/4 (3 + Sqrt[5]), Root[1 - 20 #1^2 + 80 #1^4 &, 3]}, {Sqrt[
  7. 5/8 + 11/(8 Sqrt[5])], 1/4 (-1 - Sqrt[5]),
  8. Root[1 - 20 #1^2 + 80 #1^4 &, 3]}, {Sqrt[5/8 + 11/(8 Sqrt[5])],
  9. 1/4 (1 + Sqrt[5]),
  10. Root[1 - 20 #1^2 + 80 #1^4 &, 3]}, {Root[1 - 20 #1^2 + 80 #1^4 &,
  11. 2], 1/4 (-1 - Sqrt[5]), Sqrt[
  12. 5/8 + 11/(8 Sqrt[5])]}, {Root[1 - 20 #1^2 + 80 #1^4 &, 2],
  13. 1/4 (1 + Sqrt[5]), Sqrt[
  14. 5/8 + 11/(8 Sqrt[5])]}, {-(1/2) Sqrt[1 + 2/Sqrt[5]], -(1/2),
  15. Root[1 - 100 #1^2 + 80 #1^4 &, 1]}, {-(1/2) Sqrt[1 + 2/Sqrt[5]],
  16. 1/2, Root[1 - 100 #1^2 + 80 #1^4 &, 1]}, {Sqrt[
  17. 1/4 + 1/(2 Sqrt[5])], -(1/2), Sqrt[5/8 + 11/(8 Sqrt[5])]}, {Sqrt[
  18. 1/4 + 1/(2 Sqrt[5])], 1/2, Sqrt[5/8 + 11/(8 Sqrt[5])]}, {Sqrt[
  19. 1/10 (5 + Sqrt[5])], 0,
  20. Root[1 - 100 #1^2 + 80 #1^4 &, 1]}, {Root[
  21. 1 - 100 #1^2 + 80 #1^4 &, 1], 1/4 (-1 - Sqrt[5]),
  22. Root[1 - 20 #1^2 + 80 #1^4 &, 2]}, {Root[1 - 100 #1^2 + 80 #1^4 &,
  23. 1], 1/4 (1 + Sqrt[5]),
  24. Root[1 - 20 #1^2 + 80 #1^4 &, 2]}, {Root[1 - 5 #1^2 + 5 #1^4 &,
  25. 1], 0, Sqrt[
  26. 5/8 + 11/(8 Sqrt[5])]}, {Root[1 - 20 #1^2 + 80 #1^4 &, 3],
  27. 1/4 (-1 - Sqrt[5]),
  28. Root[1 - 100 #1^2 + 80 #1^4 &, 1]}, {Root[1 - 20 #1^2 + 80 #1^4 &,
  29. 3], 1/4 (1 + Sqrt[5]),
  30. Root[1 - 100 #1^2 + 80 #1^4 &, 1]}, {Sqrt[1/8 + 1/(8 Sqrt[5])],
  31. 1/4 (-3 - Sqrt[5]), Root[1 - 20 #1^2 + 80 #1^4 &, 2]}, {Sqrt[
  32. 1/8 + 1/(8 Sqrt[5])], 1/4 (3 + Sqrt[5]),
  33. Root[1 - 20 #1^2 + 80 #1^4 &, 2]}};
  34. edges = {{1, 14}, {1, 15}, {1, 16}, {2, 5}, {2, 6}, {2, 13}, {3,
  35. 7}, {3, 14}, {3, 19}, {4, 8}, {4, 15}, {4, 20}, {5, 11}, {5,
  36. 19}, {6, 12}, {6, 20}, {7, 11}, {7, 16}, {8, 12}, {8, 16}, {9,
  37. 10}, {9, 14}, {9, 17}, {10, 15}, {10, 18}, {11, 12}, {13,
  38. 17}, {13, 18}, {17, 19}, {18, 20}};
  39.  
  40. projection[p_, t_, r_] := Abs[1/(1 + t p[[3]])] ( {
  41. {1, 0, 0.17},
  42. {0, 1, 0.17}
  43. } ).(RotationMatrix[r, {0, -2, 1.5}].p);
  44.  
  45. Manipulate[
  46. Graphics[GraphicsComplex[Map[projection[#, t, r] &, pts],
  47. Line[edges]]], {t, 0, 0.7}, {{r, 0.132}, 0, Pi}]
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement