View
14
Download
1
Category
Preview:
Citation preview
1
Taxicab Geometry: Not the Shortest Ride Across Town (Exploring Conics with a Non-Euclidean Metric)
Creative Component Christina Janssen
Iowa State University July 2007
2
Introduction Pg 3
Taxicab geometry: What is it and where did come from?
What is a metric?
Proof Euclidean/Taxicab are metrics
Proof Taxicab distance�Euclidean distance
Circles Pg13
Circumference
Area
Equations (two dimensions)
Sphere (three dimensions)
Formula Summary
Ellipses Pg 28
Circumference
Area
Equations
Formula Summary
Parabolas Pg 42
Equations
Formula Summary
Hyperbolas Pg 53
Equations
Formula Summary
Conclusion Pg 59
Jaunts Pg 61
1 Metrics
2 Triangle Inequality Theorem
3 Right Triangles
4 Congruency
5 Rigid Motion
6 Quadrilaterals
7 Area Limits
8 High School
9 Activities
Charts Pg 84
Bibliography Pg 88
3
Introduction
This paper journals my investigation through the conic sections with the Taxicab
metric. I am a high school teacher and graduate student and attempted to focus not only
on my personal learning experience, but also on what I could incorporate into my
classroom for the good of my students. As most teachers will attest, learning concepts
that you believe will motivate your students is an exciting prospect. My goals in this
creative component are multifold:
1. An opportunity to practice and hone my newly acquired problem solving
skills in an individual and in-depth investigation.
2. A chance to delve deeper into a topic (Taxicab geometry) that intrigues me.
3. To acquire a deeper understanding of the structure of mathematics.
4. To become more knowledgeable about conics.
5. To discover tools and ideas to bring back to my students.
6. Completion of my Masters in School Mathematics degree.
The main text of the paper is broken into four sections, each highlighting a conic
section. It begins with Taxicab circles, and continues with Taxicab ellipses, Taxicab
parabolas and Taxicab hyperbolas. Each section has various topics and observations. The
content, other than definitions and historical information is a strict representation of my
own work. Work was performed from scratch, with rudimentary sketches with decisions
on future directions being made along the way. The investigation has been empowering. I
do not by any stretch know all there is to know, and I am possibly left with more
questions then when I started. But, my mathematical growth and increased confidence in
my ability to problem solve, has been remarkable. I hope you enjoy the paper.
4
Taxicab geometry: What is it and where did come from?
“The usual way to describe a (plane) geometry is to tell what its points are, what
its lines are, how distance is measured, and how angle measure is determined.” (Krause
2) Taxicab geometry will use points and lines as defined in Euclidean geometry. “A point
is a location.” and “A line is made up of points and has no thickness or width.” (Glencoe
6) Additionally, we shall define an angle to be “the union of two rays that share a
common endpoint. The point is called the vertex.” The measure of an angle shall be “the
amount of rotation about the vertex needed for one side to overlap the other.”(Geometry
to Go 062) The difference in Taxicab geometry shall be that distance measured can be
only horizontal and /or vertical. The well-known and loved Euclidian distance formula
for points P(x
P, y
P) and
Q(x
Q, y
Q) defined
d
EP, Q( ) = (x
p! x
Q)
2+ ( y
P! y
Q)
2 is not
the metric for your typical cab driver (unless his or her taxi happens to be an air cab).
Taxicab geometry is built on the metric where distance is measured
d
TP,Q( ) = x
P! x
Q+ y
P! y
Qand will continue to be measured as the shortest distance
possible.
Taxicab geometry was proposed as a metric long before it was labeled Taxicab. A
Russian by the name of Hermann Minkowski wrote and published an entire work of
various metrics including what is now known as the taxicab metric. In 1952 an exhibit
was displayed at the Museum of Science and Industry of Chicago, which highlighted
geometry. A small pamphlet was distributed entitled, “You Will Like Geometry.” It was
in the pages of this booklet that the Minkowski’s geometry was coined Taxicab
geometry. (Reinhardt 38)
5
What is a metric?
A metric is a mathematical function that measures distance. It is important to note
that both the Euclidean distance formula and the Taxicab distance formula fulfill the
requirements of being a metric. The three axioms for metric space are as follows.
Let P, Q, and R be points, and let d(P,Q) denote the distance from P to Q.
Metric Axiom 1 d(P,Q) ! 0 and d(P,Q) = 0 if and only if P = Q
Metric Axiom 2 d(P,Q) = d(Q, P)
Metric Axiom 3 d(P,Q) + d(Q, R) ! d( P, R) (Reynolds 124)
In simple terms this means that the distance between two points is always greater
than zero and only equal to zero if the two points are actually the same point. The
distance between two points is the same despite which point you begin your measure.
The distance from a first point to an intermediate point and then from the intermediate
point to a final point must be farther than or equal to the distance you would travel if you
went directly from the first to a final point. Both distance formulas, Euclidean and
Taxicab, satisfy these axioms. Proof is shown below. (See Jaunt 1 for additional metric
examples.)
Proof Euclidean distance formula is a metric:
Let P(x
P, y
P) ,
Q(x
Q, y
Q) and
R(x
R, y
R) !"
2 .
Metric Axiom 1: d(P,Q) ! 0 and d(P,Q) = 0 if and only if P = Q .
If P = Q then d(P,Q) = d(P, P)
=
xP! x
P( )2
+ yP! y
P( )2
6
=
0( )2
+ 0( )2
= 0 .
If P ! Q then either x
P! x
Qor
y
P! y
Q.
And either
xP! x
Q( )2
> 0 or
yP! y
Q( )2
> 0 .
Suppose x
P! x
Q
Then
xP! x
Q( )2
+ yP! y
Q( )2
! x
P" x
Q( )2
= x
P! x
Q
> 0
Therefore,
xP! x
Q( )2
+ yP! y
Q( )2
> 0
Metric Axiom 2: d(P,Q) = d(Q, P)
d(P,Q) = x
P! x
Q( )2
+ yP! y
Q( )2
=
!1( ) !xP+ x
Q( )( )2
+ !1( ) !yP+ y
Q( )( )2
=
!1( ) xQ! x
P( )( )2
+ !1( ) yQ! y
P( )( )2
=
!1( )2
xQ! x
P( )2
+ !1( )2
yQ! y
P( )2
=
xQ! x
P( )2
+ yQ! y
P( )2
7
= d(Q, P)
Metric Axiom 3: d(P,Q) + d(Q, R) ! d( P, R)
Let P , Q , and R be non-collinear, thus forming a triangle.
d(P,Q) + d(Q, R) =
xP! x
Q( )2
+ yP! y
Q( )2
+ xQ! x
R( )2
+ yQ! y
R( )2
d(P, R) =
xP! x
R( )2
+ yP! y
R( )2
According to the Triangle Inequality Theorem: The sum of the lengths of any two sides
of a triangle is greater the length of the third side.” Proof of the theorem is provided in
Jaunt 2.(Glencoe 261)
xP! x
Q( )2
+ yP! y
Q( )2
+ xQ! x
R( )2
+ yQ! y
R( )2
" xP! x
R( )2
+ yP! y
R( )2
and d(P,Q) + d(Q, R) ! d( P, R) .
Let P , Q , and R be collinear. For three points collinear, one point must be
between the other two. Betweenness of points requires the points be collinear, and if Q is
between P and R then PQ +QR = PR .
Proof Taxicab distance formula is a metric:
Let P(x
P, y
P) ,
Q(x
Q, y
Q) and
R(x
R, y
R) !"
2 .
Metric Axiom 1: d(P,Q) ! 0 and d(P,Q) = 0 if and only if P = Q
If P = Q then d(P,Q) = d(P, P)
= x
P! x
P+ y
P! y
P
= 0 + 0
8
= 0 .
If P ! Q then either x
P! x
Qor
y
P! y
Q.
and x
P! x
Q> 0 or
y
P! y
Q> 0 .
Suppose x
P! x
Q
Then x
P! x
Q+ y
P! y
Q
! x
P" x
Q
> 0
Therefore, x
P! x
Q+ y
P! y
Q" 0 .
Metric Axiom 2: d(P,Q) = d(Q, P)
d(P,Q) = x
P! x
Q+ y
P! y
Q
= !1( ) !x
P+ x
Q( ) + !1( ) !yP+ y
Q( )
= !1( ) x
Q! x
P( ) + !1( ) yQ! y
P( )
= !1( ) x
Q! x
P( ) + !1( ) yQ! y
P( )
= x
Q! x
P+ y
Q! y
P
= d(Q, P)
Metric Axiom 3: d(P,Q) + d(Q, R) ! d( P, R)
Let P , Q , and R be non-collinear, thus forming a triangle.
d(P,Q) + d(Q, R) = x
P! x
Q+ y
P! y
Q+ x
Q! x
R+ y
Q! y
R
9
= x
P! x
Q+ x
Q! x
R( ) + yP! y
Q+ y
Q! y
R( )
! x
P" x
Q+ x
Q" x
R( ) + yP" y
Q+ y
Q" y
R( )
= x
P! x
R+ y
P! y
R
= d( P, R)
hence, d(P,Q) + d(Q, R) ! d( P, R) (Reynolds 125)
Note that the Triangle Inequality was not used in the proof of axiom 3, as it was in
the Euclidean proof. Instead only the fact that A + B ! A+ B .
A + B = A+ B
occurs when A or B or both are zero, or A and B are both positive or negative.
A + B > A+ B when A and B have opposite signs.
The Triangle Inequality Theorem, which is strictly greater than, does not hold
true in Taxicab geometry. figure 1shows a counterexample of two sides of a triangle not
being greater than the third side as measured with the Taxicab metric.
4
2
5 10
dT(B,C)=7
dT(A.C)=3
dT(A.B)=4
A C
B
figure 1
Fortunately our metric axiom requires the sum of two distance to be ! the third direct
distance and certainly the Taxicab metric does fulfill that axiom.
10
Let P , Q , and R be collinear. Allowing Q to be between P and R , it is again
true that d(P,Q) + d(Q, R) = d(P, R) .
Before we drive on, let’s look at how the Taxicab metric could be applied. On the
following graph which is closer to A, point B or point C?
4
3
2
1
-1
2 4 6 8
d(A,B)=6
d(A,C)=5
C
BA
figure 2
With the measurements given in the Cartesian plane above one would simply state that
since d(A,C) = 5 and d(A,B) = 6 that d(A,C) < d(A,B) . Hence, C is closer to A than
B . Euclid and Pythagoras would be proud.
Now consider the points (oriented in a similar fashion) in the following map. If
you are driving and plan to keep your license, your distances are measured in a very
different fashion.
11
C
A B
figure 3
It now seems that the distance from A to C is 7 blocks, while the distance from A
to B is 6 blocks. Unless we choose to go off-road, B is now closer to A than C. Euclidean
distance formula has its place, but on the city streets is not the most useful location.
Taxicab distance is sometimes equal to Euclidean distance, but otherwise it is greater
than Euclidean distance.
Euclidean distance!Taxicab distance Proof:
Absolute values guarantee non-negative value
0 ! 2 x
P" x
Qy
P" y
Q
Addition property of inequality
x
P! x
Q
2
+ yP! y
Q
2
+ 0 " xP! x
Q
2
+ yP! y
Q
2
+ 2 xP! x
Qy
P! y
Q
12
Absolute value may be dropped because squaring guarantees the positive
value of the expression
x
P! x
Q( )2
+ yP! y
Q( )2
+ 0 " xP! x
Q
2
+ yP! y
Q
2
+ 2 xP! x
Qy
P! y
Q
Factoring the right hand side
x
P! x
Q( )2
+ yP! y
Q( )2
+ 0 " xP! x
Q+ y
P! y
Q( )2
Take the square root of both sides
x
P! x
Q( )2
+ yP! y
Q( )2
" xP! x
Q+ y
P! y
Q( )2
Simplify to
x
P! x
Q( )2
+ yP! y
Q( )2
" xP! x
Q+ y
P! y
Q
d
E! d
T
Only when x
P= x
Qor
y
P= y
Q (they cannot both be true simultaneously or else
we do not have two distinct points) will the Taxicab metric be equal to the Euclidean
metric, or in simple terms our points (x
P, y
P) and
(x
Q, y
Q) are either vertically or
horizontally, oriented from one another. Otherwise, if x
P! x
Qand
y
P! y
Qthen Taxicab
distance is greater than Euclidean distance. It is worth mentioning, the ease at which the
following proof can be made with a simple substitution. For instance, let A = xP! x
Q and
B = yP ! yQ . The entire proof can be written
0 ! 2 A B
A
2
+ B2
! A2
+ 2 A B + B2
13
A
2
+ B2
+ 0 ! A + B( )2
A
2
+ B2
! A + B
(This simplification may assist high school students from getting bogged down in the
notation of the distance formulas.)
Climb in and let’s go for a ride. The driver will attempt the most direct route
possible, but as is the case with Taxicab geometry ( d
E! d
T), it is not always possible.
We have a long way to travel and the meter is running, let the adventure begin.
DESTINATION CIRCLES
“A circle is the locus of all points in a plane which are all equidistant from a given
point called the center of the circle.” (Glencoe 522) With the Euclidean metric,
d
EP, Q( ) = (x
p! x
Q)
2+ ( y
P! y
Q)
2 the graph of a circle with radius three appears so.
4
2
-2
- 4
- 5 5
figure 4
14
A circle with the Taxicab metric d
TP,Q( ) = x
P! x
Q+ y
P! y
Q, and radius three
appears so.
4
2
-2
- 4
- 5 5
figure 5
The simple, yet stunning difference makes clear how very important the metric is. Further
complicating the situation, the following is not a circle.
4
2
-2
- 4
- 5 5
figure 6
15
Upon inspection, it becomes apparent that the Taxicab distance from the center, at
the origin for this situation, (0,0) to the point (3,0) is three, while the distance from the
center to the point (3,3) is six. Therefore, by definition that all points are equidistant from
the center, a square with a side oriented horizontally in the plane is no longer a circle. A
circleT appears as a square with four sides and four vertices (which is how we will refer
to the segments of a circleT). Considering our plane with the positive y-axis being
oriented north and the positive x-axis oriented east, the vertices of a circleT must be
oriented directly east, north, west and south.
Conjecture: Formulas can be written for circumference of a circleT with respect to its
radius.
“The circumference of a circle is the distance around the circle.” (Glencoe 523)
The Euclidean metric formula for circumference is C= 2! r with r being the radius. With
some investigation, we see that the following is true when using the Taxicab metric.
Radius r Circumference C
1 (2)(4)=8
2 (4)(4)=16
3 (6)(4)=24
chart 1
The distance from a vertex to a consecutive vertex of the circle is twice the radius.
(Note: This means that the length of a hypotenuse of a 45o
! 45o
! 90o triangle no longer
has length 2 times the leg, but instead two times the leg. (A fact that would thrill every
high school student whoever incorrectly simplified a2 + b2 = c2 to a + b = c ) This occurs
16
when a leg is oriented horizontally in the plane. (See Jaunt 3 for additional work on right
triangles in Taxicab geometry.) An equation for circumference with respect to side is
C = 4s
Substituting the radius for a length of twice one side results in the following equation for
circumference with respect to radius.
(1.1) C = 8r
An interesting question arises as we consider the nature of circlesT . They have
four sides with the same Taxicab measurement. Can it be claimed that the sides are
congruent? Congruency indicates that two things have equal size and shape. By this
definition the sides of our Taxicab circle are indeed congruent, but beware, unlike
Euclidean geometry, not all Taxicab segments with equal measures are congruent. (More
on congruency can be found in Jaunt 4)
Conjecture: Formulas can be written for area of a circleT with respect to its radius.
Area of an Euclidean circle has the formula A= !r2 . When considering the area
of a Taxicab circle one must consider the side measured with the Taxicab metric. Recall,
in the Taxicab metric the length of one side of our circle with radius three is six. It no
longer seems reasonable to say that the area of what appears as a square has area equal to
the side squared. (See jaunt 5 for work in rigid motion and jaunt 6 for a trip through
Taxicab quadratics.) This would produce an area of thirty-six units squared. Upon
inspection and simple counting of the squares on the graph, we see this is unreasonable.
Again, the driver is reminded that although a circleT appears as a square, it cannot be
treated as such in the classical Euclidean way.
17
Let us consider area measured with strictly horizontal and vertical lengths. Area is
defined to be “the number of unit squares equal in measure to the surface.” (Webster’s
101) The Taxicab circle can split into four congruent isosceles triangles each with a base
and height of r . It is important to notice that the formula for area holds true based on the
fact that the base and height are measured horizontally and vertically and therefore the
lengths of the segments are the same for the Taxicab and Euclidean metric.
4
2
-2
- 4
- 5 5
h
b
figure 7
The area of each triangle is
1
2(base)(height ) or
1
2r( ) r( )=
1
2r
2 . Multiplying by
four, to account for the number of congruent triangles and we have A= (4)
1
2r
2 , or
equivalently,
(1.2) A= 2r2
It is interesting that the conclusion is the same as if the measurements were based
upon the Euclidean metric with sides measuring r 2 and area of a square being side
squared resulting in r 2( )
2
= 2r2 .
18
Additionally, a formula can be written using the length of the four congruent sides
of a circleT. The length of a side is twice the radius of a circleT. Using our previous
formula A= 2r2 we may use the substitution s = 2r solve for radius,
r =s
2. The result is
a formula for area with respect to a side,
A= 2s
2
!"#
$%&
2
. Simpified,
A=1
2s
2
For more detail on why area is the same in Euclidean and Taxicab geometry see jaunt 7.
Major Conjecture: There is a connection between geometry and algebra in the Taxicab
Geometry. Therefore, we should be able to write equations for circles.
Any two circlesT will have the same angle measurements and corresponding sides
will be proportional. By definition, this makes any two circlesT similar. Hence, all
circlesT will have four sides with slopes of ±1 . Slope is used with the traditional
meaning. The slope of a line containing two points with coordinates (xP,y
P) and
(xQ , yQ) is yP ! yQ
xP ! xQwhere x
P! x
Q. In Euclidean as well as Taxicab geometry slope is
measured horizontally and vertically and are therefore equivalent. Graphically, each
vertex will occur horizontally or vertically from the center. Let the center of any circleT
have a center (x
c, y
c) . The northeast side of a circleT has a slope of negative one and
endpoints of (x
c, y
c+ r ) and
(x
c+ r , y
c) , r being radius.
19
(xc,yc-r)
(xc-r,yc)
(xc,yc+r)
(xc+r,yc)
(xc,yc)
N
S
W E
figure 8
In search of a formula for the side the following calculation takes place
y = mx + b General slope y-intercept equation of a line.
y = !1x + b Slope of the line equals negative one.
y
c= !1(x
c+ r ) + b Substitute one known point in for x and y.
b = y
c+ x
c+ r Solve for b.
y = !x + y
c+ x
c+ r Rewrite equation
The preceding equation is only appropriate on a domain from x
c to
x
c+ r .
Calculating the other sides of the circle in similar fashion a formula for a circleT is
created. Working counterclockwise through the four standard quadrants from the positive
x-axis we have,
CircleT (x)
(sideNE )y = !x + yc + xc + r,xc " x " xc + r
(sideNW )y = x + yc ! xc + r,xc ! r < x < xc(sideSW )y = !x + yc + xc ! r,xc ! r " x " xc(sideSE )y = x + yc ! xc ! r, xc < x < xc + r
#
$
%%
&
%%
'
(
%%
)
%%
20
With careful scrutiny, it seems that our equations for Taxicab circles have
domains that overlap. This is due to the fact that, similar to Euclidean circles, Taxicab
circles are not functions. (Note: Graphically it can be observed that both types of circles
fail to pass the vertical line test at all but two points. An equation for the circleE can be
written as
(x ! x
c)
2+ ( y ! y
c)
2= r
2
or y = ± r
2! (x ! x
c)
2+ y
c
Taking into consideration order of operations, the equation now reads: start the
circle at the origin, then translated horizontally, then the plus or minus results in a
reflection over the x-axis. These changes occur prior to the vertical translation. Using the
same concepts, the following simplification will consolidate our Taxicab equations to a
simpler form. First, consider any circle
T to have a center oriented on the x-axis and
vertically translated after a reflection has occurred to determine both the northern and
southern segments. Therefore, y
cis now zero and the following changes take place in our
graph.
(xc,-r)
(xc-r,o)
(xc,r)
(xc+r,0)(xc,0)
figure 9
21
With vertical translation considered after our reflection, our formulas can now be written
in a more concise form.
y = mx + b General slope y-intercept equation of a line.
y = !1x + b Slope of the line equals negative one.
0 = !1(x
c+ r ) + b Substitute one known point in for x and y.
b = r Solve for b.
y = !x + r Rewrite equation
Now taking into consideration the reflection and vertical translation we have,
(1.3)
CircleT
(x) =(side
NWside
SW) ± (x ! x
c+ r) + y
c,x
c! r " x " x
c
(sideNE
sideSE
) ± (!x + xc+ r ) + y
c, x
c< x " x
c+ r
#$%
&%
'(%
)%.
An example using the formula is a circleT with center (5, -3) and radius 2. The equation
would therefore be
CircleT
(x) =±(x !5 + 2) + (!3),5! 2 " x " 5
±(!x + 5+ 2) + (!3),5 < x " 5 + 2
#$%
&'(
simplified,
CircleT
(x) =±(x ! 3) + (!3),3" x " 5
±(!x + 7) + (!3),5 < x " 7
#$%
&'(
22
- 2
- 4
- 6
5
figure 10
Euclidean circles can be rotated about a diameter to form a three-dimensional
sphere. Similarly, we can rotate our Taxicab circle around a diameter to create Taxicab
spheres. The first consideration we must take is where is a diameter on a Taxicab circle?
“In a circle, a chord that passes through the center of a circle” is considered a diameter.
With a chord defined as “a segment with endpoints that are on the circle.” (Glencoe R13)
Euclidean circles are symmetric in all diameters. Our Taxicab circles are not so simple.
Consider the following three diameters.
4
2
-2
- 4
- 5 5
figure 11
23
The various diameters will result in different three-dimensional objects. We will
take each in turn.
Case 1: Diameter from midpoint of a side (sketched in green)
figure 12
The resultant figure is equivalent to a right circular cylinder albeit tipped at a 45�
angle from having a horizontal base. The radius of the cylinder is equivalent to the radius
of the circleT and the height is a diameter and therefore has a length equal to two radii.
Volume for three-dimensional objects are the same in Euclidean and Taxicab geometry,
but their equation are not. We will begin our alteration with the equationE for a cylinder.
V = ! r2
h Euclidean volume of a right circular cylinder
V = 2!r3 height always equals two radii
(1.4) V = 2!r3
Similar manipulation can be performed to obtain a formula for surface area
S = 2! rh + !r2 Euclidean surface area of a right circular cylinder
S = 4!r2
+ ! r2 height always equals two radii
24
(1.5) S = 5! r2
Case 2: Diameter from a vertex (sketched in red)
figure 13
The sphere is equivalent to two cones connected at their bases with each height
and radius of the cones equal to the radius of the circleT.
V =1
3! r
2
h Euclidean volume of a cone
V =1
3! r
2
r height always equals radius
V = 21
3!r
3 multiply by two
(1.6) V =2
3!r
3
S = ! r r2
+ h2 Euclidean lateral surface area of a cone
S = ! r r2
+ r2 height equals radius
25
S = 2 2! r2 multiply by two
(1.7) S = 2 2! r2
Case 3: Diameter from points between vertex and midpoint of a side (sketched in blue)
This diameter is perhaps the most intriguing of the Taxicab spheres. First notice
that the diameter itself can be placed in an infinite variety of slopes of which create an
infinite variety of three-dimensional spheres. My biggest initial roadblock was in being
able to visualize what object would be created if I rotated around the given diameter. (It
is for that reason I have withheld the figure at this stage to allow the reader to conjecture
for themselves. I must admit my lack of ability to do so, left me less than impressed. So I
began resorting to manipulatives. I cut out a Taxicab circle and folded it on the desired
diameter. The result looked like figure 14.
figure 14
I must admit, (and likely you’ll agree) it didn’t look like much. I used the very
rudimentary strategy of taping the diameter to a pencil and spinning it. As primitive as
this may sound, it seemed to help. Going back to paper and pencil I sketched the outline
of my paper cutout and added its other corresponding other half.
26
figure 15
The picture was coming clearer. This is my current conjecture of the appearance of the
sphere.
figure 16
Although I have not yet finalized formulas for volume and surface area, I would
like to share a few interesting observations I have discovered on that path. I honestly
admit it took quite some time before I noticed that figure 15 is simply two circlesT
overlaid.
27
figure 17
With this revelation the investigation began to continue forward with the following
findings about figure 17.
1. The triangles formed all have the same angle measurements.
2. The triangles are right and congruent using the metricE, no matter what the
slope of the diameter is that is use to create the sphere.
3. With the triangles removed the middle is itself an octagon formed out of 8
congruent triangles with the metricE..
4. Each side of one of the overlaid circlesT is the sum of the three different sides
lengths of the triangle with the metricE.
There is much more to discover. Circles have been a fascinating leg of our trip.Let
us continue onto new, undiscovered paths with other conic sections.
Circle Formula Summary:
Circumference with respect to the radius
(1.1) C = 8r
Circumference with respect to the radius
(1.2) A= 2r2
28
Circle with center xc, y
c( ) and radius r .
(1.3) (
CircleT
(x) =(side
NWside
SW) ± (x ! x
c+ r) + y
c,x
c! r " x " x
c
(sideNE
sideSE
) ± (!x + xc+ r ) + y
c, x
c< x " x
c+ r
#$%
&%
'(%
)%
Volume of sphere with midpoint diameter with respect to radius r .
(1.4) V = 2!r3
Surface area of a sphere with midpoint diameter with respect to radius r .
(1.5) S = 5! r2
Volume of a sphere with vertex diameter with respect to radius r.
(1.6) V =2
3!r
3
Surface area of a sphere with vertex diameter with respect to radius r .
(1.7) S = 2 2! r2
DESTINATION ELLIPSES
With the Euclidean metric the standard definition of an ellipse with center (h, k)
and major and minor axes of lengths 2a and 2b , where a > b is
(x ! h)
a2+
(y ! k)
b2= 1
with a horizontal major axis, or
(x ! h)
b2+
(y ! k)
a2= 1 with a vertical major axis. The foci
lie on the major axis, c units from the center, with c2
= a2
! b2 . (Larson 640)
An example of an ellipseE appears so, as graphed by the TI-89 Titanium graphing
calculator.
29
figure 18
Through investigation and many manually constructed graphs, a Taxicab ellipse appears
as a hexagon,
figure 19
or appear as an octagon.
.
figure 20
The distinguishing factor is whether the foci are collinear on a horizontal or vertical line.
If so a hexagon results, otherwise an octagon results. We shall begin by defining terms of
the Taxicab ellipse.
30
6
4
2
-2
- 4
- 5 5 10
Alley
Alley
Alley
Alley
Street
Street
Street
Street
foci
foci
Center
N
S
W E
figure 21
The center and foci will remain as defined with Euclidean ellipses. The horizontal
and vertical segments shall be named streets, while non-horizontal and non-vertical
segments will be named alleys. Each segment shall be distinguished according to its
direction. The sum of the distances from one focus to any point on the ellipse and from
that point to the other focus shall, in keeping in concert with Euclidean geometry when
possible, be a distance 2a . For ellipses and the remainder of this paper if
!1 < slope< 1and not equal to zero, we shall consider this a non-steep slope. If the slope
is < !1or > 1 it shall be considered steep. Undefined, zero and slopes of ±1 shall be
considered special cases. Finally, in ellipses as in the rest of our travels we shall often be
interested in the individual components of the Taxicab metric
d
TP,Q( ) = x
P! x
Q+ y
P! y
Q. We shall define the vertical component of distance
y
P! y
Q= m and the horizontal component of distance
x
P! x
Q= n .
31
Conjecture: Formulas can be written for circumference of an ellipseT based on the
horizontal and vertical distance between the foci, and distance 2a.
Through the construction of many ellipses the following patterns (memorialized
in a chart at the end of the paper) were discovered. There is one north street and one
south street equal in length to each other and the horizontal distance
n( ) between foci.
Similarly, there is one east street and one west street, also equal in length to each other
and the length of the vertical distance
m( ) between foci. Each alley is the hypotenuse of
a 45!
! 45!
! 90! triangle with a horizontal leg. Therefore, the length of the hypotenuse is
double the length of either leg. To find the length of one leg, consider the following in
relation to the graph.
m
nf1
f2
l eg
P
figure 22
One vertices of the triangle is oriented directly horizontal from the focus and one
vertical from the focus. The sum of the distance from any point of the ellipse to each
focus is 2a. Let the endpoint of the hypotenuse be considered point P . A focus f2 is the
vertex of the triangle at the right angle. Therefore, the distance between P and f2 is the
length of the leg. To determine the distance from point P to the other focus f1we need to
find the sum of the length of the leg with mand n .
32
By the definition of an ellipse, this total distance is 2a . The following calculation can
therefore take place.
d
T(P, f
1) + d
T(P, f
2) = 2a
leg( ) + leg +m + n( ) = 2a
2leg = 2a !m ! n
leg =1
2(2a !m ! n)
The four alleys are all congruent with a length twice that of a leg and therefore have
length 2a ! m! n . Hence, the following calculation for circumference C takes place.
circumference=north street + south street + east street + west street + 4 alleys
C=north street + north street + east street + east street + 4 alleys
C=2 north street + 2 east street + 4 alleys
C = 2n + 2m+ 4(2a ! m ! n)
C = 2n + 2m+ 8a ! 4m! 4n
For a final formula of
(2.1) C = 8a ! 2n ! 2m
It is important to note that this formula works for all ellipses including those with
a horizontal or vertical major axis. When this occurs either n is equal to zero or m is
equal to zero, eliminating the term from the formula and eliminating the lengths of two
sides leaving a hexagon.
Note that the circumference of a Taxicab ellipse is equal to the area of a rectangle
circumscribed around the ellipseT.
33
figure 23
This is due to the fact that alley length can be calculated as the Taxicab distance
measured inside along the aforementioned triangle or along the outside with the legs of
the triangle being part of the rectangles sides. One must always be cognizant that unlike
Euclidean distance, there are many paths in which Taxicab distance can be measured.
Conjecture: Formulas can be written for area of an ellipseT based on the horizontal
and vertical distance between the foci, and distance 2a.
Area of an ellipse can be broken down into sections
6
4
2
-2
- 4
- 6
-10 - 5 5 10
D
DD
D
CC
B
B
A
figure 24
34
The following calculation can take place
Area=1rectangle A+ 2rectangle B+ 2rectangle C + 4 ( 45!
! 45!
! 90! ) triangle D
A= mn + n(2a ! m ! n) + m(2a ! m ! n) + 41
2
"#$
%&'
1
2(2a ! m ! n)
"#$
%&'
2
A= mn + (2a ! m ! n)(n + m)+ 41
2
"#$
%&'
1
4
"#$
%&'
(2a ! m! n)2
For a final area formula of
(2.2) A= mn + (2a ! m ! n)(n + m)+
1
2(2a ! m ! n)
2
As with circumference, the formula for area is good for all varieties of ellipses.
Major Conjecture: There is a connection between geometry and algebra in the Taxicab
Geometry. Therefore, we should be able to write equations for ellipses.
For the sake of our investigation, we will take a variety of ellipseT in turn.
Case 1: Major axis horizontal, center at origin.
c(0,0) f2 xf2,yf2( )f1 xf1,yf1( )
figure 25
Let the investigation begin with the center at the origin. As the major axis is the x-
axis, and horizontal, a hexagon results. The ellipse is comprised of a north and south
street and four alleys (a NE, NW, SW and SE). The graph of the ellipse is dependent
upon three factors: The position of the center C , the horizontal and vertical distance
35
between the foci m and n and lastly the sum distance from any point on the ellipse to
each focus 2a .After creating a chart of findings from various graphs of ellipsesT, the
following equation has been derived.
EllipseT=
alleyNE( ) y = !x + a,x
f2< x < a
streetN( ) y =
1
22a ! n( ) , x
f1" x " x
f2
alleyNW( ) y = x +
1
2a,!a < x < x
f1
alleySW( ) y = !x ! a,!a " x < x
f1
streetS( ) y = !
1
22a ! n( ) ,x f
1
" x " xf
2
alleySE( ) y = x ! a, x
f 2
< x " a
#
$
%%%%%%
&
%%%%%%
'
(
%%%%%%
)
%%%%%%
Since the ellipse with horizontal major axis is symmetrical we can rewrite in a
fashion similar to that of Euclidean ellipse formula. An Euclidean ellipse centered at the
origin has formula
x2
a2+y2
b2= 1
solved for y
y = ± b2
1!x
a2
"#$
%&'
(This type of investigation may aide students in not only their understanding of
ellipses and metrics, but a deeper understanding of reflections, translations, why a graph
is or is not a function and issues of domain to name a few. “Ms. Janssen, I solved for y
but my calculator will only graph half a circle!”)
36
The Euclidean ellipse formula separates the formula into two functions using a
plus and minus, one part a reflection over the major axis of the other. We will use a
similar technique to simplify our taxicab equation.
(2.3)
EllipseT=
alleyNE / SE( ) y = ± !x + a( ), x
f2< x " a
streetN / S( ) y = ±
1
22a ! n( ), x
f1" x " x
f2
alleyNW / SW( ) y = ± x + a( ) ,!a " x < x
f1
#
$
%%
&
%%
'
(
%%
)
%%
Case 2: Major axis horizontal, center not at origin.
f2 xf2,yf2( )f2 xf1,yf1( ) c xc,yc( )
figure 26
An ellipse with horizontal major axis but with the center moved away from the origin is a
simple translation from our last equation. Formulas can be derived assuming horizontal
shift initially and vertical shift after reflection across the major axis. We shall use the
center point, but formulas could be acquired also using the foci, as we know the foci are
related to the center by length m and n .
(2.3)
EllipseT=
alleyNE / SE( ) y = ± !x + x
c+ a( ) + y
c,x
c+
1
2n < x " x
c+ a
streetN / S( ) y = ±
1
2(2a ! n) + y
c,x
c!
1
2n " x " x
c+
1
2n
alleyNW / SW( ) y = ± x ! x
c+ a( ) + y
c,x
c! a " x < x
c!
1
2n
#
$
%%%
&
%%%
'
(
%%%
)
%%%
37
Case 3: Major axis vertical
f2 xf2,yf2( )
f1 xf1,yf1( )
c xc,yc( )
figure 27
Using similar techniques, written in terms of y, so that a reflection over the major axis
may still be utilized and with f1being the northern most point the formula is such.
(2.4)
EllipseT=
alleyNE / NW( ) x = ± !y + y
c+ a( ) + x
c, y
c+
1
2m < y " y
c+ a
streetE /W( )x = ± a !
1
2m
#$%
&'(+ x
c, y
c!
1
2m " y " y
c+
1
2m
alleySE/ SW( ) x = ± y ! y
c+ a( ) + x
c, y
c!
1
2a " y < y
c!
1
2m
)
*
+++
,
+++
-
.
+++
/
+++
Case 4: Major axis with non-steep slope (!1 < slope< 1,slope " 0 )
f1 xf1,yf1( )
f2 xf2,yf2( )c xc,yc( )
figure 28
38
The ellipse with non-horizontal slopes becomes a scenic route. The shortest
distance to a point on the ellipse horizontally or vertically from a focus is 1
2(2a !m ! n) .
This fact will be used in forming equations for ellipseT. For the north street we need the
equation y equal to the height. y=the center y-coordinate plus half the vertical length m
plus the distance 1
2(2a !m ! n)
y = yc+1
2m +
1
2(2a !m ! n)
y = yc+1
2m + a !
1
2m !
1
2n
y = yc+ a !
1
2n
To find the northeast alley the following can be calculated.
y = mx + b General equation of a line.
y = 1x + b Substitute slope of alley, equal to one.
yc +1
2m +
1
2(2a ! m ! n)"
#$%&' = !1 xc +
1
2n
"#$
%&' + b Substitute in one known point.
yc +1
2m + a !
1
2m !
1
2n + xc +
1
2n = b Solve for b, the y-intercept
yc + a + xc = b Simplify
y = !x + xc+ y
c+ a Rewrite equation of a line.
Using similar calculations and the previous idea that the southern half of the ellipse is a
reflection of the northern half, the following formula has been found.
39
(2.5)
EllipseT
streetE /W( )x = ± a !
1
2m
"
#$%
&'+ x
c, y
c!
1
2m ( y ( y
c+
1
2m
(alleyNE / NW
)y = ± !x + xc( ) + a + y
c, y
c+
1
2m < y < y
c+ a !
1
2n
streetN / S( ) y = ± a !
1
2n
"#$
%&'+ y
c, x
c!
1
2n ( x ( x
c+
1
2n
(alleySE / SW
)y = ± x ! xc( ) ! a + y
c, y
c! a +
1
2n < y < y
c!
1
2m
)
*
+++++
,
+++++
-
.
+++++
/
+++++
Example:
10
8
6
4
2
-2
- 4
- 6
- 5 5 10 15
f1 1,2-2 5( )
f2 3,2 5( )
c(2,1)
figure 29
When an ellipseT has a steep major axis the graph has more height than width, but the
previous equations hold strong. Considering the above foci 1,2 ! 2 5( ) and
3,2 5( ) , the
ellipse would contain center (2,1), and slope m = 4 5 ! 2 and n = 2 , we shall chose 2a
for example to be 16 and our generic equation results in the following
40
EllipseT
streetE /W( )x = ± 8 !
1
24 5 ! 2( )
"
#$%
&'+ 2,1!
1
24 5 ! 2( ) ( y ( 1+
1
24 5 ! 2( )
(alleyNE / NW
)y = ± x ! 2( ) + 8 +1,1 +1
24 5 ! 2( ) < y < 1+ 8 !
1
22( )
streetN / S( ) y = ± 8 !
1
22( )
"#$
%&'+1,2 !
1
22( ) ( x ( 2 +
1
22( )
(alleySE / SW
)y = ± x ! 2( ) ! 8 +1,1 !8 +1
22( ) < y < 1!
1
24 5 ! 2( )
)
*
+++++
,
+++++
-
.
+++++
/
+++++
EllipseT
StreetE /W( ) x = ± 9 ! 2 5( ) + 2,2 ! 2 5 " y " 2 5
(AlleyNE / NW
)y = ± x ! 2( ) + 9,2 5 < y < 8
StreetN / S( ) y = ±7 +1,1 " x " 3
(AlleySE/ SW
) y = ± x ! 2( ) ! 7,!6 < y < 2 ! 2 5
#
$
%%%
&
%%%
'
(
%%%
)
%%%
Resulting in the following graph of the ellipse.
10
8
6
4
2
-2
- 4
- 6
- 5 5 10 15
3 , -6( )1, -6( )
3,8( )1,8( )
1+2( 5 -4),2 5( )
1+2( 5 -4),2-2 5( ) 3-2( 5 -4),2-2 5( )
3-2( 5 -4),2 5( )
f1 1,2-2 5( )
f2 3,2 5( )
c(2,1)
figure 30
There are more questions to be answered about ellipsesT. What would an ellipsoid
look like? Its volume? Its surface area? Are there everyday objects that an ellipsoid
41
would mimic? Can the formulas be condensed into one formula that encompasses all
ellipsesT? These and many other questions are yet to be answered.
Ellipse Formula Summary:
Circumference with respect to vertical distance m, horizontal distance n and length 2a.
(2.1) C = 8a ! 2n ! 2m
Area with respect to vertical distance m, horizontal distance n and length 2a.
(2.2) A= mn + (2a ! m ! n)(n + m)+
1
2(2a ! m ! n)
2
Ellipse with horizontal major axis with respect to vertical distance m, horizontal distance n,
length 2a and center (xc, y
c) .
(2.3)
EllipseT=
alleyNE / SE( ) y = ± !x + x
c+ a( ) + y
c,x
c+
1
2n < x " x
c+ a
streetN / S( ) y = ±
1
2(2a ! n) + y
c,x
c!
1
2n " x " x
c+
1
2n
alleyNW / SW( ) y = ± x ! x
c+ a( ) + y
c,x
c! a " x < x
c!
1
2n
#
$
%%%
&
%%%
'
(
%%%
)
%%%
Ellipse with vertical major axis with respect to vertical distance m, horizontal distance n,
length 2a and center (xc, y
c) .
(2.4)
EllipseT=
alleyNE / NW( ) x = ± !y + y
c+ a( ) + x
c, y
c+
1
2m < y " y
c+ a
streetE /W( )x = ± a !
1
2m
#$%
&'(+ x
c, y
c!
1
2m " y " y
c+
1
2m
alleySE/ SW( ) x = ± y ! y
c+ a( ) + x
c, y
c!
1
2a " y < y
c!
1
2m
)
*
+++
,
+++
-
.
+++
/
+++
Ellipse with non-steep or steep major axis with respect to vertical distance m, horizontal
distance n, length 2a and center (xc, y
c) .
42
(2.5)
EllipseT
streetE /W( )x = ± a !
1
2m
"
#$%
&'+ x
c, y
c!
1
2m ( y ( y
c+
1
2m
(alleyNE / NW
)y = ± !x + xc( ) + a + y
c, y
c+
1
2m < y < y
c+ a !
1
2n
streetN / S( ) y = ± a !
1
2n
"#$
%&'+ y
c, x
c!
1
2n ( x ( x
c+
1
2n
(alleySE / SW
)y = ± x ! xc( ) ! a + y
c, y
c! a +
1
2n < y < y
c!
1
2m
)
*
+++++
,
+++++
-
.
+++++
/
+++++
DESTINATION PARABOLAS
“ A parabola is the set of all points in a plane equidistant from a particular line
(the directrix) and a particular point (the focus) in the plane.” (Demana 634) We know
how this appears measured in Euclidean geometry and we have equations for those
parabolas however stretched, translated, reflected, etc.
(Encarta) figure 31
43
Since parabolas have neither finite circumference nor finite interior (Although the
graph could be bound by an axis and/or other graphs) with which to calculate area the
driver shall steer directly to equations.
Major Conjecture: There is a connection between geometry and algebra in the Taxicab
Geometry. Therefore, we should be able to write equations for parabolas.
Let us consider parabolas with the Taxicab metric. To begin the investigation
various types of parabolas were sketched. These included parabolasT with directrices that
are horizontal, vertical, have slopes equal to ±1or any of the infinite non-steep or steep
slopes. These options can be further compounded by which side of the parabolaT the
focus is located and how far the focus is located from the directrix. (This has potential to
be an interesting classroom exercise in categorization.)
Since our graphs can be oriented many ways in the plane, the following notation
will be used.
Intersection
StreetStreet
AlleyAlley
Directrix
Focus
Vertex
Intersection
f
N
S
W E
figure 32
For all purposes of this trip, and ease to the passenger, the plane will continue to
be oriented with north being in the direction of the positive y-axis (vertical), and east
44
being in the direction of the positive x-axis (horizontal). Horizontal and vertical lines will
continue to be called streets and others alleys. The vertex will be where the parabola
intersects the line the line that contains both the focus and the point on the directrix
closest to the focus. Some initial observations include: The streets extend continuously to
positive or negative infinity either horizontally or vertically. Some, but not all of the
parabolas are symmetric with respect to the line through the focus vertex. Intersections
and vertices are always horizontal or vertical from the focus. Many of the variations of
parabolas are a simple rotation or reflection of others. It is these initial observations that
will assist in mapping our trip through parabolas.
Although the number of parabolasT seems huge, the similarities are stronger than
the differences. Let’s begin by taking a look at some parabolas categorized by their
directrix’s slope. There is a graph and initial observations of each case to help get an
overview of the situation.
Case 1: Horizontal directrix,
-2
-4
-6
-8
-5 5
f
figure 33
45
When the focus is plotted to the north the parabola opens up. The streets are
parallel and go forever vertically to the north. The alleys are congruent and have slopes of
±1
2. When the focus is below the directrix a reflection over the directrix results.
Case 2: Vertical directrix
figure 34
The focus is plotted to the east, and the parabola opens easterly. Streets are again
parallel, but horizontally. Slope of the alleys is ±2 , the reciprocal of the horizontal case.
This parabola is a rotation or reflection over the line y = x of case 1. The focus could also
be plotted to the west and result in a reflection over the vertical directrix.
Case 3: Diagonal directrix
4
2
-2
-4
-5 5
46
figure 35 Graphed above with a slope of negative one and a northern focus an interesting
change takes place. The streets are no longer parallel but perpendicular to one another.
Additionally, the arrows have merged into one straight segment, with a slope equal to that
of the directrix. Reflections or 90° rotations would result in variations with southern foci
and/or directrices with slope of ±1 .
Case 4: Non-horizontal, non-vertical, non-diagonal directrix
6
4
2
-2
5 10 15
f
figure 36
Graphed is a parabola with a negative non-steep directrix. Once again positive,
and/or steep slopes are only a reflection away. The streets have returned to their parallel
state. The alleys now become a major point of interest as each has a different slope and
length than its counterpart.
The cases 1 through 3 are the basis for understanding parabolas with the Taxicab
metric. (Those three cases were where my investigation began and would be an excellent
place to begin investigation at the high school level. Those three cases contain a variety
of difficulties in the parabola’s forms. They lend themselves to problem solving for a
47
varied knowledge base. The difficulty can then be raised to case 4) For the purposes of
this paper we will narrow our scope to an in-depth investigation of parabolas with
directrices being non-steep slope and the focus above that given line.
Investigation of case 4: The symmetry has fled the plane.
First, lets consider a formula for the vertex. Let the focus be
xf, y
f( ) and the
distance from the focus to the directrix be called d. In Euclidean geometry we had the
steadfast rule to find the distance which is to be the shortest possible: “The distance from
a line to a point not on the line is the length of the segment perpendicular to the line from
the point.” (Glencoe 159) In Taxicab geometry the shortest distance from a line to a point
not on the line is the length of the segment from the point to the line vertically if the line
is non-steep, horizontally if the line is steep and either horizontal or vertical, since the
distance will be equal, when the line has a slope of ±1 . For special cases of finding
distance to a horizontal line from a point not on the line, we use vertical distance, and in
the case of a vertical line we horizontal distance. We have limited our scope to non-steep
directrices, Therefore the vertex is half the distance d south of the focus.
Conjecture: For parabolas where -1�directrix slope<1, and focus is above the directrix,
the coordinates of the vertex are
xf, y
f-
1
2d
!"#
$%&
.
Second, lets consider a formula for slope of the alleys. During the investigation
into slope, it became apparent that no matter how the construction of the parabola
proceeded, the triangle formed by the alleys and the segment between the intersections
were similar for the same directrix. The movement of the focus dilated the triangle (larger
triangle for greater d), but as long as the slope of the directrix does not change, neither do
48
the angles of the triangle, the orientation of the angles in the plane or the slope of the
alleys.
Conjecture: The triangle formed by the vertex and intersection of streets and alleys are
similar for all directrices with equal slope.
This observation allowed the driver to look at various cases of directrix slope and
generalize. (full chart at end of paper) The investigation began with the slopes
!1
2,
!1
3,
!1
4, and
!1
5. Once the numbers were investigated and written in a similar fashion, a
pattern emerged. A generalization has been written in the bottom row.
Directrix slope Alley mw Alley me
!1
2
!3
4
1
4
!1
3
!2
3
1
3
!1
4
!5
8
3
8
!1
5
!3
5
2
5
m
n
x
n
y
n
chart 2
Conjecture: For parabolas with directix slope ! ±1 , the slopes of the alleys sum to the
slope of the directrix.
49
The following equations have been formulated
x
n+
y
n=
m
n, and
x + y = m . It also
appeared that �x�+�y�=n. With patterns emerging and further investigation, the
following equations for slope emerged.
(3.1)
Mw=
m ! n
2n
(3.2)
Me=
n + m
2n
These slope equations worked well for directrices with rational slopes. For a final
step and confidence in the work thus far, an additional case shall be considered. What if
we have irrational slope?
Irrational example: Directrix with slope
2
4
8
6
4
2
-2
- 4
-10 - 5 5 10
m=2
4
12
2-4,0( )
0,-3
2( )
12
4+ 2,0( )
f
figure 37
50
Alley
w= (slope
w)x + y
f!
1
2d ! (slope
w)x
f= (
m ! n
2n)x + y
f!
1
2d ! (
m ! n
2n)x
f=
(2 ! 4
2(4))x + 0 !
1
2(3) ! (
2 ! 4
2(4))(0) =
(
2 ! 4
8)x !
3
2
similarly,
Alley
e= (slope
e)x + y
f!
1
2d ! (slope
e)x
f= (
n + m
2n)x + y
f!
1
2d ! (
n + m
2n)x
f=
(4 + 2
2(4))x + 0 !
1
2(3) ! (
4 + 2
2(4))(0) =
(4 + 2
8)x !
3
2
SUCCESS! Slope has been found! The driver is happy to not be driving the
wrong direction down a one-way street.
Third, find the intersections of streets and alleys. Intersections are horizontal
from the focus, the investigation continued into the distance measured from the focus to
the intersections,
Directrix slope
Distance d
Distance focus�west
Distance focus�east
Distance w�f�e
!1
2
1
1
2
3
2
1
8
3
!1
2
4
1
8
3
8
1
32
3
!1
3
1
1
3
4
3
2
9
4
!1
3
4
1
12
4
12
2
36
4
!2
8
1
1
4
5
4
3
32
15
!1
5
2
1
10
6
10
4
25
6
m
n
d d
dn
n +1
dn
n !1
dn2
n +1
chart 3
51
It is important to note, as this is a journal of investigation, that the charts have
been written in a form conducive to seeing the desired pattern. The original charts were
neither neat and simple, nor free from errors resulting in often great struggles to find
patterns. (One of the things I liked best was the graphs of Taxicab conics strongly lead
one to believe that there must be a pattern. If students think there is no relationship, they
will discontinue the search.) It never crossed my mind that a pattern was not hidden in the
problem.
Intersections have the following formulas
intersectionW= xf !dn
n +1, yf
"#$
%&'
intersectionE= xf +dn
n !1, yf
"#$
%&'
We know have everything required to complete the task at hand.
Fourth, write formulas for the parabola
Alleys= (slope)x + y
f!
1
2d ! (slope)x
f
Note that since it accounts for the varied slope, the above equation should hold for both
west and east alleys. In addition, this generalization holds for the horizontal directrix,
allowing it to be good for slopes between ±1 .
Using our discovery of intersections to determine the valid domains of the alleys
and equations for the streets. The final formula for a Taxicab parabola with a non-steep
slope and focus above the directrix is as follows.
52
(3.3)
ParabolaT=
Alleyw( ) y =
m! n
2n
"
#$%
&'x + y
f!
1
2d !
m! n
2n
"
#$%
&'x
f, x
f!
dn
n +1( x ( x
f
Alleye( ) y =
m + n
2n
"#$
%&'
x + yf!
1
2d !
m + n
2n
"#$
%&'
xf, x
f( x ( x
f+
dn
n !1
Streetw( ) x = x
f!
dn
n +1, y
f( y <)
StreetE( ) x = x
f+
dn
n !1, y
f( y <)
*
+
,,,,,
-
,,,,,
.
/
,,,,,
0
,,,,,
Though the trip could continue with multiple variations of more specific
equations, we shall brake here. Perhaps a more interesting question is, can a formula be
derived that encompasses all parabolas? We shall leave that question in the rear view
mirror and turn the corner to our next destination.
Formula Summary:
Slope of the west alley of a non-steep parabola with vertex to the north.
(3.1)
Mw=
m ! n
2n
Slope of the east alley of a non-steep parabola with vertex to the north.
(3.2)
Me=
n + m
2n
Parabola with directrix with non-steep slope ±m
n, distance d from the directrix to the focus
x f ,y f( ) .
53
(3.3)
ParabolaT=
Alleyw( ) y =
m! n
2n
"
#$%
&'x + y
f!
1
2d !
m! n
2n
"
#$%
&'x
f, x
f!
dn
n +1( x ( x
f
Alleye( ) y =
m + n
2n
"#$
%&'
x + yf!
1
2d !
m + n
2n
"#$
%&'
xf, x
f( x ( x
f+
dn
n !1
Streetw( ) x = x
f!
dn
n +1, y
f( y <)
StreetE( ) x = x
f+
dn
n !1, y
f( y <)
*
+
,,,,,
-
,,,,,
.
/
,,,,,
0
,,,,,
DESTINATION HYPERBOLAS
“ A hyperbola is the set of all points in a plane whose distances from two fixed points in a
plane have a constant difference. The fixed points are called the foci of the hyperbola.
The line through the foci is the focal axis. The point on the focal axis midway between
the foci is the center. The points where the hyperbola intersects its focal axis are the
vertices of the hyperbola.” (Demana 656) With the Euclidean distance formula the graph
of an ellipse looks so.
figure 38
54
With the Taxicab distance formula the following graph is created.
alley
alley
street
street
street
street
focus
focus
center
N
S
W E
figure 39
Again, for the sake of ease we shall call horizontal and vertical rays of the
hyperbola, streets, while non-horizontal and non-vertical segments shall be called alleys.
Intersections occur at turns. The difference in the distance from any point on the
hyperbola to each focus shall be a > 0 .
Case 1: Center the origin. Foci horizontal
xfW,yfW( ) xf
W,yfW( )
figure 40
55
Visually, and at this point in the trip, it makes sense that the hyperbola has
become two vertical lines. The desired difference from focus to focus occurs somewhere
between the foci (the vertex). Since the foci are horizontal, any movement vertically then
adds to both distances. Focus one –focus two = difference becomes focus one +constant –
(focus two +constant) =difference. With the difference and m=0 Equations for the
situation with W representing the west line and E representing the east are as follows
(4.1)
HyperbolaT
xw= x
fW+
1
2(n ! a)
xE= x
fE
!1
2(n ! a)
"
#$$
%$$
&
'$$
($$
Case 2: focal axis vertical
xfS,yfS( )
xfN,yfN( )
figure 41
Similarly, the equations for a vertical focal axis are as follows
(4.2)
HyperbolaT
yN= y
f N
!1
2(m ! a)
yS= y
fS
+1
2(m ! a)
"
#$$
%$$
&
'$$
($$
56
Case 3: focal axis with slope of ±1
xfS,yfS( )
xfN,yfN( )
figure 42
The slopes of the alleys are –1 the negative reciprocal of the focal axis slope. The
intersections occur horizontally or vertically from the foci. From a point of intersection to
the nearest focus, the distance m + n + d
2
!"#
$%& . With slope and the intersections found the
equation for a hyperbola with focal axis slope of –1, and difference in distances d is as
follows.
(4.3) HyperbolaT
(AlleyS )y = x + y fS + xfS +m + n + d
2
!"#
$%&, xfS ' x ' x fS +
m + n + d
2
!"#
$%&
(AlleyN )y = x + yf N + xfN (m + n + d
2
!"#
$%&, x fN (
m + n + d
2
!"#
$%&' x ' x fN
(StreetE )y = yfE (m + n + d
2
!"#
$%&,x fN < x < )
(StreetN )x = xf N (m + n + d
2
!"#
$%&,y fN < y <)
(StreetW )y = yfS +m + n + d
2
!"#
$%&,) < x < xfS
(StreetS )x = yfS +m + n + d
2
!"#
$%&,) < y < yfS
*
+
,,,,,,,,
-
,,,,,,,,
.
/
,,,,,,,,
0
,,,,,,,,
57
Case 4: non-steep focal axis
xc,yc( )
xf1,yf1( )
xf2,yf2( )
figure 43
The alleys of the hyperbola have slopes of ±1. Additionally the intersections remain
horizontal or vertical from their respective foci. Can the previous formulas be used to
find a new equation for this specific hyperbola? Will the previous equation work as it is
written? What happens if the hyperbola is rotated around the focal axis? These and many
other questions remain to be answered.
Though the road trip in conics may never be complete, this leg of the journey is.
How many more trips need be taken to truly understand Taxicab conics has yet to be
seen. Though this is the passenger’s stop, the driver will continue.
Formula Summary:
Hyperbola with horizontal focal axis with respect to horizontal distance n between foci
x fW , yfW( ) and x fE , yfE( )
58
(4.1)
HyperbolaT
xw= x
fW+
1
2(n ! a)
xE= x
fE
!1
2(n ! a)
"
#$$
%$$
&
'$$
($$
Hyperbola with vertical focal axis with respect to horizontal distance n between foci
x fW , yfW( ) and x fE , yfE( )
(4.2)
HyperbolaT
yN= y
f N
!1
2(m ! a)
yS= y
fS
+1
2(m ! a)
"
#$$
%$$
&
'$$
($$
Hyperbola with a focal axis of –1 with respect to difference d, horizontal distance n and
vertical distance m between the foci x fS , yfS( ) and x fN ,y fN( ) .
(4.3) HyperbolaT
(AlleyS )y = x + y fS + xfS +m + n + d
2
!"#
$%&, xfS ' x ' x fS +
m + n + d
2
!"#
$%&
(AlleyN )y = x + yf N + xfN (m + n + d
2
!"#
$%&, x fN (
m + n + d
2
!"#
$%&' x ' x fN
(StreetE )y = yfE (m + n + d
2
!"#
$%&,x fN < x < )
(StreetN )x = xf N (m + n + d
2
!"#
$%&,y fN < y <)
(StreetW )y = yfS +m + n + d
2
!"#
$%&,) < x < xfS
(StreetS )x = yfS +m + n + d
2
!"#
$%&,) < y < yfS
*
+
,,,,,,,,
-
,,,,,,,,
.
/
,,,,,,,,
0
,,,,,,,,
59
Conclusion
As I read back through my journey, I must admit, a lot of the glow has worn off.
Showing a friend pictures of a vacation, does capture the excitement of the trip.
I wish the reader could have been present when I found the slope for non-steep
alleys of a parabola. I almost laugh now thinking about it. I jumped up from my chair,
(where I likely had been mumbling to myself for hours.) and began to do a bit of a dance
down the hallway, into my son’s room, singing a little song that could have been entitled
“I got the sloooooo-ope.” My son looked at me like I was crazy and yet I continue my jig.
(Fortunately for him he did not have company over.)
If a student of mine feels this elation in solving a problem in my class, I feel the
problem has been successful. One feels the most pride and success from a struggle that
has been overcome. Too often students want us to “just tell them how to do it.” Although
this is an option to solve a problem it is not “problem solving.”
Students (and teachers) often do not have the skills, experience and confidence it
takes to be great problem solvers. It takes an understanding of various strategies that can
be employed in diverse situations. It requires running into roadblocks and having the
confidence and foresight to continue. Problem solving requires the opportunity to
problem solve. Teachers have the ability to offer that opportunity in a safe environment
with support. It is with that opportunity that skills and confidence will emerge.
Many students have spent the majority of their mathematical education being
taught rules and then practicing said rules. I was one of those students all the way through
my undergraduate degree. It was not until the opportunities given to me in my graduate
studies that I can truly say I began to problem solve mathematically. Taxicab geometry
60
has been a chance for me personally to feel what it is like to create math. I knew I could
memorize it, repeat it, learn it, etc. But, it took a different part of me to discover all that I
did in this paper. As I mentioned in the introduction, this work is mine. You see the path
that succeeded written here, what you don’t see is all the wrong ideas, and paths I went
down. It was on those wrong roads that I improved my problem solving skills. It was also
on those wrong paths that I began to understand mathematics so much better.
I can honestly say that my understanding of the basic structure of geometry was
sadly very weak when I was introduced to the Taxicab metric. I was stunned by my first
sketch of a Taxicab circle. That’s not right at all! Was perhaps my first gut instinct. Even
a bit of fear. Don’t tell me everything I know is wrong! My love with mathematics was
based in part on my impression of its concrete nature. My first Taxicab parabola was a
disaster because I was still under the belief that the shortest distance from a line to a point
not on the line was perpendicular. That’s not right at all! As I have traveled through
Taxicab geometry I have had to stop and reevaluate everything. How can you not
understand Euclidean Geometry better with that type of comparing and contrasting. My
geometric understanding has grown beyond belief and the great thing is, now that the
seed is planted, it is still growing.
I promised one of my geometry classes that I would show them some of what I
had been working on for this paper before the end of the year. When the time came about
a month before the end of the school year, I was very anxious that showing them this new
metric, for fear that it would confuse them. Not only did it not confuse them, the class
ended up having an incredible discussion on congruency. This was not the direction that I
had expected. It began with kids coming up with all sorts of ideas. Soon a student came
61
up and sketched a triangle that had all sides with equal length as measured with the
Taxicab metric. Then the argument came to whether or not that was an equilateral
triangle. Soon kids were quickly looking up definitions in their books, trying to defend
their position. They quickly found the sides needed to be congruent. Back to the books
they went. We ran out of time that day and I agreed that we would come back to the
discussion the next day. So, they were told, they should be prepared to defend their
positions. Defend their positions, they did. The conversation continued the next day and
got brought up at various times during the rest of the school year. Taxicab geometry has
this awesome property of being catchy. To my surprise, it never seemed to confuse them
at all, just the opposite, it seemed to clarify.
It takes a certain level of mathematical strength and confidence to be comfortable
in taking a new path or in allowing students to travel down their own path and take you
on their trip rather than the other way around. Taxicab geometry has the ability to
encourage problem solving. Create a deeper understanding of the structure of
mathematics (geometry). Allow students to use the language the have acquired in
mathematics to communicate their personal ideas. Broaden their view of what math is
and what it can do..
In closing let me just say, for yourself and your students,“Take the road less traveled.”
JAUNT 1: METRICS
The Taxicab metric is only one metric in a sea of metrics. If the Taxicab metric can be
defined to measure only horizontally and vertically, and the Euclidean metric is as the
crow flies, there must be other metrics. (Students may not realize that we often use other
62
metrics everyday. For example, the distance d(P,Q) = Q ! P for real numbers on the
number line. Yes this could be considered a subset of the Euclidean metric, but it is its
own metric, in its own space.) Indeed there are many others. Including one tied to a
game, and one with connections to computer science.
Consider the game of chess. Each piece moves according to a specific rule. The
rook for example moves somewhat like the taxicab metric, forwards or backwards, right
or left, essentially only at right angles. Bishops can only move diagonally. With this
movement there are actually spaces on the board that a bishop cannot reach. For example
a bishop on black squares can’t occupy a white square. The king can move one space per
turn onto any square adjacent his position. It is the moves of the king that that are related
to a metric called the Chebyshev distance, or chessboard distance. “ In mathematics the
Chebyshev distance is a metric defined on vector space where the distance between two
vectors is the greatest of their differences along any coordinate dimension.” Interestingly,
Chebyshev circles are also squares, similar to Taxicab circles, but the sides lay parallel to
the axes.
The Levenshtein (character edit) distance, measures the dissimilarity of two
strings P and Q. distance is considered to be the number of deletions, substitutions, or
insertions that area needed to transform on string into the other. (Gilleland)
An example of this distance would be
if P = word( ) and Q = word( ) , Then d(P,Q) = 0 .
This is due to the fact that they are the same word . Therefore no deletions, substitutions
or insertions are necessary. While
if P = word( ) and Q = work( ) , Then d(P,Q) = 1
63
It will take the one substitution of the letter d for the letter k to make the words identical.
As the distance in strings increase the possibilities also increase. For example, consider
the following. Let P and Q be actual words in the English dictionary.
If P = pot( ) and, d(P,Q) = 1 , then what is Q ?
Option: Let the first letter be incorrect. Some possible answers could be tot, lot, or dot.
Option: Let the middle letter be incorrect. Some possible answers could be put, pit or pat.
Option: Let the last letter be incorrect. Some possible answers could be pod, pog, or pop.
This is not all the options available, you must also consider the options of adding or
deleting a letter. For example, Q could be post or spot.
This seems like a lot of options but manageable. Now consider the following.
If P = pot( ) and, d(P,Q) = 2 , then what is Q ?
The possibilities just became enormous.
(I chose this metric due to my belief that it has the possibility of being very strong
for the classroom. It is easily understood. Can be made simple or challenging for
advanced students. It could be used in combination with matrices as a way of organizing
data. Additionally it has multiple real life applications to interest students in our
technological based world.)
This metric has been used in applications such as spell checking, speech
recognition software, DNA analysis and in the software used to detect plagiarism.
(Gilleland)
(There are many metric mentioned in mathematics literature. Consider finding ones that
will interest your students or fits with your curriculum.)
64
JAUNT 2: THE TRIANGLE INEQUALITY THEOREM
(Euclidean metric)
A
CB
Given: !ABC , Prove: The Triangle Inequality Theorem AB < AC + BC
To begin we shall construct CD so that AC ! CD . Consider D to be a point collinear to
points B and C and C shall be between B and D . AD can also be constructed because
any two points determines a line.
D
A
CB
!ACD is an isosceles triangle, therefore < CAD !<CDA (base angles) and their measures
are equal. m < BAC +m < CAD = m < BAD , by the angle addition postulate. Substituting
the equivalent angle measure of < ADC for that of < CAD , results in
m < BAC +m < ADC = m < BAD . Because it takes the positive m < BAC to make
m < ADC equal to m < BAD it follows that m < ADC <m < BAD (definition of
inequality). Longer sides of triangle are across from larger angles therefore,AB < BD .
Using the segment addition postulate BC + CD = BD and therefore AB < BC + CD . A
final substitution and AB < BC + AC .
65
JAUNT 3: RIGHT TRIANGLES
Any right triangle with a leg oriented horizontally using the Taxicab distance
formula will satisfy the following equation.
a+b=c
This is based on the fact that the legs are both horizontally and vertically oriented and so
the measurement of the hypotenuse can be measured along the path of the legs.
A right triangle with a horizontal hypotenuse has the following properties
i) A short leg with vertical distance m and horizontal distance n has
a length m + n .
ii) The long leg with respect to the short leg has a length
m
n
!"#
$%&m +
m
n
!"#
$%& n or equivalently m
2
+ mn
n
iii) The hypotenuse with respect to the short leg has a length
n +m
n
!"#
$%&m or equivalently n
2
+ m2
n
Similar to special Euclidean triangles, the length of the other two legs can be
determined by the short leg. These formulas could also be rewritten in terms of any side
of a right triangle with the hypotenuse horizontal, or be rewritten in terms of the
hypotenuse being vertically oriented.
JAUNT 4: CONGRUENCY
Congruent !( ) : Having exactly the same size and shape. (Geometry to go 450) In
Euclidean geometry it is enough to know that segments have the same length.
66
AB = CD iff AB ! CD . This does not hold true in Taxicab geometry. The following are
examples of segments with a Taxicab distance of ten.
6
4
2
-2
-10 - 5 5 10
figure 45
Although they all have equal lengths, the shape of each segment is not the same. Hence,
in Taxicab geometry the size and shape must both be taken into consideration. For
segmentsT to be congruent the following must be true
x
P! x
Qand
y
P! y
Qare equal.
This satisfies that the segmentsT are the same shape and also that the addition of the two
for d
TP,Q( ) = x
P! x
Q+ y
P! y
Qwill also be true resulting in equal distance. (This was
a great revelation to my students as to why congruency and equal lengths are not the
same thing.)
JAUNT 5: RIGID MOTION
Area does not change with rigid motion. “The rigid motions (congruent
transformations) are transformations in space or in a plane, in which the original figure
and its image are congruent.” (Newman 374)
67
For Euclidean geometry in a plane these include
1. Parallel displacement or translation
2. Rotation about a point
3. Transformations obtained by successive translations and rotations
Adding in rigid motion is space
1. Parallel displacement or translation
2. Rotation about a straight line
3. Transformations obtained by successive applications of transformations of
types 1, 2. (Newman 375)
(In more k-12 classroom friendly terms: a slide, flip or turn or similarly a
translation, reflection or rotation.) How do these isometries apply in Taxicab
geometry?
A Translation or slide preserves congruency. Since the segments in a
figure slopes remain fixed with respect to the axes. Below is an example of a
translation seven horizontal and four vertical. 6
4
2
-2
- 4
- 5 5
C'
B'
A'
C
A
figure 46
68
A reflection in Taxicab geometry is another story
2
-2
- 4
- 5 5
A'
C'
B'B
C
A
figure 47
It is true that the image of a figure reflected across a horizontal or vertical line remains
congruent to the original figure (figure 47). While the reflection of an image across a
non-horizontal or non-vertical line may not be congruent. When the angle of segments in
Taxicab geometry are changed we have the possibility of changing the distance between
points. The length of a segment is dependent upon its slope and placement in the plane.
- 5 5
4
2
-2
- 4
B'
C'
A'
A
C
B
figure 48
A rotation does not preserve congruency (unless though a multiple of right
angles). Although a rotation preserves the shape of segments, when the slope of a
segment changes the length also changes.
69
JAUNT 6: QUADRATICS
Euclidean Quadratics can be looked at in the following flow chart.
Square
Isosce lesTrapezoid
RhombiRectangles
TrapezoidsParallelograms
Quadralateral
figure 49
Let us consider each in turn.
“Quadrilateral: A polygon with four sides. (Geometry to go 156)
The definition of a polygon is “ A closed figure formed by a finite number of
coplanar segments called sides such that the sides that have a common endpoint are non-
collinear and each side intersects exactly two other sided, but only at their endpoints.”
(Glencoe R22). There does not appear to be any discrepancies in the definition of a
polygon to cause difficulties. Distance is not a factor and therefore quadrilaterals are the
same in Euclidean and Taxicab geometry.
“Trapezoid: A quadrilateral with exactly one pair of parallel sides” (Geometry to go 165)
What is parallel? Parallel lines are coplanar and never intersect. This is dependent
upon slope and slope is calculated with horizontal and vertical components and is
equivalent in both of our geometries.
“Isosceles Trapezoid: A trapezoid with congruent legs.” (Geometry to go 134)
70
Once again the important distinction of congruency has saved the day. If the
definition of isosceles trapezoid stated that the length of the legs were equal, we would
have a difference (figure 50) , but fortunately our traditional notion holds strong.
4
2
5
figure 50
“Parallelogram: A quadrilateral in which both pairs of opposite sides are parallel”
(Geometry to go 157)
Again the definition of parallel has to do with placement in the plane which holds
true for Taxicab metric.
“Rectangle: A quadrilateral with four right angles.” (Glencoe R22)
In the original definition of Taxicab geometry, we stated that angles are measured
the same in both Euclidean and Taxicab geometry.
Rhombi: A quadrilateral with four congruent sides.” (Glencoe R24)
Congruency requires a same size and shape. Our definition and original concept
of rhombi holds true.
“Square: A quadrilateral with four right angles and four congruent sides.” (Glencoe R26)
Since both rectangle and rhombi hold strong the combination of the two also does.
We must add an addition to our list of quadrilaterals. A circle.
A circle is a quadrilateral with four right angles and four congruent sides with vertices
horizontal and vertical from the center. Our flow chart now appears thus.
71
Circle
Square
Isosce lesTrapezoid
RhombiRectangles
TrapezoidsParallelograms
Quadralateral
figure 51
JAUNT 7: AREA LIMITS
Partitioning and limits allow the area of various figures to be determined. A simple figure
such as a triangle in the first quadrant can be partitioned into rectangles of equal width
and varied height. 8
6
4
2
5
figure 52
72
Note that although the triangle’s side is neither horizontal nor vertical the
rectangles sides are. The area for the sum of rectangles can be written as
(height )(width)!
f (mi)!xi=1
n
"
With a and b the endpoints of width and n the number of partitions,
mi= a +
b ! a( ) i !1( )
nis the right endpoint of the ith rectangle,
f a +b ! a( ) i !1( )
n
"#$
%&'
is the height of each rectangle and,
!x =b " a
nis the width of each rectangle.
Our formula now becomes
f a +b ! a( ) i !1( )
n
"#$
%&'b ! ani=1
n
(
For our specific example with f (x) =!3
2x + 6 that sum would be
!32
0 +(4 ! 0) i !1( )
4
"#$
%&'+ 6
"#$
%&'(1)
i=1
n
(
!32
i !1( ) + 6"#$
%&'
i=1
n
( =
!321! 1( ) + 6
"#$
%&' +
!322 ! 1( ) + 6
"#$
%&' +
!323 !1( ) + 6
"#$
%&' +
!324 !1( ) + 6
"#$
%&' =
15
This can be adjusted to account for rectangles of smaller and smaller width. For
example allowing the partitions to increase to sixteen changes the figure to
73
6
4
2
5
figure 53
The area of the rectangles approaches the area of the figure itself. As the number
of partitions increases to infinity, the area of the rectangles becomes equal to that of the
triangle.
Area of congruent figures does not change between Euclidean distance formula
and Taxicab distance as the limit of the area is equal.
JAUNT 8: HIGHSCHOOL
The high school classroom is filled with individuals with varying mathematical
strengths. The topics touched on in a simple idea such as the parabola has far reaching
notions. This type of activity has the ability to reach students of differing abilities and
strengths. Based on the level of students this could be an open-ended activity, as is being
performed here, or it could be carefully directed for the individual needs of the student.
This has the potential to be a strong group activity. If each student creates one or two
parabolas, the charts for an in-depth search could come together quickly with everyone’s
participation. Other topics that could be investigated:
74
� Conics are results of a plane intersecting with a cone. Is conics still a reasonable
name with the Taxicab metric?
� Is there an object that the Taxicab conics (if they may be called that) are sliced out
of with a plane rather than a cone?
� What if we applied the Taxicab metric on sphere? (driving on the earth)
� Consider what arc length would mean on a Taxicab circle or ellipse.
� What would a Taxicab ellipsoid, look like? What about its volume? What about
Surface area?
� What if you can’t cut between blocks? (In other words you are restricted to unit
roads. Where should road blocks be set up in a 5 mile perimeter?)
� Could a tool be written in Geometers sketchpad for Taxicab distance?
� Can we find a strategy for finding the area under a Taxicab parabola?
(Integration?)
� Could we convert our ideas/equations into polar coordinates?
� Do the Congruency Theorems for triangles still hold with the Taxicab metric?
(SSS, SAS?)
The questions and expansion seems endless. These and numerous other ideas could
be addressed in the secondary classroom. Though the driver herself does not have the
answers to all of these questions, as was explained in the beginning, it is an investigation
and a journey, as it should be for the students. We can learn as much from our students as
they do from us, if we all just open our minds.
JAUNT 9: ACTIVITIES
75
Metrics Name_______________________________
1. Sketch points P(5, 4) and Q(1,2) .
-10 - 5 5 10
6
4
2
-2
- 4
- 6
2. Find the distance (Euclidean) between points.
3. Find the distance between the points if you can only move horizontally and/or vertically.
4. Give an example/describe a situation when measurement would be more accurate using problem three’s measurement?
5. Give an example of when measurement would be more accurate using problem two’s measurement?
6. If one point is x1,y1
( ) and the other is x2, y
2( ) . Write a formula for your new
distance formula measuring only horizontally and/or vertically.
7. Use your formula to find the distance between points R(-2,4) and T(6,-5). Verify your answer graphically.
76
8. Seth and Thad are looking for an apartment within walking distance of Seth’s job and Thad’s college. Let the coordinate for Seth’s job be J(6,2) and the coordinate for Thad’s college be C(-2,-4). They would like to find an apartment where both walk an equal distance that is as short as possible. Graph the possibilities (Using horiz/vert distance).
- 5 5 10
2
-2
- 4
9. After a week of not finding a place to live, Seth and Thad decide to extend their search. They still want to have equal walking distance for each of them, but will not require a minimum distance to each destination. Graph the possibilities.
- 5 5 10
2
-2
- 4
77
10. Since Thad has classes morning and evening he will have to walk from home to classes more than once a day. Seth says they should still get an apartment as close as possible to both work and school, but that he would be willing to walk further than Thad, as he only walks to work once a day. Graph the possibilities.
- 5 5 10
2
-2
- 4
11. Assume for this final situation, that Seth and Thad can walk directly to work or school, without sticking to horizontal or vertical paths. How would this change problem 10? Graph the possibilities.
- 5 5 10
2
-2
- 4
78
Taxicab metric Name_______________________________ Let all work use the Taxicab distance formula dT = x
2! x
1+ y
2! y
1
1. Plot G(-4, 1). Plot all points that are a distance of 4 units from G. What type of
figure is it?
-10 - 5 5 10
6
4
2
-2
- 4
- 6
2. Plot the points A(1,1), B(5,1), C(5,5) and D(1,5), What kind of figure is it? 3. Write an equation for perimeter of problem 2 with respect to its side length. 4. Write two equation for perimeter of problem 1, one with respect to its side and one w.r.t. its radius. 5. Write an equation for area of problem 2 with respect to its side. 6. Write two equation for area of problem 1, one with respect to its side and one w.r.t. its radius.
79
7. A builder wants to construct a gas station within six blocks of the school and within four blocks of the grocery store. If the school is at S(-3,0) and the grocery store is at G(2,2). Graph the area in which the builder should locate the station.
-10 - 5 5 10
6
4
2
-2
- 4
- 6
8. There are three schools in a large city. Larson school is located at L(-4,3), Clark School at C(2,1) and Swanson school at S(-1,-5). Graph in school boundaries such that each student is attending the closest school to their home.
-10 - 5 5 10
6
4
2
-2
- 4
- 6
80
9. An additional school (Good School) is built at G(2,5). Redraw the school boundaries.
-10 - 5 5 10
6
4
2
-2
- 4
- 6
10. What type of 3 dimensional figure is created if you spin a circle on its diameter? graph the possibilities.
81
Taxicab Parabolas Name_______________________________ dE = (x
2! x
1)2+ (y
2! y
1)2 and dT = x
2! x
1+ y
2! y
1
1. Prove d
E! d
Tanalytically. Explain when it is less than, and when it is equal.
2. A parabola is created graphically according to distance. A parabola is all points equidistant from a line called the directrix and a point called the focus. Graph A parabola using d
E given directrix y=-4 and focus f(0,0).
4
2
-2
- 4
- 5 5 10
3. Write an equation for the above parabola.
82
4. Graph A parabola using dT
given directrix y=-4 and focus f(0,0).
4
2
-2
- 4
- 5 5 10
5. Write an equation for the parabola. 6. Graph A parabola using d
T given directrix y=-x and focus f(2,2).
4
2
-2
- 4
- 5 5 10
7. Write an equation for the parabola
83
8. Investigate triangles below. Choose at least two topics. Some topics may be, but are not limited to, equilateral, equiangular, isosceles, and/or right triangles, perimeter, area, special formulas…
4
2
-2
- 4
- 5 5 10
9. Results? Equations? Further ideas for investigation?
Homework adapted and aided by Taxicab Geometry by Eugene F Krause.
84
CHARTS
2a=sum distance from any point on an ellipse to each focus.
d=distanceT between foci.
m=the vertical distance between foci.
n=the horizontal distance between foci..
l=the distanceT between the foci and the nearest point P on the ellipse. (also may
referred to as the length of the leg of isosceles triangle)
! = the angle to the first vertex counterclockwise from the positive x-axis
! = the angle to the second vertex counterclockwise from the positive x-axis
Ellipse chart
2a d m n m/n l ! !
4 2 0 2
0
2 1 NA NA
6 4 0 4
0
4 1 NA NA
8 6 0 6
0
6 1 NA NA
6 2 0 1
0
1 2 NA NA
85
6 4 0 4
0
4 1 NA NA
8 4 2 2
2
2 2
tan!1 1
3
"#$
%&'
tan!1 3
1
"#$
%&'
12 9 3 3
3
3 2
tan!1 2
4
"#$
%&'
tan!1 4
2
"#$
%&'
16 12 6 6
6
6 4
tan!1 3
5
"#$
%&'
tan!1 5
3
"#$
%&'
11 7 3 4
3
4 2
tan!1 1
2
"#$
%&'
tan!1 2
1
"#$
%&'
9 5 4 1
4
1 2
tan!1 2
2.5
"#$
%&'
tan!1 4
.5
"#$
%&'
15 7 6 1
6
1 4
tan!1 .5
7
"#$
%&'
tan!1 4.5
3
"#$
%&'
10 6 2 4
2
4 2
tan!1 1
4
"#$
%&'
tan!1 3
2
"#$
%&'
12 8 2 6
2
6 2
tan!1 1
5
"#$
%&'
tan!1 3
3
"#$
%&'
86
18 10 2 8
2
8 4
tan!1 1
8
"#$
%&'
tan!1 5
4
"#$
%&'
24 16 8 8
8
8 4
tan!1 4
8
"#$
%&'
tan!1 8
4
"#$
%&'
20 12 4 8
4
8 4
tan!1 2
8
"#$
%&'
tan!1 6
4
"#$
%&'
Parabola chart
Directrix slope
Distance f�dx
Alley mw
Alley me
Distance f�w
Distance f�e
Distance w�f�e
!1
2
1
1
!3
4
1
4
2
3
2
1
8
3
!1
2
2
1
!3
4
1
4
4
3
4
1
16
3
!1
2
3
1
!3
4
1
4
6
3
6
1
24
3
!1
2
4
1
!3
4
1
4
8
3
8
1
32
3
!1
3
1
1
!2
3
1
3
3
4
3
2
9
4
!1
3
2
1
!2
3
1
3
6
4
6
2
18
4
!1
3
3
1
!2
3
1
3
9
4
9
2
27
4
!1
3
4
1
!2
3
1
3
12
4
12
2
36
4
!2
8
1
1
!5
8
3
8
4
5
4
3
32
15
!2
8
2
1
!5
8
3
8
8
5
8
3
64
15
87
!2
8
3
1
!5
8
3
8
24
10
24
6
32
5
!1
5
1
1
!3
5
2
5
5
6
5
4
25
12
!1
5
2
1
!3
5
2
5
10
6
10
4
25
6
m
n
d
x
n
y
n
dn
n +1
dn
n !1
dn2
n +1
88
BIBLIOGRAPHY
Demana, Franklin D. Precalculus: Graphical, Numerical, Algebraic, Addison Wesley,
Boston. 2007.
Encarta. Microsoft Corportation. Redmond, WA 1993-2003.
Geometry. Glencoe Mathematics. New York, New York. 2005.
Geometry To Go. Great Source Education Group. Houghton Mifflin Company.
Wilmington MA. 2001.
Gilleland, Michael. Levenshtein Distance, in Three Flavors. Merriam Park Software.
Krause, Eugene F. TAXICAB GEOMETRY, An adventure n Non-Euclidean Geometry.
Dover Publications, Inc. New York. 1975.
Larson Roland E. Calculus with Analytic Geometry. Sixth edition. Houghton Mifflin Co.
New York. 1998.
Newman, James R. The Universal Encyclopedia of Mathematics. Simon and Schuster.
New York. 1964.
Reinhardt, Chip. Taxi Cab Geometry: History and applications. The Montana.
Webster,s New World Dictionary. Third College Edition. Prentice Hall. New York.
1991.
Wikipedia, The free encyclopedia. Metric Space. May 30, 2007.
89
What people are saying about Taxicab Geometry
“Spectacular! The ride of a lifetime!”
Tara Clark S.P.H., O.H.S.
The immortal Lou Erickson once said, “Life is like a taxi. The meter just keeps a ticking
whether you are getting somewhere or just standing still.”
Michael Good, A.O.K., O.H.S.
“What is said in Calculus, stays in Calculus!”
“You don’t want to miss this ride.”
Stephanie Haberer
“ The road to hell is thick with Taxicabs.”
Don Herald (U.S. Cartoonist and humorist 1889-1966)
Recommended