home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / theorems / pascal.T < prev    next >
Encoding:
Text File  |  1994-08-02  |  1.1 KB  |  32 lines
  1. .geometry "version 0.1";
  2. v1 = .free(-0.012312, -0.017784, .invisible, "1");
  3. v2 = .free(0.767442, -0.017784, .invisible, "2");
  4. c1 = .c.vv(v1, v2);
  5. v3 = .vonc(c1, -0.708427, -0.369125, .plus);
  6. v4 = .vonc(c1, -0.589159, 0.506872, .plus);
  7. v5 = .vonc(c1, 0.053579, 0.759181, .plus);
  8. v6 = .vonc(c1, 0.671497, 0.356944, .plus);
  9. v7 = .vonc(c1, 0.693224, -0.349801, .plus);
  10. v8 = .vonc(c1, 0.037806, -0.795926, .plus);
  11. l1 = .l.vv(v3, v5);
  12. l2 = .l.vv(v5, v8);
  13. l3 = .l.vv(v8, v6);
  14. l4 = .l.vv(v6, v4);
  15. l5 = .l.vv(v4, v7);
  16. l6 = .l.vv(v7, v3);
  17. v9 = .v.ll(l4, l1, .red);
  18. v10 = .v.ll(l5, l2, .red);
  19. v11 = .v.ll(l6, l6);
  20. v12 = .v.ll(l3, l6, .red);
  21. l7 = .l.vv(v9, v10, .red);
  22. l8 = .l.vv(v10, v12, .red);
  23. l9 = .l.vv(v12, v9, .red);
  24. .text("Pascal's Theorem:");
  25. .text("");
  26. .text("Given a hexagon inscribed in a circle (actually in any conic section),");
  27. .text("the intersections of the opposite sides all lie on a straight line.  Move");
  28. .text("any of the crosses on the circle to try different hexagons.  The red");
  29. .text("points are the intersections of the opposite sides.");
  30. .text("");
  31. .text("Pascal's theorem is the dual of Brianchon's theorem (see brianchon.T).");
  32.