prove that v is tangent to surface M

logistic_guy

Senior Member
Joined
Apr 17, 2024
Messages
1,586
here is the question

Prove that: v=(v1,v2,v3)\displaystyle \bold{v} = (v_1, v_2, v_3) is tangent to M:z=f(x,y)\displaystyle M: z = f(x,y) at a point p\displaystyle \bold{p} of M\displaystyle M if and only if v3=fx(p1,p2)v1+fy(p1,p2)v2\displaystyle v_3 = \frac{\partial f}{\partial x}(p_1,p_2)v_1 + \frac{\partial f}{\partial y}(p_1,p_2)v_2.

i know the idea but i don't know how to start it because i need three points to take the gradient on that surface M\displaystyle M. it give only x\displaystyle x and y\displaystyle y. this mean the surface M\displaystyle M is in R2\displaystyle \bold{R}^2. typo maybe? because i'm expect to take the gradient of f(x,y,z)\displaystyle f(x,y,z) not f(x,y)\displaystyle f(x,y)
 
Why? Do you mean 3 coordinates? -- you have those as (x,y,f(x,y)), don't you?
this give me fz=0\displaystyle \frac{\partial f}{\partial z} = 0. at some point i'll use the dot product. fzv3=0v3=0\displaystyle \frac{\partial f}{\partial z}v_3 = 0v_3 = 0. so v3\displaystyle v_3 will be deleted and i can't solve for v3\displaystyle v_3 as the question asking me.
 
this give me fz=0\displaystyle \frac{\partial f}{\partial z} = 0. at some point i'll use the dot product. fzv3=0v3=0\displaystyle \frac{\partial f}{\partial z}v_3 = 0v_3 = 0. so v3\displaystyle v_3 will be deleted and i can't solve for v3\displaystyle v_3 as the question asking me.
Where does this come from ?
 
Where does this come from ?
Professor blamocur, I think he meant this:

f(p)v\nabla f(\bold{p}) \cdot \bold{v}

My intuition tells me we should do this:

h(x,y,z)=f(x,y)zh(x,y,z) = f(x,y) - z, then:

h(p)v=0\nabla h(\bold{p}) \cdot \bold{v} = 0

This allows us to solve for v3v_3 and also shows v\bold{v} is orthogonal to h(p)\nabla h(\bold{p}).

I assumed we can do this:

hx=fx\displaystyle \frac{\partial h}{\partial x} = \frac{\partial f}{\partial x} to get his final form. (the same forhy)\displaystyle \left(\text{the same for} \frac{\partial h}{\partial y}\right)
 
Professor blamocur, I think he meant this:

f(p)v\nabla f(\bold{p}) \cdot \bold{v}

My intuition tells me we should do this:

h(x,y,z)=f(x,y)zh(x,y,z) = f(x,y) - z, then:

h(p)v=0\nabla h(\bold{p}) \cdot \bold{v} = 0

This allows us to solve for v3v_3 and also shows v\bold{v} is orthogonal to h(p)\nabla h(\bold{p}).

I assumed we can do this:

hx=fx\displaystyle \frac{\partial h}{\partial x} = \frac{\partial f}{\partial x} to get his final form. (the same forhy)\displaystyle \left(\text{the same for} \frac{\partial h}{\partial y}\right)
Not sure what the OP meant, but I agree with your post.
 
Professor blamocur, I think he meant this:

f(p)v\nabla f(\bold{p}) \cdot \bold{v}

My intuition tells me we should do this:

h(x,y,z)=f(x,y)zh(x,y,z) = f(x,y) - z, then:

h(p)v=0\nabla h(\bold{p}) \cdot \bold{v} = 0

This allows us to solve for v3v_3 and also shows v\bold{v} is orthogonal to h(p)\nabla h(\bold{p}).

I assumed we can do this:

hx=fx\displaystyle \frac{\partial h}{\partial x} = \frac{\partial f}{\partial x} to get his final form. (the same forhy)\displaystyle \left(\text{the same for} \frac{\partial h}{\partial y}\right)
thank Mario99

this answer my question

Not sure what the OP meant, but I agree with your post.
thank blamocur
 
Top