Lorenz, Every single line through a point within an angle will meet at least one side of the angle.

Extrakt04 2022-06-25 Answered
Lorenz, Every single line through a point within an angle will meet at least one side of the angle.
I know I have to Show that the parallel postulate 5 implies lorenz, and then lorenz implies parallel postulate 5.
Assume postulate 5 . So we are given AB and a point C not on AB. Choose B on AB draw CD to construct angle ECD= angle BDC.
I just don't get what Lorenz postulate means. Thats where I am getting stuck.
You can still ask an expert for help

Expert Community at Your Service

  • Live experts 24/7
  • Questions are typically answered in as fast as 30 minutes
  • Personalized clear answers
Learn more

Solve your problem for the price of one coffee

  • Available 24/7
  • Math expert for every subject
  • Pay only if we can solve it
Ask Question

Answers (1)

Aaron Everett
Answered 2022-06-26 Author has 18 answers
HINT Suppose Lorenz Postulate is false in the Presence of the 5th postulate and reach a contradiction.
Suppose Lorenz Postulate is true and the 5th Postulate is false and reach a contradiction.
Did you like this example?
Subscribe for all access

Expert Community at Your Service

  • Live experts 24/7
  • Questions are typically answered in as fast as 30 minutes
  • Personalized clear answers
Learn more

You might be interested in

asked 2022-07-18
Theorem: If a is a real number, then a 0 = 0.

1. a 0 + 0 = a 0 (additive identity postulate)
2. a 0 = a ( 0 + 0 ) (substitution principle)
3. a ( 0 + 0 ) = a 0 + a 0 (distributive postulate)
4. a 0 + 0 = a 0 + a 0 I'm lost here, wanna say its the transitive
5. 0 + a 0 = a 0 + a 0 (commutative postulate of addition)
6. 0 = a 0 (cancellation property of addition)
7. a 0 = 0 (symmetric postulate)

So I'm not sure what to put down for the 4th step. The theorem and proof were given and I had to list the postulates for each step.
asked 2022-07-01
In Introduction to Metamathematics, Kleene introduces a formal system where the first three postulates in the group for propositional calculus are:
1 a . A ( B A ) 1 b . ( A B ) ( ( A ( B C ) ) ( A C ) ) 2. A , A B B
As far as I understand, 1 a and 2 are typical for Hilbert-style deductive systems, but 1 b is not. A more traditional choice, serving pretty much the same purpose (e.g. proving A A to start with) would have been:
( A ( B C ) ) ( ( A B ) ( A C ) )
What is the rationale for the unique choice made for 1 b in Introduction to Metamathematics?
asked 2022-07-06
I read that the following can be proved using Bertrand's postulate (there's always a prime between n and 2 n): N N , there exists an even integer k > 0 for which there are at least N prime pairs p, p + k.
But I have no idea how to prove it. Any help would be much appreciated.
Many thanks.
asked 2022-07-15
Is there a form of non-Euclidean geometry in which perpendicular lines never cross, or cross twice or something?
asked 2022-08-19
My graph theory book postulates the if a simple graph with n vertices has at least C(n - 1, 2) + 2 edges then the graph must be Hamiltonian.
This is probably true but I am confused by the notation of what C(n - 1, 2) means?
C usually represents a cycle but clearly not in this case. And whatever function they are referencing takes 2 parameters which is quite strange.
asked 2022-05-09
I came up with this question- how would you show 4 not equal to 6 (or m not equal to m+n ( n not 0)), using only Peano's Postulates?

I can see a number of things go wrong- for instance the Principle of Mathematical Induction seems to fail. Also possibly 0 seems to be in the image of the successor function in that case.
asked 2022-07-02
Statement For every n > 1 there is always at least one prime p such that n < p < 2 n.
I am curious to know that if I replace that 2 n by 2 n ϵ, ( ϵ > 0) then what is the inf ( ϵ ) so that the inequality still holds, meaning there is always a prime between n and 2 n ϵ

New questions