6
votes
4answers
689 views

which axiom(s) are behind the Pythagorean Theorem

There are many elementary proofs for the Pythagorean Theorem, but no matter they use areas, similarities, even algebraic proofs, it is not straightforward to tell why it is true tracing back to the ...
3
votes
1answer
78 views

A model of geometry with the negation of Pasch’s axiom?

How would a geometry with all the usual axioms of Euclidean geometry, except that instead of Pasch’s axiom, we take it negation, look like?
8
votes
3answers
259 views

Proof that every circle has the ratio of $\pi$

We know that the ratio between the circumference's length and diameter is equal to $\pi$, but can this be proved for every circle? Or is this an axiom?
0
votes
1answer
65 views

Problems with axioms and their potential uses in real life.

Okay, so I am looking for more examples that revolve around this topic. My topic is: "Is the assumption of basic truth needed in order to create a system of mathematics that is reliable?" Here, when ...
3
votes
2answers
133 views

Proof for SSS Congruence?

I'm hoping that someone can provide a method for deducing the commonly known SSS congruence postulate? The postulate states If the three sides of one triangle are pair-wise congruent to the three ...
3
votes
1answer
214 views

Is Euclid's Fourth Postulate Redundant?

Euclid's Elements start with five Postulates, including the fifth one, the famous Parallel Postulate. Less well, known however is the Postulate that forms the basis for motivation behind the fifth: ...
2
votes
1answer
114 views

Pythagorean theorem proof by dissection

I have this proof of the Pythagorean theorem, but in the last two lines of the fourth paragraph I can't seem to find geometrically how the congruency between $1$, $2$, $3$, $4$ and $1'$, $2'$, $3'$, ...
5
votes
1answer
102 views

Where I can find the Pythagorean theorem deduced from Hilbert's axioms?

Hilbert took years to make a rigorous revision and formalization of Euclidean geometry in his Foundations of Geometry. As he intended to organize only the most basic aspects of the theory, he didn't ...
5
votes
3answers
221 views

Pythagorean theorem and its cause

I'm in high school, and one of my problems with geometry is the Pythagorean theorem. I'm very curious, and everything I learn, I ask "but why?". I've reached a point where I understand what the ...
1
vote
0answers
143 views

Should every line be infinite in both two directions?

Yesterday one my classmate asked me for the the definition of line. I have found it in coordinate geometry, in vector space, and in metric space. The definition in metric space is quite general ...
4
votes
3answers
275 views

Why is the postulate $1$ not equal to $0$ not superfluous? [duplicate]

Possible Duplicate: Explanation for why $1\neq 0$ is explicitly mentioned in Chapter 1 of Spivak's Calculus for properties of numbers. I am self-studying the wonderful book, Elementary ...
15
votes
5answers
702 views

What is the modern axiomatization of (Euclidean) plane geometry?

I have heard anecdotally that Euclid's Elements was an unsatisfactory development of geometry, because it was not rigorous, and that this spurred other people (including Hilbert) to create their own ...
11
votes
3answers
2k views

Euclid / Hilbert: “Two lines parallel to a third line are parallel to each other.”

Background Many geometry books used to teach high-schoolers these days try to transfer Hilbert's reworking of Euclid's axioms into a (somewhat) palatable form for students. They don't usually seem to ...
2
votes
3answers
147 views

How can the geometry (and the reals) be motivated from the bottom up?

I'm really not sure that I know what I'm talking about, or if I should just go and learn more math before questioning such things, but I'd like to have answers to the following questions that don't ...
10
votes
5answers
531 views

What are the postulates that can be used to derive geometry?

What are the various sets of postulates that can used to derive Euclidean geometry? It might be nice to have several different approaches together for comparison purposes and for ready reference. It ...