Girard desargues, the father of projective geometry, proved the following theorem in the 17th century. A first look at projective geometry, starting with pappus theorem, desargues theorem and a fundamental relation between quadrangles and quadrilaterals. Since our main interest is in proving desargues theorem, we will defer the proofs for the time being. 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. Girard desargues 21 february 1591 september 1661 was a french mathematician, architect and engineer, who is considered one of the founders of projective geometry. Nov 29, 2019 geometria projetiva pdf introducao a geometria projetiva. Desarguess theorem and its demonstration for plane geometry by aid of the axioms of congruence 48 23. Let x,y,z be the intersection points of a ad au, b and bu and c and cu. Given a beach towel on a level beach, a second beach towel of the same size and shape, oriented in the same direction. 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. A polychromatic proof of desargues theorem 455 desargues theorem turns entirely on the intersections of the ariousv planes. The approach is a generalization of the desargues theorem applied to multiple views taken from nearby. There every two conics have four intersection points and the arguments transfer verbatim. All structured data from the file and property namespaces is available under the creative commons cc0 license.
Desargues s theorem, in geometry, mathematical statement discovered by the french mathematician girard desargues in 1639 that motivated the development, in the first quarter of the 19th century, of projective geometry by another french mathematician, jeanvictor poncelet. Introduction in practice, mathematicians have long distinguished proofs that explain why a given theorem holds from proofs that merely establish that it holds. Triangles d abc and d au bu cu are perspective from a point o if lines aau, bbu and ccu. Pdf in this article we will use the desargues theorem and its reciprocal to solve two problems. The axiomatic destiny of the theorems of pappus and desargues.
Desargues theorem article pdf available in computational geometry 458 october 2012 with 79 reads how we measure reads. A read is counted each time someone views a publication summary such as the title, abstract, and list of authors, clicks on a figure, or views or downloads the fulltext. Desargues never published this theorem, but it appeared in an appendix entitled universal method of m. Projective geometry is the geometry of the straightedge, and. Triangles abc green and abc yellow are perspective both axially and centrally central perspectivity is satisfied iff the three lines aa, bb, and cc are concurrent, at a point called the center of perspectivity. The main theorem of projective geometry that we will use is. Aug 24, 2019 views downloads reads likes this may take several minutes. This note is devoted to some not so commonly known properties of radical axes in geometry. This file contains additional information such as exif metadata which may have been added by the digital camera, scanner, or. Information from its description page there is shown below.
This proof of desargues theorem shows us how to draw the. Pdf a case study in formalizing projective geometry in. The validity of one implies the validity of the other. It allows to carry out proofs in a more systematic way.
This is a partial version of desargues involution theorem see 3, p. A generalized desargues configuration and the pure braid. Introduction in this worksheet we will be exploring some proofs surroundingthe theorem of desargues. An application of pappus involution theorem in euclidean and.
Desargues s theorem, as illustrated by eves 9, veblen and young 28, and horadam 16. We will prove three propositions relating to the theorem of desargues in this worksheet. 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. If the beach towels are the same size, the point of perspectivity is at in. A field of tangents is the set of all tangent lines to a circle or conic section. Explanation, existence and natural properties in mathematics.
Our example is the projective geometry of onewayrefracted lightrays at an interface. Is the problem stated above an application of the affine or of a projective version. Ion p a tra s cu, the national college fra t ii buze s ti, craiova, romania. Girard desargues, if you are using a mobile device or your prohectiva connection is very slow, it may be safer to download the file instead of opening it directly in the browser. Pascals theorem is a special case of the cayleybacharach theorem. Drag the red corners of the triangles around with your mouse. The theorem of desargues transfers with the same wording to conics defined in the complex projective space. Curves of genus 2 and desargues configurations article pdf available in advances in geometry 23 october 2001 with 32 reads how we measure reads. Desargues 15911661 two triangles are perspective relative to a point, if and only if they are. Read desargues method of perspective its mathematical content, its connection to other perspective methods and its relation to desargues ideas on projective geometry, centaurus on deepdyve, the largest online rental service for scholarly research with thousands of academic publications available at your fingertips.
Before we state the theorem and investigate a problem or two using desargues theroem, it might be helpful to understand what exactly it means. We can regard the euclidean plane as defined as the set of ordered pairs of real numbers. The basic structures of plane projective geometry are pencils of points, lines and fields. As long as the three purple intersection points remain visible they will be contained in a single line. A case study in formalizing projective geometry in coq. 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. Theorem 2 pappus involution theorem the three pairs of opposite sides of a complete quadrangle meet any line not through a vertex in three pairs of an involution. Projective geometry math history nj wildberger youtube. Ion patrascu, the national college fratii buzesti, craiova, romania in this article we will use the desargues theorem and its reciprocal to solve two problems. In projective geometry, desarguess theorem, named after girard desargues, states. A synthetic proof of pappus theorem in tarskis geometry.
By desargues theorem, these triangles are perspective from a point. May 10, 2011 projective geometry began with the work of pappus, but was developed primarily by desargues, with an important contribution by pascal. 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. Take points to be the points of the extended euclidean plane. Desargues theorem working toward a proof in what follows, we will use four axioms of projective geometry that happen to hold true for rp3. Chapter 2 a polychromatic proof of desargues theorem. Coxeters diagram of desargues s theorem, with crannells labels. 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.
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. Media in category desargues theorem the following 19 files are in this category, out of 19 total. We prove configuration theorems that generalize the desargues, pascal, and pappus theo rems. Denote the three vertices of one triangle by a, b and c, and those of the other.
For beginning we will enunciate and prove desargues theorem. I intend to explain the result, but not all the details. Desargues method of perspective its mathematical content. The euclidean version of desargues theorem shows how projective geometry can provide an.
Back to main article this page uses javasketchpad, a worldwideweb component of the geometers sketchpad. I know there are two versions of desargues theorem, an affine and a projective one. It is called the desarguesian projective plane because of the following theorem, a partial proof of which can be found in 4. A consequence of the validity of the theorem in the complex case is demonstrated in the file desarguesinvolutioncomplex.
Let a and b be two distinct points, and let x and y be two numbers. That is, desargues theorem can be proven from the other axioms only in a projective geometry of more than two dimensions. Florentin smarandache, university of new mexico, u. Introduction of an algebra of segments based upon desarguess theorem.
An analytic proof of the theorems of pappus and desargues. This theorem plays an extremely important role in projective geometry, although it is not universally true. If the towels are the same shape,these diagonal lines are parallel. Dorrie begins by providing the reader with a short exposition. The theorem states that if two triangles abc and a. A generalized desargues configuration and the pure braid group a generalized desargues configuration and the pure braid group cordovil, raul. Let v be a point and let two triangles be given so that their vertices are distinct from v. Lectures on differential geometry pdf 221p download book. The impossibility of demonstrating desarguess theorem for the plane without the help of the axioms of congruence 50 24. Pascals theorem is the polar reciprocal and projective dual of brianchons theorem. Files are available under licenses specified on their description page.
Desargues theorem by mark freitag one of the most fundamental theorems in projective geometry is desargues theorem. One needs to understand a few definitions to start with. You type in your formula and after pressing the equal sign, the result will be added behind it. Pdf two applications of desargues theorem researchgate. So if we prove a theorem for points in a projective plane then the dual result holds automatically for lines. For readers unfamiliar with projective geometry or unfamiliar with the somewhat dated terminology in dorrie, this one is really hard to read. Pdf generalization of desargues theorem for sparse 3d. If desargues, the daring pioneer of the seventeenth century, could have foreseen what his ingenious method of projection was to lead. We say that the two triangle are in perspective from v if the. Desargues theorem is one of the most fundamental and beautiful results in projective geometry. Desargues theorem, the desargues graph, and the desargues crater are named in his honour.
Explanation, existence and natural properties in mathematics a case study. A synthetic proof of pappus theorem in tarskis geometry gabriel braun julien narboux the date of receipt and acceptance should be inserted later abstract in this paper, we report on the formalization of a synthetic proof of pappus theorem. To validate this approach, we formalize in coq using only ranks one of the fundamental theorems of the projective space, namely desargues theorem. Desargues theorem proof using homogeneous coordinate. Generalization of desargues theorem for sparse 3d reconstruction. A small and innovative calculator for your windows desktop. It is selfdual in the sense that the following exchanges.
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. This is a note to let the editors of this article know that file. Desargues theorem for the triangles abc, abc, the two propositions are equivalent. Desargues outline finite geometry examples of problems features of desargues another example desargues. 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. A nondesarguesian projective plane here we give an example of a projective plane in which desargues theorem does not hold. Any help is appreciated and if more translation is necessary please let me know. Jul 07, 2011 before i ask the question, let me remind that desargues theorem states. Two triangles are in perspective axially if and only if they are in perspective centrally. In the axiomatic development of projective geometry, desargues theorem is often taken as an axiom.
548 1080 575 766 1009 900 1404 1490 508 539 695 325 653 406 1112 1024 724 903 1522 66 911 1530 489 1601 1051 449 1451 19 1359 924 442 969 1111 1074 657 1028 1341 1002 197