Register to reply 
Geometry  question about the proceess of proving a theorem 
Share this thread: 
#1
Dec2413, 03:53 PM

P: 180

Hi,
Please refer to the Pythagorean proof of the theorem that the angels in a triangle add to 180 degrees. The following link has the proof. http://www.cuttheknot.org/triangle...Triangle.shtml You will note that this proof is based on the assumptions that angles on a straight line add to 180 degrees. But we have no proof of that fact. I mean we can measure it with a protractor, but is there a way to prove that? So I am wondering about the whole process of proving a theorem. We use some assumptions to prove a statement. The assumptions themselves are theorems that have to proved somewhere else. Is that the right way to think about it? Thanks. 


#2
Dec2413, 04:15 PM

Sci Advisor
P: 6,071

For your particular question. A complete circle is 360 deg. The angles on one side of a straight line must add up to a semicircle (sincle both sides of the line must have the same angle sum).



#3
Dec2413, 04:31 PM

Emeritus
Sci Advisor
HW Helper
Thanks
PF Gold
P: 6,533

In any formal system, there are one or more assumptions which are assumed to be true but which cannot otherwise be proven. In geometry and arithmetic, these unprovable assumptions are called postulates or axioms.
Euclidean geometry has 5 axioms and 5 other 'common notions' which are similar to axioms. http://en.wikipedia.org/wiki/Euclidean_geometry The most controversial axiom in Euclidean geometry is the Fifth, or Parallel, postulate. Other, noneuclidean geometries have been constructed by discarding this postulate. In the 1930's, the logician Kurt Godel proved that in logical systems like arithmetic and geometry, there are certain axioms which are true but which cannot be proven true using only the elements contained in that system. http://en.wikipedia.org/wiki/Kurt_G%C3%B6del In this attachment, there is a proof on pp. 2021 that the angles in a triangle add to 180 degrees: http://online.math.uh.edu/MiddleScho...tems_Final.pdf which, I believe, is similar to the one you linked to. http://en.wikipedia.org/wiki/G%C3%B6...eness_theorems 


#4
Dec2413, 08:58 PM

P: 180

Geometry  question about the proceess of proving a theorem



#5
Dec2413, 09:26 PM

P: 392

1.XIII says "If a straight line stands on a straight line, then it makes either two right angles or angles whose sum equals two right angles." http://aleph0.clarku.edu/~djoyce/jav...I/propI13.html Draw a semi circle. This figure has two right angles in it (because of the straight line, the diameter). Complete the circle, and the angles double, so four right angles. Convention is one right angle is 90 degrees, so a circle has 360 degrees. That's not a rigorous proof, but you get the idea. 


#6
Dec2513, 12:12 AM

Emeritus
Sci Advisor
PF Gold
P: 4,500




#7
Dec2513, 02:31 AM

Mentor
P: 21,294




#8
Dec2513, 09:29 AM

Engineering
Sci Advisor
HW Helper
Thanks
P: 7,169

More interesting is the fact that the theorem is really about the properties of a plane. If you imagined that a "plane" was the curved surface of a sphere, the theorem isn't true. You can easily draw an "equilateral triangle" on a sphere where each of the 3 angles is 90 degrees. In fact the sum of the angles of a "spherical triangle" is related to the area of the triangle. Euclid's version of the theorem is only true if Euclid's postulate (assumption) about parallel lines is true, and that is the key assumption that distinguishes Euclidiean from nonEuclidean geometry. The fact that for people living on earth, triangles drawn on pieces of paper seem to be (approximately) consistent with the assumptions of Euclidean geometry, is a statement about physics, not about geometry. 


Register to reply 
Related Discussions  
Proving a theorem  General Math  16  
Help, proving set theorem  Calculus & Beyond Homework  1  
Proving an Identity from Differential Geometry  Differential Geometry  4  
Proving with mean value theorem  Introductory Physics Homework  2  
Geometry: What Theorem Is This?  Introductory Physics Homework  6 