In How do we prove that something is unprovable? it was answered:

All proofs of the Pythagorean Theorem rely essentially on the Parallel Postulate; so if you try to prove what you can in geometry with the Parallel Postulate omitted (this is called 'absolute geometry'), then the Pythagorean Theorem becomes an unprovable theorem within that context. (this is about the only situation where I think the phrase 'uprovable theorem' is the natural choice)

Is it also possible to take the Pythagorean Theorem as an axiom of geometry and prove the Parallel Postulate as a theorem?

  • 2
    $\begingroup$ Yes it is! Can you figure out how? $\endgroup$ – Santana Afton Mar 15 '17 at 10:18
  • $\begingroup$ @JazzyMatrix No, I missed to put the extra question. Can you? $\endgroup$ – draks ... Mar 15 '17 at 10:19
  • 2
    $\begingroup$ here is a good reference. $\endgroup$ – lulu Mar 15 '17 at 11:07
  • $\begingroup$ @lulu great stuff thanks. As a corollary it would work like (II implies VIII implies IX implies I)... $\endgroup$ – draks ... Mar 15 '17 at 12:07
  • 1
    $\begingroup$ In the modern version of the axioms for a Euclidean plane there are many equivalences to the parallel postulate, including "There exists at least one instance of the theorem of Pythagoras", and "There exists a square" and "There exists a triangle whose interior angles sum to $\pi.$" $\endgroup$ – DanielWainfleet Mar 15 '17 at 13:57

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.