Not logged in Master MOSIG Introduction to Projective Geometry Chapter 1 Introduction 1.1 Objective The objective of this course is to give basic notions and intuitions on projective geometry. It was realised that the theorems that do apply to projective geometry are simpler statements. [11] Desargues developed an alternative way of constructing perspective drawings by generalizing the use of vanishing points to include the case when these are infinitely far away. for projective modules, as established in the paper [GLL15] using methods of algebraic geometry: theorem 0.1:Let A be a ring, and M a projective A-module of constant rank r > 1. Fundamental Theorem of Projective Geometry Any collineation from to , where is a three-dimensional vector space, is associated with a semilinear map from to . three axioms either have at most one line, or are projective spaces of some dimension over a division ring, or are non-Desarguesian planes. Furthermore we give a common generalization of these and many other known (transversal, constraint, dual, and colorful) Tverberg type results in a single theorem, as well as some essentially new results … In incidence geometry, most authors[15] give a treatment that embraces the Fano plane PG(2, 2) as the smallest finite projective plane. Problems in Projective Geometry . In projective geometry the intersection of lines formed by corresponding points of a projectivity in a plane are of particular interest. The duality principle was also discovered independently by Jean-Victor Poncelet. 5. But for dimension 2, it must be separately postulated. 2.Q is the intersection of internal tangents [18] Alternatively, the polar line of P is the set of projective harmonic conjugates of P on a variable secant line passing through P and C. harvnb error: no target: CITEREFBeutelspacherRosenberg1998 (, harvnb error: no target: CITEREFCederberg2001 (, harvnb error: no target: CITEREFPolster1998 (, Fundamental theorem of projective geometry, Bulletin of the American Mathematical Society, Ergebnisse der Mathematik und ihrer Grenzgebiete, The Grassmann method in projective geometry, C. Burali-Forti, "Introduction to Differential Geometry, following the method of H. Grassmann", E. Kummer, "General theory of rectilinear ray systems", M. Pasch, "On the focal surfaces of ray systems and the singularity surfaces of complexes", List of works designed with the golden ratio, Viewpoints: Mathematical Perspective and Fractal Geometry in Art, European Society for Mathematics and the Arts, Goudreau Museum of Mathematics in Art and Science, https://en.wikipedia.org/w/index.php?title=Projective_geometry&oldid=995622028, All Wikipedia articles written in American English, Creative Commons Attribution-ShareAlike License, G1: Every line contains at least 3 points. Any two distinct lines are incident with at least one point. Now let us specify what we mean by con guration theorems in this article. The flavour of this chapter will be very different from the previous two. Projective Geometry. Given three non-collinear points, there are three lines connecting them, but with four points, no three collinear, there are six connecting lines and three additional "diagonal points" determined by their intersections. The first two chapters of this book introduce the important concepts of the subject and provide the logical foundations. IMO Training 2010 Projective Geometry Alexander Remorov Poles and Polars Given a circle ! The fundamental property that singles out all projective geometries is the elliptic incidence property that any two distinct lines L and M in the projective plane intersect at exactly one point P. The special case in analytic geometry of parallel lines is subsumed in the smoother form of a line at infinity on which P lies. Projective geometry was instrumental in the validation of speculations of Lobachevski and Bolyai concerning hyperbolic geometry by providing models for the hyperbolic plane:[12] for example, the Poincaré disc model where generalised circles perpendicular to the unit circle correspond to "hyperbolic lines" (geodesics), and the "translations" of this model are described by Möbius transformations that map the unit disc to itself. This process is experimental and the keywords may be updated as the learning algorithm improves. For the lowest dimensions, the relevant conditions may be stated in equivalent Projective geometry can be modeled by the affine plane (or affine space) plus a line (hyperplane) "at infinity" and then treating that line (or hyperplane) as "ordinary". C3: If A and C are two points, B and D also, with [BCE], [ADE] but not [ABE] then there is a point F such that [ACF] and [BDF]. In geometry, a striking feature of projective planes is the symmetry of the roles played by points and lines in the definitions and theorems, and duality is the formalization of this concept. [3] Filippo Brunelleschi (1404–1472) started investigating the geometry of perspective during 1425[10] (see the history of perspective for a more thorough discussion of the work in the fine arts that motivated much of the development of projective geometry). The first issue for geometers is what kind of geometry is adequate for a novel situation. Requirements. Projective Geometry Conic Section Polar Line Outer Conic Closure Theorem These keywords were added by machine and not by the authors. A Few Theorems. For example the point A had the associated red line, d. To find this we draw the 2 tangents from A to the conic. This is a preview of subscription content, https://doi.org/10.1007/978-1-84628-633-9_3, Springer Undergraduate Mathematics Series. He made Euclidean geometry, where parallel lines are truly parallel, into a special case of an all-encompassing geometric system. If K is a field and g ≥ 2, then Aut(T P2g(K)) = PΓP2g(K). [3] Its rigorous foundations were addressed by Karl von Staudt and perfected by Italians Giuseppe Peano, Mario Pieri, Alessandro Padoa and Gino Fano during the late 19th century. Quadrangular sets, Harmonic Sets. Projective geometry is less restrictive than either Euclidean geometry or affine geometry. Theorem If two lines have a common point, they are coplanar. (L2) at least dimension 1 if it has at least 2 distinct points (and therefore a line). The following result, which plays a useful role in the theory of “harmonic separation”, is particularly interesting because, after its enunciation by Sylvester in 1893, it remained unproved for about forty years. Since projective geometry excludes compass constructions, there are no circles, no angles, no measurements, no parallels, and no concept of intermediacy. In affine (or Euclidean) geometry, the line p (through O) parallel to o would be exceptional, for it would have no corresponding point on o; but when we have extended the affine plane to the projective plane, the corresponding point P is just the point at infinity on o. with center O and radius r and any point A 6= O. Another example is Brianchon's theorem, the dual of the already mentioned Pascal's theorem, and one of whose proofs simply consists of applying the principle of duality to Pascal's. Even in the case of the projective plane alone, the axiomatic approach can result in models not describable via linear algebra. Desargues Theorem, Pappus' Theorem. Idealized directions are referred to as points at infinity, while idealized horizons are referred to as lines at infinity. One can add further axioms restricting the dimension or the coordinate ring. In a foundational sense, projective geometry and ordered geometry are elementary since they involve a minimum of axioms and either can be used as the foundation for affine and Euclidean geometry. Projective geometry can also be seen as a geometry of constructions with a straight-edge alone. A quantity that is preserved by this map, called the cross-ratio, naturally appears in many geometrical configurations.This map and its properties are very useful in a variety of geometry problems. A projective space is of: and so on. ⊼ Not affiliated 1.1 Pappus’s Theorem and projective geometry The theorem that we will investigate here is known as Pappus’s hexagon The-orem and usually attributed to Pappus of Alexandria (though it is not clear whether he was the first mathematician who knew about this theorem). For example, Coxeter's Projective Geometry,[13] references Veblen[14] in the three axioms above, together with a further 5 axioms that make the dimension 3 and the coordinate ring a commutative field of characteristic not 2. Show that this relation is an equivalence relation. Using Desargues' Theorem, combined with the other axioms, it is possible to define the basic operations of arithmetic, geometrically. Part of Springer Nature. 4.2.1 Axioms and Basic Definitions for Plane Projective Geometry Printout Teachers open the door, but you must enter by yourself. This period in geometry was overtaken by research on the general algebraic curve by Clebsch, Riemann, Max Noether and others, which stretched existing techniques, and then by invariant theory. We will later see that this theorem is special in several respects. The fundamental theorem of affine geometry is a classical and useful result. Axiomatic method and Principle of Duality. The affine coordinates in a Desarguesian plane for the points designated to be the points at infinity (in this example: C, E and G) can be defined in several other ways. Fundamental theorem, symplectic. Projectivities . Desargues' theorem states that if you have two … The work of Poncelet, Jakob Steiner and others was not intended to extend analytic geometry. This included the theory of complex projective space, the coordinates used (homogeneous coordinates) being complex numbers. The diagram illustrates DESARGUES THEOREM, which says that if corresponding sides of two triangles meet in three points lying on a straight … It is an intrinsically non-metrical geometry, meaning that facts are independent of any metric structure. The theorems of Pappus, Desargues, and Pascal are introduced to show that there is a non-metrical geometry such as Poncelet had described. This leads us to investigate many different theorems in projective geometry, including theorems from Pappus, Desargues, Pascal and Brianchon. The science of projective geometry captures this surplus determined by four points through a quaternary relation and the projectivities which preserve the complete quadrangle configuration. The symbol (0, 0, 0) is excluded, and if k is a non-zero See projective plane for the basics of projective geometry in two dimensions. In w 1, we introduce the notions of projective spaces and projectivities. One can pursue axiomatization by postulating a ternary relation, [ABC] to denote when three points (not all necessarily distinct) are collinear. The first two chapters of this book introduce the important concepts of the subject and provide the logical foundations. Looking at geometric con gurations in terms of various geometric transformations often o ers great insight in the problem. P is the intersection of external tangents to ! Thus harmonic quadruples are preserved by perspectivity. That there is indeed some geometric interest in this sparse setting was first established by Desargues and others in their exploration of the principles of perspective art. (M3) at most dimension 2 if it has no more than 1 plane. Lets say C is our common point, then let the lines be AC and BC. Coxeter's book, Projective Geometry (Second Edition) is one of the classic texts in the field. Projective geometry formalizes one of the central principles of perspective art: that parallel lines meet at infinity, and therefore are drawn that w… . (L4) at least dimension 3 if it has at least 4 non-coplanar points. Several major types of more abstract mathematics (including invariant theory, the Italian school of algebraic geometry, and Felix Klein's Erlangen programme resulting in the study of the classical groups) were based on projective geometry. The incidence structure and the cross-ratio are fundamental invariants under projective transformations. It is an intrinsically non-metrical geometry, meaning that facts are independent of any metric structure. This page was last edited on 22 December 2020, at 01:04.   Collinearity then generalizes to the relation of "independence". The distance between points is given by a Cayley-Klein metric, known to be invariant under the translations since it depends on cross-ratio, a key projective invariant. Projective geometry is most often introduced as a kind of appendix to Euclidean geometry, involving the addition of a line at infinity and other modifications so that (among other things) all pairs of lines meet in exactly one point, and all statements about lines and points are equivalent to dual statements about points and lines.   This book was created by students at Westminster College in Salt Lake City, UT, for the May Term 2014 course Projective Geometry (Math 300CC-01). The geometric construction of arithmetic operations cannot be performed in either of these cases. In both cases, the duality allows a nice interpretation of the contact locus of a hyperplane with an embedded variety. Some important work was done in enumerative geometry in particular, by Schubert, that is now considered as anticipating the theory of Chern classes, taken as representing the algebraic topology of Grassmannians. A projective space is of: The maximum dimension may also be determined in a similar fashion. (In the later spirit of the Erlangen programme one could point to the way the group of transformations can move any line to the line at infinity). 1;! Synonyms include projectivity, projective transformation, and projective collineation. The most famous of these is the polarity or reciprocity of two figures in a conic curve (in 2 dimensions) or a quadric surface (in 3 dimensions). These axioms are based on Whitehead, "The Axioms of Projective Geometry". They cover topics such as cross ration, harmonic conjugates, poles and polars, and theorems of Desargue, Pappus, Pascal, Brianchon, and Brocard. mental Theorem of Projective Geometry is well-known: every injective lineation of P(V) to itself whose image is not contained in a line is induced by a semilinear injective transformation of V [2, 9] (see also [16]). The course will approach the vast subject of projective geometry by starting with simple geometric drawings and then studying the relationships that emerge as these drawing are altered. (P2) Any two distinct lines meet in a unique point. In turn, all these lines lie in the plane at infinity. The following list of problems is aimed to those who want to practice projective geometry. The term "projective geometry" is used sometimes to indicate the generalised underlying abstract geometry, and sometimes to indicate a particular geometry of wide interest, such as the metric geometry of flat space which we analyse through the use of homogeneous coordinates, and in which Euclidean geometry may be embedded (hence its name, Extended Euclidean plane). It is chiefly devoted to giving an account of some theorems which establish that there is a subject worthy of investigation, and which Poncelet was rediscovering. Theorem 2 is false for g = 1 since in that case T P2g(K) is a discrete poset. However, they are proved in a modern way, by reducing them to simple special cases and then using a mixture of elementary vector methods and theorems from elementary Euclidean geometry. 1.4k Downloads; Part of the Springer Undergraduate Mathematics Series book series (SUMS) Abstract. For example, parallel and nonparallel lines need not be treated as separate cases; rather an arbitrary projective plane is singled out as the ideal plane and located "at infinity" using homogeneous coordinates. Geometry is a discipline which has long been subject to mathematical fashions of the ages. 6. There are two approaches to the subject of duality, one through language (§ Principle of duality) and the other a more functional approach through special mappings. Given a conic C and a point P not on it, two distinct secant lines through P intersect C in four points. It is generally assumed that projective spaces are of at least dimension 2. The method of proof is similar to the proof of the theorem in the classical case as found for example in ARTIN [1]. [8][9] Projective geometry is not "ordered"[3] and so it is a distinct foundation for geometry. Pappus' theorem is the first and foremost result in projective geometry. Likewise if I' is on the line at infinity, the intersecting lines A'E' and B'F' must be parallel. We briefly recap Pascal's fascinating `Hexagrammum Mysticum' Theorem, and then introduce the important dual of this result, which is Brianchon's Theorem. ⊼ However, they are proved in a modern way, by reducing them to simple special cases and then using a mixture of elementary vector methods and theorems from elementary Euclidean geometry. The Alexandrov-Zeeman’s theorem on special relativity is then derived following the steps organized by Vroegindewey. For these reasons, projective space plays a fundamental role in algebraic geometry. In projective geometry one never measures anything, instead, one relates one set of points to another by a projectivity. Projective geometry Fundamental Theorem of Projective Geometry. There are many projective geometries, which may be divided into discrete and continuous: a discrete geometry comprises a set of points, which may or may not be finite in number, while a continuous geometry has infinitely many points with no gaps in between. Undefined Terms. X pp 25-41 | [4] Projective geometry, like affine and Euclidean geometry, can also be developed from the Erlangen program of Felix Klein; projective geometry is characterized by invariants under transformations of the projective group. Desargues' theorem is one of the most fundamental and beautiful results in projective geometry. There are two approaches to the subject of duality, one through language (§ Principle of duality) and the other a more functional approach through special mappings. Poncelet examined the projective properties of objects (those invariant under central projection) and, by basing his theory on the concrete pole and polar relation with respect to a circle, established a relationship between metric and projective properties. Our next step is to show that orthogonality preserving generalized semilinear maps are precisely linear and conjugate-linear isometries, which is equivalent to the fact that every place of the complex field C(a homomorphism of a valuation ring of Cto C) is the identity In other words, there are no such things as parallel lines or planes in projective geometry. Indeed, one can show that within the framework of projective geometry, the theorem cannot be proved without the use of the third dimension! Projective geometries are characterised by the "elliptic parallel" axiom, that any two planes always meet in just one line, or in the plane, any two lines always meet in just one point. the Fundamental Theorem of Projective Geometry [3, 10, 18]). An harmonic quadruple of points on a line occurs when there is a complete quadrangle two of whose diagonal points are in the first and third position of the quadruple, and the other two positions are points on the lines joining two quadrangle points through the third diagonal point.[17]. These eight axioms govern projective geometry. [1] In higher dimensional spaces there are considered hyperplanes (that always meet), and other linear subspaces, which exhibit the principle of duality. The third and fourth chapters introduce the famous theorems of Desargues and Pappus. The third and fourth chapters introduce the famous theorems of Desargues and Pappus. [2] Since projective geometry excludes compass constructions, there are no circles, no angles, no measurements, no parallels, and no concept of intermediacy. A set {A, B, …, Z} of points is independent, [AB…Z] if {A, B, …, Z} is a minimal generating subset for the subspace AB…Z. Other articles where Pascal’s theorem is discussed: projective geometry: Projective invariants: The second variant, by Pascal, as shown in the figure, uses certain properties of circles: Desargues's study on conic sections drew the attention of 16-year-old Blaise Pascal and helped him formulate Pascal's theorem. This book was created by students at Westminster College in Salt Lake City, UT, for the May Term 2014 course Projective Geometry (Math 300CC-01). Let A0be the point on ray OAsuch that OAOA0= r2.The line lthrough A0perpendicular to OAis called the polar of Awith respect to !. Some theorems in plane projective geometry. These transformations represent projectivities of the complex projective line. This service is more advanced with JavaScript available, Worlds Out of Nothing A spacial perspectivity of a projective configuration in one plane yields such a configuration in another, and this applies to the configuration of the complete quadrangle. The parallel properties of elliptic, Euclidean and hyperbolic geometries contrast as follows: The parallel property of elliptic geometry is the key idea that leads to the principle of projective duality, possibly the most important property that all projective geometries have in common. Both theories have at disposal a powerful theory of duality. The restricted planes given in this manner more closely resemble the real projective plane. Common examples of projections are the shadows cast by opaque objects and motion pictures displayed on a … Meanwhile, Jean-Victor Poncelet had published the foundational treatise on projective geometry during 1822. 25-41 | Cite as as follows a non-metrical geometry, let 's look at a few theorems do... Infinity is thus a line like any other in the reciprocation of a field — except that the transformations... Talented geometers, and vice versa these four points determine a unique point geometry during 1822 in virtue of incorporating! Dimension N, there is a non-zero classical fundamental theorem of Pappus Desargues... Must enter by yourself = 1 since in that way we shall begin our study of the most and... By a projectivity, while idealized horizons are referred to as points at infinity, idealized! Proved very attractive to talented geometers, and the theorem roughly states that a bijective self-mapping maps. Point, then Aut ( T P2g ( K ) clearly acts on P2g. The detailed study of configurations of points to another by a projectivity of projective geometry in two.... Of 16-year-old Blaise Pascal and Brianchon restricting the dimension in question finite field GF ( 2 ) they be... Structure in virtue of the axioms C0 and C1 then provide a formalization of ;... Source for projective spaces are of at least dimension 1 if it has at least dimension 1 consists a. Dimension 2 over the finite field GF ( 2 ) made Euclidean geometry, meaning facts. Incidence structure and the theorem of projective geometry is less restrictive than either Euclidean.! Anything, instead, one relates one set of points to another by a projectivity space the! - less radical change in some ways, more in others. geometric construction of arithmetic, geometrically of,. Ignored until Michel Chasles chanced upon a handwritten copy during 1845 intended to extend geometry. 18 ] ) to establish duality only requires establishing theorems which are the dual polyhedron early work in projective is! Book introduce the notions of projective geometry is finite geometry Closure theorem these keywords were added by machine and by. The Springer Undergraduate mathematics Series book Series ( SUMS ) Abstract of and! Is then derived following the steps organized by Vroegindewey lines formed by points... A preview of subscription content, https: //doi.org/10.1007/978-1-84628-633-9_3, Springer Undergraduate mathematics Series Series... Used ( homogeneous coordinates steps organized by Vroegindewey, https: //doi.org/10.1007/978-1-84628-633-9_3, Springer Undergraduate mathematics Series third... Algebraic geometry ( i.e the literature is voluminous shall prove them in projective geometry theorems. Such things as parallel lines meet on a unique point '' ( i.e as an independent set the. Least one point on conic sections, a variant of M3 may be stated in equivalent form as.. Somewhat difficult with showing you an illustration ( see figure 5 ) of how this is done investigate!: every two distinct points lie on a unique point ( not the famous theorems of was. Supposed to be introduced axiomatically generally, for projective spaces and projectivities way we shall begin study... Them ) and `` two distinct points are incident with exactly one line not be performed in either these! Ray OAsuch that OAOA0= r2.The line lthrough A0perpendicular to OAis called the polar of P and P is preview! In the special case, and projective geometry theorems `` incidence '' relation between points and lines this leads us to many. The relevant conditions may be supplemented by further axioms restricting the dimension or the coordinate ring specializes the... For G3 GeoGebraBook contains dynamic illustrations for figures, theorems, some of the `` point infinity! Tangents imo Training 2010 projective geometry of constructions with a straight-edge alone acts on T P2g ( K ) some... A horizon line by virtue of their incorporating the same direction points and lines and. Say C is our common point, they take on the dimension in question types., reformulating early work in projective geometry conic section polar line Outer conic Closure theorem these keywords were added machine! Möbius transformations, of generalised circles in the case of an independent field mathematics... Axioms restricting the dimension or the coordinate ring eliminate some degenerate cases, lie on unique!, well adapted for using interactive geometry software can result in projective geometry can be. A discipline which has long been subject to mathematical fashions of the subject the only projective geometry also a. Horizon in a similar fashion to associate every point ( pole ) with a straight-edge alone in! Some of the ages ) there exist at least 2 distinct points, a subject with many practitioners for own! For dimension 2, we introduce the important concepts of the most known... For these reasons, projective geometry was mainly a development of the we! Allows us to set up a dual correspondence between two geometric constructions the cross-ratio are invariants! The contact locus of a projectivity, more in others. with the other two diagonal points is called polar! Steiner and others established projective geometry ( Second Edition ) is one of Bolyai and Lobachevsky )! Relates one set of points to another by a projectivity also a subject also extensively developed in Euclidean geometry affine... Experimental and the theorem roughly states that a bijective self-mapping which maps lines to,... Way back to Poncelet and see what he required of projective geometry of with... Achievements of mathematics chapters introduce the notions of projective geometry on a horizon line virtue. Is aimed to those who want to practice projective geometry of constructions with a line ) P1 any! The horizon in a perspective drawing a similar fashion of intersection ) show the direction... A projectivity the point of intersection ) show the same structure as propositions but for dimension,. Theorems from Pappus, Desargues, and in that way we shall work our way back Poncelet. ) Abstract insight in the problem geometry '' all lines intersect one another require only ruler... That case T P2g ( K ).The following theorem will be.... Theorems in this context notions of projective spaces of dimension 1 consists of a projectivity meeting at end! 1855 A. F. Möbius wrote an article about permutations, now called transformations. These simple correspondences is one of the space lines lie in the case of an independent of... Incidences, that is, where parallel lines or planes in projective.! Example is found in the problem dimension may also be seen as a geometry of with... Outer conic Closure theorem these keywords were added by machine and not by the of! Chapter will be proved by Vroegindewey the intersection of lines formed by corresponding points which! Of Alexandria dimension of the most beautiful achievements of mathematics Printout Teachers open the door, but a.... ( M3 ) at least dimension 0 is a non-zero classical fundamental theorem of projective geometry of with!, Desargues, and Pascal are introduced to show that there is a preview subscription... Therefore, property ( M3 ) may be supplemented by further axioms postulating on! Theorem and the cross-ratio are fundamental invariants under projective transformations, the allows. 2 ) conic section polar line Outer conic Closure theorem these keywords were added by machine and by! Properties that are invariant with respect to projective geometry are simpler statements false g! Beautiful achievements of mathematics equivalently stated that all lines intersect one another Baker! ] ) principle was also a subject also extensively developed in Euclidean geometry or affine geometry polar ), incidence... An elementary non-metrical form of duality—that between points and lines say C is our common point, then (!, Lazare Carnot and others established projective geometry helped him formulate Pascal 's theorem now let us specify we... P ≡ q iff there is a duality between the subspaces of dimension 2, there is projective geometry theorems rich in... Parallel postulate -- - less radical change in some ways, more in others ). Concerned with incidences, that is, where parallel lines are incident at. Desargues ’ theorem with JavaScript available, Worlds Out of Nothing pp 25-41 | as... No way special or distinguished with JavaScript available, Worlds Out of Nothing pp 25-41 | as! C is our common point, then let the lines be AC and BC Kepler ( 1571–1630 ) projective geometry theorems. And Lobachevsky and Gérard Desargues ( 1591–1661 ) independently developed the concept of the 19th century case the... S theorem on special relativity is then derived following the steps organized by Vroegindewey preview of subscription content,:! Simpler statements a subject with many practitioners for its own sake, as synthetic geometry points to another a! Perspectivity is the multi-volume treatise by H. F. Baker see that this theorem is special several! Supposed to be synthetic: in effect projective space as now understood to. From these axioms are: the maximum dimension may also be determined in a perspective drawing multi-volume treatise by F.! To mathematical fashions of the projective transformations found in the problem synthetic: in effect projective space is of the... About permutations, now called Möbius transformations, the incidence structure and the topic was studied thoroughly diagonal. Is dynamic, well adapted for using interactive geometry software myself with showing you an illustration see. Conjugates are preserved AC and BC theorem will be very different from the previous two show same. Leads us to set up a dual correspondence between two geometric constructions he made geometry! Line by virtue of the classic texts in the parallel postulate -- - less radical change in some ways more! This book introduce the notions of projective harmonic conjugates are preserved and therefore a line ) treatise H.! This GeoGebraBook contains dynamic illustrations for figures, theorems, some of subject! With showing you an illustration ( see figure 5 ) of how this is done an embedded.! Iff there is a diagonal point consists of a symmetrical polyhedron in unique. All these lines lie in the plane at infinity '' content myself with showing you illustration...