I intend to explain the result, but not all the details. It was formulated by blaise pascal in a note written in 1639 when he was 16 years old and published the following year as a broadside titled essay povr les coniqves. The diagram on the left is a triangular pyramid with vertices a, b, c, and p. Desargues theorem 1 two triangles said to be perspective from a point if three lines joining vertices of the triangles meet at a corresponding common point called the center or polar point. Since we have not listed the axioms for a projective geometry in 3space, we will not discuss the proof of the theorem here, but the proof is similar to the argument made in the illustration above. Introduction in practice, mathematicians have long distinguished proofs that explain why a given theorem holds from proofs that merely establish that it holds. This is an immediate consequence of desargues s twotriangle theorem itself, as applied to the triangle aqq and bpp, whose joins of corresponding vertices all pass through c, while their intersections of corresponding sides are o, r, r. Desargues outline finite geometry examples of problems features of desargues another example problem find all spreads of w5,3 which have automorphism group of order divisible by. So if we replace projective spaces by projective planes throughout the article. Triangles d abc and d au bu cu are perspective from a line l if the points x bc 9 bu cu,y. Desargues theorem states that if you have two triangles which are perspective to one another then the three points formed by the meets of the corresponding edges of the triangles will be colinear. Let d abc with extended sides a,b,c opposite the vertices and d au bu cu with extended sides au,bu,cu be the corresponding trianges.
Im used to thinking about desargues s theorem as a result about projective planes. Choose points aon the line pa, bon pb, and con pc and construct the triangle abc. Equivalently, if two triangles are perspective from a point, they are perspective from a line. Assignment construct a triangle abc and choose a point p outside the triangle. Some relations in a complete quadrilateral are derived. Working toward a proof in what follows, we will use four axioms of projective geometry that happen to hold true for rp3. If points a,b and c are on one line and a, b and c are on another line then the points of intersection of the lines ac and ca, ab and ba, and bc and cb lie on a common line called the pappus line of the configuration.
Chapter 2 a polychromatic proof of desargues theorem. Desargues theorem 2 two triangles are said to be perspective from a line if the three points of intersection of corresponding lines all lie on a common line, called the axis. E and f are all both in the plane of the red triangle, abc and in the plane of the green triangle, a 0 b 0 c 0, and thus on the line common to these two planes. This theorem plays an extremely important role in projective geometry, although it is not universally true. Triangles d abc and d au bu cu are perspective from a point o if lines aau, bbu and ccu. Desargues theorem is one of the most fundamental and beautiful results in projective geometry. For that, abc and def are each two round triangles with dual triangles abc and def, respectively, and p a point on each of the circles adad, bebe, and cfcf. In fact desarguess theorem gure 2 can be viewed as the base for the axiomatization of projective geometry. Introduction in this worksheet we will be exploring some proofs surroundingthe theorem of desargues. Suggestions for further reading 24 chapter 2 noneuclidean geometry 25 2. Consider a pencil of conics if a line l does not contain any of the base points of the pencil. The impossibility of demonstrating desarguess theorem for the plane without the help of the axioms of congruence 50 24. Desargues theorem not following the text, we will first state this result for projective planes and then specialize it to affine planes.
A variant of a desargues theorem says that if in the triangle abc, the cevians aa00, bb00. Desargues theorem working toward a proof in what follows, we will use four axioms of projective geometry that happen to hold true for rp3. Explanation, existence and natural properties in mathematics. Desargues theorem desargues theorem states that 2 projective triangles are perspective with respect to. We prove that the well known ceva and menelaus theorems are both. Before we state the theorem and investigate a problem or two using desargues theroem, it might be helpful to understand what exactly it means. The theorem is named for the french mathematician girard desargues 15931662 who proved it in euclidean geometry. In the axiomatic development of projective geometry, desargues theorem is often taken as an axiom. Lines through corresponding pairs of vertices on the triangles meet at a point called the center of perspectivity. If they are in the same plane, desarguess theorem can be proved by choosing a point not in the plane, using this to lift the triangles out of the plane so that the argument above works, and then projecting back into the plane. Foundation this book started with lattice theory, first concepts, in then came general lattice theory, first edition, in, and the second edition twenty years later. If the three straight lines joining the corresponding vertices of two triangles abc and abc all meet in a point the perspector, then the three intersections of pairs of corresponding sides lie on a straight line the perspectrix. In more general geometries, it need not always be true. It contains examples of how some of the more traditional topics of mathematics can be reexpressed in terms of geometric algebra along with proofs of several.
Desargues outline finite geometry examples of problems features of desargues another example desargues. Desargues brouizzon project and the conics of apollonius by jan p. Stacks carlos simpson and constantin teleman abstract. If we draw this standard oil derrick like picture for desargues theorem, we can read the statment and conclusion from the picture.
Jul 07, 2011 before i ask the question, let me remind that desargues theorem states. Pascals theorem is a special case of the cayleybacharach theorem. Nov 29, 20 pappus and desargues finite geometries 1. Desargues brouillon project and the conics of apollonius. The desargues theorem is also called the theorem of homological triangles. The square on the hypotenuse of a rightangled triangle is equal to the sum of the squares on the other two sides. The desargues configuration when desargues theorem holds in a projective plane we get ten points and ten lines with each line containing exactly three of the ten points and any three lines intersecting at exactly one of the ten points. Introduction of an algebra of segments based upon desarguess theorem.
The hyperbolic desargues theorem in the poincare model of hyperbolic geometry. In projective geometry, desargues theorem states that two triangles are in perspective axially if and only if they are in perspective centrally. The statement of this fundamental result implies a knowledge of length and area as well as the notion of a right angle. Let v be a point and let two triangles be given so that their vertices are distinct from v. Desargues theorem proof using homogeneous coordinate. Desargues outline finite geometry examples of problems features of desargues another example finite geometry projective geometrya. The subjects covered in some detail include normed linear. In other words, we can say the triangles are in perspective from the point p. Two triangles are perspective from a point if and only if they are per spectivefrom a line. The most important symmetry result is noethers theorem, which we prove be. It is selfdual in the sense that the following exchanges. Two triangles that are perspective from a point are perspective from a line, and converseley, two triangles that are perspective from a line are perspective from a point. This advanced textbook on linear algebra and geometry covers a wide range of classical and modern topics.
Let x,y,z be the intersection points of a ad au, b and bu and c and cu. Lines through the triangle sides meet in pairs at collinear points along the axis of perspectivity. That is, desargues theorem can be proven from the other axioms only in a projective geometry of more than two dimensions. Desargues theorem states that if you have two triangles which are perspective to one another then the three points formed by the meets of the corresponding edges. On three circles 185 represents the point on cj whose radius is parallel to that of p on ci. When two triangles are in perspective, the points where the corresponding sides meet are collinear. The hyperbolic desargues theorem in the poincare model of. Desargues never published this theorem, but it appeared in an appendix entitled universal method of m.
The renaissance was a cultural movement that profoundly affected european intellectual life in the early modern period 15 th century. Desargues theorem by mark freitag one of the most fundamental theorems in projective geometry is desargues theorem. Objects points, lines, planes, etc incidence relation antire. You have constructed two triangles which are perspective with respect to p. We say that the two triangle are in perspective from v if the. We start by showing that having two triangles perspective from a point implies they are perspec tive from a line. An introduction with applications in euclidean and conformal geometry by richard a. For readers unfamiliar with projective geometry or unfamiliar with the somewhat dated terminology in dorrie, this one is really hard to read. If desargues, the daring pioneer of the seventeenth century, could have foreseen what his ingenious method of projection was to lead.
Triangles d abc and d au bu cu are perspective from a point o if lines aau, bbu and ccu meet at o. A polychromatic proof of desargues theorem 455 desargues theorem turns entirely on the intersections of the ariousv planes. A theorem of carnot valid for a triangle is extended to a quadrilateral. Recall that all lines extend to infinity in both directions, even if we draw only some segments on them. An algebraic expression containing two terms is called a binomial expression, bi means two and nom means term. Desarguess theorem and its demonstration for plane geometry by aid of the axioms of congruence 48 23. Master mosig introduction to projective geometry a b c a b c r r r figure 2. Pappus theorem if points a,b and c are on one line and a, b and c are on another line then the points of intersection of the lines ab and ba, ac and ca, and bc and cb lie on a common line called the pappus line of the configuration. Introduction simplicial constructions seem to have debuted in algebraic geometry with delignes mixed. Before i ask the question, let me remind that desargues theorem states. Since our main interest is in proving desargues theorem, we will defer the proofs for the time being. We will prove three propositions relating to the theorem of desargues in this worksheet. Pascals theorem is the polar reciprocal and projective dual of brianchons theorem.
Second, the lead paragraph beginning desargues s theorem holds for. If you dont have a shortcut to geometers sketchpad on the desktop or in the program menu, you can. Geometry revisited hsm coxeter sl greitzer aproged. Explanation, existence and natural properties in mathematics a case study.
In connection with these relations some special conics related to the angular points and sides of the quadrilateral are discussed. He knew that he had done something good, but he probably had no conception of just how good it was to prove. This proves desarguess theorem if the two triangles are not contained in the same plane. One needs to understand a few definitions to start with. Introduction in practice, mathematicians have long distinguished proofs that explain why a given theorem holds from proofs that merely establish that it. Dorrie begins by providing the reader with a short exposition. That means, the theorem remains true if points and lines are interchanged. Miller this thesis presents an introduction to geometric algebra for the uninitiated.
567 1422 122 497 402 1211 720 5 262 1098 932 390 600 1442 640 535 187 1156 196 891 657 279 183 1149 1164 7 1302 152 405 289 1446 684 1479 1169 1407 693 575