Curves and a known result
- Tolaso J Kos
- Administrator
- Posts: 867
- Joined: Sat Nov 07, 2015 6:12 pm
- Location: Larisa
- Contact:
Curves and a known result
Let \( p, \; q \) be two points and let \( \gamma \) be a curve passing through those points. ( \( \gamma(a)=p, \; \gamma(b)=q\) ).
Show that if \( u \) is an arbitrary unit vector then: \( \gamma'(t)\cdot u \leq \left \| \gamma'(t) \right \| \).
Taking \( \displaystyle u=\frac{q-p}{\left \| q-p \right \|} \) prove that the segment's lenght between the curve \( \gamma \) and the two points \(p, \; q \) has a length at least equal to the line distance \( \left \| q-p \right \| \).
What is the conclusion you extract from the exercise?
Show that if \( u \) is an arbitrary unit vector then: \( \gamma'(t)\cdot u \leq \left \| \gamma'(t) \right \| \).
Taking \( \displaystyle u=\frac{q-p}{\left \| q-p \right \|} \) prove that the segment's lenght between the curve \( \gamma \) and the two points \(p, \; q \) has a length at least equal to the line distance \( \left \| q-p \right \| \).
What is the conclusion you extract from the exercise?
Imagination is much more important than knowledge.
- Grigorios Kostakos
- Founder
- Posts: 461
- Joined: Mon Nov 09, 2015 1:36 am
- Location: Ioannina, Greece
Re: Curves and a known result
Hi Tolis.
There is at least one obscurity in this exercise. Writing that "the segment's length between the curve \(\gamma\) and the two points \(p\) and \(q\)" is meaningless! Perhaps you mean "the segment's length of the curve \(\gamma\) between the points \(p\) and \(q\)."
So, allow me rephrase the second part of the exercise:
2) Using that for an arbitrary unit vector \(u\) we have that: \[\gamma'(t)\cdot u \leqslant \left \| \gamma'(t) \right \|\] and taking \(u=\frac{q-p}{ \| q-p \|}\) , prove that the segment of the curve \(\gamma\) between the points \(p\) and \(q\) has length at least equal to the line distance \(\| q-p \|\).
Proof: We give a proof of 2)* for an arbitary continuously differentiable parametric curve \(\overrightarrow{\gamma}: [a,b]\subset\mathbb{R\longrightarrow \mathbb{R}}^m\):
We use that \[\overrightarrow{q}-\overrightarrow{p}=\overrightarrow{\gamma}(b)-\overrightarrow{\gamma}(a)=\int_{a}^{b}{\overrightarrow{\gamma}\,'(t)\,dt}\quad (1)\,.\] Also, for an arbitrary unit vector \(\overrightarrow{u}\) we have that: \[{\overrightarrow{\gamma}}\,'(t)\cdot\overrightarrow{u} \leqslant \| \overrightarrow{\gamma}\,'(t) \|\,.\] So
\[\int_{a}^{b}{\overrightarrow{\gamma}\,'(t)\cdot\overrightarrow{u}\,dt} \leqslant \int_{a}^{b} {\| \overrightarrow{\gamma}\,'(t) \|\,dt}=L(\overrightarrow{\gamma})\quad (2)\,,\] where \(L(\overrightarrow{\gamma})\) is the segment's length of the curve \(\overrightarrow{\gamma}\) between the points \(\overrightarrow{p}=\overrightarrow{\gamma}(a)\) and \(\overrightarrow{q}=\overrightarrow{\gamma}(b)\).
Taking \(\overrightarrow{ u}=\frac{\overrightarrow{q}-\overrightarrow{p}}{ \|\overrightarrow{q}-\overrightarrow{p} \|}\) we have that \begin{align*}
\|{\overrightarrow{q}-\overrightarrow{p}}\|&= \frac{\|{\overrightarrow{q}-\overrightarrow{p}}\|^2}{\|{\overrightarrow{q}-\overrightarrow{p}}\|} \\
&=\bigl({\overrightarrow{q}-\overrightarrow{p}}\bigr)\cdot\frac{\overrightarrow{q}-\overrightarrow{p}}{\|{\overrightarrow{q}-\overrightarrow{p}}\|} \\
&= \bigl({\overrightarrow{\gamma}(b)-\overrightarrow{\gamma}(a)}\bigr)\cdot\overrightarrow{ u}\\
&\stackrel{(1)}{=}\int_{a}^{b}{\overrightarrow{\gamma}\,'(t)\,dt}\cdot\overrightarrow{u}\\
&=\int_{a}^{b}{\overrightarrow{\gamma}\,'(t)\cdot\overrightarrow{u}\,dt} \\
&\stackrel{(2)}{\leqslant} \int_{a}^{b} { \| \overrightarrow{\gamma}\,'(t) \|\,dt}\\
&\stackrel{(2)}{=}L(\overrightarrow{\gamma})\,.
\end{align*}
(*) The first part, i.e. for an arbitrary unit vector \(\overrightarrow{u}\) we have that: \[\overrightarrow{\gamma}\,'(t)\cdot\overrightarrow{u} \leqslant \| \overrightarrow{\gamma}\,'(t) \|\] comes out easily from the definition of the dot product.
P.S. The meaning of the exercise is to use the given suggestion to prove the desired inequality for the two lengths.
Can you give another proof of the inequality for the two lengths without this suggestion?
There is at least one obscurity in this exercise. Writing that "the segment's length between the curve \(\gamma\) and the two points \(p\) and \(q\)" is meaningless! Perhaps you mean "the segment's length of the curve \(\gamma\) between the points \(p\) and \(q\)."
So, allow me rephrase the second part of the exercise:
2) Using that for an arbitrary unit vector \(u\) we have that: \[\gamma'(t)\cdot u \leqslant \left \| \gamma'(t) \right \|\] and taking \(u=\frac{q-p}{ \| q-p \|}\) , prove that the segment of the curve \(\gamma\) between the points \(p\) and \(q\) has length at least equal to the line distance \(\| q-p \|\).
Proof: We give a proof of 2)* for an arbitary continuously differentiable parametric curve \(\overrightarrow{\gamma}: [a,b]\subset\mathbb{R\longrightarrow \mathbb{R}}^m\):
We use that \[\overrightarrow{q}-\overrightarrow{p}=\overrightarrow{\gamma}(b)-\overrightarrow{\gamma}(a)=\int_{a}^{b}{\overrightarrow{\gamma}\,'(t)\,dt}\quad (1)\,.\] Also, for an arbitrary unit vector \(\overrightarrow{u}\) we have that: \[{\overrightarrow{\gamma}}\,'(t)\cdot\overrightarrow{u} \leqslant \| \overrightarrow{\gamma}\,'(t) \|\,.\] So
\[\int_{a}^{b}{\overrightarrow{\gamma}\,'(t)\cdot\overrightarrow{u}\,dt} \leqslant \int_{a}^{b} {\| \overrightarrow{\gamma}\,'(t) \|\,dt}=L(\overrightarrow{\gamma})\quad (2)\,,\] where \(L(\overrightarrow{\gamma})\) is the segment's length of the curve \(\overrightarrow{\gamma}\) between the points \(\overrightarrow{p}=\overrightarrow{\gamma}(a)\) and \(\overrightarrow{q}=\overrightarrow{\gamma}(b)\).
Taking \(\overrightarrow{ u}=\frac{\overrightarrow{q}-\overrightarrow{p}}{ \|\overrightarrow{q}-\overrightarrow{p} \|}\) we have that \begin{align*}
\|{\overrightarrow{q}-\overrightarrow{p}}\|&= \frac{\|{\overrightarrow{q}-\overrightarrow{p}}\|^2}{\|{\overrightarrow{q}-\overrightarrow{p}}\|} \\
&=\bigl({\overrightarrow{q}-\overrightarrow{p}}\bigr)\cdot\frac{\overrightarrow{q}-\overrightarrow{p}}{\|{\overrightarrow{q}-\overrightarrow{p}}\|} \\
&= \bigl({\overrightarrow{\gamma}(b)-\overrightarrow{\gamma}(a)}\bigr)\cdot\overrightarrow{ u}\\
&\stackrel{(1)}{=}\int_{a}^{b}{\overrightarrow{\gamma}\,'(t)\,dt}\cdot\overrightarrow{u}\\
&=\int_{a}^{b}{\overrightarrow{\gamma}\,'(t)\cdot\overrightarrow{u}\,dt} \\
&\stackrel{(2)}{\leqslant} \int_{a}^{b} { \| \overrightarrow{\gamma}\,'(t) \|\,dt}\\
&\stackrel{(2)}{=}L(\overrightarrow{\gamma})\,.
\end{align*}
(*) The first part, i.e. for an arbitrary unit vector \(\overrightarrow{u}\) we have that: \[\overrightarrow{\gamma}\,'(t)\cdot\overrightarrow{u} \leqslant \| \overrightarrow{\gamma}\,'(t) \|\] comes out easily from the definition of the dot product.
P.S. The meaning of the exercise is to use the given suggestion to prove the desired inequality for the two lengths.
Can you give another proof of the inequality for the two lengths without this suggestion?
Grigorios Kostakos
Create an account or sign in to join the discussion
You need to be a member in order to post a reply
Create an account
Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute
Sign in
Who is online
Users browsing this forum: No registered users and 18 guests