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 / g4.T < prev    next >
Encoding:
Text File  |  1994-08-02  |  2.8 KB  |  53 lines
  1. .geometry "version 0.1";
  2. //isogC.t, 9.12.91, started Dec. 9, 1991
  3. .text("Isogonal Conjugates");
  4. .text("the triangle and a point P", .L0);
  5. .text("isogonal line of A0 x P", .L1);
  6. .text("isogonal lines of A1 x P and A2 x P, isogonal point Q of P", .L2);
  7. .text("M~ is the isogonal point of O", .L3);
  8. .text("the point of Lemoine K is the isogonal point of M", .L4);
  9. .text("AOA is the isogonal point of EE, the center of Br.-Ponc.", .L5);
  10. v1 = .free(-0.999, 0.999, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .L6, .L7, .L8, .L9);
  11. v2 = .free(-0.999, -0.999, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .L6, .L7, .L8, .L9);
  12. v3 = .free(0.999, -0.999, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .L6, .L7, .L8, .L9);
  13. v4 = .free(0.999, 0.999, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .L6, .L7, .L8, .L9);
  14. l1 = .l.vv(v1, v2, .L0, .L1, .L2, .L3, .L4, .L5, .L6, .L7, .L8, .L9);
  15. l2 = .l.vv(v2, v3, .L0, .L1, .L2, .L3, .L4, .L5, .L6, .L7, .L8, .L9);
  16. l3 = .l.vv(v3, v4, .L0, .L1, .L2, .L3, .L4, .L5, .L6, .L7, .L8, .L9);
  17. l4 = .l.vv(v4, v1, .L0, .L1, .L2, .L3, .L4, .L5, .L6, .L7, .L8, .L9);
  18. v5 = .free(0.404891, -0.994565, .L0, "R. De Vogelaere, 9.8.91");
  19. v6 = .free(-0.220109, 0.445652, .L0, .L1, .L2, .L3, .L4, "A0");
  20. v7 = .free(-0.42663, -0.184783, .L0, .L1, .L2, .L3, .L4, "A1");
  21. v8 = .free(0.4375, -0.201087, .L0, .L1, .L2, .L3, .L4, "A2");
  22. l5 = .l.vv(v7, v8, .L0, .L1, .L2, .L3, .L4);
  23. l6 = .l.vv(v8, v6, .L0, .L1, .L2, .L3, .L4);
  24. l7 = .l.vv(v6, v7, .L0, .L1, .L2, .L3, .L4);
  25. c1 = .c.vvv(v6, v7, v8, .L1, .L2);
  26. v10 = .free(-0.0842391, 0.225543, .yellow, .L0, .L1, .L2, .L3, .L4, "P");
  27. l8 = .l.vv(v6, v10, .yellow, .L1, .L2, .L3, .L4, .longline);
  28. v12 = .v.lc(l8, c1, 2, .yellow, .L1, .plus);
  29. l9 = .l.vlpar(v12, l5, .yellow, .L1, .longline);
  30. v13 = .v.lc(l9, c1, 2, .yellow, .L1, .plus);
  31. l10 = .l.vv(v6, v13, .yellow, .L1, .L2, .L3, .L4, .longline);
  32. //l10 is isog. conj. of A0 x P
  33. l11 = .l.vv(v7, v10, .yellow, .L2, .L3, .L4, .longline);
  34. v14 = .v.lc(l11, c1, 2, .invisible, .L2, .plus);
  35. l12 = .l.vlpar(v14, l6, .invisible, .L2, .longline);
  36. v15 = .v.lc(l12, c1, 2, .invisible, .L2, .plus);
  37. l13 = .l.vv(v7, v15, .yellow, .L2, .L3, .L4, .longline);
  38. //l13 is isog. conj. of A1 x P
  39. l14 = .l.vv(v8, v10, .yellow, .L2, .L3, .L4, .longline);
  40. v16 = .v.lc(l14, c1, 2, .invisible, .L2, .plus);
  41. l15 = .l.vlpar(v16, l7, .invisible, .L2, .longline);
  42. v17 = .v.lc(l15, c1, 1, .invisible, .L2, .plus);
  43. l16 = .l.vv(v8, v17, .yellow, .L2, .L3, .L4, .longline);
  44. //l16 is isog. conj. of A2 x P
  45. v18 = .v.ll(l13, l16, .yellow, .L2, .L3, .L4, "Q");
  46. v9 = .v.ccenter(c1, .L3, "O");
  47. v11 = .free(-0.0842391, 0.225543, .blue, .L0, .L15, .plus);
  48. v20 = .v.vvmid(v8, v6, .invisible, .L4, .plus);
  49. v21 = .v.vvmid(v6, v7, .invisible, .L4, .plus);
  50. l17 = .l.vv(v7, v20, .invisible, .L4, .longline);
  51. l18 = .l.vv(v8, v21, .invisible, .L4, .longline);
  52. v23 = .v.ll(l17, l18, .cyan, .L4, "M");
  53.