Projective geometry is a non-metrical form of geometry. First developed by Desargues in the 17th century, it did not achieve prominence as a field of mathematics until the early 19th century through the work of Poncelet and others. Projective geometry originated from the principles of perspective art. In mathematics a metric or distance function is a function which defines a distance between elements of a set. ... Girard Desargues (1591 - 1661) was a French mathematician and one of the founders of projective geometry. ... (16th century - 17th century - 18th century - more centuries) As a means of recording the passage of time, the 17th century was that century which lasted from 1601-1700. ... Alternative meaning: Nineteenth Century (periodical) (18th century — 19th century — 20th century — more centuries) As a means of recording the passage of time, the 19th century was that century which lasted from 1801-1900 in the sense of the Gregorian calendar. ... Jean-Victor Poncelet (July 1, 1788 – December 22, 1867) was a mathematician and engineer who did much to revive projective geometry. ... A cube in two-point perspective. ...

Description

Projective geometry is a non-hellodian geometry that formalizes one of the central principles of perspective art: that parallel lines meet at infinity and therefore are to be drawn that way. In essence, a projective geometry may be thought of as an extension of Euclidean geometry in which the "direction" of each line is subsumed within the line as an extra "point", and in which a "horizon" of directions corresponding to coplanar lines is regarded as a "line". Thus, two parallel lines will meet on a horizon in virtue of their possessing the same direction. Look up parallel in Wiktionary, the free dictionary. ... The infinity symbol ∞ in several typefaces. ...

Idealized directions are referred to as points at infinity, while idealized horizons are referred to as lines at infinity.

However, a projective geometry does not single out any point or line in this regard -- they are all treated equally. Indeed, with the extension, the axiomatization becomes substantially simpler (based on Whitehead, "The Axioms of Projective Geometry"): Alfred North Whitehead, OM (February 15, 1861 Ramsgate, Kent, England – December 30, 1947 Cambridge, Massachusetts, USA) was an English-born mathematician who became a philosopher. ...

• G1: Every line contains at least 3 points
• G2: Every two points, A and B, lie on a unique line, AB.
• G3: If lines AB and CD intersect, then so do lines AC and BD (where it is assumed that A and D are distinct from B and C).

The reason each line is assumed to contain at least 3 points is apparent when thinking of the original motivating example of a Euclidean space supplemented by the lines and points at infinity. The 3rd point is the line's direction. Axiom 2 is thus seen to embody a form of Euclid's 5th postulate (which makes the designation of Projective geometry as non-Euclidean ironic): given a point and a direction, there is a unique line containing the point lying in the given direction.

Because a Euclidean geometry is contained within a Projective geometry, with Projective geometry having a simpler foundation, general results in Euclidean geometry may be arrived at in a more transparent fashion. Moreover, as already seen with the preceding interpretation of Axiom 2, separate but similar theorems in Euclidean geometry may be handled collectively within the framework of projective geometry; for instance, parallel and nonparallel lines need not be treated as separate cases. Euclid Euclidean geometry is a mathematical system attributed to the Greek mathematician Euclid of Alexandria. ...

One can pursue axiomatization in greater depth by postulating a ternary relation, [ABC] to denote when three points (not all necessarily distinct) are collinear. A relatively simple axiomatization may be written down in terms of this relation as well:

• C0: [ABA]
• C1: If A and B are two points such that [ABC] and [ABD] then [BDC]
• C2: If A and B are two points then there is a third point C such that [ABC]
• 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].

For two different points, A and B, the line AB is defined as consisting of all points C for which [ABC]. The axioms C0 and C1 then provide a formalization of G1; C2 for G2 and C3 for G3.

The concept of line generalizes to planes and higher dimensional subspaces. A subspace, AB...XY may thus be recursively defined in terms of the subspace AB...X as that containing all the points of all lines YZ, as Z ranges over AB...X. Collinearity then generalizes to the relation of "independence". 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.

The axioms may be supplemented by further axioms postulating limits on the dimension of the space. The minimum dimension is determined by the existence of an independent set of the required size. For the lowest dimensions, the relevant conditions may be stated in equivalent form as follows. A projective space is of:

• (L1) at least dimension 0 if it has at least 1 point,
• (L2) at least dimension 1 if it has at least 2 distinct points (and therefore a line),
• (L3) at least dimension 2 if it has at least 3 non-collinear points (or two lines, or a line and a point not on the line),
• (L4) at least dimension 3 if it has at least 4 non-coplanar points.

The maximum dimension may also be determined in a similar fashion. For the lowest dimensions, they take on the following forms. A projective space is of:

• (M1) at most dimension 0 if it has no more than 1 point,
• (M2) at most dimension 1 if it has no more than 1 line,
• (M3) at most dimension 2 if it has no more than 1 plane,

and so on. It is a general theorem (a consequence of axiom (3)) that all coplanar lines intersect -- the very principle Projective Geometry was originally intended to embody. Therefore, property (M3) may be equivalently stated that all lines intersect one another.

It is generally assumed that projective spaces are of at least dimension 2. In some cases, if the focus is meant to be on projective planes, a variant of M3 may be postulated. The axioms of (Eves 1997: 111), for instance, include (1), (2), (L3) and (M3). Axiom (3) becomes vacuously true under (M3) and is therefore not needed in this context.

Additional properties of fundamental importance include Desargues' Theorem and the Theorem of Pappus. In projective spaces of dimension 3 or greater there is a construction that allows one to prove Desargues' Theorem. But for dimension 2, it must be separately postulated. In projective geometry, Desargues theorem, named in honor of Girard Desargues, states: In a projective space, two triangles are in perspective axially if and only if they are in perspective centrally. ... Cover of Pappuss Mathematicae Collectiones, translated by Federico Commandino (1589). ... In projective geometry, Desargues theorem, named in honor of Girard Desargues, states: In a projective space, two triangles are in perspective axially if and only if they are in perspective centrally. ...

Under Desargues' Theorem, combined with the other axioms, it is possible to define the basic operations of arithmetic, geometrically. The resulting operations will satisfy the axioms of a fields -- except that the commutativity of multiplication will require Pappus's hexagon theorem. As a result, the points of each line are in one to one correspondence with a given field, F, supplemented by an additional element, W, such that rW = W, -W = W, r+W = W, r/0 = W, r/W = 0, W-r = r-W = W. However, 0/0, W/W, W+W, W-W, 0W and W0 remain undefined. In projective geometry, Desargues theorem, named in honor of Girard Desargues, states: In a projective space, two triangles are in perspective axially if and only if they are in perspective centrally. ... Hexagon XbCYcB whose sides are formed by the lines Ab-bC-Ca-aB-Bc-cA. If lines Xb,BC,&cY are concurrent and if lines BX,cb,&YC are concurrent, then lines Bc,XY,&bC must also be concurrent, according to Pappuss theorem. ...

The only projective geometry of dimension 0 is a single point. A projective geometry of dimension 1 consists of a single line containing at least 3 points. The geometric construction of arithmetic operations cannot be carried out in either of these cases. For dimension 2, there is a rich structure in virtue of the absence of Desargues' Theorem. The simplest 2-dimensional projective geometry has 3 points on every line, with 7 points and lines in all arranged with the following schedule of collinearities: In projective geometry, Desargues theorem, named in honor of Girard Desargues, states: In a projective space, two triangles are in perspective axially if and only if they are in perspective centrally. ...

• [ABC]
• [ADE]
• [AFG]
• [BDG]
• [BEF]
• [CDF]
• [CEG]

with the coordinates A = {0,0}, B = {0,1}, C = {0,W} = {1,W}, D = {1,0}, E = {W,0} = {W,1}, F = {1,1}, G = {W, W}. For an image review the Fano plane. The coordinates in a Desarguesian plane for the points designated to be the points at infinity (in this example: C, E and G) will generally not be unambiguously defined. A finite geometry is any geometric system that has only a finite number of points. ...

Visualize

is used to map a plane into a plane. In space a point is represented by the homogeneous coordinate (x₁,x₂,x₃). If we think of (x₁,x₂,x₃) as a point in the space and third value of the homogeneous coordinate as a value in the z direction, the space can be visualized as a space. Image File history File links Proj_geom0. ...

Points, rays, lines, and planes

A line can be represented in space by the equation ax + by + c = 0. If we treat a, b and c as the column vector and x, y,1 as the column vector then the equation above can be written in matrix form as: Image File history File links Proj_geom1. ...

or

Or using vector notation

or

sweeps out a plane that goes through zero in and sweeps out a ray ( a ray goes through zero).

The plane and ray are subspaces in . A subspace always goes through zero. The concept of a linear subspace (or vector subspace) is important in linear algebra and related fields of mathematics. ...

Ideal points

In the equation of a line is ax + by + c = 0 and this equation can represent a line on any plane parallel to the x,y plane by multiplying the equation by k. Image File history File links Prj_geom. ...

If z = 1 we have a normalized homogeneous coordinate. All points that have z = 1 create a plane. Let's pretend we are looking at that plane and there are two parallel lines drawn on the plane. From where we are standing we can see only so much of the plane (the area outlined in red). If we walk away from the plane along the z axis we can see more of the plane. In our field of view original points have moved. We can reflect this movement by dividing the homogeneous coordinate by a constant. In the image to the right we have divided by 2 so the z value now becomes 0.5. If we walk far enough away what we are looking at becomes a point in the distance. As we walk away we see more and more of the parallel lines. The lines will meet at a line at infinity ( a line that goes through zero on the plane at z = 0). Lines on the plane when z = 0 are ideal points. The plane at z = 0 is the line at infinity.

The homogeneous point (0,0,0) is where all the real points go when you're looking at the plane from an infinite distance, a line on the z = 0 plane is where parallel lines intersect.

Duality

In the equation there are two column vectors. You can keep either constant and vary the other. If we keep the point constant and vary the coefficients we create new lines that go through the point. If we keep the coefficients constant and vary the points that satisfy the equation we create a line. We look upon x as a point because the axis's we are using are x,y and z. If we instead plotted the coefficients using axis marked a,b,c points would become lines and lines would become points. If you prove something with the data plotted on axis marked x,y and z the same argument can be used for the data plotted on axis marked a,b and c. That is duality. Image File history File links Proj_geom2. ... In linear algebra, a column vector is an m × 1 matrix, i. ...

Lines joining points and intersection of lines (using duality)

The equation calculates the inner product of two column vectors. The inner product of two vectors is zero if the vectors are orthogonal. To find the line between the points and you must find the column vector that satisfies the equations and , that is we must find a column vector that is orthogonal to and . The cross product will find such a vector. The line joining two points is given by the equation . In mathematics, the dot product, also known as the scalar product, is a binary operation which takes two vectors over the real numbers R and returns a real-valued scalar quantity. ... In mathematics, orthogonal is synonymous with perpendicular when used as a simple adjective that is not part of any longer phrase with a standard definition. ... For the crossed product in algebra and functional analysis, see crossed product. ...

To find the intersection of two lines you look to duality. If you plot in the coefficient space you get rays. To find the point that is orthogonal to the two rays you find the cross product. That is .

Projective transformation

A projective Transformation in space is an invertible mapping of points in to points in that maps lines to lines. A projectivity has the equation: . Where is an invertible matrix. This is, a projectivity is any conceivable invertible linear transform of homogeneous co-ordinates.

Duality

For projective spaces of dimension N, there will exist a duality between the subspaces of dimension R and dimension N-R-1. For N = 2, this specializes to the most commonly known form of duality -- that between points and lines.

In 1825, Joseph Gergonne noted the principle of duality characterizing projective plane geometry: given any theorem or definition of that geometry, substituting point for line, lie on for pass through, collinear for concurrent, intersection for join, or vice versa, results in another theorem or valid definition, the "dual" of the first. Joseph Diaz Gergonne (19 June 1771 Nancy, France -- 4 May 1859 Montpellier, France) was a French geometer and logician. ... Duality in the projective plane refers to the interchangeability between points and lines which preserves incidence properties. ...

Similarly in 3 dimensions, the duality relation holds between points and planes, allowing any theorem to be transformed by swapping "point" and "plane", "is contained by" and "contains". To establish duality only requires establishing the dual versions of the axioms for the dimension in question. Thus, for 3-dimensional spaces, one needs to show that (1*) every line lies in 3 distinct planes, (2*) every two planes intersect in a unique line and a dual version of (3*) to the effect: if the intersection of plane P and Q is coplanar with the intersection of plane R and S, then so are the respective intersections of planes P and R, Q and S (assuming planes P and S are distinct from Q and R).

The duality principle was also discovered independently by Jean-Victor Poncelet. Jean-Victor Poncelet (July 1, 1788 – December 22, 1867) was a mathematician and engineer who did much to revive projective geometry. ...

Whatever its precise foundational status, projective geometry did include basic incidence properties. That means 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. The point is then that the line at infinity is a line like any other in the theory: it is in no way special or distinguished. (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). In geometry, the relations of incidence are those such as lies on between points and lines (as in point P lies on line L), and intersects (as in line L1 intersects line L2, in three-dimensional space). ... Projective plane - Wikipedia, the free encyclopedia /**/ @import /skins-1. ... Analytic geometry, also called coordinate geometry and earlier referred to as Cartesian geometry or analytical geometry, is the study of geometry using the principles of algebra. ... An influential research programme and manifesto was published in 1872 by Felix Klein, under the title Vergleichende Betrachtungen über neuere geometrische Forschungen. ... This picture illustrates how the hours in a clock form a group. ...

Projective geometry also includes a full theory of conic sections, a subject already very well developed in Euclidian geometry (and mainly useful as a source of examination questions). There are clear advantages in being able to think of a hyperbola and an ellipse as distinguished only by the way the hyperbola lies across the line at infinity; and that a parabola is tangent to the same line. The whole family of circles can be seen as the conics passing through two given points on the line at infinity - at the cost of requiring complex number coordinates. Since coordinates were not "synthetic", one replaces them by fixing a line and two points on it, and considering the linear system of all conics passing through those points as the basic object of study. This approach proved very attractive to talented geometers, and the field was thoroughly worked over. An example of this approach is the multi-volume treatise by H. F. Baker. In mathematics, a conic section (or just conic) is a curved locus of points, formed by intersecting a cone with a plane. ... In mathematics, a hyperbola (Greek literally overshooting or excess) is a type of conic section defined as the intersection between a right circular conical surface and a plane which cuts through both halves of the cone. ... For other uses, see Ellipse (disambiguation). ... In mathematics, a complex number is a number of the form where a and b are real numbers, and i is the imaginary unit, with the property i 2 = −1. ... Henry Frederick Baker (July 3, 1866 - March 17, 1956) was a British mathematician, working mainly in algebraic geometry, but also remembered for contributions to partial differential equations (related to what would become known as solitons), and Lie groups. ...

History

Projective geometry originated through the efforts of a French artist and mathematician, Gerard Desargues (1591-1666), as an alternative way of constructing perspective drawings. By generalizing the use of vanishing points to include the case when these are infinitely far away, he made Euclidean geometry, where parallel lines are truly parallel, into a special case of an all-encompassing geometric system. The work of Desargues was totally ignored until Michel Chasles chanced upon a handwritten copy in 1845. Meanwhile, Jean-Victor Poncelet had published the foundational treatise on projective geometry in 1822. The non-Euclidean geometries discovered shortly thereafter were eventually demonstrated to have models, such as the Klein model of hyperbolic space, relating to projective geometry. Gérard Desargues (February 21 or March 2, 1591-October 1661) was a French mathematician and engineer, who is considered one of the founders of projective geometry. ... Euclid Euclidean geometry is a mathematical system attributed to the Greek mathematician Euclid of Alexandria. ... Michel Chasles (15 November 1793 – 18 December 1880) was a French mathematician. ... Jean-Victor Poncelet (July 1, 1788 – December 22, 1867) was a mathematician and engineer who did much to revive projective geometry. ... Behavior of lines with a common perpendicular in each of the three types of geometry The term non-Euclidean geometry describes hyperbolic, elliptic and absolute geometry, which are contrasted with Euclidean geometry. ... In geometry, the Klein model, also called the projective model, the Beltrami-Klein model, the Klein-Beltrami model and the Cayley-Klein model, is a model of n-dimensional hyperbolic geometry in which the points of the geometry are in an n-dimensional disk, or ball, and the lines of... In mathematics, hyperbolic n-space, denoted Hn, is the maximally symmetric, simply connected, n-dimensional Riemannian manifold with constant sectional curvature −1. ...

This early 19th century projective geometry was a stepping stone from analytic geometry to algebraic geometry. When treated in terms of homogeneous coordinates, projective geometry looks like an extension or technical improvement of the use of coordinates to reduce geometric problems to algebra, an extension reducing the number of special cases. The detailed study of quadrics and the 'line geometry' of Julius Plücker still form a rich set of examples for geometers working with more general concepts. Analytic geometry, also called coordinate geometry and earlier referred to as Cartesian geometry or analytical geometry, is the study of geometry using the principles of algebra. ... Algebraic geometry is a branch of mathematics which, as the name suggests, combines abstract algebra, especially commutative algebra, with geometry. ... In mathematics, homogeneous coordinates, introduced by August Ferdinand Möbius, allow affine transformations to be easily represented by a matrix. ... Algebra is a branch of mathematics concerning the study of structure, relation and quantity. ... Ellipsoid Elliptic Paraboloid Hyperbolic Paraboloid Hyperboloid of One Sheet Hyperboloid of Two Sheets Cone Elliptic Cylinder Hyperbolic Cylinder Parabolic Cylinder In mathematics a quadric, or quadric surface, is any D-dimensional (hyper-)surface represented by a second-order equation in spatial variables (coordinates). ... In mathematics Plücker co-ordinates are a way to assign to each line in projective 3-space a point in projective 5-space. ... Julius Plücker. ...

The work of Poncelet, Steiner and others was not intended to extend analytic geometry. Techniques were supposed to be synthetic: in effect projective space as now understood was to be introduced axiomatically. As a result, reformulating early work in projective geometry so that it satisfies current standards of rigor can be somewhat difficult. Even in the case of the projective plane alone, the axiomatic approach can result in models not describable via linear algebra. Jean-Victor Poncelet (July 1, 1788 – December 22, 1867) was a mathematician and engineer who did much to revive projective geometry. ... Jakob Steiner (18 March 1796 – April 1, 1863) was a Swiss mathematician. ... Analytic geometry, also called coordinate geometry and earlier referred to as Cartesian geometry or analytical geometry, is the study of geometry using the principles of algebra. ... Synthetic geometry is a descriptive term that identifies a methodology of geometry which makes use of theorems and synthetic observations to create theorems or solve problems, as opposed to analytic geometry which uses algebra, numbers, computations to draw theorems or solve problems. ... This article does not cite its references or sources. ... Projective plane - Wikipedia, the free encyclopedia /**/ @import /skins-1. ... In mathematics, model theory is the study of the representation of mathematical concepts in terms of set theory, or the study of the structures that underlie mathematical systems. ... Linear algebra is the branch of mathematics concerned with the study of vectors, vector spaces (also called linear spaces), linear maps (also called linear transformations), and systems of linear equations. ...

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. Towards the end of the century the Italian school of algebraic geometry (Enriques, Segre, Severi) broke out of the traditional subject matter into an area demanding deeper techniques. In algebraic geometry, an algebraic curve is an algebraic variety of dimension equal to 1. ... Alfred Clebsch (1832-1872) was a German mathematician who made important contributions to algebraic geometry and invariant theory. ... Bernhard Riemann. ... Max Noether (September 24, 1844 - December 13, 1921) was a German mathematician. ... In mathematics, invariant theory refers to the study of invariant algebraic forms (equivalently, symmetric tensors) for the action of linear transformations. ... In relation with the history of mathematics, the Italian school of algebraic geometry refers to the work over half a century or more (flourishing roughly 1885-1935) done internationally in birational geometry, particularly on algebraic surfaces. ... Federigo Enriques (5 January 1871 –14 June 1946) was an Italian mathematician, now known principally as the first to give a classification of algebraic surfaces in birational geometry, and other contributions in algebraic geometry. ... Franceso Severi (13 April 1879, Arezzo, Italy - 8 December 1961, Rome) was an Italian mathematician. ...

In the latter part of the 19th century, the detailed study of projective geometry became less important, although the literature is voluminous. Some important work was done in enumerative geometry in particular, by Schubert, that is now seen as anticipating the theory of Chern classes, taken as representing the algebraic topology of Grassmannians. In mathematics, enumerative geometry is the branch of algebraic geometry concerned with counting numbers of solutions to geometric questions, mainly by means of intersection theory. ... This article needs to be cleaned up to conform to a higher standard of quality. ... Algebraic topology is a branch of mathematics in which tools from abstract algebra are used to study topological spaces. ... In mathematics, a Grassmannian is the space of all k-dimensional subspaces of an n-dimensional vector space V, often denoted Gk(V) or simply Gk,n. ...

Hermann von Baravalle has explored the pedagogical potential of projective geometry for school mathematics.

Forms of the living world

In the spirit of projective geometry's origins in synthetic geometry, some mathematicians have investigated projective geometry as a useful way of describing natural phenomena. The first research in this direction was stimulated by a suggestion by the philosopher Rudolf Steiner (not to be confused with the mathematician Jakob Steiner, mentioned above).^{[citation needed]} Synthetic geometry is a descriptive term that identifies a methodology of geometry which makes use of theorems and synthetic observations to create theorems or solve problems, as opposed to analytic geometry which uses algebra, numbers, computations to draw theorems or solve problems. ... Rudolf Steiner. ... Jakob Steiner (18 March 1796 – April 1, 1863) was a Swiss mathematician. ...

In the first half of the twentieth century, both George Adams, and Louis Locher-Ernst independently explored the tension between central forces and peripheral influences. Lawrence Edwards (*1912-d.2004) discovered significant applications of Klein path curves to organic development. In the spirit of D'Arcy Thompson's On Growth and Form, but with more mathematical rigor, Edwards demonstrated that such forms as the buds of leaves and flowers, pine cones, eggs, and the human heart can be simply described by certain path curves. Varying a single parameter, lambda, metamorphoses the interaction of what are known in projective geometry as growth measures into surprisingly accurate representations of many organic forms not otherwise easily describable mathematically; negative values of the same parameter produce inversions representing vortices of both water and of air. DArcy Wentworth Thompson (May 2, 1860- June 21, 1948) was a biologist and mathematician and the author of the 1917 book, On Growth and Form, an influential work of striking originality. ... Vortex created by the passage of an aircraft wing, revealed by coloured smoke A vortex (pl. ...

See also

• Projective line
• Projective plane
• Projective space
• Incidence
• Cross-ratio
• Möbius transformation
• Projective transformation
• Homogeneous coordinates
• Duality (projective geometry)
• Fundamental theorem of projective geometry
• Projective configuration
• Complete quadrangle
• Desargues' theorem
• Pappus's hexagon theorem
• Pascal's theorem
• Inversive ring geometry
• Joseph Wedderburn
• Grassmann-Cayley algebra

In mathematics, a projective line is a one-dimensional projective space. ... Projective plane - Wikipedia, the free encyclopedia /**/ @import /skins-1. ... This article does not cite its references or sources. ... In geometry, the relations of incidence are those such as lies on between points and lines (as in point P lies on line L), and intersects (as in line L1 intersects line L2, in three-dimensional space). ... In mathematics, the cross-ratio cr( w, x, y, z ) of an ordered quadruple of complex numbers (which may be real numbers) is Cross-ratios are preserved by linear fractional transformations, i. ... In mathematics, a Möbius transformation is a bijective conformal mapping of the extended complex plane (i. ... A projective transformation is a transformation used in projective geometry: it is the composition of a pair of perspective projections. ... In mathematics, homogeneous coordinates, introduced by August Ferdinand Möbius, allow affine transformations to be easily represented by a matrix. ... Duality in the projective plane refers to the interchangeability between points and lines which preserves incidence properties. ... In mathematics, the fundamental theorem of projective geometry states that if Pn is a projective space and F and F′ are frames of Pn, then there exists a unique projective transformation sending F to F′. In case n = 1 this comes down to saying that given two ordered... Configurations (4362) (a complete quadrangle, at left) and (6243) (a complete quadrilateral, at right). ... A complete quadrangle (at left) and a complete quadrilateral (at right). ... In projective geometry, Desargues theorem, named in honor of Girard Desargues, states: In a projective space, two triangles are in perspective axially if and only if they are in perspective centrally. ... Hexagon XbCYcB whose sides are formed by the lines Ab-bC-Ca-aB-Bc-cA. If lines Xb,BC,&cY are concurrent and if lines BX,cb,&YC are concurrent, then lines Bc,XY,&bC must also be concurrent, according to Pappuss theorem. ... In projective geometry, Pascals theorem (aka Hexagrammum Mysticum Theorem) states that if an arbitrary hexagon is inscribed in any conic section, and opposite pairs of sides are extended until they meet, the three intersection points will lie on a straight line, the Pascal line of that configuration. ... In mathematics, inversive ring geometry is the extension, to the context of associative rings, of the concepts of Projective line, homogeneous coordinates, projective transformations, and Cross-ratio, concepts usually built upon rings that happen to be fields. ... Joseph Henry Maclagen Wedderburn (2 February 1882- 9 October 1948) was a Scottish mathematician, who from 1909 had positions at Princeton University. ... Grassmann-Cayley algebra is a form of modelling algebra for projective geometry, based on work by German mathematician Hermann Grassmann on exterior algebra, and, subsequently, by British mathematician Arthur Cayleys work on matrices and linear algebra. ...

References

• Coxeter, H. S. M., 1995. The Real Projective Plane, 3rd ed. Springer Verlag.
• --------, 2003. Projective Geometry, 2nd ed., Springer Verlag.
• Hartshorne, Robin, 2000. Geometry: Euclid and Beyond. Springer.
• Edward, Lawrence, Projective Geometry.
• --------, The Vortex of Life.
• Howard Eves, 1997. Foundations and Fundamental Concepts of Mathematics, 3rd ed. Dover.
• Locher-Ernst, Louis, Space and Counterspace.
• Oswald Veblen and J. W. A. Young, 1938-46. Projective Geometry, 2 vols. New York: Blaisdell.
• Richard Hartley and Andrew Zisserman , 2003. Multiple view geometry in computer vision, 2nd ed. Cambridge University Press. ISBN 0-521-54051-8

Harold Scott MacDonald Donald Coxeter, CC , Ph. ... Howard Whitley Eves (10 January 1911 New Jersey - 6 June 2004) was an American mathematician, known for his work in geometry and the history of mathematics. ... Oswald Veblen (24 June 1880 - 10 August 1960) was an American mathematician. ...

External links

• Notes based on Coxeter's The Real Projective Plane.
• Projective Geometry - one of the best non-algebraic introductions on the web by Nick Thomas.