Question

In: Advanced Math

Prove the following theorem. Using the ruler function axiom. List all axioms and definitions used. Let...

Prove the following theorem. Using the ruler function axiom. List all axioms and definitions used.
Let P and Q be two points, then the line segment AB=BA (AB and BA have lines over them to show line segments)

Solutions

Expert Solution

the definitions used are following:

Definition 1. A collection of three or more points is collinear if there is some line containing all those points.

Definition 2. Two lines are parallel if they never meet.

Definition 3. When two lines meet in such a way that the adjacent angles are equal, the equal angles are called right angles, and the lines are called perpendicular to each other.

Definition 4. A circle is the set of all points equally distant from a given point. That point is called the center of the circle.

What about the term “line segment”? We all know what that is—it’s the portion of a line between two points. But what does “between” mean?

With a little thought, we can define “between” using two concepts we already have: the undefined term distance and the definition of collinear . Once we’ve done that, we can define what a line segment is. It’s important to get these two definitions in the proper order.

Definition 5. Given three distinct collinear points A, B, C, we say that B is between A and C if AC > AB and AC > BC.

Definition 6. The line segment AB between two points A and B consists of A and B themselves, together with the set of all points between them.

list of aioms are:

Axiom 1. If A, B are distinct points, then there is exactly one line containing both A and B, which we denote ←→AB (or ←→BA).

This is Euclid’s first axiom. Notice that it includes a definition of notation. The next group of axioms concern distance.

Axiom 2. AB = BA.

Axiom 3. AB = 0 iff A = B.

The word “iff” is mathematician’s jargon for “if and only if”. That is, the axiom says that two different things are true. First, if A = B, then AB = 0. Second, if AB = 0, then A = B. Logically, these are two separate statements.

Axiom 4. If point C is between points A and B, then AC + BC = AB.

Axiom 5. (The triangle inequality) If C is not between A and B, then AC + BC > AB.

Now, some axioms about angle measure.

Axiom 6. (a.) m(∠BAC) = 0◦ iff B, A, C are collinear and A is not between B and C. (b.) m(∠BAC) = 180◦ iff B, A, C are collinear and A is between B and C

Axiom 7. Whenever two lines meet to make four angles, the measures of those four angles add up to 360◦ .

Axiom 8. Suppose that A, B, C are collinear points, with B between A and C, and that X is not collinear with A, B and C. Then m(∠AXB) + m(∠BXC) = m(∠AXC). Moreover, m(∠ABX) + m(∠XBC) = m(∠ABC). (We know that ∠ABC = 180◦ by Axiom 6.)

Axiom 9. Equals can be substituted for equals. Two axioms about parallel lines:

Axiom 10. Given a point P and a line `, there is exactly one line through P parallel to `L.

Axiom 11. If ` and ` 0 are parallel lines and m is a line that meets them both, then alternate interior angles have equal measure, as do corresponding angles.

Now for two axioms that connect number and geometry:

Axiom 12. For any positive whole number n, and distinct points A, B, there is some C between A, B such that n · AC = AB.

Axiom 13. For any positive whole number n and angle ∠ABC, there is a point D between A and C such that n · m(∠ABD) = m(∠ABC)

Assume A and B are distinct points.

Note that AB = {A, B} ∪ {P | A ? P ? B} and BA = {B, A} ∪ {P | B ? P ? A}. Let x ∈ AB.

So x ∈ {A, B} ∪ {P | A ? P ? B}

⇒ x ∈ {A, B} or x ∈ {P | A ? P ? B}

In the case where x = A or x = B, then x ∈ BA. In the case where x 6= A and x 6= B, x is in between A and B. Therefore, Ax + xB = AB by the definition of between.

Since AB = Ax + xB, then we have that

⇒ AB = xB + Ax 4

⇒ AB = Bx + xA by Theorem 3.2.7

Since AB = Bx + xA, then x is between B and A and hence, AB ⊆ BA.

Similarly, if we take an x ∈ BA, we conclude that BA = Ax + xB and x is between A and B. Thus, BA ⊆ AB. Therefore, AB = BA.


Related Solutions

The goal of this exercise is to prove the following theorem in several steps. Theorem: Let...
The goal of this exercise is to prove the following theorem in several steps. Theorem: Let ? and ? be natural numbers. Then, there exist unique integers ? and ? such that ? = ?? + ? and 0 ≤ ? < ?. Recall: that ? is called the quotient and ? the remainder of the division of ? by ?. (a) Let ?, ? ∈ Z with 0 ≤ ? < ?. Prove that ? divides ? if and...
Using field axioms and order axioms prove the following theorems (explain every step by referencing basic...
Using field axioms and order axioms prove the following theorems (explain every step by referencing basic axioms) (i) The sets R (real numbers), P (positive numbers) and [1, infinity) are all inductive (ii) N (set of natural numbers) is inductive. In particular, 1 is a natural number (iii) If n is a natural number, then n >= 1 (iv) (The induction principle). If M is a subset of N (set of natural numbers) then M = N The following definitions...
explain 5 the axioms of urban economics. Choose one axiom, explain in detail using a case...
explain 5 the axioms of urban economics. Choose one axiom, explain in detail using a case or city in Malaysia/ other country related to the selected axiom. ( 20 marks)
Assume B is a Boolean Algebra. Prove the following statement using only the axioms for a...
Assume B is a Boolean Algebra. Prove the following statement using only the axioms for a Boolean Algebra properties of a Boolean Algebra. Uniqueness of 0: There is only one element of B that is an identity for + please include all the steps.
Prove using only the axioms of probability that if A and B are events, then P(A...
Prove using only the axioms of probability that if A and B are events, then P(A ∪ B) ≤ P(A) + P(B)
Prove the theorem in the lecture:Euclidean Domains and UFD's Let F be a field, and let...
Prove the theorem in the lecture:Euclidean Domains and UFD's Let F be a field, and let p(x) in F[x]. Prove that (p(x)) is a maximal ideal in F[x] if and only if p(x) is irreducible over F.
(a). Prove the law of quadratic reciprocity for odd primes. Include all definitions and results used...
(a). Prove the law of quadratic reciprocity for odd primes. Include all definitions and results used throughout the proof. (b). Explain why it is enough to prove the reciprocity law for 2 and the quadratic reciprocity law for odd primes to answer the general question: Is m a square mod n for any positive integers m, n? (c). Describe the role of permutations in the proof of quadratic reciprocity.
Bezout’s Theorem and the Fundamental Theorem of Arithmetic 1. Let a, b, c ∈ Z. Prove...
Bezout’s Theorem and the Fundamental Theorem of Arithmetic 1. Let a, b, c ∈ Z. Prove that c = ma + nb for some m, n ∈ Z if and only if gcd(a, b)|c. 2. Prove that if c|ab and gcd(a, c) = 1, then c|b. 3. Prove that for all a, b ∈ Z not both zero, gcd(a, b) = 1 if and only if a and b have no prime factors in common.
Using field axioms, prove the following theorems: (i) If x and y are non-zero real numbers,...
Using field axioms, prove the following theorems: (i) If x and y are non-zero real numbers, then xy does not equal 0 (ii) Let x and y be real numbers. Prove the following statements 1. (-1)x = -x 2. (-x)y = -(xy)=x(-y) 3. (-x)(-y) = xy (iii) Let a and b be real numbers, and x and y be non-zero real numbers. Then a/x + b/y = (ay +bx)/(xy)
prove the intermediate value theoerom using a) Nested interval property b) Axiom of completeness
prove the intermediate value theoerom using a) Nested interval property b) Axiom of completeness
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT