Why Torsion = 0 => Planar Curve in this Proof

In summary, the lecture discussed the concept of torsion being equal to zero, which leads to the path being planar. This was proven by the argument that if torsion is equal to zero, then the binormal vector is constant. This, in turn, implies that the dot product between the path function and a fixed vector is also constant, and therefore the curve lies in a plane. This was illustrated with an example of a circle, where the binormal vector was (0,0,1). The argument may be difficult to understand at first, but it ultimately shows that for any fixed vector and constant, the set of points that satisfy the dot product equation form a plane.
  • #1
Rippling Hysteresis
24
0
I was watching a lecture that made the conclusion about the torsion being equal to zero necessitated that the path was planar. The argument went as follows:
-Torsion = 0 => B=v, which is a constant
-(α⋅v)'=(T⋅v)'= 0 => α⋅v= a, which is a constant (where α is a function describing the path and T is the tangent vector)
-If α⋅v = constant, then the curve is planar.

Everything up to the end made sense, but I wasn't sure why the professor said that α⋅v= constant is the equation of the plane when the velocity was constant. Can you help me fill in the gaps?
 
Physics news on Phys.org
  • #2
For a fixed vector ##v\in\mathbb{R}^3## and constant ##C\in\mathbb{R}##, the set ##\{x\in\mathbb{R}^3: x\cdot v=C\}## is a plane.

Your professor's argument shows that ##\alpha(t)\cdot v=C## for all ##t##, and hence the curve ##\alpha## lies in this plane.

Could you say which part of this argument isn't clear?
 
  • Like
Likes Rippling Hysteresis
  • #3
Infrared said:
For a fixed vector ##v\in\mathbb{R}^3## and constant ##C\in\mathbb{R}##, the set ##\{x\in\mathbb{R}^3: x\cdot v=C\}## is a plane.

Your professor's argument shows that ##\alpha(t)\cdot v=C## for all ##t##, and hence the curve ##\alpha## lies in this plane.

Could you say which part of this argument isn't clear?

The lecturer has used α(s) in the past to be any curve in R^3. I'm not sure why dotting that curve with a constant value represents a plane. I can see how the dot product will equal a scalar constant, but think of a plane as something as ax+by+cz=d, but am having trouble envisioning that from α⋅v= a.

Further, while I seemed to follow the very long build-up in which he derived the Frenet basis (with T, N, and B) and worked to the steps I've written, I'm also missing something deeper that's conceptual. If α(s) is a curve, one example is a circle parameterized as r(cos (t/r), sin (t/r), 0). How would taking the dot product of this with a constant vector, v, equal a constant when the curve is not time-independent?

I'm showing my supreme ignorance here I'm sure (this is a lecture series I stumbled onto on Youtube and am enjoying...I have take vector calc before, but this is my introduction to differential geometry).
 
  • #4
Rippling Hysteresis said:
f α(s) is a curve, one example is a circle parameterized as r(cos (t/r), sin (t/r), 0). How would taking the dot product of this with a constant vector, v, equal a constant when the curve is not time-independent?

Let's just take ##r=1##, so in your example ##\alpha(t)=(\cos(t),\sin(t),0)##. Then ##\alpha(t)\cdot\begin{pmatrix}0\\0\\1\end{pmatrix}=0## for all ##t##, so ##\alpha(t)## lies in the plane ##\left\{x\in\mathbb{R}^3:x\cdot\begin{pmatrix}0\\0\\1\end{pmatrix}=0\right\},## which is just the plane ##z=0##. And indeed you can see this to be the case.

Edit: maybe the word "planar" is causing you confusion. It just means that the curve lies in a plane, not that it is a (whole) plane.
 
Last edited:
  • Like
Likes Rippling Hysteresis
  • #5
Infrared said:
Let's just take ##r=1##, so in your example ##\alpha(t)=(\cos(t),\sin(t),0)##. Then ##\alpha(t)\cdot\begin{pmatrix}0\\0\\1\end{pmatrix}=0## for all ##t##, so ##\alpha(t)## lies in the plane ##\left\{x\in\mathbb{R}^3:x\cdot\begin{pmatrix}0\\0\\1\end{pmatrix}=0\right\},## which is just the plane ##z=0##. And indeed you can see this to be the case.

Edit: maybe the word "planar" is causing you confusion. It just means that the curve lies in a plane, not that it is a (whole) plane.
Couldn't the vector also be v= (1/sqrt(2), 1/sqrt(2), 0), which then wouldn't equal a constant? So the dot product would be 1/sqrt(2)(cos(t) + sin(t)). Or perhaps that choice of v violates a rule?
 
  • #6
The vector ##v## is the binormal (which is constant, so this makes sense). The argument you gave in your OP shows that ##\alpha(t)\cdot v## is a constant.
 
  • #7
Infrared said:
The vector ##v## is the binormal (which is constant, so this makes sense). The argument you gave in your OP shows that ##\alpha(t)\cdot v## is a constant.

So would the α(s) (a circle) I've chosen be wrong or would it be the vector (1/sqrt(2)(1,1,0). It seems like the vector is constant and the circle has zero torsion which is what I'm hung up about. The proof makes sense, but there's a disconnect with a specific example.

And further, I can see why this example with the circle dotted with my vector gives a plane, I don't think it's obvious to me that it HAS to be that way.
 
  • #8
Rippling Hysteresis said:
So would the α(s) (a circle) I've chosen be wrong or would it be the vector (1/sqrt(2)(1,1,0).
Your vector ##v## is wrong. The binormal vector for ##\alpha## is ##(0,0,1)##, as you should compute.

Rippling Hysteresis said:
And further, I can see why this example with the circle dotted with my vector gives a plane, I don't think it's obvious to me that it HAS to be that way.
You're right, it's not obvious. That's why the professor had to supply a proof.
 
  • Like
Likes Rippling Hysteresis
  • #9
Infrared said:
Your vector ##v## is wrong. The binormal vector for ##\alpha## is ##(0,0,1)##, as you should compute.You're right, it's not obvious. That's why the professor had to supply a proof.
Thanks for your patience. It's still a challenge for me to make sense of proofs in concrete terms-- work in progress. I went back earlier into the lecture and see now how (after computing the cross product) the binormal vector must be (0,0,1) in this particular case. The trouble all started when he used the statement "α⋅v=a, therefore it's a plane." I suppose I still don't recognize that form as something I've seen as a plane in the past. But the example at least is in consonance with the conclusions.

So to re-state and make sure I get this, let's say you had a circle drawn in the plane of x+y+z=1. In this case, once you parameterize, the binormal vector would work out to v= 1/sqrt(3)(1,1,1) and when dotted with alpha you know you'd get a constant. If so, I think I'm starting to wrap my head around this and just need to keep at it.
 

Similar threads

Back
Top