home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / junk / g1.T < prev    next >
Encoding:
Text File  |  1994-08-02  |  3.5 KB  |  81 lines
  1. .geometry "version 0.1";
  2. //TD.T, RDV, 7.12.91, started 29 Nov 1991");
  3. .text("The point of Tom Davis");
  4. .text("this is also the isogonal point of the point of Kimberling-Fukuta");
  5. .text("Coll. Math. J. Vol. 21, 1990, 426-427.");
  6. .text("");
  7. .text("3 tangent circles, perpendiculars to the sides,", .L0);
  8. .text("circumscribable hexagon", .L0);
  9. .text("the point of Tom Davis is the p. of Brianchon of this hexagon", .cyan, .L1);
  10. .text("it is also the center of and perspectivityy of 2 triangles", .red, .L1);
  11. v1 = .free(-0.111413, 0.375, .L0, "A0");
  12. v2 = .free(-0.19837, 0.00815217, .L0, "A1");
  13. v3 = .free(0.160326, 0.211957, .L0, "A2");
  14. l1 = .l.vv(v2, v3, .L0, .longline);
  15. l2 = .l.vv(v3, v1, .L0, .longline);
  16. l3 = .l.vv(v1, v2, .L0, .longline);
  17. len1 = .len.f(0.5);
  18. ang1 = .a.vvv(v2, v1, v3);
  19. ang2 = .len.times(ang1, len1);
  20. v4 = .v.avv(ang2, v2, v1, .invisible);
  21. l4 = .l.vv(v1, v4, .invisible, .L0);
  22. ang3 = .a.vvv(v3, v2, v1);
  23. ang4 = .len.times(ang3, len1);
  24. v5 = .v.avv(ang4, v3, v2, .invisible);
  25. l5 = .l.vv(v2, v5, .invisible, .L0);
  26. ang5 = .a.vvv(v1, v3, v2);
  27. ang6 = .len.times(ang5, len1);
  28. v6 = .v.avv(ang6, v1, v3, .invisible);
  29. l6 = .l.vv(v3, v6, .invisible, .L0);
  30. v7 = .v.ll(l5, l6, .invisible, .L0, .plus);
  31. l7 = .l.vlperp(v7, l1, .invisible, .L0, .longline);
  32. l8 = .l.vlperp(v7, l2, .invisible, .L0, .longline);
  33. l9 = .l.vlperp(v7, l3, .invisible, .L0, .longline);
  34. v8 = .v.ll(l8, l2, .yellow, .L0, .plus);
  35. v10 = .v.ll(l7, l1, .yellow, .L0, .plus);
  36. v11 = .v.ll(l3, l3, .yellow, .L0, .plus);
  37. v12 = .v.ll(l9, l3, .yellow, .L0, .plus);
  38. c1 = .c.vv(v1, v12, .yellow, .L0);
  39. c2 = .c.vv(v2, v10, .yellow, .L0);
  40. c3 = .c.vv(v3, v8, .yellow, .L0);
  41. v13 = .v.lc(l1, c3, 2, .yellow, .L0, .plus);
  42. v14 = .v.lc(l2, c3, 1, .yellow, .L0, .plus);
  43. v15 = .v.lc(l3, c2, 2, .yellow, .L0, .plus);
  44. v16 = .v.lc(l1, c2, 1, .yellow, .L0, .plus);
  45. v17 = .v.lc(l2, c1, 2, .yellow, .L0, .plus);
  46. v18 = .v.lc(l3, c1, 1, .yellow, .L0, .plus);
  47. l10 = .l.vlperp(v18, l3, .yellow, .L0, .L1, .longline);
  48. l11 = .l.vlperp(v17, l2, .yellow, .L0, .L1, .longline);
  49. l12 = .l.vlperp(v16, l1, .yellow, .L0, .L1, .longline);
  50. l13 = .l.vlperp(v15, l3, .yellow, .L0, .L1, .longline);
  51. l14 = .l.vlperp(v14, l2, .yellow, .L0, .L1, .longline);
  52. l15 = .l.vlperp(v13, l1, .yellow, .L0, .L1, .longline);
  53. v9 = .v.ll(l10, l11, .cyan, .L1, .L2, .plus);
  54. v19 = .v.ll(l11, l12, .cyan, .L1, .L2, .plus);
  55. v20 = .v.ll(l12, l13, .cyan, .L1, .L2, .plus);
  56. v21 = .v.ll(l13, l14, .cyan, .L1, .L2, .plus);
  57. v24 = .v.ll(l15, l15, .cyan, .L1, .L2, .plus);
  58. v26 = .v.ll(l1, l1, .cyan, .L1, .L2, .plus);
  59. v27 = .v.ll(l14, l15, .cyan, .L1, .L2, .plus);
  60. v28 = .v.ll(l15, l10, .cyan, .L1, .L2, .plus);
  61. v29 = .v.ll(l15, l11, .red, .L1, .L2, .plus);
  62. v30 = .v.ll(l11, l13, .red, .L1, .L2, .plus);
  63. v31 = .v.ll(l13, l15, .red, .L1, .L2, .plus);
  64. v32 = .v.ll(l10, l12, .red, .L1, .L2, .plus);
  65. v33 = .v.ll(l12, l14, .red, .L1, .L2, .plus);
  66. v34 = .v.ll(l14, l10, .red, .L1, .L2, .plus);
  67. l16 = .l.vv(v34, v30, .red, .L1, .L2, .longline);
  68. l17 = .l.vv(v33, v29, .red, .L1, .L2, .longline);
  69. l18 = .l.vv(v32, v31, .yellow, .L1, .L2, .longline);
  70. l19 = .l.vv(v28, v20, .cyan, .L1, .L2, .longline);
  71. l20 = .l.vv(v21, v9, .cyan, .L1, .L2, .longline);
  72. l21 = .l.vv(v27, v19, .cyan, .L1, .L2, .longline);
  73. v35 = .free(-0.999, 0.999, .invisible, .L0, .L1, .L2, "5");
  74. v36 = .free(-0.999, -0.999, .invisible, .L0, .L1, .L2, "6");
  75. v37 = .free(0.999, -0.999, .invisible, .L0, .L1, .L2, "7");
  76. v38 = .free(0.999, 0.999, .invisible, .L0, .L1, .L2, "8");
  77. l22 = .l.vv(v35, v36, .L0, .L1, .L2, .longline);
  78. l23 = .l.vv(v36, v37, .L0, .L1, .L2, .longline);
  79. l24 = .l.vv(v37, v38, .L0, .L1, .L2, .longline);
  80. l25 = .l.vv(v35, v35, .L0, .L1, .L2, .longline);
  81.