Desargues Theorem Proof Using Homogeneous Coordinate

Click For Summary
SUMMARY

The discussion centers on the proof of Desargues' Theorem using homogeneous coordinates within the framework of Projective Geometry. The theorem asserts that if two triangles are perspective from a single point, they are also perspective from a single line. The proof begins with the perspective point D (1,1,1) and vertices A (1,0,0), B (0,1,0), and C (0,0,1), forming triangle ABC. The user extends lines DA, DB, and DC to arbitrary points A' (1,a,a), B' (b,1,b), and C' (c,c,1) to form triangle A'B'C'. The discussion also touches on the conditions for collinearity among these points, suggesting the use of determinants for verification.

PREREQUISITES
  • Understanding of Projective Geometry concepts
  • Familiarity with homogeneous coordinates
  • Knowledge of determinants and their application in geometry
  • Basic algebraic manipulation skills
NEXT STEPS
  • Study the application of homogeneous coordinates in Projective Geometry
  • Learn how to use determinants to check for collinearity in geometric proofs
  • Explore advanced topics in Projective Geometry, such as duality and cross-ratio
  • Review standard proofs of Desargues' Theorem for deeper insights
USEFUL FOR

Mathematicians, geometry enthusiasts, and students studying Projective Geometry who seek to understand the proof of Desargues' Theorem and its applications in geometric configurations.

wawar05
Messages
4
Reaction score
0
Before I ask the question, let me remind that desargues theorem states :

if two triangles are perspective from one point then they are perspective from one line

I'd like to ask whether the order of the steps of the proof I did is correct or not. Since I saw the proof from an article but it only provided the image of the triangles. The proof relates to Projective Geometry

I did the proof of the theorem using homogeneous coordinate which starts with four coordinates D (1,1,1) as the perspective point, A (1,0,0), B (0,1,0), and C (0,0,1). Then ABC forms triangle. Then I extend line DA, DB, and DC and take respectively arbitrary point A' (1,a,a), B' (b,1,b), and C' (c,c,1). Then A'B'C' forms triangle

nb: I just show the beginning steps, since the remains is only algebraic problem and I am not confused on it.

Probably you know why in the article the second triangle has such coordinates A' (1,a,a), B' (b,1,b), and C' (c,c,1)?

additional questions: why (1,1,1), (1,0,0), and (1,a,a) can be in one line?
why (1,1,1), (0,1,0), (b,1,b), can be in one line?
and why (1,1,1), (0,0,1), and (c,c,1) can be in one line?

thank you very much.
 
Physics news on Phys.org
Your approach is close to that of the standard proof using projective geometry. You can check for collinearity by determinants.
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 7 ·
Replies
7
Views
4K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 9 ·
Replies
9
Views
4K