Duality in the projective plane refers to the interchangeability between points and lines which preserves incidence properties.

Notice that both points and lines can be represented (on a plane) by means of ordered pairs. A point is represented by the ordered pair (x,y), where x is the abscissa and y is the ordinate, which together are coordinates of the point. A line can likewise be represented by an ordered pair (m,b) where m is the slope and b is the y-intercept.

Given three points

<math> P_1 : (x_1, y_1), <math>

<math> P_2 : (x_2, y_2), <math>

<math> P_3 : (x_3, y_3); <math>

these three points are collinear iff their coordinates satisfy the equation

<math> {y_2 - y_1 \over x_2 - x_1} = {y_3 - y_2 \over x_3 - x_2} = {y_3 - y_1 \over x_3 - x_1} \qquad \qquad (1) <math>.

Likewise, given three lines

<math> L_1 : (m_1, b_1), <math>

<math> L_2 : (m_2, b_2), <math>

<math> L_3 : (m_3, b_3); <math>

one can verify that these three lines are concurrent iff their parameters satisfy the equation

<math> {b_2 - b_1 \over m_2 - m_1} = {b_3 - b_2 \over m_3 - m_2} = {b_3 - b_1 \over m_3 - m_1}. \qquad \qquad (2) <math>

Equations (1) and (2) are equivalent to each other up to an exchange of x with m and y with b. Therefore there exists is a way to exchange lines with points in such a way that concurrency is exchanged with collinearity.

It is possible to distinguish lines from points by conjugating ordered pairs. That is, let line (m,b) be represented instead by its conjugate <math> (m,-b)^\star.<math> Then it can be verified that the intersection L₁.L₂ of a pair of lines L₁ and L₂ is

<math> (m_1,b_1)^\star.(m_2,b_2)^\star = \left( {b_2 - b_1 \over m_2 - m_1}, {m_1 b_2 - m_2 b_1 \over m_2 - m_1} \right) \qquad \qquad (3) <math>

where b₁ and b₂ are negative y-intercepts. Also, the common line P₁.P₂ passing through a pair of points P₁ and P₂ is

<math> (x_1,y_1).(x_2,y_2) = \left( {y_2 - y_1 \over x_2 - x_1}, {x_1 y_2 - x_2 y_1 \over x_2 - x_1} \right)^\star. \qquad \qquad (4) <math>

Equation (4) can be seen to be the same as equation (3), after exchanging m with x and b with y, and applying the following rules of conjugation:

<math> A^{\star \star} = A, \qquad \qquad (5) <math>

<math> A = B \rightarrow A^\star = B^\star, \qquad \qquad (6) <math>

<math> (A.B)^\star = A^\star.B^\star = B^\star.A^\star. \qquad \qquad (7)<math>

Indeed, if equation (3) is represented as

<math> A^\star.B^\star = C <math>

then applying rule (6) yields

<math> (A^\star.B^\star)^\star = C^\star. <math>

Applying rule (7) then yields

<math> A^{\star \star}.B^{\star \star} = C^\star <math>

and applying rule (5) finally yields

<math> A.B = C^\star, <math>

which is equation (4).

Thus it is possible to imagine a pair of planes S₁ and S₂, and a bijective relation between loci of points in the two planes, such that points in S₂ correspond to lines in S₁, and points in S₁ correspond to lines in S₂.

One way to establish such bijection is to model the projective plane, not as an extended affine plane, but as a "unit sphere modulo antipodes", i.e. a unit sphere in which antipodal points are equivalent. Then through points P₁ and P₂ in S₁ passes a geodesic line L₃ which is actually a great circle. But to these two original points correspond a pair of great circles L₁ and L₂ in S₂, such that if S₂ and S₁ are superposed, then L₁ is the unique great circle perpendicular to the line through the pair of points P₁ *¹, and L₂ is the unique great circle perpendicular to the line through the pair of points P₂. These great circles L₁ and L₂ intersect at a pair of points P₃ in S₂. The vector through P₃ is the cross product of the vectors through P₁ and P₂. Then the unique great circle perpendicular to the line passing through the pair of points P₃ is geodesic line L₃ in S₁.

Therefore to every great circle in S₁ corresponds a unique pair of points (which are actually the same point) in S₂, such that if S₁ and S₂ are superposed, then the line passing through the pair of points is perpendicular to the great circle. The above sentence remains true if S₁ and S₂ are exchanged. This establishes the bijective nature of the duality in the projective plane.

It must be noted that in the "unit sphere modulo antipodes", one "geodesic line", i.e. great circle, must be chosen to be the line at infinity if the surface is to be mapped to an extended affine plane. This line may be chosen to be the equator by convention.

There is also a duality in projective 3-space, in which points correspond to planes, and lines correspond to lines. This is analogous to duality of polyhedra in solid geometry, where points are dual to faces, and sides are dual to sides, so that the icosahedron is dual to the dodecahedron, and the cube is dual to the octahedron.

• *¹ When we say a line through pair of points P, or simply a line through P, we refer to the three dimensional euclidian line that passes through the antipodal points represented by P. When we say that a geodesic line, or a great circle, L is perpendicular to the line passing through the pair of points P, we mean that L lies on the plane that is perpendicular to, and intersects at the midpoint of, the straight line segment in euclidian space that connects the antipodal points that is represented by P. In other words, L is the set of points equidistant in euclidian space to the antipodal points represented by P. L is unique for P.