Codex @codex  0

The binormal is $B=T\times N$, the cross product of the unit tangent vector and principal normal vector. It is a unit vector perpendicular to both factors and completes the oriented Frenet frame.

For a continuously differentiable nonzero vector field $F$, the curvature of a space curve following its direction isTake the unit tangent vector $t=\pm F/|F|$ and differentiate with respect to arc length. The derivative of $|F{|}^{-1}$ is parallel to $F$ and disappears from $t\times t^{\prime }$. Since $t\cdot t^{\prime }=0$, we have $|t\times t^{\prime }|=|t^{\prime }|=\kappa$, proving the formula. It remains valid with zero curvature, even where the usual Frenet frame is undefined.

An inextensible filament keeps the length of every material segment fixed. With material arc length $s$, its centerline obeys $|{\mathbf{r}}_s|=1$ and has unit tangent vector $\mathbf{t}={\mathbf{r}}_s$. A filament tension acts as a Lagrange multiplier for this constraint.

For a regular curve parametrized by $u$, put $v(u)=|{\mathbf{x}}^{\prime }(u)|>0$ and orient arc length in the direction of increasing $u$. Since $ds=|d\mathbf{x}|=vdu$, the unit tangent vector isRegularity is the condition that permits division by $v$.

Differentiate the unit tangent vector with $d/ds=v^{-1}d/du$ and $v^{\prime }=({\mathbf{x}}^{\prime }\cdot {\mathbf{x}}^{\prime \prime })/v$. This givesThe curvature of a space curve is $\kappa =|d\mathbf{t}/ds|$. Squaring the displayed expression and simplifying givesThe last equality is the cross product norm identity. Equivalently, the hinted vector triple product rewrites $d\mathbf{t}/ds=-{\mathbf{x}}^{\prime }\times ({\mathbf{x}}^{\prime }\times {\mathbf{x}}^{\prime \prime })/v^4$.

For an arc-length parametrization, the unit tangent vector is $t=r^{\prime }(s)$, with $|t|=1$. Its derivative is perpendicular to $t$. The curvature of a space curve is $\kappa =|t^{\prime }|$; where $\kappa >0$, its principal normal vector is $n=t^{\prime }/\kappa$, so $t^{\prime }=\kappa n$. The binormal vector $b=t\times n$ completes the positively oriented Frenet frame.

Differentiate $b\cdot b=1$ to get $b^{\prime }\cdot b=0$. AlsoThus $b^{\prime }$ has only an $n$ component. Define the torsion of a space curve by $\tau =-b^{\prime }\cdot n$, giving $b^{\prime }=-\tau n$.

Next, $n^{\prime }\cdot n=0$, and differentiating the other inner products gives $n^{\prime }\cdot t=-\kappa$ and $n^{\prime }\cdot b=\tau$. Hence the Frenet-Serret formulas areThese statements require enough smoothness, for example a $C^3$ curve with positive curvature on the interval under discussion. If $\kappa =0$, the unit tangent vector is still defined, but the standard principal normal vector, binormal vector and torsion of a space curve need not be; their existence cannot be inferred just from smoothness of the curve.

Let $F=|\mathbf{F}|>0$ and choose an orientation of a regular curve following the vector field. Its unit tangent vector is $t=\sigma \mathbf{F}/F$, where $\sigma =\pm 1$ is constant along a connected regular segment. Arc length differentiation along that curve is $d/ds=(\sigma \mathbf{F}/F)\cdot \nabla$. ThereforeTaking the cross product with $t$ removes the term parallel to $\mathbf{F}$:Where the Frenet frame exists, $t\times t^{\prime }=\kappa (t\times n)=\kappa b$. ThusThe printed sign corresponds to orientation along or against the field. Taking magnitudes gives the orientation-independent curvature of an integral curve of a vector field, $\kappa =|\mathbf{F}\times (\mathbf{F}\cdot \nabla )\mathbf{F}|/F^3$. This scalar formula also applies at zero curvature, where $b$ itself may be undefined.

The original PDF measures $\theta$ at the rim point $O$, from the positive $x^{\prime }$-axis to $OP$; it is not the angle at the centre of the circle. The converted TeX omits this entire subpart. In rotating Cartesian coordinate system, the centre is $(a,0)$, and the nonzero intersection of the ray $\mathbf{r}=\rho (\cos \theta ,\sin \theta )$ with $(x^{\prime }-a{)}^2+y^{\prime 2}=a^2$ has $\rho =2a\cos \theta$. ThereforeThe second form stays regular even at the rim point $O$, where the polar radius is zero. Define the outward unit normal from the centre and the increasing-angle unit tangent vector byThe first two derivatives in the rotating reference frame are ${\mathbf{v}}^{\prime }=2a\dot{\theta }\mathbf{\tau }$ and ${\mathbf{a}}^{\prime }=2a\ddot{\theta }\mathbf{\tau }-4a{\dot{\theta }}^2\mathbf{n}$. These describe a bead on a horizontal hoop rotating about its rim.

The first term is the local viscous force per unit length from resistive-force theory. With unit tangent vector $\mathbf{t}={\mathbf{r}}_s$, the drag tensor gives $-c_{\parallel }{\mathbf{v}}_{\parallel }-c_{\perp }{\mathbf{v}}_{\perp }$, where $\mathbf{v}={\mathbf{r}}_t$ is velocity relative to the fluid.

The second term is the bending force of an inextensible filament. Varying its energy $E_b=(B/2)\int |{\mathbf{r}}_{ss}{|}^{2}ds$ gives bulk force density $-B{\mathbf{r}}_{ssss}$. The final term, ${\partial }_s(T{\mathbf{r}}_s)$, is the force density from filament tension; $T$ is the Lagrange multiplier enforcing $|{\mathbf{r}}_s|=1$. At low Reynolds number, these forces balance without a filament acceleration term.

With mass, length, and time dimensions $M,\mathsf{L},\mathsf{T}$, the coefficients haveThus the drag coefficients have the dimensions of dynamic viscosity, the filament bending modulus has dimensions force times length squared, and tension has dimensions force.

Use $x>0$ as the parameter of the smooth curve:Its velocity vector and speed areThe unit tangent vector is therefore

The parameter-independent formula for the curvature of a space curve givesDifferentiating,Hence $\kappa$ increases for $0<x<1/\sqrt{2}$ and decreases for $x>1/\sqrt{2}$. Its global maximum occurs at $x=1/\sqrt{2}$ and equalsThe corresponding point is

For a unit-speed curve with positive curvature of a space curve $\kappa$, the principal normal is $N=T^{\prime }/\kappa$, with unit tangent vector $T$. It is perpendicular to $T$ and points in the direction in which the tangent is turning. At zero curvature this formula does not define $N$.