PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] proof of Desargues' theorem (Proof)

The claim is that if triangles $ABC$ and $XYZ$ are perspective from a point $P$ then they are perspective from a line (meaning that the three points $$AB\cdot XY\qquad BC\cdot YZ\qquad CA\cdot ZX$$ are collinear) and conversely.

Since no three of $A,B,C,P$ are collinear, we can lay down homogeneous coordinates such that $$A=(1,0,0)\qquad B=(0,1,0)\qquad C=(0,0,1)\qquad P=(1,1,1)$$ By hypothesis, there are scalars $p,q,r$ such that $$X=(1,p,p)\qquad Y=(q,1,q)\qquad Z=(r,r,1)$$ The equation for a line through $(x_1,y_1,z_1)$ and $(x_2,y_2,z_2)$ is $$(y_1z_2-z_1y_2)x+(z_1x_2-x_1z_2)y+(x_1y_2-y_1x_2)z=0\;,$$ giving us equations for six lines: \begin{eqnarray*} AB&:&z=0 \\ BC&:&x=0 \\ CA&:&y=0 \\ XY&:&(pq-p)x+(pq-q)y+(1-pq)z=0 \\ YZ&:&(1-qr)x+(qr-q)y+(qr-r)z=0 \\ ZX&:&(rp-p)x+(1-rp)y+(rp-r)z=0 \end{eqnarray*}whence \begin{eqnarray*} AB\cdot XY&=&(pq-q,-pq+p,0)\\ BC\cdot YZ&=&(0,qr-r,-qr+q)\\ CA\cdot ZX&=&(-rp+r,0,rp-p). \end{eqnarray*}As claimed, these three points are collinear, since the determinant $$ \left| \begin{array}{ccc} pq-q & -pq+p & 0 \\ 0 & qr-r & -qr+q \\ -rp+r & 0 & rp-p \end{array}\right| $$ is zero. (More precisely, all three points are on the line $$p(q-1)(r-1)x+(p-1)q(r-1)y+(p-1)(q-1)rz=0\;.)$$

Since the hypotheses are self-dual, the converse is true also, by the principle of duality.




"proof of Desargues' theorem" is owned by drini. [ owner history (2) ]
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: duality, converse, self-dual, determinant, equation, scalars, hypothesis, homogeneous coordinates, conversely, collinear, line, point, triangles

This is version 2 of proof of Desargues' theorem, born on 2003-07-27, modified 2003-07-27.
Object id is 4514, canonical name is ProofofDesarguesTheorem.
Accessed 5208 times total.

Classification:
AMS MSC51A30 (Geometry :: Linear incidence geometry :: Desarguesian and Pappian geometries)

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)