5. Betweenness in taxicab geometry. Let A = (0,0), B = (1,0) and C = (1, 1) and let p denote the taxicab metric. %3= (a) Find all points P such that p(A, P) + p(P, B) = p(A, B). Draw a sketch in the Cartesian plane. (b) Find all points P such that p(A, P) + p(P, C) = p(A, C). Draw a sketch in the Cartesian plane.
5. Betweenness in taxicab geometry. Let A = (0,0), B = (1,0) and C = (1, 1) and let p denote the taxicab metric. %3= (a) Find all points P such that p(A, P) + p(P, B) = p(A, B). Draw a sketch in the Cartesian plane. (b) Find all points P such that p(A, P) + p(P, C) = p(A, C). Draw a sketch in the Cartesian plane.
Advanced Engineering Mathematics
10th Edition
ISBN:9780470458365
Author:Erwin Kreyszig
Publisher:Erwin Kreyszig
Chapter2: Second-order Linear Odes
Section: Chapter Questions
Problem 1RQ
Related questions
Question
3.2 #5
![(0,0)
(2,0)
FIGURE 3.7: Two circles in the rational plane
coordinate functions use real numbers will allow us to fill that gap. Specifically, we will
prove that if one circle contains a point that is inside a second circle and another point
that is outside the second circle, then the two circles must intersect. Even using the
powerful axioms in this chapter the proof is not easy, however, and we will not attempt
that particular proof until Chapter 8.
EXERCISES 3.2
1. Prove: If l and m are two lines, the number of points in l n m is either 0, 1, or oo.
2. Show that the Euclidean metric defined in Example 3.2.10 is a metric (i.e., verify that
the function d satisfies the three conditions in the definition of metric on page 39).
3. Show that the taxicab metric defined in Example 3.2.11 is a metric (i.e., verify that the
function p satisfies the three conditions in the definition of metric on page 39).
4. Show that the spherical metric defined in Example 3.2.12 is a metric (i.e., verify that the
function s satisfies the three conditions in the definition of metric on page 39).
5. Betweenness in taxicab geometry. Let A =
(0,0), В %3D (1,0) and C %3D
(1, 1) and let p
denote the taxicab metric.
(a) Find all points P such that p(A, P) + p( P, B) = p(A, B). Draw a sketch in the
Cartesian plane.
(b) Find all points P such that p(A, P) + p( P, C) = p(A, C). Draw a sketch in the
Cartesian plane.
6. Betweenness on the sphere. Let A, B, and C be points on the sphere S². Define C to be
between A and B if A, B, and C are collinear and s(A, C) + s(C, B) = s(A, B), where
s is the metric defined in Example 3.2.12. Also define segment in the usual way.
(a) Find all points that are between A and C in case A and C are nonantipodal points.
Sketch the segment from A to C.
(b) Find all points that are between A and C in case A and C are antipodal points.
Sketch the segment from A to C.
7. Find all points (x, y) in R² such that p((0,0), (x, y))
Draw a sketch in the Cartesian plane. (This shape might be called a "circle" in the
taxicab metric.)
8. The square metric. Define the distance between two points (x1, y1) and (x2, y2) in R²
by D((x1, y1), (x2, y2))
(a) Verify that D is a metric.
(b) Find all points (x, y) in R² such that D((0,0), (x, y))
Cartesian plane. (This should explain the name square metric.)
%3D
1, where p is the taxicab metric.
max{\x2
x1], [y2
- yıl}.4
= 1. Draw a sketch in the
4max{a, b} denotes the larger of the two real numbers a and b.
46
Chapter 3
Axioms for Plane Geometry
9. Verify that the functions defined in Example 3.2.14 are coordinate functions.
10. Verify that the functions defined in Example 3.2.15 are coordinate functions.
11. Let l be a line in the Cartesian plane R². Find a function f : l → R that is a coordinate
function for l in the square metric. (See Exercise 8 for definition of square metric.)
12. Assume that f : l → R is a coordinate function for l.
(a) Prove that – f is also a coordinate function for l.
(b) Prove that g : l → R defined by g(P) = f(P) + c for some constant c is also a
coordinate function for l.
(c) Prove that if h : l → R is any coordinate function for l then there must exist a
constant c such that either h( P) = f(P) + cor h(P) = – f(P) + c.
13. Let l be a line and let f : e → R be a function such that PQ = |f(P) – f(Q)| for
every P, Q E l. Prove that f is a coordinate function for l.
14. Prove the following fact from high school algebra that was needed in the proof of
Theorem 3.2.17: If x and y are two nonzero real numbers such that |x| + ]y[ = ]x + yl,
then either both x and y are positive or both x and y are negative.
15. Prove Corollary 3.2.20.
16. Prove that if C E AB and C + A, then AB =
17. Prove existence and uniqueness of midpoints (Theorem 3.2.22).
18. (Segment Construction Theorem) Prove the following theorem. If AB is a segment and
AČ.](/v2/_next/image?url=https%3A%2F%2Fcontent.bartleby.com%2Fqna-images%2Fquestion%2Fadf70025-15e9-4d93-968e-9d86049b61bd%2F84dc1bb2-61dc-4480-aff8-ba0ad7d0615c%2F4z7qwgc_processed.png&w=3840&q=75)
Transcribed Image Text:(0,0)
(2,0)
FIGURE 3.7: Two circles in the rational plane
coordinate functions use real numbers will allow us to fill that gap. Specifically, we will
prove that if one circle contains a point that is inside a second circle and another point
that is outside the second circle, then the two circles must intersect. Even using the
powerful axioms in this chapter the proof is not easy, however, and we will not attempt
that particular proof until Chapter 8.
EXERCISES 3.2
1. Prove: If l and m are two lines, the number of points in l n m is either 0, 1, or oo.
2. Show that the Euclidean metric defined in Example 3.2.10 is a metric (i.e., verify that
the function d satisfies the three conditions in the definition of metric on page 39).
3. Show that the taxicab metric defined in Example 3.2.11 is a metric (i.e., verify that the
function p satisfies the three conditions in the definition of metric on page 39).
4. Show that the spherical metric defined in Example 3.2.12 is a metric (i.e., verify that the
function s satisfies the three conditions in the definition of metric on page 39).
5. Betweenness in taxicab geometry. Let A =
(0,0), В %3D (1,0) and C %3D
(1, 1) and let p
denote the taxicab metric.
(a) Find all points P such that p(A, P) + p( P, B) = p(A, B). Draw a sketch in the
Cartesian plane.
(b) Find all points P such that p(A, P) + p( P, C) = p(A, C). Draw a sketch in the
Cartesian plane.
6. Betweenness on the sphere. Let A, B, and C be points on the sphere S². Define C to be
between A and B if A, B, and C are collinear and s(A, C) + s(C, B) = s(A, B), where
s is the metric defined in Example 3.2.12. Also define segment in the usual way.
(a) Find all points that are between A and C in case A and C are nonantipodal points.
Sketch the segment from A to C.
(b) Find all points that are between A and C in case A and C are antipodal points.
Sketch the segment from A to C.
7. Find all points (x, y) in R² such that p((0,0), (x, y))
Draw a sketch in the Cartesian plane. (This shape might be called a "circle" in the
taxicab metric.)
8. The square metric. Define the distance between two points (x1, y1) and (x2, y2) in R²
by D((x1, y1), (x2, y2))
(a) Verify that D is a metric.
(b) Find all points (x, y) in R² such that D((0,0), (x, y))
Cartesian plane. (This should explain the name square metric.)
%3D
1, where p is the taxicab metric.
max{\x2
x1], [y2
- yıl}.4
= 1. Draw a sketch in the
4max{a, b} denotes the larger of the two real numbers a and b.
46
Chapter 3
Axioms for Plane Geometry
9. Verify that the functions defined in Example 3.2.14 are coordinate functions.
10. Verify that the functions defined in Example 3.2.15 are coordinate functions.
11. Let l be a line in the Cartesian plane R². Find a function f : l → R that is a coordinate
function for l in the square metric. (See Exercise 8 for definition of square metric.)
12. Assume that f : l → R is a coordinate function for l.
(a) Prove that – f is also a coordinate function for l.
(b) Prove that g : l → R defined by g(P) = f(P) + c for some constant c is also a
coordinate function for l.
(c) Prove that if h : l → R is any coordinate function for l then there must exist a
constant c such that either h( P) = f(P) + cor h(P) = – f(P) + c.
13. Let l be a line and let f : e → R be a function such that PQ = |f(P) – f(Q)| for
every P, Q E l. Prove that f is a coordinate function for l.
14. Prove the following fact from high school algebra that was needed in the proof of
Theorem 3.2.17: If x and y are two nonzero real numbers such that |x| + ]y[ = ]x + yl,
then either both x and y are positive or both x and y are negative.
15. Prove Corollary 3.2.20.
16. Prove that if C E AB and C + A, then AB =
17. Prove existence and uniqueness of midpoints (Theorem 3.2.22).
18. (Segment Construction Theorem) Prove the following theorem. If AB is a segment and
AČ.
Expert Solution
![](/static/compass_v2/shared-icons/check-mark.png)
This question has been solved!
Explore an expertly crafted, step-by-step solution for a thorough understanding of key concepts.
This is a popular solution!
Trending now
This is a popular solution!
Step by step
Solved in 4 steps with 4 images
![Blurred answer](/static/compass_v2/solution-images/blurred-answer.jpg)
Recommended textbooks for you
![Advanced Engineering Mathematics](https://www.bartleby.com/isbn_cover_images/9780470458365/9780470458365_smallCoverImage.gif)
Advanced Engineering Mathematics
Advanced Math
ISBN:
9780470458365
Author:
Erwin Kreyszig
Publisher:
Wiley, John & Sons, Incorporated
![Numerical Methods for Engineers](https://www.bartleby.com/isbn_cover_images/9780073397924/9780073397924_smallCoverImage.gif)
Numerical Methods for Engineers
Advanced Math
ISBN:
9780073397924
Author:
Steven C. Chapra Dr., Raymond P. Canale
Publisher:
McGraw-Hill Education
![Introductory Mathematics for Engineering Applicat…](https://www.bartleby.com/isbn_cover_images/9781118141809/9781118141809_smallCoverImage.gif)
Introductory Mathematics for Engineering Applicat…
Advanced Math
ISBN:
9781118141809
Author:
Nathan Klingbeil
Publisher:
WILEY
![Advanced Engineering Mathematics](https://www.bartleby.com/isbn_cover_images/9780470458365/9780470458365_smallCoverImage.gif)
Advanced Engineering Mathematics
Advanced Math
ISBN:
9780470458365
Author:
Erwin Kreyszig
Publisher:
Wiley, John & Sons, Incorporated
![Numerical Methods for Engineers](https://www.bartleby.com/isbn_cover_images/9780073397924/9780073397924_smallCoverImage.gif)
Numerical Methods for Engineers
Advanced Math
ISBN:
9780073397924
Author:
Steven C. Chapra Dr., Raymond P. Canale
Publisher:
McGraw-Hill Education
![Introductory Mathematics for Engineering Applicat…](https://www.bartleby.com/isbn_cover_images/9781118141809/9781118141809_smallCoverImage.gif)
Introductory Mathematics for Engineering Applicat…
Advanced Math
ISBN:
9781118141809
Author:
Nathan Klingbeil
Publisher:
WILEY
![Mathematics For Machine Technology](https://www.bartleby.com/isbn_cover_images/9781337798310/9781337798310_smallCoverImage.jpg)
Mathematics For Machine Technology
Advanced Math
ISBN:
9781337798310
Author:
Peterson, John.
Publisher:
Cengage Learning,
![Basic Technical Mathematics](https://www.bartleby.com/isbn_cover_images/9780134437705/9780134437705_smallCoverImage.gif)
![Topology](https://www.bartleby.com/isbn_cover_images/9780134689517/9780134689517_smallCoverImage.gif)