# Tagged Questions

124 views
+100

### Which statements are equivalent to the parallel postulate?

I would like to have a long-ish list of statements that are equivalent to the parallel postulate. If a line segment intersects two straight lines forming two interior angles on the same side that ...
62 views

### Congruent figures have equal areas. Why?

When we are first introduced to the idea of congruent polygons (generally triangles) in school, we often define congruent figures as "figures which have the same shape and size". However, today, ...
31 views

### How to establish the formula for area of a triangle using the axioms of area?

We have the following definition: AXIOMATIC DEFINITION OF AREA We assume there exists a class of $M$ of measurable sets in the plane (i.e. subsets of the plane whose area can be defined) and a set ...
28 views

### Why is the length of one of the segments negative in the Menelaus' theorem? Aren't all distances by definition positive?

Why is the length of one of the segments negative in the Menelaus' theorem? Aren't all distances by definition positive? I think we all know the Menelaus' theorem, which claims that the following ...
738 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 ...
108 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?
382 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?
115 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 ...
291 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 ...
298 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: ...
127 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'$, ...
117 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 ...
234 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 ...
146 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 ...
292 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 ...
867 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 ...
3k 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 ...