Taxicab Geometry

[Astronouth7303]

Ok, Taxicab Geometry is deceptively simple. It's exactly like Euclidean, except distance is defined as the sum of the absolute values of the diferences pf the corrdinates.
OR: d_T = |A_X - B_X| + |A_Y - B_Y| + |A_Z - B_Z| + ...

And you define everyting based on locuses and distance. Circle is easy. A segment = {P | d_T(P, A) + d_T(P, B) = d_T(A, B)}

Confused yet?

[Ryan M.]

Originally Posted by Astronouth7303

Ok, Taxicab Geometry is deceptively simple. It's exactly like Euclidean, except distance is defined as the sum of the absolute values of the diferences pf the corrdinates.
OR: d_T = |A_X - B_X| + |A_Y - B_Y| + |A_Z - B_Z| + ...

And you define everyting based on locuses and distance. Circle is easy. A segment = {P | d_T(P, A) + d_T(P, B) = d_T(A, B)}

Confused yet?

I'm so confued. What's the point of this anyway? (both of the post and of the geomety...)

[Astronouth7303]

Originally Posted by Texan

I'm so confued. What's the point of this anyway? (both of the post and of the geomety...)

1. Would it be better off in the chit-chat forum?

2. If you keep to integers, that distance formula is for traveling along right-angled, regularly spaced straight paths.
it's either really cool or really mind-boggling. frequently both.
(to start off, just use 2 dimensions, X & Y)

[MOEmaniac]

ok i think i got it

10-2=8 then you take a right at maple st. and then another right at North Pine and another right at Limestone and then another right at 4th. Wait I think I'm lost.

This stuff is way to confusing for me.

[Astronouth7303]

Think of it as 1st street, 2nd, 3rd, 4th, etc.

Here's an example of finding distance:

1. Take a piece of graph paper.
2. draw the points (A, B) and (C, D) (all four being integers)
3. The distance between the points in Taxicab = abs(A - C) + abs(B - D)

Got it yet?

[Adam Y.]

1. Would it be better off in the chit-chat forum?

Nah. Its just odd and random math. Thats all.

[Greg Ross]

OK. I get it. (I had never heard of it before.) Now does it have some profound, practical application?

Originally Posted by Astronouth7303

And you define [everything] based on [loci] and distance. Circle is easy. A segment = {P | d_T(P, A) + d_T(P, B) = d_T(A, B)}

Can you explain this in English? I don't understand how the equation defines a segment. (A segment of what?)

Also, in what way is a circle easy? I'm guessing you are defining a circle as being the locus of points equidistant from a given point. In that case, the "circle" will be a square turned diagonally, right?

So a "circle" is a square diamond in euclidian space.

[edit]Didn't read gwross's post! oops[/edit]

I've used this before in game programming.

[Astronouth7303]

Originally Posted by gwross

Also, in what way is a circle easy? I'm guessing you are defining a circle as being the locus of points equidistant from a given point. In that case, the "circle" will be a square turned diagonally, right?

Yes. and pi = 4. YIIIIPEEEEE!

What's this? (A personal favorite)

{P | d_T(P, A) = d_T(P, B)}
Some points to try it with
A, B
(0, 0), (4, 2)
(0, 0), (2, 4)
(0, 0), (3, 3)
(-1, 1), (4, 1)

[Greg Ross]

I still don't get it. Is your new formula, {P | d_T(P, A) = d_T(P, B)} supposed to be equivalent to your original one, {P | d_T(P, A) + d_T(P, B) = d_T(A, B)}?

I would still like to know how you would read the(se?) equation(s?) out loud in English.

[EDIT]BTW, i think my only problem is with your notation. Not with the concepts of Taxicab Geometry.[/EDIT]

[rbayer]

Correct me if I'm wrong, but the notation is just standard set notation. For example, {x in R | x > 2} would be read as "all x beloning to the set of real numbers such that x is greater than 2."

Similarly, {P | d_T(P, A) = d_T(P, B)} would be the set off all points equidistant from two fixed points (A and B, in this case). Similarly, the set {P | dT(P, A) + dT(P, B) = dT(A, B)} would be the set of all points that are colinear with fixed points A and B (ie the sum of the distances from a point to each of the fixed points is the same as the total distance between the two fixed points).

Further examples:

{P | d_T(P, A) = r} is the set of all points of fixed distance from A (ie a circle of radius r centered at A.)

{P | d_T(P, A) + d_T(P, B) = c} is an elipse


As for taxicab geometry, if this kind of thing interests you, there are entire branches of mathematics devoted to the study of non-Euclidean gemetry. I took half a semester of this stuff last year, so if you have any questions, please post and I'll try to answer. Also, if you want to do more research on your own, the formal mathematical name for this kind of thing is a Metric Space.

[Greg Ross]

Originally Posted by rbayer

... the notation is just standard set notation.

I guess it's just been way too long.

[phrontist]

So what's the profound application?

Or is it left as a "trivial exercise for the reader"

Originally Posted by phrontist

So what's the profound application?

Or is it left as a "trivial exercise for the reader"

I use Taxicab Geom. for game programming when I don't need to be accurate or when I want to save a few clock cycles

[Greg Ross]

Originally Posted by Astronouth7303

... distance is defined as the sum of the absolute values of the [differences of] the [coordinates].
OR: d_T = |A_X - B_X| + |A_Y - B_Y| + |A_Z - B_Z| + ...

Shouldn't your definition for the taxicab distance (d_T) be written

d_T(A, B) = |A_X - B_X| + |A_Y - B_Y| + |A_Z - B_Z| + ...

And with Rob's hints, I think I figured out your "segment" formula:

A segment = {P | d_T(P, A) + d_T(P, B) = d_T(A, B)}

If I indeed understand it correctly, a "segment" turns out to be all points on or within a rectangle* with points A and B at opposite corners.

*Or a rectangular prism in three dimensions, or a rectangular hyper-prism in more than three.