Intereting Posts

Existence of fixed point given a mapping
proof of $1^4+2^4+…+n^4=\frac{n(n+1)(2n+1)(3n^2+3n-1)}{30}$
The Intuition behind l'Hopitals Rule
How to evaluate these indefinite integrals with $\sqrt{1+x^4}$?
Can you integrate by parts with one integral inside another?
How Differential got into calculus
Difference of order statistics in a sample of uniform random variables
Find the least value of x which when divided by 3 leaves remainder 1, …
Prove that CX and CY are perpendicular
How many bracelets can be formed?
If $\|\left(f'(x)\right)^{-1}\|\le 1 \Longrightarrow$ $f$ is an diffeomorphism
Why is $dy dx = r dr d \theta$
Integrate $\int_0^1 \frac{\ln(1+x^a)}{1+x}\, dx$
Solving Rubik's cube and other permutation puzzles
Probability a product of $n$ randomly chosen numbers from 1-9 is divisible by 10.

Let $\alpha (t)$ be a curve such that $|\alpha'(t)|=1$ for all $t\in\mathbb R$. Assume $k(t)\neq 0$, $k'(t)\neq 0$ (whereas $k=|\alpha”(t)|$ is the curvature) and $\tau(s)\neq 0$, whereas $\tau$ is the torsion.

Prove: The trace of $\alpha$ lies on a sphere $\Leftrightarrow$ $\frac{1}{k^2} +\frac{1}{(k’\cdot\tau)^2}=$const.$>0$.

I know this somehow works by using the Frenet-Serret-equations, but I don’t really know how to do this proof. Can anyone help me out? Thanks!

- Proof: Tangent space of the general linear group is the set of all squared matrices
- Formula for midpoint in hyperbolic 3-space
- Understanding the Definition of a Differential Form of Degree $k$
- Geometric meaning of symmetric connection
- What is the limit distance to the base function if offset curve is a function too?
- Are there simple examples of Riemannian manifolds with zero curvature and nonzero torsion

- Integration of forms and integration on a measure space
- The Affine Property of Connections on Vector Bundles
- Trace of a bilinear form?
- Is this hierarchy of manifolds correct?
- Determining the angle degree of an arc in ellipse?
- Does a Fourier transformation on a (pseudo-)Riemannian manifold make sense?
- Let $p=(5,0,-4)$ and $v \in T_{(5,0,-4)}M$. Compute $(F^{*}\omega)_p(v)$.
- How to visualize $1$-forms and $p$-forms?
- Top deRham cohomology group of a compact orientable manifold is 1-dimensional
- Prove that curve with zero torsion is planar

Your equation is incorrect, the correct condition is

$$\frac{1}{\kappa^2} + \left(\frac{\dot{\kappa}}{\tau\kappa^2}\right)^2 = \text{constant}$$

I will only show the $\Leftarrow$ part here.

Let $s$ be the arc length parametrization and $\vec{t}(s), \vec{n}(s), \vec{b}(s)$ be the

vectors appear in Frenet Serret equations. Define

$$\vec{\beta}(s) = \vec{\alpha}(s) + \frac{1}{\kappa(s)}\vec{n}(s) – \frac{\dot{\kappa}(s)}{\tau(s)\kappa(s)^2} \vec{b}(s)\tag{*1}$$

Differentiate it with respect to $s$, we get:

$$\begin{align}

\frac{d}{ds}\vec{\beta}(s)

= & \vec{t} – \frac{\dot{\kappa}}{\kappa^2}\vec{n} + \frac{1}{\kappa}(-\kappa \vec{t} + \tau \vec{b} )

– \frac{d}{ds}\left(\frac{\dot{\kappa}}{\tau\kappa^2}\right)\vec{b} -\frac{\dot{\kappa}}{\tau\kappa^2}(-\tau\vec{n})\\

= & \left(\frac{\tau}{\kappa} -\frac{d}{ds}\left(\frac{\dot{\kappa}}{\tau\kappa^2}\right)\right) \vec{b}\\

= & \frac{\tau\kappa^2}{\dot{\kappa}}\left(\frac{\dot{\kappa}}{\kappa^3} – \frac{\dot{\kappa}}{\tau\kappa^2}\frac{d}{ds}\left(\frac{\dot{\kappa}}{\tau\kappa^2}\right) \right) \vec{b}\\

= & -\frac{\tau\kappa^2}{2\dot{\kappa}}\frac{d}{ds}\left(\frac{1}{\kappa^2} + \left(\frac{\dot{\kappa}}{\tau\kappa^2}\right)^2\right) \vec{b}\\

= & \vec{0}

\end{align}$$

This implies $\vec{\beta}(s) = \vec{\beta}(0)$ is a constant. From this, we get

$$

\vec{\alpha} – \vec{\beta}(0)

= -\frac{1}{\kappa}\vec{n} + \frac{\dot{\kappa}}{\tau\kappa^2} \vec{b}

\quad\implies\quad \left|\vec{\alpha} – \vec{\beta}(0)\right|^2

= \frac{1}{\kappa^2} + \left(\frac{\dot{\kappa}}{\tau\kappa^2}\right)^2

= \text{constant}.

$$

i.e $\vec{\alpha}(s)$ lies on a sphere with $\beta(0)$ as center.

**Motivation of above proof**

You may wonder how can anyone figure out the magic formula in $(*1)$. If you work out the

$\Rightarrow$ part of the proof where $\alpha(s)$ lies on a sphere centered at $\vec{c}$,

you should obtain a bunch of dot products between $\vec{\alpha}(s) – \vec{c}$ and $\vec{t}(s)$, $\vec{n}(s)$ and $\vec{b}(s)$. In particular, you should get:

$$\begin{cases}

\vec{t} \cdot (\vec{\alpha} – \vec{c}) & = 0\\

\vec{n} \cdot (\vec{\alpha} – \vec{c}) & = -\frac{1}{\kappa}\\

\vec{b} \cdot (\vec{\alpha} – \vec{c}) &= \frac{\dot{\kappa}}{\tau\kappa^2}

\end{cases}$$

Using these, you can express the center $\vec{c}$ in terms of $\kappa, \tau$ like what we have in $(*1)$. If the curve does lie on a sphere, then the “center” should not move as $s$ changes. The proof of the $\Leftarrow$ part above is really using the given condition to verify the “center” so defined doesn’t move.

- the ratio of jacobi theta functions and a new conjectured q-continued fraction
- Liouville function and perfect square
- Taylor series expansion for $f(x)=\sqrt{x}$ for $a=1$
- Theorem 6.15 in Baby Rudin: If $a<s<b$, $f$ is bounded on $$, $f$ is continuous at $s$, and $\alpha(x)=I(x-s)$, then . . .
- Miller-Rabin-Test : Why can we be $100\%$ certain after $4$ tests for $p=13$?
- Reference request: Analytic study of the trigonometric functions
- Use Integration by Parts to prove that $\int x^{n}\ln{x}\ dx=\frac{x^{n+1}}{(n+1)^{2}}\left+c$
- Counting the number of 4 letter words that can be made from a given multiset of 11 letters
- The group structure of elliptic curve over $\mathbb F_p$
- Is the question phrased properly? and is my proof correct? (An infinite alternating group is simple)
- Is “connected, simply connected” Redundant?
- Prove that $\sin x+2x\ge\frac{3x(x+1)}{\pi}$ for all $x\in $
- Finding the sum of a numerical sequence
- Can the “inducing” vector norm be deduced or “recovered” from an induced norm?
- How to evaluate $\int_0^1\frac{\log^2(1+x)}x\mathrm dx$?