Quote:
Originally Posted by bobboufl11
Do I understand this at all?
No
Quote:
And I am still not sure how to find partial z here to form the gradient or what to take partial z with respect to
We can "take the gradient" of a function, not of a surface. So grad(f) makes sense when f is a scalar function, say f(x,y,z).
A "surface" is (for our purposes) the 0 set of a function. [i.e., the points (x,y,z) s.t. f(x,y,z)=0]
So, your "surface," defined by z=(e^x)cosy, is really the surface:
f(x,y,z) = z - (e^x)cos(y) = 0
Now to find the normal vector to a surface f(x,y,z) = 0 at a point (x0,y0,z0) on the surface, we just take grad(f) at (x0,y0,z0).
A tangent plane to the surface [f(x,y,z) = 0] at (x0,y0,z0) is defined by
f_x(x0,y0,z0)(x-x0) + f_y(x0,y0,z0)(y-y0) + f_z(x0,y0,z0)(z-z0) = 0
[notice this is slightly more general than the form given by slipstream, but in the case z=g(x,y), they are equivalent.]
This is a 3-D analog of the equation for a tangent line to y=f(x):
y-y0 = f '(x0)(x-x0)
<aside>
or if we think of y=f(x) as the "surface" g(x,y) = y-f(x) = 0:
g_x(x0,y0)(x-x0) + g_y(x0,y0)(y-y0) = 0, which is
-f '(x0)(x-x0) + 1*(y-y0) = 0, which is, after rearranging:
y-y0 = f '(x0)(x-x0)
</aside>
Ok, back to the tangent plane
f_x(x0,y0,z0)(x-x0) + f_y(x0,y0,z0)(y-y0) + f_z(x0,y0,z0)(z-z0) = 0
I'm going to rewrite this equation as a dot product to make it a little cleaner:
[grad(f) at (x0,y0,z0)] dot <x-x0, y-y0, z-z0> = 0
Note what this means: (x,y,z) is in the tangent plane to the surface at (x0,y0,z0) if and only if [grad(f) at (x0,y0,z0)] dot <x-x0, y-y0, z-z0> = 0.
Now, the
normal vector is perpendicular to the tangent plane. That is, if I take any vector that lives in the plane and dot it with my normal, I should get 0. What does a "vector in the plane" look like? Well, it's a vector that starts and ends at a point in the plane. It suffices to just look at vectors that originate at some fixed point in the plane (all other vectors in the plane are just translates of these, and this doesn't affect orthogonality relations). So let's say all vectors that live in the tangent plane are translates of vectors that originate at (x0,y0,z0). That is, we can write all vectors in the plane as <x-x0, y-y0, z-z0> for some choice of (x,y,z) that lives in the plane.
Do you see what's happening here? The definition of (x,y,z) being in the tangent plane to the surface at (x0,y0,z0) is that:
<x-x0, y-y0, z-z0> dot [grad(f) at (x0,y0,z0)] = 0. And here we are looking for the normal, which is some vector whose dot product with <x-x0, y-y0, z-z0> is 0.
A ha! This makes it clear that grad(f)@(x0,y0,z0) is normal to this plane.
---------------------
What have we learned?
* Take a surface defined as f(x,y,z) = 0. The tangent plane to the surface as (x0,y0,z0) is:
f_x(x0,y0,z0)(x-x0) + f_y(x0,y0,z0)(y-y0) + f_z(x0,y0,z0)(z-z0) = 0
( or easier:
grad(f)@(x0,y0,z0) dot <x-x0, y-y0, z-z0> = 0 )
* Take a surface defined as f(x,y,z) = 0. The normal to the surface (and also to the tangent plane) at (x0,y0,z0) is just grad(f)@(x0,y0,z0).
I didn't say it specifically, but it's hopefully somewhat clear if you understand the above:
if you have a plane Ax+By+Cz+D=0, then <A,B,C> is normal to the plane.