Let $\beta$ be a unit speed curve with $\kappa \gt 0$. Show that $(\beta''\times \beta''')\cdot \beta^{4}=\kappa^5\frac{d}{ds}(\frac{\tau}{\kappa})$ Let $\beta$ be a unit speed curve with $\kappa \gt 0$. Show that 
$$(\beta''\times \beta''')\cdot \beta^{4}=\kappa^5\frac{d}{ds}(\frac{\tau}{\kappa})$$
Simple calculation seems too frustrating. I'm lost on how to show this equation. What ideas may I use? I would greatly appreciate any solutions or suggestions.
 A: It's really not too bad provided we exploit the formulas of Frenet-Serret, the definition of the binormal vector $B = T \times N$, and a few standard vector identities:
First, since $\beta(s)$ is a unit speed curve, we have the unit tangent vector
$T = \beta´(s); \tag{1}$
second, from (1), we have
$\beta''(s) = T' = \kappa N, \tag{2}$
where $N$ is the unit normal field to $\beta(s)$; this is basically the first Frenet-Serret equation.  Third, from (2) we compute
$\beta'''(s) = T'' = \kappa' N + \kappa N'; \tag{3}$
fourth, we deploy the second Frenet-Serret equation,
$N' = -\kappa T + \tau B \tag{4}$
by inserting its right-hand side for $N'$ in (3). yielding
$\beta''' = \kappa' N - \kappa^2 T + \kappa \tau B; \tag{5}$
fifth, we calculate $\beta'' \times \beta'''$ via (2) and (5):
$\beta'' \times \beta''' = \kappa N \times (\kappa' N - \kappa^2 T + \kappa \tau B)$
$= \kappa \kappa' N \times N- \kappa^3 N \times T + \kappa^2 \tau N \times B = \kappa^3 B + \kappa^2 \tau T, \tag{6}$
where we have used $N \times N = 0$, $N \times T = -B$ (from $B = T \times N$), and $T = N \times B$ (also from $B = T \times N$, by cyclic permutation) in completing the derivation of (6); sixth, and this is the "grungiest" computation we will perform, we exploit (5) to find
$\beta^{(4)} = \dfrac{d^4\beta}{ds^4} = \kappa'' N + \kappa' N´ - 2 \kappa \kappa' T - \kappa^2 T' + \kappa' \tau B + \kappa \tau' B + \kappa \tau B'; \tag{7}$
we use (2), (4), and the third Frenet-Serret equation,
$B' = -\tau N \tag{8}$
to remove the derivatives $T'$, $N'$, $B'$ from (7):
$\beta^{(4)} = \kappa'' N + \kappa' (-\kappa T + \tau B) -2\kappa \kappa' T - \kappa^3 N + \kappa' \tau B + \kappa \tau' B -\kappa \tau^2 N; \tag{9}$
we are now in position to perform the lucky seventh and final step, taking the dot product of $\beta'' \times \beta'''$ as in (6) with $\beta^{(4)}$ as in (9); before committing equations to paper (well, actually to digital display), we make a few observations which will not only serve to make our calculations more efficient, but will also spare Yours Truly just a tad of $\LaTeX$, and every little tad saved helps, as I'm sure my colleagues here on MSE will agree.  We observe:  $T$, $N$, $B$ form an orthonormal frame in $\Bbb R^3$ at each point of $\beta(s)$, thus $T \cdot T = N \cdot N = B \cdot B = 1$ whilst $T \cdot N = T \cdot B = N \cdot B = 0$; since $\beta'' \times \beta'''$ is a linear combination of $T$ and $B$, all the terms of $\beta^{(4)}$ which contain $N$ will vanish when the dot product is taken, so they can be a priori neglected; we further observe:  $-\kappa T + \tau B$ is normal to $\beta'' \times \beta'''$, as my easily be checked by direct calculation, so the term $\kappa'(-\kappa T + \tau B)$ may also be ignored; we are then left with
$(\beta'' \times \beta''') \cdot \beta^{(4)} = (\kappa^3 B + \kappa^2 \tau T) \cdot (-2 \kappa \kappa' T + \kappa' \tau B + \kappa \tau' B)$
$= \kappa^3 \kappa' \tau + \kappa^4 \tau' - 2 \kappa^3 \kappa' \tau = \kappa^4 \tau' - \kappa^3 \kappa' \tau = \kappa^3 (\tau' \kappa - \tau \kappa')$
$= \kappa^5 \dfrac{\tau' \kappa - \tau \kappa'}{\kappa^2} = \kappa^5 \dfrac{d}{ds} (\dfrac{\tau}{\kappa}) \tag{10}$
as per request.
