# Envelope

(Difference between revisions)
Jump to: navigation, search
 Revision as of 00:55, 24 May 2012 (edit)← Previous diff Current revision (15:06, 20 July 2012) (edit) (undo) (44 intermediate revisions not shown.) Line 1: Line 1: {{Image Description Ready {{Image Description Ready |ImageName=Blue-aerial-shell |ImageName=Blue-aerial-shell - |Image=Blue-aerial-shell.jpg + |Image=Blue-aerial-shell2.jpg - |ImageIntro= + |ImageIntro=

+ :This is a beautiful blue-aerial-shell firework filling the sky. Each particle of the firework follows a parabolic trajectory, and together they sweep an area with the red curve as its boundary. This red boundary is then called the '''envelope''' of those parabolas. What's more, as we are going to see in the following sections, this envelope also turns out to be a parabola. + |ImageDescElem=
+
+ In geometry, an '''envelope''' of a [[#Family|family of curves]] is the boundary of these curves' "sweeping area". In most cases, the envelope is tangent to each member of the family at some point. - This is a beautiful blue-aerial-shell firework filling the sky. Each particle of the firework follows a parabolic trajectory, and together they sweep a parabolic area. -
+
+ {{HideShowThis|ShowMessage='''A note on terminology: Click to show the definition of''' a family of curves.|HideMessage='''Click to hide the definition of''' a family of curves.|HiddenText= - |ImageDescElem= + {{{!}} border=1 cellpadding=0 cellspacing=0 -
+ {{!}} - In geometry, an '''envelope''' of a {{EasyBalloon|Link=family of curves|Balloon=A family of curves is a set of curves having the same function, except for one or more variable parameter. For example, $y = -x + a$ with variable a. See image: [[image:family.png|350px]]}} is the boundary of the area "swept" by the curve when we change the variable parameter in the curve function. +
- + :'''A family of curves''' is a set of curves described by the same function, except for one or more variable parameters. For example, $y = -x + a$ with variable a is a family of straight lines. See image: - For example, suppose there is a ladder leaning on a wall. The ladder starts to slide down because someone steps on it. What will be the shape of the area swept by the ladder before he hits the ground? + - {{{!}} border=0 cellpadding=10 cellspacing=10 +
- {{!}}- + [[image:family.png|thumb|center|400px]] - {{!}}{{Anchor|Reference=Figure1-1|Link=[[Image:EnvelopeAnim.gif|center|thumb|250px|Figure 1-1:
Demonstration of a sliding ladder]]}} +
- {{!}}{{!}}{{Anchor|Reference=Figure1-2|Link=[[Image:Astroid.png|center|thumb|280px|Figure 1-2:
The complete astroid]]}} + {{!}}} {{!}}} - Surprisingly, the area swept by a moving straight line does not have a straight boundary (see [[#Figure1-1|Figure 1-1]]). The envelope is the first-quadrant portion of an {{EasyBalloon|Link=astroid|Balloon=Astroid is the image of function $x^{2/3} + y^{2/3} = a^{2/3}}}. If we complete the envelope by letting the ladder sweep across the other 3 quadrants, we can see that it shapes like a star, which is why we call it an astroid (See [[#Figure1-2|Figure 1-2]]). + |NumChars=0}} - + - =A gallery of beautiful envelopes= + - ==Envelope of lines== + {{{!}} border=0 cellpadding=0 cellspacing=0 + {{!}}{{Anchor|Reference=Figure1-1|Link=[[Image:Ladderman2.jpg|left|thumb|200px|Figure 1-1: Ladder and Man]]}} + {{!}}{{!}}Here is a real world example of envelopes. Suppose there is a ladder leaning on a wall. The ladder starts to slide down because someone steps on it. What will be the shape of the area "swept" by the ladder before it hits the ground? A simulation of this process is shown below: + {{!}}} + {{{!}} + {{!}}{{Anchor|Reference=Figure1-2|Link=[[Image:Astroid3.gif|left|frame|Figure 1-2: Demonstration of a sliding ladder]]}} + {{!}}{{!}}{{Anchor|Reference=Figure1-3|Link=[[Image:Astroid.png|left|thumb|380px|Figure 1-3: The complete astroid]]}} + {{!}}} + + + Surprisingly, as shown in [[#Figure1-2|Figure 1-2]], the area swept by a moving straight line does not necessarily have a straight boundary. In fact, its envelope is the first-quadrant portion of an {{EasyBalloon|Link=astroid|Balloon=Astroid is the image of implicit function [itex]x^{2/3} + y^{2/3} = a^{2/3}$}}. One may notice the Astroid is always tangent to the ladder at some point during the sliding process, as stated in the definition of an envelope. + + + If we slide the ladder in the other three quadrants, we will get a complete star-shaped envelope, as shown in [[#Figure1-3|Figure 1-3]]. In fact, the name ''astroid'' comes from the Greek word for "star". + + + For the math behind this envelope, please go to the [[#MME|More Mathematical Explanation]] section. + +

+ =A gallery of beautiful envelopes= +
+ ==Envelopes of lines== +
+ As we have seen in the ladder example, a moving straight line can have a curve as its envelope. Here are more examples: - We can get more interesting envelopes if we play with the geometry: {{{!}}border="0" cellpadding=5 cellspacing=5 {{{!}}border="0" cellpadding=5 cellspacing=5 - {{!}}{{Anchor|Reference=Figure2-1|Link=[[Image:Parabola1ed1.png|center|thumb|250px|Figure 2-1]]}}{{!}}{{!}}[[Image:Rightarrow.png|center]]{{!}}{{!}}{{Anchor|Reference=Figure2-2|Link=[[Image:Parabola2.png|center|thumb|250px|Figure 2-2
Parabola
gif coming later]]}} + {{!}}{{Anchor|Reference=Figure2-1|Link=[[Image:Parabola1.png|center|thumb|250px|Figure 2-1]]}}{{!}}{{!}}[[Image:Rightarrow2.png|center]]{{!}}{{!}}{{Anchor|Reference=Figure2-2|Link=[[Image:Parabola.gif|center|thumb|300px|Figure 2-2
Gif animation of Parabola envelope]]}} {{!}}} {{!}}} - In [[#Figure2-1|Figure 2-1]], point A lies on line l, M is midpoint of OA, and line m is perpendicular to OA. + In [[#Figure2-1|Figure 2-1]], line ''m'', our sweeping line, is perpendicular to segment ''OA'' at its midpoint ''M''. Point ''O'' is fixed in space. - If we slide point A along line l, line m will sweep out a '''parabola''', with point O as its focus and line l as its directrix. + If we slide point ''A'' along line ''l'', line ''m'' will sweep out a ''Parabola'', with point ''O'' as its [[#Parabola|focus]] and line ''l'' as its [[#Parabola|directrix]]. + + +
+ {{HideShowThis|ShowMessage='''A note on terminology: Click to show the definition of a parabola's ''' focus and directrix.|HideMessage='''Click to hide the definition of a parabola's''' focus and directrix.|HiddenText= + + {{{!}} border=1 cellpadding=0 cellspacing=0 + {{!}} +
+ :A parabola can be defined as the set of points that are equidistant from a point and a straight line. This point is called the parabola's '''focus''', and this straight line called the parabola's '''directrix'''. As shown in the following image, the green and orange segments have the same length by definition. + +
+ [[Image:Paraboladef.png|center|300px]] +
+ For more about parabola, please go [http://en.wikipedia.org/wiki/Parabola here]. +
+ {{!}}} + + |NumChars=0}}

Line 41: Line 81: {{{!}}border="0" cellpadding=5 cellspacing=5 {{{!}}border="0" cellpadding=5 cellspacing=5 - {{!}}{{Anchor|Reference=Figure2-3|Link=[[Image:Ellipse1ed1.png|center|thumb|250px|Figure 2-3]]}}{{!}}{{!}}[[Image:Rightarrow.png|center]]{{!}}{{!}}{{Anchor|Reference=Figure2-4|Link=[[Image:Ellipse2.png|center|thumb|250px|Figure 2-4
Ellipse
gif coming later]]}} + {{!}}{{Anchor|Reference=Figure2-3|Link=[[Image:Ellipse1.png|center|thumb|250px|Figure 2-3]]}}{{!}}{{!}}[[Image:Rightarrow2.png|center]]{{!}}{{!}}{{Anchor|Reference=Figure2-4|Link=[[Image:Ellipse2.gif|center|thumb|300px|Figure 2-4
Gif animation of Ellipse envelope]]}} {{!}}} {{!}}} - Repeat the process in [[#Figure2-1|Figure 2-1]],except point A now slides on a '''circle'''. + Similar to what we did in [[#Figure2-1|Figure 2-1]], our sweeping line is still the perpendicular bisector of segment ''AB''. The only difference is that point ''A'' now slides on a ''circle'', rather a straight line. - The result is an '''ellipse''', with O and B as its focuses. + The result is an ''Ellipse'' with ''O'' and ''B'' as its [[#Ellipse|foci]], as shown in [[#Figure2-4|Figure 2-4]]. + + +
+ {{HideShowThis|ShowMessage='''A note on terminology: Click to show the definition of an ellipse's ''' foci.|HideMessage='''Click to hide the definition of an ellipse's''' foci.|HiddenText= + + {{{!}} border=1 cellpadding=0 cellspacing=0 + {{!}} +
+ :An ellipse can be defined as the set of points that have a constant sum of distances to two other points. These two points are called the ellipse's '''foci'''. As shown in the following image, ''AF1'' + ''AF2'' is constant for all points ''A'' on the ellipse. + +
+ [[Image:Ellipsedef.png|center|400px]] +
+ For more about Ellipse and its foci, please go [http://en.wikipedia.org/wiki/Ellipse here]. +
+ {{!}}} + |NumChars=0}}

---- ---- Line 53: Line 110: {{{!}}border="0" cellpadding=5 cellspacing=5 {{{!}}border="0" cellpadding=5 cellspacing=5 - {{!}}{{Anchor|Reference=Figure2-5|Link=[[Image:Hyperbola1ed1.png|center|thumb|250px|Figure 2-5]]}}{{!}}{{!}}[[Image:Rightarrow.png|center]]{{!}}{{!}}{{Anchor|Reference=Figure2-6|Link=[[Image:Hyperbola2.png|center|thumb|250px|Figure 2-6
Hyperbola
gif coming later]]}} + {{!}}{{Anchor|Reference=Figure2-5|Link=[[Image:Hyperbola1.png|center|thumb|250px|Figure 2-5]]}}{{!}}{{!}}[[Image:Rightarrow2.png|center]]{{!}}{{!}}{{Anchor|Reference=Figure2-6|Link=[[Image:Hyperbola.gif|center|thumb|300px|Figure 2-6
Gif animation of Hyperbola envelope]]}} {{!}}} {{!}}} - Repeat the process in [[#Figure2-3|Figure 2-3]],except point B is '''outside''' the circle. + Similar to what we did in the previous example, our sweeping line is still the perpendicular bisector of segment ''AB''. The only difference is that point ''B'' is outside the circle. - The result is a '''hyperbola''', with O and B as its focuses. + The result is a ''hyperbola'' with ''O'' and ''B'' as its foci, as shown in [[#Figure2-6|Figure 2-6]]. -

+ - So far we have got all of the three [[Conic Section|Conic Section Curves]] as envelopes of straight lines. However, the envelopes are in no ways restricted to straight lines. Circle, Ellipse, and other curves can make fantastic envelopes as well. +
+
+ {{HideShowThis|ShowMessage='''A note on terminology: Click to show the definition of a hyperbola's ''' foci.|HideMessage='''Click to hide the definition of a hyperbola's''' foci.|HiddenText= + + {{{!}} border=1 cellpadding=0 cellspacing=0 + {{!}} +
+ :An hyperbola can be defined as the set of points that have a constant difference of distances to two other points. These two points are called the hyperbola's '''foci'''. As shown in the following image, ''AF1'' – ''AF2'' is constant for all points ''A'' on the left half of hyperbola. + +
+ [[Image:Hyperboladef.png|center|350px]] +
+ For more about Hyperbola and its foci, please go [http://en.wikipedia.org/wiki/Hyperbola here]. +
+ {{!}}} + + |NumChars=0}}
+ + So far we have got all of the three [[Conic Section|Conic Section Curves]] as envelopes of straight lines. However, the sweeping curve for envelopes is in no way restricted to be a straight line. Circles, ellipses, and other curves can make sweeping curves for fantastic envelopes as well.

==Envelope of circles== ==Envelope of circles== - +
- For circles, we can often make beautiful envelopes by sliding its center along a chosen curve. + This section shows some interesting envelopes generated by moving a circle around. {{{!}}border="0" cellpadding=5 cellspacing=5 {{{!}}border="0" cellpadding=5 cellspacing=5 - {{!}}{{Anchor|Reference=Figure3-1|Link=[[Image:Cardioid1ed1.png|center|thumb|300px|Figure 3-1]]}}{{!}}{{!}}[[Image:Rightarrow.png|center]]{{!}}{{!}}{{Anchor|Reference=Figure3-2|Link=[[Image:Cardioid2.png|center|thumb|300px|Figure 3-2
Cardioid
gif coming later]]}} + {{!}}{{Anchor|Reference=Figure3-1|Link=[[Image:Cardioid1ed1.png|center|thumb|300px|Figure 3-1]]}}{{!}}{{!}}[[Image:Rightarrow2.png|center]]{{!}}{{!}}{{Anchor|Reference=Figure3-2|Link=[[Image:Cardioid.gif|center|thumb|350px|Figure 3-2
Gif animation of Cardioid envelope]]}} {{!}}} {{!}}} - In [[#Figure3-1|Figure 3-1]], Points A and B are on circle O. The sweeping circle is centered at A, and passes B. + In [[#Figure3-1|Figure 3-1]], we begin with a base circle ''O'', which is fixed in space, then select two points ''A'' and ''B'' on the base circle. Our ''sweeping circle'' is centered at ''A'', and passes through ''B''. - +

- If we slide point A along the bold green circle O, we will get a '''cardioid''' as the envelope of the sweeping circle. + If we fix point ''B'' and slide point ''A'' along the fixed circle, circle ''A'' will sweep out a ''Cardioid'', as shown in [[#Figure3-2|Figure 3-2]]. +

+ The name "Cardioid" comes from the Greek word for "heart-shaped". For more information about the Cardioid, please go to [[Cardioid|this page]]. - Cardioid got its name because it shapes like a heart. For more information, please go to [[Cardioid|this page]].

---- ---- Line 81: Line 157: {{{!}}border="0" cellpadding=5 cellspacing=5 {{{!}}border="0" cellpadding=5 cellspacing=5 - {{!}}{{Anchor|Reference=Figure3-3|Link=[[Image:Nephroid1ed1.png|center|thumb|300px|Figure 3-3]]}}{{!}}{{!}}[[Image:Rightarrow.png|center]]{{!}}{{!}}{{Anchor|Reference=Figure3-4|Link=[[Image:Nephroid2.png|center|thumb|300px|Figure 3-4
Nephroid
gif coming later]]}} + {{!}}{{Anchor|Reference=Figure3-3|Link=[[Image:Nephroid1ed1.png|center|thumb|300px|Figure 3-3]]}}{{!}}{{!}}[[Image:Rightarrow2.png|center]]{{!}}{{!}}{{Anchor|Reference=Figure3-4|Link=[[Image:Nephroid2.gif|center|thumb|350px|Figure 3-4
Gif animation of Nephroid envelope]]}} {{!}}} {{!}}} - In [[#Figure3-3|Figure 3-3]], l is a vertical line that passes the center of circle O. Circle A has its center on Circle O and is '''tangent''' to l at B + Similar to what we did in [[#Figure3-1|Figure 3-1]], we still have a fixed base circle ''O'', and a sweeping circle that has its center ''A'' sliding on the base circle. The only difference is that our sweeping circle is now ''tangent'' to a vertical line ''l'', rather than passes through a fixed point. +

+ The result is a ''Nephroid'', which is the Greek word for "kidney-shaped". For more information about Nephroid please go [http://en.wikipedia.org/wiki/Nephroid here]. - If we slide point A along the bold green Circle O, we will get a '''nephroid''' as the envelope of the sweeping circle. - - Nephroid is one of the [[Roulette|Roulettes]]. The word "nephroid" means ''kidney-shaped''.

---- ---- Line 94: Line 169: {{{!}}border="0" cellpadding=5 cellspacing=5 {{{!}}border="0" cellpadding=5 cellspacing=5 - {{!}}{{Anchor|Reference=Figure3-5|Link=[[Image:Lemniscate1ed1.png|center|thumb|300px|Figure 3-5]]}}{{!}}{{!}}[[Image:Rightarrow.png|center]]{{!}}{{!}}{{Anchor|Reference=Figure3-6|Link=[[Image:Lemniscate2.png|center|thumb|300px|Figure 3-6
Lemniscate
gif coming later]]}} + {{!}}{{Anchor|Reference=Figure3-5|Link=[[Image:Lemniscate1ed1.png|center|thumb|300px|Figure 3-5]]}}{{!}}{{!}}[[Image:Rightarrow2.png|center]]{{!}}{{!}}{{Anchor|Reference=Figure3-6|Link=[[Image:Lemniscate.gif|center|thumb|350px|Figure 3-6
Gif animation of Lemniscate envelope]]}} {{!}}} {{!}}} - In [[#Figure3-3|Figure 3-3]], F1 and F2 are foci of the blue hyperbola. A is midpoint of segment F1F2. The sweeping circle O has its center on the hyperbola, and passes A. + In [[#Figure3-5|Figure 3-5]], we begin with a hyperbola, with points ''F1'' and ''F2'' as its foci and ''A'' as its center. Our sweeping circle has its center ''O'' on the hyperbola, and passes through A. - +

- If we slide O along the hyperbola, we will get a '''Lemniscate''' as the envelope of the sweeping circle. + If we slide ''O'' along the hyperbola, we will get a ''Lemniscate'' as the envelope of the sweeping circle. - +

- Lemniscate is an eight-shaped curve discovered by Jacob Bernoulli[http://en.wikipedia.org/wiki/Jakob_Bernoulli]. It has the polar equation of the form $r^2 = 2a^2cos(2\theta) + The Lemniscate is an eight-shaped curve discovered by Jacob Bernoulli [http://en.wikipedia.org/wiki/Lemniscate_of_Bernoulli Lemniscate of Bernoulli], from Wikipedia. This is an introduction to Lemniscate and how it was discovered.. For more information about Lemniscates please go [http://en.wikipedia.org/wiki/Lemniscate_of_Bernoulli here]. ---- ---- Line 107: Line 182: {{{!}}border="0" cellpadding=5 cellspacing=5 {{{!}}border="0" cellpadding=5 cellspacing=5 - {{!}}{{Anchor|Reference=Figure3-7|Link=[[Image:Lemniscate3.png|center|thumb|300px|Figure 3-7 a variation of "lemniscate"]]}}{{!}}{{!}}[[Image:Rightarrow.png|center]]{{!}}{{!}}{{Anchor|Reference=Figure3-8|Link=[[Image:bugsbunny.jpg|center|thumb|300px|Figure 3-8 Aha! I have ears like a lemniscate!]]}} + {{!}}{{Anchor|Reference=Figure3-7|Link=[[Image:Lemniscate4.png|center|thumb|300px|Figure 3-7 a variation of "lemniscate"]]}}{{!}}{{!}}[[Image:Rightarrow2.png|center]]{{!}}{{!}}{{Anchor|Reference=Figure3-8|Link=[[Image:bugsbunny.jpg|center|thumb|300px|Figure 3-8 Aha! I have ears like a lemniscate!]]}} {{!}}} {{!}}} - Note that if in [[#Figure3-5|Figure 3-5]], instead of having A as midpoint of foci segment, we move it to an arbitrary position inside the hyperbola, then we will get a variation of "lemniscate", which has a funny shape like a bunny's ears. + In [[#Figure3-5|Figure 3-5]], if instead of having A as center of the hyperbola, we move it to an arbitrary position between the hyperbola's two halves, then we will get a variation of "lemniscate", which has a funny shape like a bunny's ears. - + + ==More complicated envelopes== ==More complicated envelopes== - The following envelopes have more complicated mechanism than previous ones. But they are also more interesting. + The following envelopes have more complicated mechanisms than previous ones. But as a result they are even more interesting. - + - ===1.Astroid again, but this time using ellipses=== + ===1. The Astroid again, but this time using ellipses=== Recall that in [[#Figure1-1|Figure 1-1]], we showed how to construct an astroid using a line segment sliding on coordinate axes. Actually there is another way to generate the same astroid: using '''a family of ellipses'''. Recall that in [[#Figure1-1|Figure 1-1]], we showed how to construct an astroid using a line segment sliding on coordinate axes. Actually there is another way to generate the same astroid: using '''a family of ellipses'''. + + The animation below shows this process. Here the variable parameter is ''c'', which determines the shape of the ellipse. As we can see, when ''c'' varies continuously from 0 to 1, the varying ellipse sweeps out an Astroid. - {{HideShowThis|ShowMessage=Click to show the mechanism behind|HideMessage=Click to conceal the mechanism behind|HiddenText= + {{Anchor|Reference=Figure4-3|Link=[[Image:Astroid2.gif|center|thumb|500px|Figure 4-3 Astroid as envelope of ellipses]]}} - + - First, let's look at the family of ellipse [itex]{x^2 \over c^2} + {y^2 \over (1-c)^2 } = 1$: + + {{HideShowThis|ShowMessage=Click to show the mechanism behind this|HideMessage=Click to conceal the mechanism behind this|HiddenText=
First, let's look at the family of ellipses ${x^2 \over c^2} + {y^2 \over (1-c)^2 } = 1$: + {{{!}}border="0" cellpadding=20 cellspacing=20 {{{!}}border="0" cellpadding=20 cellspacing=20 {{!}}{{Anchor|Reference=Figure4-1|Link=[[Image:Astroid2.png|center|thumb|400px|Figure 4-1]]}}{{!}}{{!}}{{Anchor|Reference=Figure4-2|Link=[[Image:Astroid3.png|center|thumb|400px|Figure 4-2]]}} {{!}}{{Anchor|Reference=Figure4-1|Link=[[Image:Astroid2.png|center|thumb|400px|Figure 4-1]]}}{{!}}{{!}}{{Anchor|Reference=Figure4-2|Link=[[Image:Astroid3.png|center|thumb|400px|Figure 4-2]]}} {{!}}} {{!}}} - Here, because there is a variable parameter c in the equation of the ellipse, this function refers to [[#Beginning|a family of curves]]. For every different c value, we will get a different ellipse. + Here, because there is a variable parameter ''c'' in the equation of the ellipse, we get [[#Beginning|a family of curves]] out of this. For every different ''c'' value, this equation gives us a different ellipse. - +

- For example, in [[#Figure4-1|Figure 4-1]], since $c < {1\over2}, then [itex](1-c)^2 > c^2, so here the major axis is y-axis, and the minor axis is x-axis. + For example, in [[#Figure4-1|Figure 4-1]], since c < 1/2 , then (1 - c )2 > c2, so here the major axis is the ''y'' - axis, and the minor axis is the ''x'' - axis. - + - However, if we choose another [itex]c = 0.89$, which is larger than $1\over2, then we will have c^2 > (1-c)^2, which makes y-axis the major axis. + However, if we choose another ''c'' = 0.89, which is larger than 1/2, then we will have (1 - c )2 < c2, which makes ''y'' - axis the major axis. - + - What will happen if we let c vary from 0 to 1 continuously and trace the area swept by these ellipses? Well, turns out that it's also an astroid, exactly like the one we constructed before. + To get the envelope of this family of ellipses, we can let c vary continuously from 0 to 1 and trace the area swept by these ellipses. As shown in the previous animation, this envelope turns out to be an astroid, exactly like the one we constructed before in the [[#Beginning|ladder example]]. |NumChars=20}} |NumChars=20}} - - {{Anchor|Reference=Figure4-3|Link=[[Image:Astroid4ed1.png|center|thumb|500px|Figure 4-3 Astroid as envelope of ellipses gif coming later]]}} - - For the math behind this, please go to the More Mathematical Explanation section. - - - ===2.Deltoid as envelope of Wallace-Simson lines=== - - The Wallace-Simson line is related to a simple theorem in geometry proposed by William Wallace [http://en.wikipedia.org/wiki/William_Wallace_(mathematician)] in 1796. The theorem itself has nothing special, but with a little manipulation we can get a gorgeous envelope out of it. + ---- - + + ===2. A Deltoid as the envelope of Wallace-Simson lines=== - {{HideShowThis|ShowMessage=Click to show the mechanism behind|HideMessage=Click to conceal the mechanism behind|HiddenText= - + The Wallace-Simson line is related to an interesting theorem in geometry proposed by William Wallace in 1796. The theorem itself is not hard to prove, and with a little manipulation we can get one of the most beautiful envelopes out of it. - Here is a brief introduction of the Wallace-Simson line, which will be our sweeping line: + + The following animation shows this process. Here ''M'' is the point that anchors the Wallace-Simson line. When ''M'' moves around the circle, that line sweeps out a Deltoid: + + {{Anchor|Reference=Figure5-3|Link=[[Image:Deltoid.gif|center|frame|Figure 5-3 Deltoid as envelope of Wallace-Simson Line]]}} + + {{HideShowThis|ShowMessage=Click to show the mechanism behind this|HideMessage=Click to conceal the mechanism behind this|HiddenText= Here is a brief introduction of the Wallace-Simson line: {{{!}}border="0" cellpadding=20 cellspacing=20 {{{!}}border="0" cellpadding=20 cellspacing=20 Line 162: Line 238: {{!}}} {{!}}} - In Figure 5-1, first we draw an arbitrary triangle, then draw its circumscribed circle O. For an arbitrary point M on the circumscribed circle, we make '''perpendicular projections''' of M onto 3 sides of the triangle (extent line segment if not inside triangle), intersecting at P, Q, and R. + The two figures above shows the construction process of Wallace-Simson line. In Figure 5-1, we start by drawing an arbitrary triangle and its circumscribed circle O. Then we select an arbitrary point ''M'' on the circumscribed circle, and make ''perpendicular projections'' of ''M'' onto the 3 sides of the triangle (extend line segment if not inside triangle), intersecting at ''P'', ''Q'', and ''R''. - Wallace claimed that the three projections are on the same straight line (see the orange line in [[#Figure5-2|Figure 5-2]]). This line is called Wallace-Simson Line. A proof of this theorem can be found here [http://en.wikipedia.org/wiki/Simson_line]. - Since M is an arbitrary point on circle O, we can certain move it along the circle, and points P, Q, and R are also going to move, since they are perpendicular projections of point M. So we will have a sweeping Wallace-Simson Line, and its envelope is a deltoid, as shown in the following image: + Wallace claimed that the three projections are on the same straight line (see the orange line in [[#Figure5-2|Figure 5-2]]). This line is called Wallace-Simson Line. A proof of this theorem can be found [http://en.wikipedia.org/wiki/Simson_line here][http://en.wikipedia.org/wiki/Simson_line Simson Line], from Wikipedia. This is a simple proof of the existence of Wallace-Simson line.. - |NumChars=20}} + - {{Anchor|Reference=Figure5-3|Link=[[Image:Deltoid4.png|center|thumb|450px|Figure 5-3 Deltoid as envelope of Wallace-Simson Line gif coming later]]}} - Notice that deltoid, like cardioid and nephroid, belongs to the [[Roulette|Roulette Family]]. + Since ''M'' is an arbitrary point on circle ''O'', we can move it along the circle. Points ''P'', ''Q'', and ''R'' are also going to move, since they are perpendicular projections of point ''M''. So we will have a sweeping Wallace-Simson Line, and its envelope is a deltoid, as shown in the previous animation. - + |NumChars=20}} - This envelope was firstly discovered and proved by Swiss mathematician Jakob Steiner. For the math behind this please go here [http://www.rac.es/ficheros/doc/00045.pdf]. + + {{HideShowThis|ShowMessage=Special note: Is this an envelope or not? (click to show)|HideMessage=Special note: Is this an envelope or not? (click to hide)|HiddenText= + {{{!}} border=1 cellpadding=0 cellspacing=0 + {{!}} One may be puzzled by the fact that, in [[#Figure5-3|Figure 5-3]], the Wallace-Simson line actually sweeps across the whole plane. If envelope is defined as "the boundary of area swept by a family of curves", then in this case there should be no envelope at all! So where does this Deltoid come from? And why do people call it an envelope? + + To answer these questions, we have to look at the animation more carefully. A more thorough examination of the sweeping process reveals the fact that area inside the Deltoid is swept 3 times, while area outside is swept only once. In fact, as shown in Figure 5-4, this sweeping process can be divided into 3 parts, so that in each part the Wallace-Simson line sweeps out 1/3 of the whole Deltoid as strict envelope, without lines from other parts sticking out. The whole Deltoid can be viewed as these segments put together. Although it's not a single, perfect envelope, this doesn't affect its appearance. + + :{{{!}} border=0 cellpadding=0 cellspacing=0 + {{!}}{{Anchor|Reference=Figure5-4a|Link=[[Image:Deltoid_a.jpg|center|thumb|250px|Figure 5-4 (a)]]}}{{!}}{{!}}{{Anchor|Reference=Figure5-4b|Link=[[Image:Deltoid_b.jpg|center|thumb|250px|Figure 5-4 (b)]]}}{{!}}{{!}}{{Anchor|Reference=Figure5-4c|Link=[[Image:Deltoid_c.jpg|center|thumb|250px|Figure 5-4 (c)]]}} + {{!}}} + + {{!}}} + |NumChars=0}} + + This envelope was firstly discovered and proved by Swiss mathematician Jakob Steiner. In 1856 he published a paper, giving a lengthy proof of why we get a Deltoid when moving the Wallace-Simson Line. A simplified version of this proof can be found [http://www.rac.es/ficheros/doc/00045.pdf here][http://www.rac.es/ficheros/doc/00045.pdf M. de Guzman, 2001, ''A simple proof of the Steiner theorem on the deltoid'']. This is a simplified version of Jakob Steiner's proof.. - |ImageDesc= + The Astroid, Cardioid, Nephroid, and Deltoid all belong to '' the Roulette Family'', which means they can also be constructed by rolling one circle around another. For more information about Roulettes, please go to [[Roulette|this page]]. + + + + |ImageDesc= At the [[#Beginning|beginning]] of this page, we gave the following definition: At the [[#Beginning|beginning]] of this page, we gave the following definition: - :'''An envelope of a family of curves is the boundary of the area swept by these curves when we change the variable parameter t.''' + :*An envelope of a family of curves is the boundary of their sweeping area. - However, if we want a more mathematical explanation of envelope, we have to redefine it in a more mathematical way, because two serious problems arise with the old definition when we dive into more math: + However, if we want a more mathematical explanation of envelope, we have to redefine it in a more mathematical way, because some problems arise with the original definition when we dive into more math: - '''First, not all 2-D curves can be represented as a single function y = f(x) with a variable parameter t'''. For example, a circle [itex] x^2 + y^2 = a^2$ can not be expressed unless we use two functions, $y = \sqrt{a^2 - x^2}$ and $y = - \sqrt{a^2 - x^2}$. So we have to introduce new ways to describe curves. + First, we need a more general way to represent curves. Before this section we have been describing curves as graphs of a single variable function ''y= f''(''x''). However, not all curves can be written in this form. For example, a circle of radius ''a'' cannot be represented as ''y= f''(''x'') unless we use two functions, $y = \sqrt{a^2 - x^2}$ and $y = - \sqrt{a^2 - x^2}$. Same thing happens for ellipses, hyperbolas, and other complicated curves. So we need a more general expression to include them in our discussion. -
- '''Second, "boundary of the area swept by these curves" is a rough description in everyday language'''. It's not something that we can use to derive mathematical formula and equations. So we have to be clear about we mean by "sweep", "boundary", and so on. + Second, "boundary of the sweeping area" is a rough description in everyday language. It's not something that we can use to derive mathematical formula and equations. So we have to be clear about we mean by "sweep", "boundary", and so on. Line 200: Line 291: - ==Resolve the first problem: the power of level sets== + ==Resolving the first problem: the power of level sets== - +
- + The first problem is easily resolved if we describe 2-D curves using '''level sets''', rather than graphs of single variable functions ''y= f''(''x''). - The first problem is easily resolved if we describe 2-D curves using '''level sets''', rather than images of one-variable functions y = f(x). + In Multivariable Calculus, the '''level set''' of a two-variable function F(x,y) at height C is defined as the set of points (x,y) that satisfy the condition F(x,y) = C. For example, instead of writing y = 2x - 1 for a line, we could write 2x - y = 1, in which F(x,y) = 2x - y and C = 1. In Multivariable Calculus, the '''level set''' of a two-variable function F(x,y) at height C is defined as the set of points (x,y) that satisfy the condition F(x,y) = C. For example, instead of writing y = 2x - 1 for a line, we could write 2x - y = 1, in which F(x,y) = 2x - y and C = 1. - +

- +
- In general, level sets are more powerful than images of single functions when we need to describe 2-D curves, since all single variable functions $y = f(x)$ can be written in the level set form $F(x,y) = f(x) - y = 0$, but the converse is not true. Some of the level sets can not be rewritten as y = f(x) unless we use multiple functions (see the circle in [[#Figure6-1|Figure 6-1]]), others can't be reduced at all (see the level set curve in [[#Figure6-2|Figure 6-2]]). + In general, level sets are more powerful than graphs of single functions when we need to describe 2-D curves, since all single variable functions y = f(x) can be written in the level set form F(x,y) = f(x) - y = 0 , but the converse is not true. For example, the circle in [[#Figure6-1|Figure 6-1]], can not be rewritten as y = f(x) unless we use multiple functions. In a more extreme case, the level set x5 + y + cos y = 1 in [[#Figure6-2|Figure 6-2]] is not even possible to be reduced to y = f(x) form, since there is no closed-form, algebraic solution to this transcendental equation. For more about transcendental equations, please go to [http://en.wikipedia.org/wiki/Transcendental_equation this page]. - +

{{{!}}border="0" cellpadding=20 cellspacing=20 {{{!}}border="0" cellpadding=20 cellspacing=20 {{!}}{{Anchor|Reference=Figure6-1|Link=[[Image:Levelset3.png|center|thumb|350px|Figure 6-1
How to represent circles and lines]]}}{{!}}{{!}}{{Anchor|Reference=Figure6-2|Link=[[Image:Levelset4.png|center|thumb|350px|Figure 6-2
How to represent a complicated 2-D curve]]}} {{!}}{{Anchor|Reference=Figure6-1|Link=[[Image:Levelset3.png|center|thumb|350px|Figure 6-1
How to represent circles and lines]]}}{{!}}{{!}}{{Anchor|Reference=Figure6-2|Link=[[Image:Levelset4.png|center|thumb|350px|Figure 6-2
How to represent a complicated 2-D curve]]}} {{!}}} {{!}}} - Because of these advantages of level sets, in the rest of this section we will use $F(x,y) = C$, rather than $y = f(x)$, to describe a family of curves. At least for the purpose of envelopes, level set is sufficient to describe all 2-D curves that we care about. + Because of these advantages of level sets, in the rest of this section we will use F(x,y) = C, rather than y = f(x), to describe a family of curves. At least for the purpose of envelopes, the method of level sets is sufficient to describe all 2-D curves that we care about. - ==Resolve the second problem: the boundary condition== + ==Resolving the second problem: the boundary condition== - +
The next question is, given a family of level set curves F(x,y,t) = C with variable parameter t, ''how can we find its boundary and express it in mathematical language? '' The next question is, given a family of level set curves F(x,y,t) = C with variable parameter t, ''how can we find its boundary and express it in mathematical language? '' Line 227: Line 317: - ::'''For a family of level set curves F(x,y,t) = C with variable parameter t, it's envelope, or boundary of sweeping area, must satisfy the condition ${\partial F(x,y,t) \over \partial t} = 0$ + ::For a family of level set curves F(x,y,t) = C with variable parameter t, it's envelope, or boundary of sweeping area, must satisfy the condition:
${\partial F(x,y,t) \over \partial t} = 0$ . - To see why this is true, let's look more carefully at the [[#Beginning|ladder problem]]. The following two images are different phases of a ladder captured in the sliding process. + We will prove this condition using the '''implicit function theorem''', which is an important theorem in calculus. The '''implicit function theorem''' states that, if we have a level set F(x,y) = C that satisfies some mild conditions, then ''y'' can be viewed as an ''implicit function'' of ''x'', because their values are interrelated with each other. If the value of ''y'' changes, the value of ''x'' also has to change, since the condition F(x,y) = C must always be satisfied. As shown in the [[#Transcendental|previous section]], sometimes we can derive an explicit function y = f(x) from the level set, sometimes we can't. But the failure of deriving this explicit expression doesn't mean that ''x'' and ''y'' are unrelated. They are still related through this "implicit function". - {{{!}}border="0" cellpadding=20 cellspacing=20 - {{!}}{{Anchor|Reference=Figure6-3|Link=[[Image:Ladderclose1.png|center|thumb|350px|Figure 6-3
Sliding process captured]]}}{{!}}{{!}}{{Anchor|Reference=Figure6-4|Link=[[Image:Ladderclose2.png|center|thumb|350px|Figure 6-4
Intersections lying on envelope]]}} - {{!}}} - In [[#Figure6-3|Figures 6-3 and 6-4]], different phases of a sliding ladder are indicated using different colors. One may immediately notice that if we connect the intersections of different phases, we will get a curve close to the astroid envelope. It is not exactly the envelope because the time intervals between different captured phases are finite. However, if we make the time intervals shorter, the curve connecting them will get closer and closer to the envelope. + This theorem can be generalized to functions of three or more variables. For example, in the level set F(x,y,t) = C , ''x'' can be viewed as an implicit function of ''y'' and ''t'', ''y'' can be viewed as an implicit function of ''x'' and ''t'', and so on. Moreover, if we fix one of the variables in this level set, then it's reduced to the 2-variable case. Say, if we fix the value ''x'' in the lever set F(x,y,t) = C , then ''y'' is an implicit function of ''t''. - This is not mere coincidence. Same thing happens in the [[#Ellipticenvelope|elliptic envelope of astroid]] (see [[#Figure6-5|Figure 6-5]]) . Actually it can be shown that if we choose two phases with '''infinitely small time interval''', then their intersection must lie on the envelope. The argument goes as following: + With the implicit function theorem in hand, we are now equipped to prove the boundary condition, and find the envelope. Rather than looking at the whole family F(x,y,t) = C , we can fix the value of ''x'', and focus on ''y'' as an implicit function of ''t''. For example, in [[#Figure6-3|Figure 6-3]], which is the ladder problem revisited, we can fix an ''x'' value by drawing a vertical line, so that each phase of the ladder intersects this line at a different point. The height, or y-coordinate of this point is an implicit function of the ladder's position, which is in turn determined by the variable parameter ''t''. Now the problem is reduced to finding the highest and lowest ones among all these intersections, because they must lie on the envelope, as shown in [[#Figure6-4|Figure 6-4]]. - {{Anchor|Reference=Figure6-5|Link=[[Image:Ellipsecloseed1.png|center|thumb|500px|Figure 6-5
Elliptic envelope revisited]]}} + {{{!}}border="0" cellpadding=20 cellspacing=20 + {{!}}{{Anchor|Reference=Figure6-3|Link=[[Image:Astroid_x_new.png|center|thumb|350px|Figure 6-3
Fix an x value by drawing a vertical line]]}}{{!}}{{!}}{{Anchor|Reference=Figure6-4|Link=[[Image:Astroid_x_2_new.png|center|thumb|350px|Figure 6-4
Highest and lowest points lying on envelope]]}} + {{!}}} - In Figure 6-5, it's obvious that in one phase, the only segment that contributes to the envelope is between its intersections with the previous and next phase. For example, in the green ellipse, which has variable parameter t = 0.40, the segment above point A is covered by the orange envelope, thus not contributing to the envelope. Similarly the segment below point B does not contribute since it's covered by the blue ellipse. So the envelope is actually consisted of many "chunks" of segments that's not covered by other phases. + The maximum and minimum ''y'' values can be determined using the '''chain rule''', which is a formula in calculus for computing the derivative of the composition of two or more functions. For example, if we have a function +

+ :$F(x(t),y(t))$ +
+ in which $x(t)$ and $y(t)$are differentiable functions of t. Then the chain rule claims that: +

+ :${dF \over dt} = {\partial F \over \partial x}{dx \over dt} + {\partial F \over \partial y}{dy \over dt}$ +
+ Same for function of three or more variables[http://en.wikipedia.org/wiki/Chain_rule The Chain Rule], from Wikipedia. This is a more thorough introduction to the chain rule in multivariable calculus. . - Now consider what happens if we increase the number of captures, and shorten each time interval: - - :*Two neighboring phases will approximate each other. - :*Two intersections A and B will be closer. - :*Segment AB will be shorter and smoother. - + If we apply the chain rule to the level set $F(x,y,t) = C$ with variable ''x'' fixed, we will get: - Eventually, when the number of captures goes to infinity, points A and B will meet together, and segment AB will be "squeezed" into '''one point on the envelope''' (call this point P). Recall that P is the intersection of two neighboring phases: + - + - + - : $F(x,y,t) = C$ and $F(x,y,t + dt) = C$ + - + - + - which gives us: +

- : $F(x,y,t + dt) - F(x,y,t) = 0$ + :${dF(x,y,t) \over dt} = {\partial F(x,y,t) \over \partial y}{dy \over dt} + {\partial F(x,y,t) \over \partial t}{dt \over dt}$

- : ${\partial F(x,y,t) \over \partial t} dt = 0$ + The expression ${dx \over dt}$ didn't appear on the right side because variable ''x'' is fixed. Moreover, since ${dt \over dt} = 1$, this expression can be further reduced to: +

+ :${dF(x,y,t) \over dt} = {\partial F(x,y,t) \over \partial y}{dy \over dt} + {\partial F(x,y,t) \over \partial t}$

- : ${\partial F(x,y,t) \over \partial t} = 0$ + On the other hand, since $F(x,y,t) = C$ is a constant function, we have: - +

- This is the [[#Boundary|boundary condition]] we are trying to prove. The same argument goes for every other envelope. + :${dF(x,y,t) \over dt} = 0$ - +
- + So we can get: - One may also notice that, since the envelope only touches each curve at this single "squeezed" point, it is '''tangent''' to every curve in the family. In fact, envelope can also be defined as '''a curve that is tangent to every one of a family of curves'''. +

+ :${\partial F(x,y,t) \over \partial y}{dy \over dt} + {\partial F(x,y,t) \over \partial t} = 0$ +
+ in which ${dy \over dt}$ is the derivative of the implicit function y(t). +

+ For most envelopes, y is at its maximum or minimum as discussed before, so ${dy \over dt} = 0$. And the previous equation is reduced to: +

+ :*${\partial F(x,y,t) \over \partial t} = 0$ +
+ which is the [[#Boundary|boundary condition]] we are trying to prove. Line 285: Line 381: :*${\partial F(x,y,t) \over \partial t} = 0$ :*${\partial F(x,y,t) \over \partial t} = 0$ - Since every point on the envelope must satisfy both equations, we can combine them to solve for a 2-D envelope curve. However, the calculation involved is rather long and complicated, so here I will only prove the envelope of a sliding ladder is an Astroid. + Since every point on the envelope must satisfy both equations, we can combine them to solve for a 2-D envelope curve. However, the calculation involved is rather long and complicated, so here I will only prove a simple case: that the envelope of a sliding ladder is an Astroid. Line 292: Line 388: {{Anchor|Reference=Figure6-6|Link=[[Image:Ladderonwall2.png|right|thumb|300px|Figure 6-6
Model of ladder on wall]]}} {{Anchor|Reference=Figure6-6|Link=[[Image:Ladderonwall2.png|right|thumb|300px|Figure 6-6
Model of ladder on wall]]}} - See [[#Figure6-6|Figure 6-6]], the length of the ladder is a. For simplicity we will only consider the envelope in first quadrant. + As shown in [[#Figure6-6|Figure 6-6]], the length of the ladder is a. For simplicity we will only consider the envelope in the first quadrant. - Choose x-coordinate of point A as the variable parameter t. So y-coordinate of point B is $\sqrt{a^2 - t^2}$ + Choose the ''x''-coordinate of point ''A'' as the variable parameter'' t''. So the'' y''-coordinate of point ''B'' is $\sqrt{a^2 - t^2}$ Thus the equation of line AB, our sweeping curve, is: Thus the equation of line AB, our sweeping curve, is: Line 300: Line 396: {{EquationRef2|Eq. 1}}$F(x,y,t) = {x \over t} + {y \over \sqrt {a^2 - t^2}} = 1$ {{EquationRef2|Eq. 1}}$F(x,y,t) = {x \over t} + {y \over \sqrt {a^2 - t^2}} = 1$

- Differentiate Eq.1 to get the boundary condition: + Differentiate {{EquationNote|Eq. 1}} with regard to $t$ to get the boundary condition:

:${\partial F(x,y,t) \over \partial t} = -{x \over t^2} + {yt \over (\sqrt {a^2 - t^2})^3} = 0$ :${\partial F(x,y,t) \over \partial t} = -{x \over t^2} + {yt \over (\sqrt {a^2 - t^2})^3} = 0$

- From which we can get: + Move the ''x'' term to the right side to get a neater equation:

- {{EquationRef2|Eq. 2}}${x \over t^3} = {y \over (\sqrt {a^2 - t^2})^3}$ + {{EquationRef2|Eq. 2}}${x \over t^3} = {y \over (\sqrt {a^2 - t^2})^3} = k$

- Substitute Eq.1 into Eq.2 twice, first substitute x, and then y, we get: + in which we introduced a new variable ''k'' to represent their values for convenience. As we have discussed before, {{EquationNote|Eq. 1}} and {{EquationNote|Eq. 2}} already define a 2-D envelope curve. The following steps are just some manipulations that help us to eliminate ''t'' and get a direct relationship between ''x'' and ''y''.

- :${t \over x^{1/3}} = {\sqrt {a^2 - t^2} \over y^{1/3}} = a^{2/3}$ + Substituting {{EquationNote|Eq. 2}} into {{EquationNote|Eq. 1}}, we can get: +

+ :$kt^2 + k(a^2-t^2) = 1$

- Substitute back into Eq.1, we get: + which gives us: +

+ :$k = {1 \over a^2}$ +
+ Substituting back into {{EquationNote|Eq. 2}}: +

+ :${x \over t^3} = {y \over (\sqrt {a^2 - t^2})^3} = {1 \over a^2}$ +
+ We can derive the values of ''t'' and $\sqrt {a^2 - t^2}$ from the equation above: +

+ :$t = x^{1/3}a^{2/3}$ , and $\sqrt {a^2 - t^2} = y^{1/3}a^{2/3}$ +
+ Substituting these values back into Eq.1:

:${x^{2/3} \over a^{2/3}} + {y^{2/3} \over a^{2/3}} = 1$ :${x^{2/3} \over a^{2/3}} + {y^{2/3} \over a^{2/3}} = 1$ Line 318: Line 428: Which leads to: Which leads to:

- :$x^{2/3} + y^{2/3} = a^{2/3}$ , the equation of an Astroid. + :$x^{2/3} + y^{2/3} = a^{2/3}$ , finally, the equation of an Astroid.

- Other proofs are similar. + Other proofs are similar.[http://en.wikipedia.org/wiki/Envelope_(mathematics) Envelope], from Wikipedia. This page was particularly helpful for me in the More Mathematical Explanation section. It also has proof for some more envelopes. - + |other=Calculus |other=Calculus |AuthorName=skylighter.com |AuthorName=skylighter.com Line 327: Line 436: |SiteURL=http://www.skylighter.com/i/fireworks/blue-aerial-shell.htm |SiteURL=http://www.skylighter.com/i/fireworks/blue-aerial-shell.htm |Field=Geometry |Field=Geometry - |WhyInteresting= + |WhyInteresting=Although the envelope concept looks like pure math, it does have some interesting applications in various areas, such as Microeconomics, Applied Physics, and String Art. - + - + - Although envelope looks like a pure math concept, it does have some interesting applications in various areas, such as Microeconomics, Applied Physics, and String Arts: + Line 337: Line 443: - Economists often deal with maximization or minimization problems: to maximize benefit, minimize cost, maximize social revenue, and so on. However, the problem is that there are so many variable parameters in economics. How many men should I hire? How much land should I buy or rent? Should I invest more money to buy new machines, or should I just do with old ones? Because of all these variable parameters, economists often end up doing maximization or minimization of '''a family of curves''', rather than a single curve (see [[#Figure7-1|Figure 7-1]]) + Economists often deal with maximization or minimization problems: to maximize benefit, minimize cost, maximize social revenue, and so on. However, the issue is that there are so many variable parameters in economics. How many men should I hire? How much land should I buy or rent? Should I invest more money to buy new machines, or should I just make with old ones? Because of all these variable parameters, economists often end up doing maximization or minimization of ''a family of curves'', rather than a single curve (see [[#Figure7-1|Figure 7-1]]) - So here comes '''the Envelope Theorem'''. It allows economists to find the envelope of a family of curves first, and then determine the maximum or minimum value on the envelope. Since no points go beyond the envelope, this point must be the absolute extrumum among the whole family of curves + To analyze all these curves at once, economists introduced ''the Envelope Theorem'', which allows them to find the envelope of a family of curves first, and then determine the maximum or minimum value on the envelope. Since no points go beyond the envelope, this point must be the absolute extremum among the whole family of curves. - For more about the envelope theorem, please go [http://www.economics.utoronto.ca/osborne/MathTutorial/MEEF.HTM here]. + For more about ''the Envelope Theorem'', please go [http://www.economics.utoronto.ca/osborne/MathTutorial/MEEF.HTM here][http://www.economics.utoronto.ca/osborne/MathTutorial/MEEF.HTM Martin J. Osborne, ''Mathematical methods for economic theory: a tutorial by Martin J. Osborne'', 2011]. This is a brief introduction to Envelope Theorem in Microeconomics.. Line 351: Line 457: {{!}}} {{!}}} - In physics, if we combine two wave of almost the same wavelength and frequency, we will get a '''beating wave''' (see [[#Figure7-2| Figure 7-2]]). For such a wave, physicists usually care more about its envelope, rather than the wave itself, since the envelope is what people will actually hear, or see. For example, the two branches of a [http://en.wikipedia.org/wiki/Tuning_fork tuning fork] are almost, but not exactly identical. So if a tuning fork starts to vibrate, its two branches will produce two slightly different sound waves. The superposition of these two waves is a beating sound wave with varying amplitude. This is why people can hear "beats" when they strike a tuning fork. + In physics, if we combine two waves of almost the same wavelength and frequency, we will get a '''beating wave''' (see [[#Figure7-2| Figure 7-2]]). For such a wave, physicists usually care more about its envelope, rather than the wave itself, since the envelope is what people will actually hear, or see. For example, the two branches of a [http://en.wikipedia.org/wiki/Tuning_fork tuning fork] are almost, but not exactly, identical. So if a tuning fork starts to vibrate, its two branches will produce two slightly different sound waves. The superposition of these two waves is a beating sound wave with varying amplitude. This is why people can hear "beats" when they strike a tuning fork. - A similar mechanism is used in Amplitude Modulation broadcasting. Different waves are superposed with each other to form a '''sinusoidal carrier wave''' with changing amplitude, which can be used to carry audio signals (see [[#Figure7-3| Figure 7-3]]). For more information please go [http://en.wikipedia.org/wiki/Amplitude_modulation here]. + A similar mechanism is used in AM (Amplitude Modulation) broadcasting. Different waves are superposed with each other to form a '''sinusoidal carrier wave''' with changing amplitude, which can be used to carry audio signals (see [[#Figure7-3| Figure 7-3]]). For more about broadcasting, please go [http://en.wikipedia.org/wiki/Amplitude_modulation here][http://en.wikipedia.org/wiki/Amplitude_modulation Amplitude Modulation Broadcasting], from Wikipedia. This page is a more extensive introduction to AM broadcasting.. - ==Application in String Arts== + ==Application in String Art== {{{!}}border="0" cellpadding=10 cellspacing=10 {{{!}}border="0" cellpadding=10 cellspacing=10 {{!}}{{Anchor|Reference=Figure7-4|Link=[[Image:X^2 string.gif|left|thumb|250px|Figure 7-4
String arts use straight lines to reprensent curves]]}}{{!}}{{!}}{{Anchor|Reference=Figure7-5|Link=[[Image:3DString.jpg|right|thumb|250px|Figure 7-5
A 3-D String Art Product]]}} {{!}}{{Anchor|Reference=Figure7-4|Link=[[Image:X^2 string.gif|left|thumb|250px|Figure 7-4
String arts use straight lines to reprensent curves]]}}{{!}}{{!}}{{Anchor|Reference=Figure7-5|Link=[[Image:3DString.jpg|right|thumb|250px|Figure 7-5
A 3-D String Art Product]]}} {{!}}} {{!}}} - String Arts is a material representation of envelope, in which people arrange colored straight strings to form complicated geometric figures.

For more about String Art please go [[String Art Calculus|here]]. + String Art is a material representation of envelopes, in which people arrange colored straight strings to form complicated geometric figures.

For more about String Art please go [[String Art Calculus|here]]. - + |ImageRelates=As pointed out in the [[#Beginning|main image]], the envelope of all particles' trajectories in an exploding firework is a '''parabola'''. Here comes the explanation: - |ImageRelates= + - + - As pointed out in the [[#Main|main image]], the envelope of all particles' trajectories in an exploding firework is a '''parabola'''. Here comes the explanation: + + {{Anchor|Reference=Figure8-1|Link=[[Image:FireworkEnvelope.png|center|thumb|700px|Figure 8-1
Simulation of the blue-aerial-shell firework]]}} {{Anchor|Reference=Figure8-1|Link=[[Image:FireworkEnvelope.png|center|thumb|700px|Figure 8-1
Simulation of the blue-aerial-shell firework]]}} - [[#Figure8-1|Figure 8-1]] shows a simulation of the exploding process. Here the firework is modeled as: + [[#Figure8-1|Figure 8-1]] shows a simulation of the exploding process. Blue parabolas are trajectories of particles, and the red parabola is their envelope. - :*consisted of many shinning particles, each projected from the origin at the same time, with same velocity '''v'''. + For the envelope to be parabolic, we have to make several assumptions: - :*under the effect of gravity, with gravitational constant g - :*not affected by air friction. In fact, this turns out to be an arguable assumption, and will be discussed later. + :*The firework is composed of many particles, each projected from the origin at the same time, with same velocity '''v'''. -

+ - With the assumptions above, we can write out the trajectory of one particular particle: + :*Particles are subject to constant gravity, with gravitational acceleration g. + + :*Air friction can be neglected. In fact, this turns out to be an contestable assumption. Most firework particles are relatively small and light, so they could be significantly deflected by air friction. However, the case with air friction is way too complicated for this page. Besides, air friction can be neglected, at least for some fireworks with big and heavy particles such as blue-aerial-shell. So we can still accept this assumption and see what happens. + + + + With the assumptions above, we can write out the trajectory of one particular particle using simple mechanics:

:$y = x{\tan \theta} - x^2{{g \over 2v^2}(1 + \tan^2 \theta)}$, :$y = x{\tan \theta} - x^2{{g \over 2v^2}(1 + \tan^2 \theta)}$,

- in which $\theta$ is the angle of projection. This is a result from simple mechanical physics. For more about projectile trajectory, please go [http://en.wikipedia.org/wiki/Trajectory here]. + in which θ is the angle of projection. For the physics behind this equation and more about projectile trajectory, please go [http://en.wikipedia.org/wiki/Trajectory here][http://en.wikipedia.org/wiki/Trajectory Trajectory], from Wikipedia. This is the physics behind projectile motions..

- For now, let's leave Physics behind and focus on the curves themselves. In this trajectory, $\theta$ is the variable parameter. If we denote $\tan \theta$ by $t$, we can write out a family of curves (in level set form): + For now, let's leave Physics behind and focus on the curves themselves. In this trajectory, θ is the variable parameter. If we denote tanθ by ''t'' , we can write out a family of curves (in level set form):

{{EquationRef2|Eq 1}}$F(x,y,t) = y - tx + {{g \over 2v^2}(1 + t^2)x^2} = 0$ {{EquationRef2|Eq 1}}$F(x,y,t) = y - tx + {{g \over 2v^2}(1 + t^2)x^2} = 0$ Line 390: Line 499: Differentiate to get the boundary condition (see the More Mathematical Explanation section): Differentiate to get the boundary condition (see the More Mathematical Explanation section):

- :{{EquationRef2|Eq 2}} + :{{EquationRef2|Eq 2}}${{\partial F(x,y,t)} \over {\partial t}}= {gx^2 \over v^2}t - x = 0$ +
+ Substitute Eq 2 into Eq 1 to eliminate ''t''. After doing some algebra we can get: +

+ :$y = { v^2 \over 2g } - {gx^2 \over 2v^2}$, +
+ which gives us the parabolic envelope in [[#Figure8-1|Figure 8-1]]. + + + As we have discussed before, this is not true for all fireworks. Because of air friction, most fireworks have an envelope more like a sphere. Nonetheless, this parabolic pattern can be seen elsewhere, such as in fountains or explosions. This analysis is also useful in the study of [http://arxiv.org/pdf/physics/0410034v1.pdf safe domains][http://arxiv.org/pdf/physics/0410034v1.pdf Jean-Marc Richard, ''Safe domain and elementary geometry'', 2008]. This is a study about safe domains in projectile motion.in projectile motion. + + + |FieldLinks= + + :1.[http://jwilson.coe.uga.edu/Texts.Folder/Envel/envelopes.html http://jwilson.coe.uga.edu/Texts.Folder/Envel/envelopes.html]. I used this page as a starting point. + + :2.[http://poncelet.math.nthu.edu.tw/disk3/summer01/work/861/02/ex2.html http://poncelet.math.nthu.edu.tw/disk3/summer01/work/861/02/ex2.html]. Here are some animations for more cool envelopes. + + :3.[http://www.dynamicgeometry.com/ http://www.dynamicgeometry.com/]. This is a very helpful geometric software called Geometer's Sketchpad. I used this software to create most of my pictures. - |FieldLinks=. |References= |References= |ToDo=. |ToDo=. + |InProgress=Yes + } |InProgress=Yes |InProgress=Yes }} }}

## Current revision

Blue-aerial-shell
Field: Geometry
Image Created By: skylighter.com
Website: skylighter.com

Blue-aerial-shell

This is a beautiful blue-aerial-shell firework filling the sky. Each particle of the firework follows a parabolic trajectory, and together they sweep an area with the red curve as its boundary. This red boundary is then called the envelope of those parabolas. What's more, as we are going to see in the following sections, this envelope also turns out to be a parabola.

# Basic Description

In geometry, an envelope of a family of curves is the boundary of these curves' "sweeping area". In most cases, the envelope is tangent to each member of the family at some point.

 A family of curves is a set of curves described by the same function, except for one or more variable parameters. For example, $y = -x + a$ with variable a is a family of straight lines. See image:
 Figure 1-1: Ladder and Man Here is a real world example of envelopes. Suppose there is a ladder leaning on a wall. The ladder starts to slide down because someone steps on it. What will be the shape of the area "swept" by the ladder before it hits the ground?A simulation of this process is shown below:
 Figure 1-2: Demonstration of a sliding ladder Figure 1-3: The complete astroid

Surprisingly, as shown in Figure 1-2, the area swept by a moving straight line does not necessarily have a straight boundary. In fact, its envelope is the first-quadrant portion of an astroid. One may notice the Astroid is always tangent to the ladder at some point during the sliding process, as stated in the definition of an envelope.

If we slide the ladder in the other three quadrants, we will get a complete star-shaped envelope, as shown in Figure 1-3. In fact, the name astroid comes from the Greek word for "star".

For the math behind this envelope, please go to the More Mathematical Explanation section.

# A gallery of beautiful envelopes

## Envelopes of lines

As we have seen in the ladder example, a moving straight line can have a curve as its envelope. Here are more examples:

 Figure 2-1 Figure 2-2 Gif animation of Parabola envelope

In Figure 2-1, line m, our sweeping line, is perpendicular to segment OA at its midpoint M. Point O is fixed in space.

If we slide point A along line l, line m will sweep out a Parabola, with point O as its focus and line l as its directrix.

 A parabola can be defined as the set of points that are equidistant from a point and a straight line. This point is called the parabola's focus, and this straight line called the parabola's directrix. As shown in the following image, the green and orange segments have the same length by definition. For more about parabola, please go here.

 Figure 2-3 Figure 2-4Gif animation of Ellipse envelope

Similar to what we did in Figure 2-1, our sweeping line is still the perpendicular bisector of segment AB. The only difference is that point A now slides on a circle, rather a straight line.

The result is an Ellipse with O and B as its foci, as shown in Figure 2-4.

 An ellipse can be defined as the set of points that have a constant sum of distances to two other points. These two points are called the ellipse's foci. As shown in the following image, AF1 + AF2 is constant for all points A on the ellipse. For more about Ellipse and its foci, please go here.

 Figure 2-5 Figure 2-6 Gif animation of Hyperbola envelope

Similar to what we did in the previous example, our sweeping line is still the perpendicular bisector of segment AB. The only difference is that point B is outside the circle.

The result is a hyperbola with O and B as its foci, as shown in Figure 2-6.

 An hyperbola can be defined as the set of points that have a constant difference of distances to two other points. These two points are called the hyperbola's foci. As shown in the following image, AF1 – AF2 is constant for all points A on the left half of hyperbola. For more about Hyperbola and its foci, please go here.

So far we have got all of the three Conic Section Curves as envelopes of straight lines. However, the sweeping curve for envelopes is in no way restricted to be a straight line. Circles, ellipses, and other curves can make sweeping curves for fantastic envelopes as well.

## Envelope of circles

This section shows some interesting envelopes generated by moving a circle around.

 Figure 3-1 Figure 3-2 Gif animation of Cardioid envelope

In Figure 3-1, we begin with a base circle O, which is fixed in space, then select two points A and B on the base circle. Our sweeping circle is centered at A, and passes through B.

If we fix point B and slide point A along the fixed circle, circle A will sweep out a Cardioid, as shown in Figure 3-2.

The name "Cardioid" comes from the Greek word for "heart-shaped". For more information about the Cardioid, please go to this page.

 Figure 3-3 Figure 3-4 Gif animation of Nephroid envelope

Similar to what we did in Figure 3-1, we still have a fixed base circle O, and a sweeping circle that has its center A sliding on the base circle. The only difference is that our sweeping circle is now tangent to a vertical line l, rather than passes through a fixed point.

The result is a Nephroid, which is the Greek word for "kidney-shaped". For more information about Nephroid please go here.

 Figure 3-5 Figure 3-6 Gif animation of Lemniscate envelope

In Figure 3-5, we begin with a hyperbola, with points F1 and F2 as its foci and A as its center. Our sweeping circle has its center O on the hyperbola, and passes through A.

If we slide O along the hyperbola, we will get a Lemniscate as the envelope of the sweeping circle.

The Lemniscate is an eight-shaped curve discovered by Jacob Bernoulli [1]. For more information about Lemniscates please go here.

 Figure 3-7 a variation of "lemniscate" Figure 3-8 Aha! I have ears like a lemniscate!

In Figure 3-5, if instead of having A as center of the hyperbola, we move it to an arbitrary position between the hyperbola's two halves, then we will get a variation of "lemniscate", which has a funny shape like a bunny's ears.

## More complicated envelopes

The following envelopes have more complicated mechanisms than previous ones. But as a result they are even more interesting.

### 1. The Astroid again, but this time using ellipses

Recall that in Figure 1-1, we showed how to construct an astroid using a line segment sliding on coordinate axes. Actually there is another way to generate the same astroid: using a family of ellipses.

The animation below shows this process. Here the variable parameter is c, which determines the shape of the ellipse. As we can see, when c varies continuously from 0 to 1, the varying ellipse sweeps out an Astroid.

Figure 4-3
Astroid as envelope of ellipses

First, let's look at the family of ellipses ${x^2 \over c^2} + {y^2 \over (1-c)^2 } = 1$:

 Figure 4-1 Figure 4-2

Here, because there is a variable parameter c in the equation of the ellipse, we get a family of curves out of this. For every different c value, this equation gives us a different ellipse.

For example, in Figure 4-1, since c < 1/2 , then (1 - c )2 > c2, so here the major axis is the y - axis, and the minor axis is the x - axis.

However, if we choose another c = 0.89, which is larger than 1/2, then we will have (1 - c )2 < c2, which makes y - axis the major axis.

To get the envelope of this family of ellipses, we can let c vary continuously from 0 to 1 and trace the area swept by these ellipses. As shown in the previous animation, this envelope turns out to be an astroid, exactly like the one we constructed before in the ladder example.

### 2. A Deltoid as the envelope of Wallace-Simson lines

The Wallace-Simson line is related to an interesting theorem in geometry proposed by William Wallace in 1796. The theorem itself is not hard to prove, and with a little manipulation we can get one of the most beautiful envelopes out of it.

The following animation shows this process. Here M is the point that anchors the Wallace-Simson line. When M moves around the circle, that line sweeps out a Deltoid:

Figure 5-3
Deltoid as envelope of Wallace-Simson Line

Here is a brief introduction of the Wallace-Simson line:

 Figure 5-1Perpendicular Projections Figure 5-2The Wallace-Simson Line (orange)

The two figures above shows the construction process of Wallace-Simson line. In Figure 5-1, we start by drawing an arbitrary triangle and its circumscribed circle O. Then we select an arbitrary point M on the circumscribed circle, and make perpendicular projections of M onto the 3 sides of the triangle (extend line segment if not inside triangle), intersecting at P, Q, and R.

Wallace claimed that the three projections are on the same straight line (see the orange line in Figure 5-2). This line is called Wallace-Simson Line. A proof of this theorem can be found here[2].

Since M is an arbitrary point on circle O, we can move it along the circle. Points P, Q, and R are also going to move, since they are perpendicular projections of point M. So we will have a sweeping Wallace-Simson Line, and its envelope is a deltoid, as shown in the previous animation.

One may be puzzled by the fact that, in Figure 5-3, the Wallace-Simson line actually sweeps across the whole plane. If envelope is defined as "the boundary of area swept by a family of curves", then in this case there should be no envelope at all! So where does this Deltoid come from? And why do people call it an envelope?

To answer these questions, we have to look at the animation more carefully. A more thorough examination of the sweeping process reveals the fact that area inside the Deltoid is swept 3 times, while area outside is swept only once. In fact, as shown in Figure 5-4, this sweeping process can be divided into 3 parts, so that in each part the Wallace-Simson line sweeps out 1/3 of the whole Deltoid as strict envelope, without lines from other parts sticking out. The whole Deltoid can be viewed as these segments put together. Although it's not a single, perfect envelope, this doesn't affect its appearance.

 Figure 5-4 (a) Figure 5-4 (b) Figure 5-4 (c)

This envelope was firstly discovered and proved by Swiss mathematician Jakob Steiner. In 1856 he published a paper, giving a lengthy proof of why we get a Deltoid when moving the Wallace-Simson Line. A simplified version of this proof can be found here[3].

The Astroid, Cardioid, Nephroid, and Deltoid all belong to the Roulette Family, which means they can also be constructed by rolling one circle around another. For more information about Roulettes, please go to this page.

# A More Mathematical Explanation

Note: understanding of this explanation requires: *Calculus

At the beginning of this page, we gave the following definition:

• An envel [...]

At the beginning of this page, we gave the following definition:

• An envelope of a family of curves is the boundary of their sweeping area.

However, if we want a more mathematical explanation of envelope, we have to redefine it in a more mathematical way, because some problems arise with the original definition when we dive into more math:

First, we need a more general way to represent curves. Before this section we have been describing curves as graphs of a single variable function y= f(x). However, not all curves can be written in this form. For example, a circle of radius a cannot be represented as y= f(x) unless we use two functions, $y = \sqrt{a^2 - x^2}$ and $y = - \sqrt{a^2 - x^2}$. Same thing happens for ellipses, hyperbolas, and other complicated curves. So we need a more general expression to include them in our discussion.

Second, "boundary of the sweeping area" is a rough description in everyday language. It's not something that we can use to derive mathematical formula and equations. So we have to be clear about we mean by "sweep", "boundary", and so on.

In the rest of this section, we are going to deal with these two problems one by one, and show how can we get a good mathematical explanation of envelopes using the new definition.

## Resolving the first problem: the power of level sets

The first problem is easily resolved if we describe 2-D curves using level sets, rather than graphs of single variable functions y= f(x).

In Multivariable Calculus, the level set of a two-variable function F(x,y) at height C is defined as the set of points (x,y) that satisfy the condition F(x,y) = C. For example, instead of writing y = 2x - 1 for a line, we could write 2x - y = 1, in which F(x,y) = 2x - y and C = 1.

In general, level sets are more powerful than graphs of single functions when we need to describe 2-D curves, since all single variable functions y = f(x) can be written in the level set form F(x,y) = f(x) - y = 0 , but the converse is not true. For example, the circle in Figure 6-1, can not be rewritten as y = f(x) unless we use multiple functions. In a more extreme case, the level set x5 + y + cos y = 1 in Figure 6-2 is not even possible to be reduced to y = f(x) form, since there is no closed-form, algebraic solution to this transcendental equation. For more about transcendental equations, please go to this page.

 Figure 6-1How to represent circles and lines Figure 6-2How to represent a complicated 2-D curve

Because of these advantages of level sets, in the rest of this section we will use F(x,y) = C, rather than y = f(x), to describe a family of curves. At least for the purpose of envelopes, the method of level sets is sufficient to describe all 2-D curves that we care about.

## Resolving the second problem: the boundary condition

The next question is, given a family of level set curves F(x,y,t) = C with variable parameter t, how can we find its boundary and express it in mathematical language?

The answer is given by the boundary condition, which states that:

For a family of level set curves F(x,y,t) = C with variable parameter t, it's envelope, or boundary of sweeping area, must satisfy the condition:
${\partial F(x,y,t) \over \partial t} = 0$ .

We will prove this condition using the implicit function theorem, which is an important theorem in calculus. The implicit function theorem states that, if we have a level set F(x,y) = C that satisfies some mild conditions, then y can be viewed as an implicit function of x, because their values are interrelated with each other. If the value of y changes, the value of x also has to change, since the condition F(x,y) = C must always be satisfied. As shown in the previous section, sometimes we can derive an explicit function y = f(x) from the level set, sometimes we can't. But the failure of deriving this explicit expression doesn't mean that x and y are unrelated. They are still related through this "implicit function".

This theorem can be generalized to functions of three or more variables. For example, in the level set F(x,y,t) = C , x can be viewed as an implicit function of y and t, y can be viewed as an implicit function of x and t, and so on. Moreover, if we fix one of the variables in this level set, then it's reduced to the 2-variable case. Say, if we fix the value x in the lever set F(x,y,t) = C , then y is an implicit function of t.

With the implicit function theorem in hand, we are now equipped to prove the boundary condition, and find the envelope. Rather than looking at the whole family F(x,y,t) = C , we can fix the value of x, and focus on y as an implicit function of t. For example, in Figure 6-3, which is the ladder problem revisited, we can fix an x value by drawing a vertical line, so that each phase of the ladder intersects this line at a different point. The height, or y-coordinate of this point is an implicit function of the ladder's position, which is in turn determined by the variable parameter t. Now the problem is reduced to finding the highest and lowest ones among all these intersections, because they must lie on the envelope, as shown in Figure 6-4.

 Figure 6-3Fix an x value by drawing a vertical line Figure 6-4Highest and lowest points lying on envelope

The maximum and minimum y values can be determined using the chain rule, which is a formula in calculus for computing the derivative of the composition of two or more functions. For example, if we have a function

$F(x(t),y(t))$

in which $x(t)$ and $y(t)$are differentiable functions of t. Then the chain rule claims that:

${dF \over dt} = {\partial F \over \partial x}{dx \over dt} + {\partial F \over \partial y}{dy \over dt}$

Same for function of three or more variables[4] .

If we apply the chain rule to the level set $F(x,y,t) = C$ with variable x fixed, we will get:

${dF(x,y,t) \over dt} = {\partial F(x,y,t) \over \partial y}{dy \over dt} + {\partial F(x,y,t) \over \partial t}{dt \over dt}$

The expression ${dx \over dt}$ didn't appear on the right side because variable x is fixed. Moreover, since ${dt \over dt} = 1$, this expression can be further reduced to:

${dF(x,y,t) \over dt} = {\partial F(x,y,t) \over \partial y}{dy \over dt} + {\partial F(x,y,t) \over \partial t}$

On the other hand, since $F(x,y,t) = C$ is a constant function, we have:

${dF(x,y,t) \over dt} = 0$

So we can get:

${\partial F(x,y,t) \over \partial y}{dy \over dt} + {\partial F(x,y,t) \over \partial t} = 0$

in which ${dy \over dt}$ is the derivative of the implicit function y(t).

For most envelopes, y is at its maximum or minimum as discussed before, so ${dy \over dt} = 0$. And the previous equation is reduced to:

• ${\partial F(x,y,t) \over \partial t} = 0$

which is the boundary condition we are trying to prove.

## Conclusion and Application

Now we have the family of level set curves:

• $F(x,y,t) = C$

and the boundary condition:

• ${\partial F(x,y,t) \over \partial t} = 0$

Since every point on the envelope must satisfy both equations, we can combine them to solve for a 2-D envelope curve. However, the calculation involved is rather long and complicated, so here I will only prove a simple case: that the envelope of a sliding ladder is an Astroid.

### Proof for the Astroid envelope

Figure 6-6
Model of ladder on wall

As shown in Figure 6-6, the length of the ladder is a. For simplicity we will only consider the envelope in the first quadrant.

Choose the x-coordinate of point A as the variable parameter t. So the y-coordinate of point B is $\sqrt{a^2 - t^2}$

Thus the equation of line AB, our sweeping curve, is:

Eq. 1        $F(x,y,t) = {x \over t} + {y \over \sqrt {a^2 - t^2}} = 1$

Differentiate Eq. 1 with regard to $t$ to get the boundary condition:

${\partial F(x,y,t) \over \partial t} = -{x \over t^2} + {yt \over (\sqrt {a^2 - t^2})^3} = 0$

Move the x term to the right side to get a neater equation:

Eq. 2        ${x \over t^3} = {y \over (\sqrt {a^2 - t^2})^3} = k$

in which we introduced a new variable k to represent their values for convenience. As we have discussed before, Eq. 1 and Eq. 2 already define a 2-D envelope curve. The following steps are just some manipulations that help us to eliminate t and get a direct relationship between x and y.

Substituting Eq. 2 into Eq. 1, we can get:

$kt^2 + k(a^2-t^2) = 1$

which gives us:

$k = {1 \over a^2}$

Substituting back into Eq. 2:

${x \over t^3} = {y \over (\sqrt {a^2 - t^2})^3} = {1 \over a^2}$

We can derive the values of t and $\sqrt {a^2 - t^2}$ from the equation above:

$t = x^{1/3}a^{2/3}$ , and $\sqrt {a^2 - t^2} = y^{1/3}a^{2/3}$

Substituting these values back into Eq.1:

${x^{2/3} \over a^{2/3}} + {y^{2/3} \over a^{2/3}} = 1$

Which leads to:

$x^{2/3} + y^{2/3} = a^{2/3}$ , finally, the equation of an Astroid.

Other proofs are similar.[5]

# Why It's Interesting

Although the envelope concept looks like pure math, it does have some interesting applications in various areas, such as Microeconomics, Applied Physics, and String Art.

## Application in Microeconomics: the Envelope Theorem

Figure 7-1
The Envelope Theorem

Economists often deal with maximization or minimization problems: to maximize benefit, minimize cost, maximize social revenue, and so on. However, the issue is that there are so many variable parameters in economics. How many men should I hire? How much land should I buy or rent? Should I invest more money to buy new machines, or should I just make with old ones? Because of all these variable parameters, economists often end up doing maximization or minimization of a family of curves, rather than a single curve (see Figure 7-1)

To analyze all these curves at once, economists introduced the Envelope Theorem, which allows them to find the envelope of a family of curves first, and then determine the maximum or minimum value on the envelope. Since no points go beyond the envelope, this point must be the absolute extremum among the whole family of curves.

For more about the Envelope Theorem, please go here[6].

## Application in Physics: Envelope of Waves

 Figure 7-2A typical beating wave with high frequency and slowly changing amplitude Figure 7-3An audio signal may be carried by an AM or FM radio wave

In physics, if we combine two waves of almost the same wavelength and frequency, we will get a beating wave (see Figure 7-2). For such a wave, physicists usually care more about its envelope, rather than the wave itself, since the envelope is what people will actually hear, or see. For example, the two branches of a tuning fork are almost, but not exactly, identical. So if a tuning fork starts to vibrate, its two branches will produce two slightly different sound waves. The superposition of these two waves is a beating sound wave with varying amplitude. This is why people can hear "beats" when they strike a tuning fork.

A similar mechanism is used in AM (Amplitude Modulation) broadcasting. Different waves are superposed with each other to form a sinusoidal carrier wave with changing amplitude, which can be used to carry audio signals (see Figure 7-3). For more about broadcasting, please go here[7].

## Application in String Art

 Figure 7-4String arts use straight lines to reprensent curves Figure 7-5A 3-D String Art Product

String Art is a material representation of envelopes, in which people arrange colored straight strings to form complicated geometric figures.

For more about String Art please go here.

# How the Main Image Relates

As pointed out in the main image, the envelope of all particles' trajectories in an exploding firework is a parabola. Here comes the explanation:

Figure 8-1
Simulation of the blue-aerial-shell firework

Figure 8-1 shows a simulation of the exploding process. Blue parabolas are trajectories of particles, and the red parabola is their envelope.

For the envelope to be parabolic, we have to make several assumptions:

• The firework is composed of many particles, each projected from the origin at the same time, with same velocity v.
• Particles are subject to constant gravity, with gravitational acceleration g.
• Air friction can be neglected. In fact, this turns out to be an contestable assumption. Most firework particles are relatively small and light, so they could be significantly deflected by air friction. However, the case with air friction is way too complicated for this page. Besides, air friction can be neglected, at least for some fireworks with big and heavy particles such as blue-aerial-shell. So we can still accept this assumption and see what happens.

With the assumptions above, we can write out the trajectory of one particular particle using simple mechanics:

$y = x{\tan \theta} - x^2{{g \over 2v^2}(1 + \tan^2 \theta)}$,

in which θ is the angle of projection. For the physics behind this equation and more about projectile trajectory, please go here[8].

For now, let's leave Physics behind and focus on the curves themselves. In this trajectory, θ is the variable parameter. If we denote tanθ by t , we can write out a family of curves (in level set form):

Eq 1        $F(x,y,t) = y - tx + {{g \over 2v^2}(1 + t^2)x^2} = 0$

Differentiate to get the boundary condition (see the More Mathematical Explanation section):

Eq 2        ${{\partial F(x,y,t)} \over {\partial t}}= {gx^2 \over v^2}t - x = 0$

Substitute Eq 2 into Eq 1 to eliminate t. After doing some algebra we can get:

$y = { v^2 \over 2g } - {gx^2 \over 2v^2}$,

which gives us the parabolic envelope in Figure 8-1.

As we have discussed before, this is not true for all fireworks. Because of air friction, most fireworks have an envelope more like a sphere. Nonetheless, this parabolic pattern can be seen elsewhere, such as in fountains or explosions. This analysis is also useful in the study of safe domains[9]in projectile motion.

# Teaching Materials

There are currently no teaching materials for this page. Add teaching materials.

# Related Links

### Additional Resources

1.http://jwilson.coe.uga.edu/Texts.Folder/Envel/envelopes.html. I used this page as a starting point.
2.http://poncelet.math.nthu.edu.tw/disk3/summer01/work/861/02/ex2.html. Here are some animations for more cool envelopes.
3.http://www.dynamicgeometry.com/. This is a very helpful geometric software called Geometer's Sketchpad. I used this software to create most of my pictures.

# References

1. Lemniscate of Bernoulli, from Wikipedia. This is an introduction to Lemniscate and how it was discovered.
2. Simson Line, from Wikipedia. This is a simple proof of the existence of Wallace-Simson line.
3. M. de Guzman, 2001, A simple proof of the Steiner theorem on the deltoid. This is a simplified version of Jakob Steiner's proof.
4. The Chain Rule, from Wikipedia. This is a more thorough introduction to the chain rule in multivariable calculus.
5. Envelope, from Wikipedia. This page was particularly helpful for me in the More Mathematical Explanation section. It also has proof for some more envelopes.
6. Martin J. Osborne, Mathematical methods for economic theory: a tutorial by Martin J. Osborne, 2011. This is a brief introduction to Envelope Theorem in Microeconomics.
7. Amplitude Modulation Broadcasting, from Wikipedia. This page is a more extensive introduction to AM broadcasting.
8. Trajectory, from Wikipedia. This is the physics behind projectile motions.
9. Jean-Marc Richard, Safe domain and elementary geometry, 2008. This is a study about safe domains in projectile motion.

# Future Directions for this Page

.

If you are able, please consider adding to or editing this page!

Have questions about the image or the explanations on this page?
Leave a message on the discussion page by clicking the 'discussion' tab at the top of this image page.