# General inverses in 2-D, 3-D, applications inspired by technology.

AbstractWe first generalize the concept of inverse images with respect to the line y = x to the inverse images with respect to y = mx + b, and we extend the idea to three dimensions. Next, we find the reflection of a point on curve [C.sub.1] with respect to a moving point P on [C.sub.2]: We find the locus of the point P, which links to the concept of orthotomic and caustic curves. The concepts can be extended to the corresponding ones in 3-D. It is interesting to see how technological tools have prompted us to relate Mathematics to similar concepts used in Physics.

1 Introduction

With the aid of [ClassPad] we find the inverse of a curve with respect to a general line of the form y = mx + b. If the software can simulate the appearance of the reflection curve (as can been seen from section 1.1), then its equation must exist, and if discovered, can be extended to a corresponding result in 3-D. The derivation is explained in Section 1.2. We next find the reflections of a point P on a curve [C.sub.1] with respect to all tangents of another curve [C.sub.2] and investigate its locus. It turns out the locus is the orthotomic curve of [C.sub.2] relative to P and the evolute of the orthotomic curve is called the caustic. We describe how we extend the 2-D findings described in section 2 regarding orthotomic and caustic curves to the corresponding ones in 3-D in section 3.

1.1 Motivations

We want to find the reflection of y = [square root of x] + 1 with respect to y = x + 2. We refer to this as the general inverse for y = f(x) with respect to y = mx + b: We explore this finding by using [ClassPad].

1. First sketch y = [square root of x] + 1 and y = x + 2.

2. Pick a point A on y = [square root of x] + 1 and construct the corresponding point A' that is symmetric to A with respect to y = x + 2:

3. The trace of A' is shown in Figure 1 and we would like to find the equation for the trace of A'.

[FIGURE 1 OMITTED]

4. We summarize above and motivation of deriving some results in this paper in this video clip, see [8]. The corresponding ClassPad eActivity can be found in [9].

Solution:

* Assume the general case for finding the inverse of [x(t), y(t)] with respect to y = mx + b.

* Set [theta] = [tan.sup.-1]m.

* We denote the reflection of [x(t), y(t)] with respect to y = mx + b by [p(t), q(t)].

* We shall derive the following later in section 1.3.

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (1)

First, Let us refer to some examples.

Example 1 Find the reflection of [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] with respect to y = 2x + 1:

We set [theta] = [tan.sup.-1] 2 and b = 1 in (1) (with ClassPad) to obtain [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] to be

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (2)

We plot [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (thick) together with [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (thin) below:

[FIGURE 2 OMITTED]

Example 2 Find the reflection of the Hypocycloid [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (when a = 3 and b = 1) with respect to y = 2x + 1.

We set [theta] = [tan.sup.-1] 2 and we obtain [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] to be

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (3)

we plot [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (thick) together with [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (thin) below:

[FIGURE 3 OMITTED]

1.2 General inverse with respect to a plane

We begin by finding the reflection (denoted by [p(t), q(t), r(t)]) of a parametric curve [x(t), y(t), z(t)] with respect to a plane P passing through the origin ax+by+cz = 0. The normal vector of the plane P is denoted by n = (a, b, c).

We first split the vector v (from the origin to (x(t), y(t), z(t))) into its components which are normal to the plane (denoted [v.sub.[perpendicular to]P]) and parallel to the plane (denoted [v.sub.[parallel]P]), in other words, v = [v.sub.[perpendicular to]P] + [v.sub.[parallel]P]): We note that [v.sub.[perpendicular to]P] is the orthogonal projection of v on the normal vector n = (a, b, c). Then the reflection of [x(t), y(t), z(t)] is

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (4)

We have proved the following:

Theorem 3 Let S be a surface represented by [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. The reflection of S with respect to the plane

ax + by + cz = 0 is given by

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (5)

The same concept also works for finding the reflection of a parametric surface with respect to an arbitrary plane, ax + by + cz = d. We simply need to make minor adjustment in equation (4) as follows:

Theorem 4 Let S be a surface represented by [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] and (0, 0, d/c ) be the z--intercept of the plane

P : ax + by + cz = d: Then the reflection of S with respect to P is given by

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (6)

1.3 General Inverses in 2-D

We demonstrate that the 3-D formula (6) does reduce to (1) in 2-D.

When c = 0, a plane equation ax + by + cz + d = 0 becomes a line of the form ax + by + d = 0. The slope of this line is -a/b. Therefore, we set [theta] = [tan.sup.-1](-a/b) and we have

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (7)

By using the y--intercept (0, -d/b) of the line ax + by + d = 0 and (6), we obtain the general inverse [p(t), q(t)] of [x(t), y(t)] with respect to the line ax + by + d = 0 (i.e., [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]:

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (8)

which coincides with the reflection of [x(t), y(t)] with respect to a line y = mx + b in equation (1).

1.4 General Inverse Examples in 3D

We apply (6) on Steiner's Roman Surface of the form [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

with t [member of] [0,2[pi]] to fine the reflection of [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] with respect to the plane ax + by + cz = 0. The result is shown as follows:

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (9)

We use the following example to demonstrate

Example 5 Let the surface S be the Roman Surface represented by [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. Then the reflection of S with respect to the plane x + y + 2z = 1 is [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

We demonstrate the surfaces of S, its reflection, and x + y + 2z = 1 as in Figure 4. Please see [10] for detailed computations. [FIGURE 4 OMITTED]

2 Generalizations in 2-D, orthotomic and caustic curves

It is reasonable to discuss the formula for the reflection of a curve [C.sub.1] = [[x.sub.1](t), [y.sub.1](t)] with respect to a parametric curve [C.sub.2] = [x(s), y(s)], which we denote it by [p(s, t), q(s, t)]: Fixing a point on [C.sub.1] (i.e., fixing the value of t), we want to find the locus [p(s, t), q(s, t)] of the reflections of [[x.sub.1](t), [y.sub.1](t)] with respect to [C.sub.2] (i.e., with respect to all tangents of [C.sub.2]).

We recall the general inverse [p(t), q(t)] of [x(t), y(t)] with respect to a line ax+by+d = 0 (i.e., [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] to be

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (10)

where [theta] = [tan.sup.-1] -a/b=[tan.sup.-1]m.

Let (x([s.sub.0]), y([s.sub.0])) be a point on [C.sub.2]. Since the slope m of the tangent line to [C.sub.2] at (x([s.sub.0]), y([s.sub.0])) can be expressed by dy/dx|x=[s.sub.0]. The tangent line equation to [C.sub.2] at (x([s.sub.0]), y([s.sub.0])) is

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (11)

To describe the locus for [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] as t is t is fixed, we think of [s.sub.0] as the variable s. By (10), we can write

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (12)

For the rest of the paper, a curve [C.sub.3] that is the reflection of a curve [C.sub.1] with respect to a curve [C.sub.2] at a point P [member of] [C.sub.2] is equivalent to a curve [C.sub.3] that is the reflection of a curve [C.sub.1] with respect to the tangent line to [C.sub.2] at a point P [member of] [C.sub.2]. In summary, we have the following

Theorem 6 Let [C.sub.1] = [[x.sub.1] (t), y1(t)] and [C.sub.2] = [x(s), y(s)] be two smooth curves. If [C.sub.3] = [p(s, t), q(s, t)] is the reflection of [C.sub.1] with respect to [C.sub.2]. Then

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (13)

2.1 Orthotomic curves

We have geared our discussion into the field of optics. An orthotomic curve is the set of reflections of a given point O with respect to all the tangents of a given curve not passing through O. In other words, assume we are given a light source O at a point on [C.sub.1] = [[x.sub.1] (t), [y.sub.1] (t)]. Then the locus of the reflections of O about [C.sub.2] is the orthotomic curve of [C.sub.2] relative to O. We mention the following observations and omit their proofs. Instead, we use examples and technological tools to explore these observations and to demonstrate how evolving technological tools allow us to quickly expand our learning horizons to applications.

Theorem 7 Let [C.sub.1] = [[x.sub.1](t), [y.sub.1](t)] and [C.sub.2] = [x(s), y(s)] be two smooth curves, and [C.sub.3] = [p(s, t), q(s, t)] is the reflection of [C.sub.1] with respect to [C.sub.2]. Then the mapping of ([x.sub.1] (t), [y.sub.1](t)) [right arrow] [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] is continuous on [C.sub.1] (The proof can be obtained from its 3-D case in the Appendix section.)

We mention the following observations and omit their proofs. Instead, we use two examples and technological tools to explore these observations and quickly expand our learning horizons to applications.

Theorem 8 Let [x(s), y(s)] be a regular parametric plane curve of class [C.sub.3], and P be a point which is not a point of [x(s), y(s)], and the tangents of [x(s), y(s)] do not pass through P. Then the orthotomic curve of [x(s), y(s)] relative P has a cusp at s = [s.sub.0], if and only if [x(s), y(s)] has an infection point at s = [s.sub.0].

We also make the following observations:

Remark 9 Let the point P [member of] [C.sub.1] [intersection] [C.sub.2]. Then the reflection of P with respect to [C.sub.2] at the point P is P itself.

Remark 10 Let P be a point lie on both [C.sub.1] and the tangent line to [C.sub.2] at a point Q. Then the reflection of P with respect to the curve [C.sub.2] at the point Q is P itself.

Remark 11 If a curve [C.sub.1] is symmetric to [C.sub.2] with respect to a tangent line to [C.sub.2] at a point Q, then the reflection of [C.sub.1] with respect to [C.sub.2] at the point Q is [C.sub.2].

Example 12 We refer to Figure 5 below, where [C.sub.1] = [[x.sub.1](t), [y.sub.1](t)] = [2 cost-cos 2t, 2 sin t-sin 2t], t [member of] [0, 2[pi]] (shown in blue cardioid on the left), and [C.sub.2] = [s, f(s)] = [s, [(s-2).sup.2] (s-1)(s+1)] (shown in green). We set [C.sub.3] = [p(t), q(t)] to be the reflection of [C.sub.1] with respect to the tangent line to [C.sub.2] at a point A (i.e. at a fixed s): Then:

(1) For a fixed point C on C1 (light source at a point on C1), the orthotomic curve of [C.sub.2] relative to C is shown in black, which can be experimented by using [Geometry Expression] (See [11) and verified by using [Maple] (See [12]).

[FIGURE 5 OMITTED]

(2) Picking another point B on [C.sub.1], we obtain another orthotomic curve (shown in orange in Figure 5). We observe the following behavior, the proof can be found in Appendix.

As B approaches C, the orange orthotomic curve approaches the black orthotomic curve.

(3) The sharp corner (cusp) of the black orthotomic occurs at the inflection point of [C.sub.2]: This can be experimented with [Geometry Expression]. Detailed proof can be found in [4].

Example 13 Let [C.sub.1] = [[x.sub.1] (t), [y.sub.1] (t)] = [2 cos t - cos 2t, 2 sin t - sin 2t], t [member of] [0, 2[pi]], and [C.sub.2] = [s, f(s)] = [s, (sin s) - 2]. We set [C.sub.3] = [p(s, t), q(s, t)] to be the reflection of [C.sub.1] with respect to [C.sub.2]. See the graph below.

[FIGURE 6 OMITTED]

Then

(1) for a fixed point C on [C.sub.1] (light source at a point on [C.sub.1]), the orthotomic curve of [C.sub.2] relative to C is shown in black in Figure 6. Experimentation with this idea is done by using [Geometry Expression] (see [13]) and verified by using [Maple] (see [14]). We describe here how we find the orthotomic curve of [C.sub.2] when we fix a light source at a point on [C.sub.1]. We let [[x.sub.0], [y.sub.0]] = [[s.sub.0], (sin [s.sub.0]) - 2] be a point on [C.sub.2], then the tangent line equation for [C.sub.2] at each ([x.sub.0], [y.sub.0]) is:

y = (cos [s.sub.0]) x + (sin [s.sub.0]) - 2 - (cos [s.sub.0])[s.sub.0].

Now we will think of [s.sub.0] as a variable s and notice that the slope is cos s so

[theta] = [tan.sup.-1] (f'(s)) = [tan.sup.-1](cos(s))

and the y--intercept is

[f(s)-f'(s)*s] = (sin s)-2-(cos s) s.

We can write

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (14)

or

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (15)

(2) Picking another light source B on [C.sub.1], we obtain another orthotomic curve (shown in orange in Figure 6). We observe the following behavior, the proof can be found in Appendix.

As B [right arrow] C, the orange orthotomic curve [right arrow] the black orthotomic curve.

(3) The sharp corner (cusp) of the black orthotomic occurs at the infection point of [C.sub.2]. We can use [Geometry Expression] to experiment with this result. Detailed proof can be found in [4].

2.2 Caustic curves

We now describe how orthotomic curves are used in physics and explore how technological tools accelerate the learning process. In differential geometry, a caustic is the envelope of rays either reflected or refracted by a manifold. It is related to the optical concept of caustics. The evolute of a curve C is the set of all its centers of curvature. It is equivalent to the envelope of all the normals to C. The evolute of a parametrically defined curve [x(t), y(t)] (see http://en.wikipedia.org/wiki/Evolute) is described by:

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (16)

Alternatively, given an curve r(t), its evolute is described by

e(t)=r(t)+n(t)/k(t), (17)

where n(t) is the normal vector and k(t) is the curvature of the curve at r(t), respectively.

To find the caustic generated by rays reflected by a curve C from a light source O (caustic of C relative to O) is equivalent to finding the evolute of the orthotomic of C relative to O. We explore the caustic curve by using the evolute of the orthotomic, applying equation [16] and with the help of [Maple] in the following examples.

Example 14 We choose a light source O on a circle [C.sub.1] = [2+2 cos t, 2+2 sin t] and given an ellipse [C.sub.2] = [2 cos s, 3 sin s]. The orthotomic curve [p(s, t), q(s, t)] of [C.sub.2] relative to O can be found by (13):

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (18)

and

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (19)

When we fix the light source at t = 0 on [C.sub.1], the orthotomic curve [p(s, 0), q(s, 0)], where s [member of] [0, 2[pi]], is shown Figure 7, which is done by [Maple] (see [15]).

[FIGURE 7 OMITTED]

The evolute of [p(s, 0), q(s, 0)], or equivalently the caustic of [C.sub.2] relative to the light source at t = 0 on [C.sub.1], can be computed by [Maple] (see [15]), which we invite readers to explore. We show the orthotomic curve and its corresponding caustic curve in Figure 8.

[FIGURE 8 OMITTED]

3 General Inverses in 3-D, orthotomic and caustic surfaces

We turn our attention to finding the reflection of a light source on a parametric surface [S.sub.1] with respect to a parametric surface [S.sub.2]. A parametric surface w(u, v) is called smooth if the tangent vectors in the u and v directions satisfy

[w.sub.u] x [w.sub.v] [not equal to] (0, 0, 0) throughout its domain.

Given a smooth surface w(u, v) = [x(u, v), y(u, v), z(u, v)]. The tangent plane to w at the point [X.sub.0] = (x([u.sub.0], [v.sub.0]), y([u.sub.0], [v.sub.0]), z([u.sub.0], [v.sub.0]) on w is the plane that contains the tangent vectors [w.sub.u], [w.sub.v] and the point [X.sub.0], and therefore [w.sub.u] x [w.sub.v] is a normal vector of the tangent plane. We will derive the formula for the reflection of a surface [S.sub.1] = [[x.sub.1] (s, t), [y.sub.1] (s, t), [z.sub.1] (s, t)] with respect to the tangent plane to another smooth surface [S.sub.2] = [[x.sub.2] (u, v), [y.sub.2] (u, v), [z.sub.2] (u, v)] at a point [X.sub.0] on [S.sub.2]. We denote [w.sub.u] x [w.sub.v] at the point [X.sub.0] by (a([u.sub.0], [v.sub.0]), b([u.sub.0], [v.sub.0]), c([u.sub.0], [v.sub.0])). For brevity, we use a = a([u.sub.0], [v.sub.0]), b = b([u.sub.0], [v.sub.0]), c = c([u.sub.0], [v.sub.0]) without causing any confusion.

Let [X.sub.0] [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] and (20)

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (21)

Thus, the reflection of X = [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] with respect to the tangent plane to [S.sub.2] at [X.sub.0] [member of] [S.sub.2] is

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (22)

where [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

If we consider ([u.sub.0], [v.sub.0]) as variables, (22) also provides us the orthotomic surface of [S.sub.2] relative to X.

Example 15 We pick a light source at a point on the sphere [S.sup.1] = [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] where s [member of] [0, 2[pi]] and t [member of] [0,[pi]]. We want to find the orthotomic surface of

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

u [member of] [0,[pi]] and v [member of] [0, 2[pi]], relative to a light source on [S.sub.1]. The orthotomic surface [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] can be computed by using equation (22). We plot this surface using [Maple] (see [16]) in Figure 9. [FIGURE 9 OMITTED]

Naturally, we would like to explore the caustic surface, which is the evolute of an orthotomic surface, or the envelope of an orthotomic surface normals. However, we expect more than one curvature for a curve on a surface in 3-D, and we need more information from differential geometry, which is beyond the scope of this paper. We use the following example to demonstrate that a caustic surface is a natural extension from its caustic curve in 2-D. We use the principle curvatures to obtain the caustic surface (which is called Focal Surface in [2]). First, we use the following example to describe how we obtain the orthotomic surface.

Example 16 Let the light source O be at the origin and let S be the ellipsoid [7/5 sin u cos v, 6/5 sin u sin v, cos u], where u [member of] [0, [pi]] and v [member of] [0, 2[pi]]. The orthotomic surface of S relative to O can be computed and plotted by using [Maple] (see [17]). The ellipsoid S is interior to its orthotomic surface, which are both shown in Figure 10.

[FIGURE 10 OMITTED]

This is understandable since in 2D case, if we consider the light source O be at (0, 0), which is interior to the ellipse [7/5 cos s, 6/5 sin s], where s [member of] [0, 2[pi]], the orthotomic curve of the ellipse relative to O (see [18]) is

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (23)

We plot the ellipse (in green), its orthotomic curve (in blue), and its caustic curve (in red) relative to O in Figure 11.

[FIGURE 11 OMITTED]

Similar to our 2-D discussion, to find the caustic surface, we should continue using the orthotomic surface we have obtained. However, the computations become impossible. We consider the following simplied version.

Example 17 For simplicity, we assume that the orthotomic surface of a surface S is the ellipsoid [7/5 sin u cos v, 6/5 sin u sin v, cos u], where u [member of] [0, [pi]], and v [member of] [0, 2[pi]]: Let the light source O be at the origin (0, 0, 0): The caustic surface of S relative to O, when we use the principle curvatures, is shown

The plot above makes the 3D caustic surface comprehensible.

[FIGURE 12 OMITTED]

4 Conclusions

It is evident that geometry software packages, such as ClassPad and Geometry Expressions have allowed us experimentation and conjecture in the process of finding the reflections. We then use Maple, a computer algebra system, to prove our conjectures analytically. We would also like to point out that technological tools prompted us to study more mathematics (in this case in the area of differential geometry) and link mathematical contents to applied areas, in this case, optics of physics (see [1] and [2]) and computer graphics (see [3]). Authors conjecture that evolving technological tools will prompt learners to expand their mathematics knowledge to other applied fields.

8 Appendix

Given two surfaces [S.sub.1] = [[x.sub.1](s, t), [y.sub.1](s, t), [z.sub.1](s, t)] and [S.sub.2] = [x(u, v), y(u, v), z(u, v)], where u [member of] [0, [pi]], and v [member of] [0, 2[pi]], our goal is to prove that a "small change" in the light source location on [S.sub.1] produces a "small change" in the output orthotomic surface of [S.sub.2].

Let X = [S.sub.1] and Y = {orthotomic surface of [S.sub.2] relative to l : l [member of] X = [S.sub.1]}

We define a function f : X [right arrow] Y with f(l) := [S.sub.l] = orthotomic surface of [S.sub.2] relative to l for all l [member of] X.

Let [l.sub.0] = [[x.sub.1] ([s.sub.0], [t.sub.0]), [y.sub.1]([s.sub.0], [t.sub.0]), [z.sub.1]([s.sub.0], [t.sub.0])] and [l.sub.1] = [[x.sub.1] ([s.sub.1], [t.sub.1]), [y.sub.1] ([s.sub.1], [t.sub.1]), z.sub.1]([s.sub.1], [t.sub.1])] be two points on [S.sub.1]

and (a, b, c) = (a(u, v), b(u, v), c(u, v)) be a specified normal vector of the tangent plan to [S.sub.2] at a point [x(u, v), y(u, v), z(u, v)] [member of] [S.sub.2]

Let [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] which is the z--intercept of the tangent plan to [S.sub.2] at a point [x(u, v), y(u, v), z(u, v)] [member of] [S.sub.2].

By (22), f(l) = [S.sub.l] = [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

In order to consider the closeness of the output orthotomic surfaces, we define the metric (distance function) of the space Y :

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

We first prove the following lemma.

Lemma 18 | f ([l.sub.0])-f([l.sub.1])|[less than or equal to]15|[l.sub.0],[l.sub.1] for all [l.sub.0], [l.sub.1] [member of] X.

Proof: We use the same notation for [l.sub.0] and [l.sub.1] as above.

Since [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

We now have the main theorem.

Theorem 19 f : X [right arrow] Y is continuous on X.

Proof: Let [l.sub.1] [member of] X = [S.sub.1], we must show that f is continuous at [l.sub.1].

[for all][epsilon]>0,[there exists][delta]=[epsilon]/15>0 such that for all [l.sub.0] [member of] X= [S.sub.1] and | [l.sub.0]-[l.sub.1]|<[delta] ??|f([l.sub.0])-[bar.f]([l.sub.0])|[less than or equal to]15| [l.sub.0]-[l.sub.1]|<15([epsilon/15)=[epsilon]. 5 Acknowledgement

The authors would like to thank Phil Todd for many valuable discussions on the use of Geometry Expressions, orthotomic and caustic curves.

References

[1] Orthotomic, http://mathworld.wolfram.com/Orthotomic.html.

[2] http://en.wikipedia.org/wiki/Caustic_(optics)

[3] Hahmann, S., Blyaev, A., Buse, L., Elber, G. Mourrain, B., and Ross, C., Shape Interrogation, (http://ljk.imag.fr/membres/Stefanie.Hahmann/PUBLICATIONS/HBBEMR07.pdf.)

[4] Hoschek, J., Smoothing of curves and surfaces, Computer Alded Geometric Design 2 (1985) pp 97-105, North-Holland. (http://mrl.nyu.edu/~elif/thesisprop/Hoschek85.pdf)

6 Software Packages

[5] [ClassPad] A product of CASIO Computer Ltd., http://classpad.net or http://classpad.org/.

[6] [Maple] A product of Maplesoft, http://www.maplesoft.com/.

[7] [Geometry Expressions] Geometry Expressions 1.0.55, a product of Saltire Software, 2006, http://www.geometryexpressions.com/

7 Supplemental Electronic Materials

[8] Yang, W.-C., a video clip which summarizes how ClassPad Manager is used in Section 1.1.

[9] Yang, W.-C., ClassPad eActivity used in Section 1.1.

[10] Yang, W.-C., Lo, M.-L., Maple worksheet for Example 5.

[11] Todd, P., Yang, W.-C., Lo, M.-L., Geometry Expressions worksheet for Example 12.

[12] Yang, W.-C., Lo, M.-L., Maple worksheet for Example 12.

[13] Todd, P., Yang, W.-C., Lo, M.-L., Geometry Expressions worksheet for Example 13.

[14] Yang, W.-C., Lo, M.-L., Maple worksheet for Example 13.

[15] Yang, W.-C., Lo, M.-L., Maple worksheet for Example 14.

[16] Yang, W.-C., Lo, M.-L., Maple worksheet for Example 15.

[17] Yang, W.-C., Lo, M.-L., Maple worksheet for Example 16.

[18] Yang, W.-C., Lo, M.-L., another Maple worksheet for Example 16 .

[19] Jantzen, R., Nick Korevaar, Maple worksheet for Example 18.

Wei-Chi Yang

wyang@radford.edu

Department of Mathematics and Statistics

Radford University

Radford, VA 24142

USA

Min-Lin Lo

mlo@csusb.edu

Department of Mathematics

California State University at San Bernardino

San Bernardino, CA 92407

USA

Printer friendly Cite/link Email Feedback | |

Author: | Yang, Wei-Chi; Lo, Min-Lin |
---|---|

Publication: | Electronic Journal of Mathematics and Technology |

Geographic Code: | 1USA |

Date: | Oct 1, 2008 |

Words: | 4794 |

Previous Article: | A mathematical modeling project using MATLAB[R]. |

Next Article: | Understanding and developing proofs with the aid of technology. |

Topics: |