## Rolle's theorem on Envelope Equations

1. The problem statement, all variables and given/known data

This section describes using Rolle's theorem to find equation of envelopes by eliminating the independent variable, in this case a1.

3. The attempt at a solution

By Rolle's theorem for some 0<k<1,

∂f(x,y,a+kh)/∂a = [ f(x,y,a) - f(x,y,a+h) ]/h = 0

As h→0, P→P1

∴lim(h→0) ∂f(x,y,a+kh)/∂a = ∂f(x,y,a)/∂a

I understand why ∂f(x,y,a+kh)/∂a = 0, but why must ∂f(x,y,a)/∂a = 0 too?

Just because ∂f(x,y,a+kh)/∂a = 0, as you let h→0 it doesnt mean that the derivative approaches 0 as well..
Attached Thumbnails

 PhysOrg.com science news on PhysOrg.com >> Ants and carnivorous plants conspire for mutualistic feeding>> Forecast for Titan: Wild weather could be ahead>> Researchers stitch defects into the world's thinnest semiconductor
 would appreciate if anyone can clear this up..
 You need the assumption that f is differentiable. Also, they are not deducing that the partial derivative is 0 from the limit of h going to 0. They are defining the envelope of the family of curves f(x,y,a) as all the pts (x,y) such that there exists an a such that $$f(x,y,a_1) = \frac{\partial f(x,y,a_1)}{\partial h} = 0$$ All the stuff beforehand just sets up the context for this definition. Search Wiki for more info on the envelop of curves.

## Rolle's theorem on Envelope Equations

I have given some thought about this problem and have come up with some conclusions:

for a family of curves g(x,y,ck) = 0, where a particular value of ck will give you such a particular curve:

Equation
For all values of ck within range, a certain point (xk,yk) from the member family will lie both on the family curve and the envelope, and tangential to each other.

Therefore the resulting envelope curve depends on c, x and y. But since every single point on the envelope curve is due to a point on a member-family curve, the envelope must therefore satfisfy some function:

h(x,y,c) = 0 (Yes the 'k' beneath the c was intentionally left out)

albeit definitely a different form from g(x,y,ck).

Derivative
Every point (x,y) is determined for a particular value of c; in a way x(c), y(c). So for

∂h/∂c = [ h(x,y,c+Δc) - h(x,y,c) ]/Δc.

But if you keep (x,y) fixed, the numerator = 0 as it doesn't matter what value of c is given.

Hence, (∂h/∂c) = 0

Would appreciate any inputs!
 That pretty much sums it up. But be careful: its not the case that for every c_k there is some (x_k,y_k), but that for every (x,y) on the envelope curve there exists a value x such that the envelope curve is tangent to g at (x,y,c).
 Update: I thought some more about it, and came up with new conclusions: g(x,y,c) = 0 and (∂g/∂c) = 0 should be the solutions, instead of h because it is very difficult to find h(x,y,c). g(x,y,c) = 0 alone is meaningless, as it simply shows the family of curves. Now, when you combine this result with the constraint (∂g/∂c) = 0 voila' it gives you the envelope equation! Each expression on its own is meaningless, only when you combine it do you get the envelope equations.

 Tags rolle envelope
 Thread Tools

 Similar Threads for: Rolle's theorem on Envelope Equations Thread Forum Replies Calculus & Beyond Homework 1 Calculus & Beyond Homework 2 Calculus & Beyond Homework 8 Calculus & Beyond Homework 2