Where is the Lambert prove?

  • Thread starter Thoth
  • Start date
  • #1
Thoth

Main Question or Discussion Point

You guys know of any good site that explains fully about how Lambert proved that Saccerei’s acute angles does not result in a contradiction to the fifth postulate of Euclidean geometry? Thank you for any help
 

Answers and Replies

  • #2
HallsofIvy
Science Advisor
Homework Helper
41,833
955
I did a "google" on "Lambert Saccheri" and at the top was:
http://www.math.uncc.edu/~droyster/math3181/notes/hyprgeom/node41.html [Broken]
That looks like it will give what you want.
 
Last edited by a moderator:
  • #3
HallsofIvy
Science Advisor
Homework Helper
41,833
955
I don't know that it is correct to say that Lambert "gave a proof" that Saccheri was wrong. He just noted that ``the hypothesis of the acute angle is absolutely false; because it is repugnant to the nature of straight lines.'', Saccheri's conclusion, does NOT prove anything. "Straight lines" are geometric figures that satisfy certain properties. In order to show that something is "repugnant to the nature of straight lines", you would have to show which of those properties are violated.
 
  • #4
Thoth
Thank you HallsofIvy for your help, but I have seen that site before. From here the Internet is heavily censured and I was hoping that you might have better access to a larger library on the net, but perhaps I was wrong.

As you probably are aware of, Saccheri wanted to proof Euclidean fifth postulate by showing that the only accurate answer to three cases of Saccheri’s quadrilateral is when the summit angles are equal to 180 degree. So he was trying to find a contradiction in acute case to settle his objective.

According to this site:
http://www-gap.dcs.st-and.ac.uk/~history/HistTopics/Non-Euclidean_geometry.html

Lambert investigated the hypothesis of the acute angle without obtaining a contradiction. I just want to know how Lambert was able to do that, but unfortunately I have remained unsuccessful in my search.
 
  • #5
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
19
Lambert proved no such thing. He merely explored the fields of neutral and hyperbolic geometry. He was unable to derive a contradiction in hyperbolic geometry, but he certainly did not prove hyperbolic geometry was contradiction free.

(note: I don't mean to imply his work was of little importance)

His basic program (that he was unable to complete) is:
Assume Euclid V is false.
Derive contradiction.
Conclude Euclid V is true.

(he was unable to do the second step)

It wasn't until... Klein I think... that it was proven that hyperbolic geometry is consistent (relative to Euclidean geometry).

But in no way is it true that "The hypothesis that Saccheri quadrilaterals have an acute angle is consistent with the parallel postulate."


Glossary:
neutral geometry - Euclidean geometry, minus the parallel postulate.
hyperbolic geometry - neutral geometry, plus the axiom that the parallel postulate is false.
 
  • #6
HallsofIvy
Science Advisor
Homework Helper
41,833
955
Lambert proved no such thing. He merely explored the fields of neutral and hyperbolic geometry. He was unable to derive a contradiction in hyperbolic geometry, but he certainly did not prove hyperbolic geometry was contradiction free.
Hurkyl, no one said he did. The original poster asked about his "proof" that Saccheri's work was invalid.
 

Related Threads on Where is the Lambert prove?

  • Last Post
Replies
6
Views
5K
  • Last Post
Replies
14
Views
9K
  • Last Post
Replies
2
Views
2K
Replies
2
Views
2K
  • Last Post
Replies
2
Views
2K
Replies
6
Views
3K
Replies
7
Views
3K
Replies
1
Views
2K
Replies
11
Views
12K
  • Last Post
Replies
4
Views
559
Top