Mathematics Subject Classification (2000) : 51L15, 53A04, 53D12.

Keywords : Vertex, Space Curve, focal curvatures, Singularity, Caustic. Introduction The differential geometry of space curves is a classical subject which usually relates geometrical intuition with analysis and topology. Last years, the ideas and techniques of singularity theory of wave fronts and caustics ([1] , [2] ), revealed to be a powerful tool to discover new theorems on the differential geometry of curves and surfaces (c.f. [3] -[6] , [13] , [17] , [22] -[31] ).

The focal surface or caustic of a curve
$\gamma $
in Euclidean
$3$
-space is the envelope of the normal planes of
$\gamma $
. The study of the focal surface of a curve can provide useful geometric information about that curve and vice versa.

Darboux had found how to determine the evolutes of a curve
$\gamma $
, that is, the curves whose tangents are normals of
$\gamma $
. Moreover, he had shown that the focal surface of
$\gamma $
is foliated by the evolutes, and all of them lie on the focal surface, see [10] .

The focal surface of
$\gamma $
is singular along a curve
${C}_{\gamma}$
(it has a cuspidal edge along
${C}_{\gamma}$
) which is called the focal curve of
$\gamma $
(in [9] , it is called the evolute of second type of
$\gamma $
). The osculating planes of
${C}_{\gamma}$
are the normal planes of
$\gamma $
, and the points of
${C}_{\gamma}$
are the centres of the osculating spheres of
$\gamma $
, see [9] .

In this paper, we study the geometry of the focal surface, focusing on the properties of the focal curve
${C}_{\gamma}$
. Using these properties, we formulate and prove new results for curves in Euclidean
$n$
-space for arbitrary
$n\ge 2$
.

Let
$\gamma :\mathbb{R}\to {\mathbb{R}}^{m+1}$
be a smooth curve (a source of light). The caustic of
$\gamma $
(defined as the envelope of the normal lines of
$\gamma $
) is a singular and stratified hypersurface. The focal curve of
$\gamma $
,
${C}_{\gamma}$
, is defined as the singular stratum of dimension
$1$
of the caustic and it consists of the centres of the osculating hyperspheres of
$\gamma $
. Since the centre of any hypersphere tangent to
$\gamma $
at a point lies on the normal plane to
$\gamma $
at that point, the focal curve of
$\gamma $
may be parametrised using the Frenet frame (
$\mathbf{t},{\mathbf{n}}_{1},\dots ,{\mathbf{n}}_{m}$
) of
$\gamma $
as follows:

${C}_{\gamma}\left(\theta \right)=(\gamma +{c}_{1}{\mathbf{n}}_{1}+{c}_{2}{\mathbf{n}}_{2}+\cdots +{c}_{m}{\mathbf{n}}_{m})\left(\theta \right)$
, where the coefficients
${c}_{1},\dots ,{c}_{m-1}$
are smooth functions that we call the focal curvatures of
$\gamma $
.

The Euclidean curvatures of
$\gamma $
,
${\kappa}_{1},{\kappa}_{2},\dots ,{\kappa}_{m}$
, form a system of
$m$
functions which determine the curve
$\gamma $
up to translation and rotation. Let us denote with a prime the derivation with respect to the arc-length parameter. We prove that the following formula holds (Theorem 2):

$${\kappa}_{i}=\frac{{c}_{1}{c}_{1}^{\prime}+{c}_{2}{c}_{2}^{\prime}+\cdots +{c}_{i-1}{c}_{i-1}^{\prime}}{{c}_{i-1}{c}_{i}},\mathit{f}\mathit{o}\mathit{r}i\ge 2,$$
showing that the focal curvatures also determine the curve up to translation and rotation.

In Theorem 1, we show that the focal curvatures of
$\gamma $
satisfy a system of Frenet equations (not vectorial, but scalar equations and with the same Frenet matrix of
$\gamma $
!).

For
$k=1,\dots ,m-1$
, we give necessary and sufficient conditions, in terms of the focal curvatures, for which the radius of the
$k$
-dimensional osculating sphere of a generic curve in
${\mathbb{R}}^{m+1}$
be critical (Theorem 4).

We prove that: A point of
$\gamma $
is a vertex (that is, a point at which the order of contact of
$\gamma $
with its osculating hypersphere is higher than the usual one) if and only if
${c}_{m}^{\prime}+{c}_{m-1}{\kappa}_{m}=0$
at that point (Theorem 3). So, in terms of the focal curvatures, the equation characterising the curves lying on a hypersphere in
${\mathbb{R}}^{m+1}$
is very simple:
${c}_{m}^{\prime}+{c}_{m-1}{\kappa}_{m}\equiv 0$
.

In Theorem 5, we show explicitly that the Frenet frame of the focal curve
${C}_{\gamma}$
consist (up to signs) of the same vectors that the Frenet frame of
$\gamma $
but the order of the vectors is inversed. Moreover, the Euclidean curvatures
${K}_{1},\dots ,{K}_{m}$
of the focal curve
${C}_{\gamma}$
are related to those of
$\gamma $
by
$$\frac{{K}_{1}}{\left|{\kappa}_{m}\right|}=\frac{{K}_{2}}{{\kappa}_{m-1}}=\cdots =\frac{\left|{K}_{m}\right|}{{\kappa}_{1}}=\frac{1}{|{c}_{m}^{\prime}+{c}_{m-1}{\kappa}_{m}|}.$$
These relations, together with the stratification of the caustic described in §2, provide a partial solution to the inverse problem: given the caustic, reconstruct the source of light.

In §0, we define the order of contact of a curve with a submanifold of
${\mathbb{R}}^{n}$
and we recall some basic notions and results on the differential geometry of space curves. In §1, we state the results of the paper. In §2, we use the techniques of singularity theory (in symplectic geometry) to study the geometry and the natural stratification of the focal set of a curve
$\gamma $
in Euclidean
$n$
-space (the codimension 1 strata being the focal curve of
$\gamma $
). In §3, we prove our results.

§0. Preliminary Definitions and Remarks In order to give the definition of osculating
$k$
-spheres of a curve (at a point of it) we need to introduce the following definition: Definition. Let
$M$
be a
$d$
-dimensional submanifold of
${\mathbb{R}}^{n}$
, considered as a complete intersection:
$M=\{x\in {\mathbb{R}}^{n}:{g}_{1}(x)=\cdots ={g}_{n-d}(x)=0\}$
. We say that a (regularly parametrised) smooth curve
$\gamma :\theta \mapsto \gamma \left(\theta \right)\in {\mathbb{R}}^{n}$
has
$k$
-point contact with
$M$
or that their order of contact is
$k$
, at a point
$\gamma \left({\theta}_{0}\right)$
, if at
$\theta ={\theta}_{0}$
each function
${g}_{1}\circ \gamma ,\dots ,{g}_{n-d}\circ \gamma $
has a zero of multiplicity at least
$k$
and at least one of them has a zero of multiplicity
$k$
.

Remark. To make this definition more invariant, one could denote the image of
$\gamma $
by
$\Gamma $
and then write that the order of contact at a point is the minimum of the multiplicities of zero among the functions of the form
${g}_{|\Gamma}:\Gamma \to \mathbb{R}$
at that point, where
$g$
belongs to the generating ideal of
$M$
and we assume that
$0$
is a regular value of
$g$
.

In this paper,
$M$
will be an affine subspace or a sphere of dimension
$d$
.

Remark. Do not confuse our order of contact with the order of tangency:

two perpendicular lines in the plane have order of contact
$1$
at the point of intersection, but the order of tangency is
$0$
.

Example 1. A smooth curve in Euclidean (or affine) space
${\mathbb{R}}^{n}$
has
$2$
-point contact with its tangent line (at the point of tangency) for the generic points of the curve. The plane curve
$y={x}^{3}$
has
$3$
-point contact with the line
$y=0$
, at the origin: the equation
${x}^{3}=0$
has a root of multiplicity
$3$
.

Conventions: Write
$n=m+1$
. In the sequel
${\mathbb{R}}^{m+1}$
denotes a Euclidean space,
$\theta $
denotes any regular parameter of the curve and
$s$
denotes the arc length parameter. A parametrised curve
$\gamma =\gamma \left(\theta \right)$
in
${\mathbb{R}}^{m+1}$
is said to be good if its derivatives of order
$1,...,m,$
are linearly independent at any point. A generic curve is good. We will consider only good curves.

The osculating
$k$
-plane of a curve at a point is the affine subspace spanned by the first
$k$
derivatives of the curve at that point. A curve has at least (
$k+1$
)-point contact with its osculating
$k$
-plane at the point of osculation.

For
$k=m$
we will simply write osculating hyperplane.

Given a point of a generic smoothly immersed curve in
${\mathbb{R}}^{m+1}$
, the sequence consisting of that point and of the osculating
$k$
-planes,
$k=1,\dots ,m$
, form a complete flag, which is called the osculating flag of the curve at that point.

By convention, the
$k$
-dimensional affine subspaces of the Euclidean space
${\mathbb{R}}^{m+1}$
will be also considered as
$k$
-dimensional spheres of infinite radius.

Definition. For
$k=1,...,m,$
a
$k$
-osculating sphere at a point of a curve in the Euclidean space
${\mathbb{R}}^{m+1}$
is a
$k$
-dimensional sphere having at least
$(k+2)$
-point contact with the curve at that point. For
$k=m$
we will simply write osculating hypersphere.

Example 2. A generic plane curve and its osculating circle have
$3$
-point contact at an ordinary point of the curve.

Remark. For
$1\le l<m$
, the osculating
$l$
-sphere at a point of a curve in
${\mathbb{R}}^{m+1}$
is the intersection of the osculating hypersphere with the osculating (
$l+1$
)-plane at that point.

Curvature, Frenet frame and higher order curvatures. For a curve
$\gamma $
in
${\mathbb{R}}^{3}$
parametrised by arc-length (from a fixed point) the tangent vector
$\mathbf{t}\left(s\right)={\gamma}^{\prime}\left(s\right)$
is unitary and it is orthogonal to
${\mathbf{t}}^{\prime}\left(s\right)=\gamma (s{)}^{\prime \prime}$
. If
$\gamma (s{)}^{\prime \prime}\ne 0$
these vectors span the (unique) osculating plane of
$\gamma $
at
$s$
. Write
${\mathbf{t}}^{\prime}\left(s\right)={\kappa}_{1}\left(s\right){\mathbf{n}}_{1}\left(s\right)$
, where
${\mathbf{n}}_{1}\left(s\right)$
is the unit vector orthogonal to
$\mathbf{t}\left(s\right)$
such that the coefficient
${\kappa}_{1}\left(s\right)$
, called the curvature of
$\gamma $
at
$s$
, is positive. The radius of the osculating circle of
$\gamma $
at
$s$
is given by
${R}_{1}\left(s\right)=1/{\kappa}_{1}\left(s\right)$
and it is called the radius of curvature of
$\gamma $
at
$s$
.

Assume that
${\mathbb{R}}^{3}$
is oriented and take the unit vector
${\mathbf{n}}_{2}\left(s\right)$
such that the basis
$\mathbf{t}\left(s\right)$
,
${\mathbf{n}}_{1}\left(s\right)$
,
${\mathbf{n}}_{2}\left(s\right)$
, called Frenet frame, is positive (right-handed), that is
${\mathbf{n}}_{2}=\mathbf{t}\times {\mathbf{n}}_{1}$
. One easily proves that there is a number
${\kappa}_{2}={\kappa}_{2}\left(s\right)$
, called the torsion or second curvature of
$\gamma $
at
$s$
, such that
${\mathbf{n}}_{2}^{\prime}=-{\kappa}_{2}{\mathbf{n}}_{1}$
. It is the speed of rotation of the vector
${\mathbf{n}}_{2}$
. For any good curve we have the following formulas:

$${\mathbf{t}}^{\prime}={\kappa}_{1}{\mathbf{n}}_{1},{\mathbf{n}}_{1}^{\prime}=-{\kappa}_{1}\mathbf{t}+{\kappa}_{2}{\mathbf{n}}_{2},{\mathbf{n}}_{2}^{\prime}=-{\kappa}_{2}{\mathbf{n}}_{1},$$
which are called Frenet equations of the curve
$\gamma $
.

Consider a good curve
$\gamma $
in the oriented space
${\mathbb{R}}^{m+1}$
, that is, the vectors
${\gamma}^{\prime}\left(s\right),\dots ,{\gamma}^{\left(m\right)}\left(s\right)$
are linearly independent for any
$s$
. Apply Gram-Schmidt process to these vectors to obtain the orthonormal system
$\mathbf{t}\left(s\right),{\mathbf{n}}_{1}\left(s\right),\dots ,{\mathbf{n}}_{m-1}\left(s\right)$
.

Let
${\mathbf{n}}_{m}\left(s\right)$
be the (unique) vector such that the basis
$\mathbf{t}\left(s\right),{\mathbf{n}}_{1}\left(s\right),\dots ,{\mathbf{n}}_{m}\left(s\right)$
, called Frenet frame of
$\gamma $
at
$s$
, is orthonormal and positive. The derivatives of the Frenet frame vectors are given by the so called system of Frenet equations of
$\gamma $
:

$$\left(\begin{array}{c}{\mathbf{t}}^{\prime}\\ {\mathbf{n}}_{1}^{\prime}\\ {\mathbf{n}}_{2}^{\prime}\\ {\mathbf{n}}_{3}^{\prime}\\ ...\\ {\mathbf{n}}_{m-2}^{\prime}\\ {\mathbf{n}}_{m-1}^{\prime}\\ {\mathbf{n}}_{m}^{\prime}\end{array}\right)=\left(\begin{array}{ccccccc}0& {\kappa}_{1}& 0& \cdot \cdot \cdot & 0& 0& 0\\ -{\kappa}_{1}& 0& {\kappa}_{2}& \cdot \cdot \cdot & 0& 0& 0\\ 0& -{\kappa}_{2}& 0& & & & ...\\ 0& 0& -{\kappa}_{3}& & & & ...\\ \vdots & 0& & & & & \\ & & & & 0& {\kappa}_{m-1}& 0\\ \vdots & & & & -{\kappa}_{m-1}& 0& {\kappa}_{m}\\ 0& 0& & \cdot \cdot \cdot & 0& -{\kappa}_{m}& 0\end{array}\right){\left(\begin{array}{c}\mathbf{t}\\ {\mathbf{n}}_{1}\\ {\mathbf{n}}_{2}\\ {\mathbf{n}}_{3}\\ ...\\ {\mathbf{n}}_{m-2}\\ {\mathbf{n}}_{m-1}\\ {\mathbf{n}}_{m}\end{array}\right)}_{.}$$
The functions
${\kappa}_{1}={\kappa}_{1}\left(s\right),\dots ,{\kappa}_{m}={\kappa}_{m}\left(s\right)$
are called Euclidean curvatures of the curve and are defined only for the good curves. Note that the
$l$
-th Euclidean curvature
${\kappa}_{l}$
gives the speed of rotation of the osculating
$l$
-plane around the osculating (
$l-1$
)-plane, with respect to the variation of the arc-length parameter (one can found other geometric interpretations of the Euclidean curvatures). The curvatures
${\kappa}_{1},\dots ,{\kappa}_{m-1}$
of any good curve are strictly positive, while
${\kappa}_{m}$
can take any real value.

A point of a smooth curve in
${\mathbb{R}}^{m+1}$
for which the derivative of the curve of order
$m+1$
belongs to the osculating hyperplane is said to be a flattening.

At a flattening the last Euclidean curvature
${\kappa}_{m}$
vanishes and the curve has at least
$(m+2)$
-point contact with its osculating hyperplane at that point. Remark about flattenings. At a flattening of a generic curve the osculating hypersphere is unique and it coincides with the osculating hyperplane. In this case, the centre of the osculating hypersphere is not defined and we will say that “it is at infinity”. If at a point the order of contact of
$\gamma $
with its osculating sphere of codimension
$2$
,
${S}^{m-1}$
, is greater than the usual one, then the point is a non generic flattening. In this case, all hyperspheres containing
${S}^{m-1}$
are osculating, i.e. the centre of the osculating hypersphere is not uniquely defined.

Example. These conditions (non satisfied for any point of a generic curve) are however satisfied by the flattenings of a generic spherical curve (that is, a generic curve among the curves lying on a hypersphere).

For these reasons we will assume that our curves are good and have no flattening, unless we consider (explicitly) spherical curves.

§1. Statement of Results Definition. The curve
${C}_{\gamma}:\theta \mapsto {C}_{\gamma}\left(\theta \right)\in {\mathbb{R}}^{m+1}$
consisting of the centres of the osculating hyperspheres of a good curve (without its flattenings)
$\gamma :\theta \mapsto \gamma \left(\theta \right)\in {\mathbb{R}}^{m+1}$
is called the parametrised focal curve of
$\gamma $
.

Remark. In geometrical optics, a curve
$\gamma $
in Euclidean
$3$
-space can be considered as a source of light. The envelope of all light rays normal to
$\gamma $
is the focal surface or caustic of
$\gamma $
. The light intensity is much more concentrated on the caustic than in all other points of the space. Moreover, the caustic itself is more illuminated along its cuspidal edge, which is the focal curve of
$\gamma $
.

Consider a good curve
$\gamma :\mathbb{R}\to {\mathbb{R}}^{m+1}$
. Write
${\kappa}_{1},{\kappa}_{2},\dots ,{\kappa}_{m}$
for its Euclidean curvatures and
$\mathbf{t},{\mathbf{n}}_{1},\dots ,{\mathbf{n}}_{m}$
for its Frenet frame. The hyperplane normal to
$\gamma $
at a point consists of the set of centres of all hyperspheres tangent to
$\gamma $
at that point. Hence the centre of the osculating hypersphere at that point lies in such normal hyperplane. Therefore (denoting
${C}_{\gamma}\left(\theta \right)$
by
${C}_{\gamma}$
,
$\gamma \left(\theta \right)$
by
$\gamma $
and so on,. . . ) we can write
$${C}_{\gamma}=\gamma +{c}_{1}{\mathbf{n}}_{1}+{c}_{2}{\mathbf{n}}_{2}+\cdots +{c}_{m}{\mathbf{n}}_{m},$$
where the coefficients
${c}_{1},\dots ,{c}_{m-1}$
are smooth functions of the parameter of the curve
$\gamma $
.

Definition. The coefficient
${c}_{i}$
,
$i=1,\dots ,m$
, is called the
${i}^{th}$
focal curvature of
$\gamma $
.

Remark. The first focal curvature
${c}_{1}$
never vanishes:
${c}_{1}=1/{\kappa}_{1}$
.

The Frenet equations of a curve in (
$m+1$
)-Euclidean space is a system of
$m+1$
vectorial equations involving the unit vectors of the Frenet frame and their derivatives. The following theorem shows that the focal curvatures of that curve satisfy a system of scalar Frenet equations which “is obtained from the usual Frenet equations by replacing the
${i}^{th}$
normal vector of the Frenet frame by the
${i}^{th}$
focal curvature”. Theorem 1. The focal curvatures of a curve lying on a hypersphere
$\gamma :\mathbb{R}\to {\mathbb{S}}^{n}\subset {\mathbb{R}}^{m+1}$
, parametrised by arc length
$s$
, satisfy the following “scalar Frenet equations”:

$$\left(\begin{array}{c}1\\ {c}_{1}^{\prime}\\ {c}_{2}^{\prime}\\ {c}_{3}^{\prime}\\ \mathit{.}\mathit{.}\mathit{.}\\ {c}_{m-2}^{\prime}\\ {c}_{m-1}^{\prime}\\ {c}_{m}^{\prime}\end{array}\right)=\left(\begin{array}{ccccccc}0& {\kappa}_{1}& 0& \cdot \cdot \cdot & 0& 0& 0\\ -{\kappa}_{1}& 0& {\kappa}_{2}& \cdot \cdot \cdot & 0& 0& 0\\ 0& -{\kappa}_{2}& 0& & & & \mathit{.}\mathit{.}\mathit{.}\\ 0& 0& -{\kappa}_{3}& & & & \mathit{.}\mathit{.}\mathit{.}\\ \vdots & 0& & & & & \\ & & & & 0& {\kappa}_{m-1}& 0\\ \vdots & & & & -{\kappa}_{m-1}& 0& {\kappa}_{m}\\ 0& 0& & \cdot \cdot \cdot & 0& -{\kappa}_{m}& 0\end{array}\right){\left(\begin{array}{c}0\\ {c}_{1}\\ {c}_{2}\\ {c}_{3}\\ \mathit{.}\mathit{.}\mathit{.}\\ {c}_{m-2}\\ {c}_{m-1}\\ {c}_{m}\end{array}\right)}_{.}$$
Remark. If the curve is not spherical then the correcting term
$-\frac{({R}_{m}^{2}{)}^{\prime}}{2{c}_{m}}$
must be added to the last component of the left hand side vector to obtain
${c}_{m}^{\prime}-\frac{({R}_{m}^{2}{)}^{\prime}}{2{c}_{m}}$
, for
${c}_{m}\ne 0$
.

Theorem 2. The Euclidean curvatures of a good curve
$\gamma $
(with
${\kappa}_{m}\ne 0$
) in
${\mathbb{R}}^{m+1}$
, parametrised by arc length, are given in terms of the focal curvatures of
$\gamma $
by the formula:

$${\kappa}_{i}=\frac{{c}_{1}{c}_{1}^{\prime}+{c}_{2}{c}_{2}^{\prime}+\cdots +{c}_{i-1}{c}_{i-1}^{\prime}}{{c}_{i-1}{c}_{i}},\mathit{f}\mathit{o}\mathit{r}i\ge 2.$$
Remark. For a generic curve, the focal curvatures
${c}_{i}$
or
${c}_{i-1}$
can vanish at isolated points. At these points the function
${c}_{1}{c}_{1}^{\prime}+{c}_{2}{c}_{2}^{\prime}+\cdots +{c}_{i-1}{c}_{i-1}^{\prime}$
also vanishes, and the corresponding value of the Euclidean curvature
${\kappa}_{i}$
may be obtained by l'Hôpital rule.

Definition. A vertex of a curve in
${\mathbb{R}}^{n}$
is a point at which the curve has at least
$(n+2)$
-point contact with its osculating hypersphere.

Example 3. The vertices of a curve in Euclidean plane
${\mathbb{R}}^{2}$
are the points at which the curvature is critical. For instance, a non-circular ellipse has
$4$
vertices: They are the points at which the ellipse intersects its principal axes.

The interest on the vertices of curves came, for instance, from geometrical optics (c.f. Huygens) and from the geometry in the large. Namely the classical
$4$
-vertex theorem states that a smooth closed convex plane curve has at least
$4$
different vertices, [16] . Besides several important works generalising this theorem (c.f. [14, 15, 7, 21, 18, 20] ), the recent progress in symplectic geometry and singularity theory have revived the interest on the study of vertices together with the different variants of its definition (c.f. [22, 11, 13, 17] , [24] -[31] ). Here we are mainly concerned with local properties of vertices. The next theorem (implicitly contained in [19] ) provides necessary and sufficient conditions for a point to be a vertex.

Theorem 3. A non-flattening point of a good curve parametrised by arc length in
${\mathbb{R}}^{m+1}$
,
$m>1$
, is a vertex if and only if
$${c}_{m}^{\prime}+{c}_{m-1}{\kappa}_{m}=0\mathit{a}\mathit{t}\mathit{t}\mathit{h}\mathit{a}\mathit{t}\mathit{p}\mathit{o}\mathit{i}\mathit{n}\mathit{t}.$$
Corollary 1. A good curve parametrised by arc length in Euclidean space
${\mathbb{R}}^{m+1}$
,
$m>1$
, lies on a hypersphere if and only if
$${c}_{m}^{\prime}+{c}_{m-1}{\kappa}_{m}\equiv 0.$$
Example 4. For curves in Euclidean
$3$
-space, Corollary 1 provides the following classical result on spherical curves (see for instance [8] ):

A smoothly immersed curve of
${\mathbb{R}}^{3}$
, with curvature
$\kappa $
and torsion
$\tau $
both nowhere zero, lies on a sphere if and only if
$${c}_{2}^{\prime}+{c}_{1}\tau \equiv 0,\text{i.e. if and only if}{\left(\frac{{R}_{1}^{\prime}}{\tau}\right)}^{\prime}+{R}_{1}\tau \equiv 0,$$
where derivation is taken with respect to the arc length of the curve and
${R}_{1}=1/\kappa $
, is the radius of curvature.

Unfortunately, I have found a small mistake in the beautiful Hilbert–Cohn Vossen's book, [12] :

A curve of
${\mathbb{R}}^{3}$
lies on a sphere if and only if

Of course, a curve lying on a sphere satisfies condition (W), which means that the radius of the osculating sphere is constant. However, the number of non-spherical curves satisfying condition (W) is infinite: If a curve with nowhere vanishing torsion has constant curvature
$\kappa \ne 0$
then the radius of its osculating sphere is constant and equal to
$R=1/\kappa $
. This follows from condition (W). One example is the circular helix
$t\mapsto (cost,sint,t)$
). The above statement becomes true if one suppose the genericity condition
${R}_{1}^{\prime}\ne 0$
. The radius of the osculating hypersphere of a curve in
${\mathbb{R}}^{m+1}$
is critical at each vertex of that curve; the converse statement is not always true for
$m>1$
(see [23] , [31] ): There are examples of curves having points for which the radius of the osculating hypersphere is critical, but which are not vertices.

$$\begin{array}{c}{R}_{1}^{2}+({R}_{1}^{\prime}{)}^{2}\frac{1}{{\tau}^{2}}=const.\end{array}$$ | (W ) |

The geometric meaning of such points becomes clear from Theorem 5, below.

The following two theorems give necessary and sufficient conditions for the radius of the osculating sphere of dimension
$l\le m$
to be critical.

Theorem 4. For
$1\le l<m$
, the radius of the osculating
$l$
-sphere of a generic curve in
${\mathbb{R}}^{m+1}$
is critical if and only if either
${c}_{l}=0$
or
${c}_{l+1}=0$
.

Moreover,
${c}_{1}$
never vanishes.

Remark. At a point of a curve
$\gamma $
, the first
$l$
focal curvatures
${c}_{1},\dots ,{c}_{l}$
are the coordinates (with respect to the Frenet frame) of the centre of the
$l$
-dimensional osculating sphere of
$\gamma $
at that point. Therefore the curve
${\gamma}_{l}$
described by the centre of the
$l$
-dimensional osculating sphere is parametrised by:

$${\gamma}_{l}=\gamma +{c}_{1}{\mathbf{n}}_{1}+{c}_{2}{\mathbf{n}}_{2}+\cdots +{c}_{l}{\mathbf{n}}_{l}.$$
Of course,
${\gamma}_{m}={C}_{\gamma}$
. Theorem 4 implies for instance that the curves
${\gamma}_{1}$
and
${\gamma}_{2}$
intersect at least twice and the curve
${\gamma}_{l}$
intersects either
${\gamma}_{l-1}$
or
${\gamma}_{l+1}$
, at least at two points,
$1<l<m$
.

Corollary 2. If the
${l}^{th}$
focal curvature
${c}_{l}$
vanishes at a point, then both the radii of the osculating spheres of dimensions
$l-1$
and
$l$
are critical at that point.

Remark. The
${m}^{th}$
focal curvature
${c}_{m}$
at a point of a smooth curve in
${\mathbb{R}}^{m+1}$
is the signed distance between the osculating hyperplane and the centre of the osculating hypersphere at that point.

Definition. A point of a curve is said to be a pseudo-vertex of that curve if the centre of the osculating hypersphere at that point lies in the osculating hyperplane at that point (that is, if
${c}_{m}=0$
).

Corollary 3. A generic closed curve in
${\mathbb{R}}^{3}$
has at least two vertices or two pseudo-vertices.

Corollary 4. At a pseudo-vertex of a smooth curve in
${\mathbb{R}}^{m+1}$
,
$m>1$
, both the radius of the osculating hypersphere and the radius of the osculating
$(m-1)$
-sphere are critical.

Proposition 0. The radius of the osculating hypersphere at a point of a good curve in
${\mathbb{R}}^{m+1}$
,
$m>1$
, is critical if and only if such point is either a vertex or a pseudo-vertex.

A point of a generic smooth curve at which the last Euclidean curvature vanish,
${\kappa}_{m}=0$
, is a flattening of the curve (see our Remark about flattenings above). The following statement is a consequence of Proposition 0. Corollary 5. Write
$V$
,
$F$
and
$P$
for the number of vertices, flattenings and pseudo-vertices of a generic closed curve smoothly immersed in
${\mathbb{R}}^{m+1}$
. The following inequalities hold:

$$V+P\ge F\text{and}V+P\ge 2.$$
We reformulate Proposition 0 (and we will prove it, in §3) in terms of the focal curvatures
${c}_{m}$
and
${c}_{m-1}$
:

Proposition 0͂. The radius of the osculating hypersphere of a good curve in
${\mathbb{R}}^{m+1}$
,
$m>1$
, parametrised by arc length, is critical at a point if and only if either
${c}_{m}=0$
or
${c}_{m}^{\prime}+{c}_{m-1}{\kappa}_{m}=0$
at that point.

After I have sent this paper to V.D. Sedykh, he communicated to me that he had discovered independently Proposition 0 and Corollary 5, but he had not published them and he urged me to publish all results of this paper.

Remark. By definition, the first
$m-1$
Euclidean curvatures of a generic curve
$\gamma :\mathbb{R}\to {\mathbb{R}}^{m+1}$
are positive everywhere, while the last one,
${\kappa}_{m}$
, can take any real value. The sign of the last Euclidean curvature at a non-flattening point of a curve is defined only when the orientation on the ambient space
${\mathbb{R}}^{m+1}$
is fixed :
${\kappa}_{m}$
is positive (negative) at the points of the curve where the derivatives of order
$1,\dots ,m+1$
form a positive (negative, resp.) basis of
${\mathbb{R}}^{m+1}$
.

Remark. Consider a curve
$\gamma :\mathbb{R}\to {\mathbb{R}}^{m+1}$
in the oriented Euclidean space
${\mathbb{R}}^{m+1}$
. If the number
$m>0$
is of the form
$4k$
or
$4k+1$
, with
$k\in \mathbb{N}$
, then sign of the last Euclidean curvature of
$\gamma $
at a non-flattening point depends on the orientation of the curve. That is, the last Euclidean curvature of a curve at a non-flattening point is a function whose sign depends not only on the point of the curve but also on the orientation of the curve given by the parametrisation.

Proof. Let
$\gamma :\mathbb{R}\to {\mathbb{R}}^{m+1}$
be a generic curve in
${\mathbb{R}}^{m+1}$
, such that
$\gamma \left(0\right)$
is not a flattening. Write
$\tau \left(t\right)=-t$
and consider the parametrisation in the opposite direction
$\stackrel{~}{\gamma}=\gamma \circ \tau :t\mapsto \gamma (-t)$
. The derivative of order
$r$
of
$\stackrel{~}{\gamma}$
at
$t=0$
is
${\stackrel{~}{\gamma}}^{\left(r\right)}\left(0\right)={\gamma}^{\left(r\right)}\left(0\right)\cdot (-1{)}^{r}$
. So the derivatives of odd order of
$\gamma $
and
$\stackrel{~}{\gamma}$
at
$t=0$
have opposite directions while the derivatives of even order of
$\gamma $
and
$\stackrel{~}{\gamma}$
at
$t=0$
coincide. Therefore the basis obtained from the derivatives of order
$1,\dots ,m+1$
of
$\stackrel{~}{\gamma}$
at
$t=0$
and the basis obtained from the derivatives of order
$1,\dots ,m+1$
of
$\gamma $
at
$t=0$
give different orientations of
${\mathbb{R}}^{m+1}$
if and only if the cardinality of the set
$\{r\in \mathbb{N}:\text{}r\text{is odd and}r\le m+1\text{}\}$
is odd, i.e. if and only if the number
$m>0$
is of the form
$4k$
or
$4k+1$
, with
$k\in \mathbb{N}$
.

Theorem 5. Let
$\gamma :s\mapsto \gamma \left(s\right)\in {\mathbb{R}}^{m+1}$
be a good curve without its flattenings.

Write
${\kappa}_{1},\dots ,{\kappa}_{m}$
for its Euclidean curvatures and
$\{\mathbf{t},{\mathbf{n}}_{1},\dots ,{\mathbf{n}}_{m}\}$
for its Frenet frame. For each non-vertex
$\gamma \left(s\right)$
of
$\gamma $
, write
$\varepsilon \left(s\right)$
for the sign of
$({c}_{m}^{\prime}+{c}_{m-1}{\kappa}_{m})\left(s\right)$
and
${\delta}_{k}\left(s\right)$
for the sign of
$(-1{)}^{k}\varepsilon (s\left){\kappa}_{m}\right(s)$
,
$k=1,\dots ,m$
. For any non-vertex of
$\gamma $
the following holds: a) The Frenet frame
$\{\mathbf{T},{\mathbf{N}}_{1},\dots ,{\mathbf{N}}_{m}\}$
of
${C}_{\gamma}$
at
${C}_{\gamma}\left(s\right)$
is well-defined and its vectors are given by
$\mathbf{T}=\varepsilon {\mathbf{n}}_{m}$
,
${\mathbf{N}}_{k}={\delta}_{k}{\mathbf{n}}_{m-k}$
, for
$k=1,\dots ,m-1$
, and
${\mathbf{N}}_{m}=\pm \mathbf{t}$
, the sign in
$\pm \mathbf{t}$
is chosen in order to obtain a positive basis.

b) The Euclidean curvatures
${K}_{1},\dots ,{K}_{m}$
of the parametrised focal curve of
$\gamma $
,
${C}_{\gamma}:s\mapsto {C}_{\gamma}\left(s\right)$
, are related to those of
$\gamma $
by :

$$\frac{{K}_{1}}{\left|{\kappa}_{m}\right|}=\frac{{K}_{2}}{{\kappa}_{m-1}}=\cdots =\frac{\left|{K}_{m}\right|}{{\kappa}_{1}}=\frac{1}{|{c}_{m}^{\prime}+{c}_{m-1}{\kappa}_{m}|},$$
the sign of
${K}_{m}$
is equal to
${\delta}_{m}$
times the sign chosen in
$\pm \mathbf{t}$
.

That is, the Frenet matrix of
${C}_{\gamma}$
at
${C}_{\gamma}\left(s\right)$
is
$$\frac{1}{|{c}_{m}^{\prime}+{c}_{m-1}{\kappa}_{m}|}{\left(\begin{array}{ccccccc}0& \left|{\kappa}_{m}\right|& 0& \cdot \cdot \cdot & 0& 0& 0\\ -\left|{\kappa}_{m}\right|& 0& {\kappa}_{m-1}& \cdot \cdot \cdot & 0& 0& 0\\ 0& -{\kappa}_{m-1}& 0& & & & \mathit{.}\mathit{.}\mathit{.}\\ 0& 0& -{\kappa}_{m-2}& & & & \mathit{.}\mathit{.}\mathit{.}\\ \vdots & 0& & & & & \\ & & & & 0& {\kappa}_{2}& 0\\ \vdots & & & & -{\kappa}_{2}& 0& \mp {\delta}_{m}{\kappa}_{1}\\ 0& 0& & \cdot \cdot \cdot & 0& \pm {\delta}_{m}{\kappa}_{1}& 0\end{array}\right)}_{.}$$
Application to self-congruent curves. A curve of
${\mathbb{R}}^{m+1}$
is said to be self-congruent if for any two points
$a$
and
$b$
of it, there is a preserving orientation orthogonal transformation of
${\mathbb{R}}^{m+1}$
sending the curve to itself and sending
$a$
to
$b$
. One can prove that the class of self-congruent curves coincides with the class of curves whose Euclidean curvatures are constant.

The focal curvatures of these curves are therefore constant and the scalar Frenet equations imply that
$${c}_{2l}=0\text{and}{c}_{2l+1}{=}^{l}{\prod}_{j=0}\left(\frac{{k}_{2j}}{{k}_{2j+1}}\right),$$
where the convention
${\kappa}_{0}=1$
is used, and the subindices
$2l$
and
$2l+1$
are taken over all values of
$l$
for which
$2\le 2l\le m$
and
$1\le 2l+1\le m$
, respectively.

Proposition. For any
$l\in \mathbb{N}$
such that
$0<2l\le m$
, the following holds:

At any point of a self-congruent curve of
${\mathbb{R}}^{m+1}$
the centre of the osculating
$2l$
-sphere lies in the osculating
$2l$
-plane.

Proof. This follows from the above equalities
${c}_{2l}=0$
.

§2. Study of the Focal Set (caustic) of a Curve The focal set or caustic of a submanifold of positive codimension in Euclidean space
${\mathbb{R}}^{m+1}$
(for instance, of a curve in
${\mathbb{R}}^{3}$
) is defined as the envelope of the family of normal lines to the submanifold.

Remark. Similarly to geometrical optics in Euclidean
$3$
-space, a submanifold of positive codimension in Euclidean space
${\mathbb{R}}^{m+1}$
may be considered as a source of light (or as an initial wave front). The normal lines to this source submanifold are called normal light rays and its focal set (on which the light intensity is much more concentrated than in the other points of the space) is called the caustic of that submanifold.

We will study the focal set of a generic curve
$\gamma :\mathbb{R}\to {\mathbb{R}}^{m+1}$
.

The hyperplane normal to
$\gamma $
at a point is the union of all lines normal to
$\gamma $
at that point. The envelope of all hyperplanes normal to
$\gamma $
is thus a component of the focal set that we call the main component (the other component is the curve
$\gamma $
itself, but we will not consider it).

The normal hyperplanes of a curve at two neighbouring points intersect along an affine subspace of codimension 2 which approaches a limiting position as the points move into coincidence. The affine subspace that assumes this limiting position is called the
$2$
-codimensional focal subspace of the curve at the point under consideration.

When the point moves along the curve the
$2$
-codimensional focal subspace generates a hypersurface which, by construction, is the envelope of the hyperplanes normal to
$\gamma $
, i.e. it is the main component of the focal set.

So the main component of the focal set of a curve is the union (in a one-parameter family) of affine subspaces of codimension 2 (see Claim 3 in subsection 2.2).

Example 5. At a point of a curve in
${\mathbb{R}}^{3}$
, the
$2$
-codimensional focal subspace is the line through the centre of the osculating circle which is parallel to the bi-normal vector. In classical differential geometry of curves in Euclidean
$3$
-space, it is called the polar line (see [10] ).

2.1 The caustic of a family of functions. We will use techniques of singularity theory in order to have a more detailed study of the focal set.

Definition. The caustic of a family of functions depending smoothly on parameters consists of the parameter values for which the corresponding function has a non-Morse critical point.

Example 6. Given a generic curve
$\gamma :\mathbb{R}\to {\mathbb{R}}^{m+1}$
, let
$F:{\mathbb{R}}^{m+1}\times \mathbb{R}\to \mathbb{R}$
be the
$(m+1)$
-parameter family of real functions given by
$$F(q,\theta )=\frac{1}{2}\parallel q-\gamma \left(\theta \right){\parallel}^{2}.$$
The caustic of the family
$F$
is given by the set
$$\{q\in {\mathbb{R}}^{m+1}:\exists \theta \in \mathbb{R}:{F}_{q}^{\prime}(\theta )=0and{F}_{q}^{\prime \prime}(\theta )=0\}.$$
Proposition A. The caustic of the family
$F(q,\theta )=\frac{1}{2}\parallel q-\gamma \left(\theta \right){\parallel}^{2}$
coincides with the focal set of the curve
$\gamma :\mathbb{R}\to {\mathbb{R}}^{m+1}$
.

Proof. The caustic of
$F$
is defined by the pair of equations
${F}_{q}^{\prime}\left(\theta \right)=0$
,
${F}_{q}^{\prime \prime}\left(\theta \right)=0$
. For each fixed value of
$\theta $
, the set of points
$q\in {\mathbb{R}}^{m+1}$
satisfying the first equation form the hyperplane normal to
$\gamma $
at
$\gamma \left(\theta \right)$
:

$${F}_{q}^{\prime}\left(\theta \right)=-\langle q-\gamma \left(\theta \right),{\gamma}^{\prime}\left(\theta \right)\rangle =0.$$
The set of points
$q\in {\mathbb{R}}^{m+1}$
satisfying both equations for a fixed
$\theta $
are thus the stationary points of the normal hyperplane at
$\gamma \left(\theta \right)$
under an infinitesimal variation of it. They form an affine subspace of codimension 2 in
${\mathbb{R}}^{m+1}$
:

$${F}_{q}^{\prime \prime}\left(\theta \right)=-\langle q-\gamma \left(\theta \right),{\gamma}^{\prime \prime}\left(\theta \right)\rangle +\langle {\gamma}^{\prime}\left(\theta \right),{\gamma}^{\prime}\left(\theta \right)\rangle =0.$$
Of course this subspace coincides with the
$2$
-codimensional focal plane of the curve at
$\gamma \left(\theta \right)$
, considered above.

2.2 The natural stratification of the focal set. The focal set of a curve
$\gamma :\mathbb{R}\to {\mathbb{R}}^{m+1}$
is stratified in a natural way. The following claims describe the geometry of such stratification for curves without flattenings.

Denote by
${A}_{\gamma}^{k}\left(\theta \right)$
,
$k=1,\dots ,m+2$
, the set consisting of the centres of all hyperspheres having at least
$(k+1)$
-point contact with
$\gamma $
at
$\gamma \left(\theta \right)$
.

Claim 1. The set
${A}_{\gamma}^{k}\left(\theta \right)$
,
$k=1,\dots ,m+1$
is an affine subspace of codimension
$k$
in
${\mathbb{R}}^{m+1}$
.

Claim 2. The set
${A}_{\gamma}^{1}\left(\theta \right)$
(consisting of the centres of all hyperspheres having at least
$2$
-point contact with
$\gamma $
at
$\gamma \left(\theta \right)$
) is the hyperplane normal to
$\gamma $
at the point
$\gamma \left(\theta \right)$
.

Definition. The affine subspace
${A}_{\gamma}^{k}\left(\theta \right)$
is called
$k$
-codimensional focal plane of
$\gamma $
at
$\gamma \left(\theta \right)$
.

Corollary (of claims 1 and 2). The sequence of focal subspaces
${A}_{\gamma}^{1}\left(\theta \right)\supset {A}_{\gamma}^{2}\left(\theta \right)\supset \cdots \supset {A}_{\gamma}^{m+1}\left(\theta \right)$
defines a complete flag on the hyperplane normal to
$\gamma $
at
$\gamma \left(\theta \right)$
.

Remark. The complete flag
${A}_{\gamma}^{1}\left(\theta \right)\supset {A}_{\gamma}^{2}\left(\theta \right)\supset \cdots \supset {A}_{\gamma}^{m+1}\left(\theta \right)$
defines a natural stratification on the hyperplane normal to
$\gamma $
at
$\gamma \left(\theta \right)$
. This stratification induces a natural stratification on the focal set of
$\gamma $
. The stratum of dimension
$1$
being the focal curve of
$\gamma $
. The
$0$
-dimensional stratum consists of isolated points at which the focal curve is singular (it has a cusp, see Proposition 1 in §3). These singular points of the focal curve of
$\gamma $
correspond to the vertices of
$\gamma $
(for these points the set
${A}_{\gamma}^{m+2}\left(\theta \right)$
is not empty). Claim 3. The focal set of a smooth curve consists of the centres of all hyperspheres having at least
$3$
-point contact with that curve at a point of it (i.e. it is the union of all the
$2$
-codimensional focal planes of the curve).

Proposition B. The complete flag
${A}_{\gamma}^{1}\left(\theta \right)\supset {A}_{\gamma}^{2}\left(\theta \right)\supset \cdots \supset {A}_{\gamma}^{m+1}\left(\theta \right)$
is the osculating flag of the focal curve of
$\gamma $
at the point
${C}_{\gamma}\left(\theta \right)$
. In particular, the hyperplane normal to
$\gamma $
at
$\gamma \left(\theta \right)$
coincides with the osculating hyperplane of the focal curve of
$\gamma $
at the point
${C}_{\gamma}\left(\theta \right)$
.

Lemma 0. A point
$q\in {\mathbb{R}}^{m+1}$
is the centre of a hypersphere having
$k$
-point contact with
$\gamma $
at the point
$\gamma \left({\theta}_{0}\right)$
if and only if the function
${F}_{q}\left(\theta \right)=\frac{1}{2}\parallel q-\gamma \left(\theta \right){\parallel}^{2}$
has a critical point of multiplicity
$k-1$
at
${\theta}_{0}$
:

$${F}_{q}^{\prime}\left({\theta}_{0}\right)={F}_{q}^{\prime \prime}\left({\theta}_{0}\right)=\dots ={F}_{q}^{(k-1)}\left({\theta}_{0}\right)=0\text{and}{F}_{q}^{k}\left({\theta}_{0}\right)\ne 0.$$
Proof. The sphere of radius
$r$
with centre at
$q$
is defined by the equation
$${g}_{r}\left(x\right)=\frac{1}{2}(\parallel q-x{\parallel}^{2}-{r}^{2})=0.$$
So a point
$q$
is the centre of a hypersphere having
$k$
-point contact with
$\gamma $
at the point
$\gamma \left({\theta}_{0}\right)$
if and only if the function
${g}_{r}\circ \gamma $
has a zero of multiplicity
$k$
at
$\theta ={\theta}_{0}$
, for some
$r$
, i.e. if and only if the function
${F}_{q}\left(\theta \right)=\frac{1}{2}\parallel q-\gamma \left(\theta \right){\parallel}^{2}$
has a critical point of multiplicity
$k-1$
at
${\theta}_{0}$
.
$\square $
Proof of claims 2 and 3. To prove Claims 2 and 3, use Lemma 0 and repeat the proof of Proposition A. Another proof of Claim 3 follows from Example 6, Lemma 0 and Proposition A.
$\square $
Proof of claim 1. Consider the following system of
$(m+2)$
equations

For each fixed value of
$\theta $
, it can be easily seen that the first
$k$
equations —written explicitly— define an affine subspace of codimension
$k$
in
${\mathbb{R}}^{m+1}$
(the cases
$k=1,2$
, are in the proof of Proposition A). So the set
${A}_{\gamma}^{k}\left(\theta \right)$
of centres of all hyperspheres having at least
$(k+1)$
-point contact with
$\gamma $
at
$\gamma \left(\theta \right)$
is an affine subspace of
${\mathbb{R}}^{m+1}$
.
$\square $
Remark. The (generating) family
$F(q,\theta )=\frac{1}{2}\parallel q-\gamma \left(\theta \right){\parallel}^{2}$
together with Sturm theory can be used to calculate the number of vertices of the curve
$\gamma $
, see [31] . Remark (for Singularity Theory Specialists). In the setting of the theory of Lagrangian singularities, Lagrangian maps and the caustics of Lagrangian maps, the focal set of the curve
$\gamma $
is the caustic of the Normal map associated to
$\gamma $
, which is a Lagrangian map defined by the generating family
$F(q,\theta )$
(for the notions of caustic, Lagrangian map, Lagrangian singularity and generating family, we refer the reader to [1] and [2] ). Thus the vertices of a curve in
${\mathbb{R}}^{m+1}$
correspond to a Lagrangian singularity
${A}_{m+2}$
of the normal map, that is, the focal set has a “swallowtail” singularity at the centres of the osculating hyperspheres corresponding to the vertices of the curve.

$$\begin{array}{ccc}{F}_{q}^{\prime}\left(\theta \right)& =& 0\end{array}$$ |

$$\begin{array}{ccc}{F}_{q}^{\prime \prime}\left(\theta \right)& =& 0\end{array}$$ |

$$\begin{array}{ccc}& ...& \end{array}$$ |

$$\begin{array}{ccc}{F}_{q}^{(m+2)}\left(\theta \right)& =& 0.\end{array}$$ |

§3. The Proofs of the Results As we mentioned in the introduction, the ideas and techniques of the theory of Lagrangian and Legendrian singularities (singularities of caustics and wave fronts) were an important tool for the discovery of the results of this paper and also for their initial proofs. Some of these results would be difficult to discover only using Frenet frame theory. However, once the results were discovered and proved, the author has made an effort in order to present the proofs as short as possible and as elementary as possible. The author hopes the proofs will be understandable for anyone.

To prove our results we will prove before some lemmas related to the focal curve. Below,
$\theta $
denotes any regular parameter of the curve and
$s$
denotes the arc length parameter.

Lemma 1. Let
$\gamma :\theta \mapsto \left({\phi}_{1}\right(\theta ),\dots ,{\phi}_{m+1}(\theta \left)\right)$
be a good curve in
${\mathbb{R}}^{m+1}$
. The velocity vector
${q}^{\prime}\left(\theta \right)$
of the focal curve of
$\gamma $
at
$\theta $
is proportional to the
${m}^{th}$
-normal vector
${\mathbf{n}}_{m}\left(\theta \right)$
of
$\gamma $
.

Proof. Consider the (generating) family of functions
$F:\mathbb{R}\times {\mathbb{R}}^{m+1}\to \mathbb{R}$
defined by
$${F}_{q}\left(\theta \right)=\frac{1}{2}\parallel q-\gamma \left(\theta \right){\parallel}^{2}.$$
Write
$g=\frac{{\gamma}^{2}}{2}$
. As in §2, use the fact that
$-F=\gamma \cdot q-\frac{{\gamma}^{2}}{2}-\frac{{q}^{2}}{2}$
to recall that the following system of
$m+1$
equations defines the focal curve
$q\left(\theta \right)$
of
$\gamma $
:

Derive each equation with respect to
$\theta $
to obtain a second system of equations:

Combine the
${i}^{th}$
equation of system
$(**)$
with the
$(i+1{)}^{th}$
equation of system
$(*)$
, for
$i=1,\dots ,m$
, to obtain

This means that the velocity vector
${q}^{\prime}\left(\theta \right)$
is orthogonal to the osculating hyperplane of
$\gamma $
, i.e.
${q}^{\prime}\left(\theta \right)$
is proportional to the
${m}^{th}$
-normal vector
${\mathbf{n}}_{m}$
.
$\square $
Proposition 1. A non-flattening point of a good curve in
${\mathbb{R}}^{m+1}$
is a vertex if and only if the velocity vector of the focal curve is zero.

$$\begin{array}{c}\begin{array}{ccc}{\gamma}^{\prime}\cdot q\left(\theta \right)-{g}^{\prime}& =& 0,\\ {\gamma}^{\prime \prime}\cdot q\left(\theta \right)-{g}^{\prime \prime}& =& 0,\\ & ...& \\ {\gamma}^{(m+1)}\cdot q\left(\theta \right)-{g}^{(m+1)}& =& 0.\end{array}\end{array}$$ | (*) |

$$\begin{array}{c}\begin{array}{ccc}{\gamma}^{\prime}\cdot {q}^{\prime}\left(\theta \right)+{\gamma}^{\prime \prime}\cdot q\left(\theta \right)-{g}^{\prime \prime}& =& 0,\\ {\gamma}^{\prime \prime}\cdot {q}^{\prime}\left(\theta \right)+{\gamma}^{\prime \prime \prime}\cdot q\left(\theta \right)-{g}^{\prime \prime \prime}& =& 0,\\ & ...& \\ {\gamma}^{\left(m\right)}\cdot {q}^{\prime}\left(\theta \right)+{g}^{(m+1)}\cdot q\left(\theta \right)-{g}^{(m+1)}& =& 0,\\ {\gamma}^{(m+1)}\cdot {q}^{\prime}\left(\theta \right)+{g}^{(m+2)}\cdot q\left(\theta \right)-{g}^{(m+2)}& =& 0.\end{array}\end{array}$$ | (**) |

$$\begin{array}{c}\begin{array}{ccc}{\gamma}^{\prime}\cdot {q}^{\prime}\left(\theta \right)& =& 0,\\ {\gamma}^{\prime \prime}\cdot {q}^{\prime}\left(\theta \right)& =& 0,\\ & ...& \\ {\gamma}^{\left(m\right)}\cdot {q}^{\prime}\left(\theta \right)& =& 0.\end{array}\end{array}$$ | (* * *) |

Proof. If the point
$\gamma \left(\theta \right)$
is a vertex of
$\gamma $
, then besides the system of equations
$(*)$
obtained in the proof of Lemma 1, it also satisfies the equation:

$${\gamma}^{(m+2)}\cdot q\left(\theta \right)-{g}^{(m+2)}=0,$$
which combined with the last equation of system
$(**)$
gives the equation
$${\gamma}^{(m+1)}\cdot {q}^{\prime}\left(\theta \right)=0.$$
The preceding equation together with the system
$(***)$
imply that for a non-flat vertex
$\gamma \left(\theta \right)$
of the curve
$\gamma $
the velocity vector
${q}^{\prime}\left(\theta \right)$
of the focal curve is zero.

Conversely, if a point
$\gamma \left({\theta}_{0}\right)$
is not a vertex then the corresponding point of the focal curve satisfies the relation
$${\gamma}^{(m+2)}\left({\theta}_{0}\right)\cdot q\left({\theta}_{0}\right)-{g}^{(m+2)}\left({\theta}_{0}\right)\ne 0,$$
which together with the last equation of
$(**)$
, for
$\theta ={\theta}_{0}$
, imply that
${q}^{\prime}\left({\theta}_{0}\right)\ne 0.$
$\square $
Lemma 1 and Proposition 1 were also stated in [19] , where the condition to the point to be a non-flattening is unfortunately absent. Without this condition Proposition 1 does not hold.

Lemma 2. Let
$\gamma :\mathbb{R}\to {\mathbb{R}}^{m+1}$
be a good curve with
${\kappa}_{m}\ne 0$
. The derivative of its parametrised focal curve
${C}_{\gamma}$
with respect the arc length
$s$
of
$\gamma $
is
$${C}_{\gamma}^{\prime}=({c}_{m}^{\prime}+{c}_{m-1}{\kappa}_{m}){\mathbf{n}}_{m}.$$
Proof of Theorem 1, Proposition 0 and Lemma 2. Consider the parametrised focal curve of
$\gamma $
:

$${C}_{\gamma}\left(s\right)=(\gamma +{c}_{1}{\mathbf{n}}_{1}+{c}_{2}{\mathbf{n}}_{2}+\cdots +{c}_{m}{\mathbf{n}}_{m})\left(s\right).$$
Denote
${C}_{\gamma}\left(\theta \right)$
,
$\gamma \left(\theta \right)$
and so on by
${C}_{\gamma}$
,
$\gamma $
, etc. Derive
${C}_{\gamma}$
with respect to the arc length of
$\gamma $
and use Frenet equations of
$\gamma $
to obtain:

By Lemma 1, the first
$m-1$
components of
${C}_{\gamma}^{\prime}$
vanish. Consequently

and the following equalities hold:

Equation (1) proves Lemma 2. Use the fact that the radius
${R}_{m}$
of the osculating hypersphere satisfies
${R}_{m}^{2}=\parallel {C}_{\gamma}-\gamma {\parallel}^{2}$
to obtain

Thus for
${c}_{m}\ne 0$
,
${c}_{m}^{\prime}-\frac{({R}_{m}^{2}{)}^{\prime}}{2{c}_{m}}=-{c}_{m-1}{\kappa}_{m}$
. This equation together with the set of equations
$\left(2\right)$
(using our conventions
${c}_{0}=0$
and
${c}_{0}^{\prime}=1$
) prove Theorem 1. Equation (3) and Theorem 3 prove Proposition 0.
$\square $
Proof of Theorem 3 and of its Corollary. By Lemma 2, we have that
$${C}_{\gamma}^{\prime}=({c}_{m}^{\prime}+{c}_{m-1}{\kappa}_{m}){\mathbf{n}}_{m}.$$
Proposition 1 implies thus that a point of the curve
$\gamma $
is a vertex if and only if
${c}_{m}^{\prime}+{c}_{m-1}{\kappa}_{m}=0$
.
$\square $
Proof of Theorem 2. The proof will be done by induction. Use the scalar Frenet equations of Theorem 1 to obtain that
$${\kappa}_{1}=\frac{1}{{c}_{1}},{\kappa}_{2}=\frac{{c}_{1}^{\prime}}{{c}_{2}}=\frac{{c}_{1}{c}_{1}^{\prime}}{{c}_{1}{c}_{2}}and{\kappa}_{3}=\frac{{c}_{2}^{\prime}+{c}_{1}{\kappa}_{2}}{{c}_{3}}=\frac{{c}_{2}^{\prime}+{c}_{1}\frac{{c}_{1}^{\prime}}{{c}_{2}}}{{c}_{3}}=\frac{{c}_{2}{c}_{2}^{\prime}+{c}_{1}{c}_{1}^{\prime}}{{c}_{2}{c}_{3}}.$$
Suppose that

The scalar Frenet equations of Theorem 1 imply that
${c}_{i+1}{\kappa}_{i+1}={c}_{i}^{\prime}+{c}_{i-1}{\kappa}_{i}$
.

$$\begin{array}{ccc}{C}_{\gamma}^{\prime}& =& \mathbf{t}+{c}_{1}(-{\kappa}_{1}\mathbf{t}+{\kappa}_{2}{\mathbf{n}}_{2})+{c}_{1}^{\prime}{\mathbf{n}}_{1}+\cdots +{c}_{m-1}^{\prime}{\mathbf{n}}_{m-1}+{c}_{m}(-{\kappa}_{m}{\mathbf{n}}_{m-1})+{c}_{m}^{\prime}{\mathbf{n}}_{m}\end{array}$$ |

$$\begin{array}{ccc}& =& (1-{c}_{1}{\kappa}_{1})\mathbf{t}+({c}_{1}^{\prime}-{\kappa}_{2}{c}_{2}){\mathbf{n}}_{1}+({c}_{2}^{\prime}+{c}_{1}{\kappa}_{2}-{c}_{3}{\kappa}_{3}){\mathbf{n}}_{2}+\cdots \end{array}$$ |

$$\begin{array}{ccc}& & +({c}_{i}^{\prime}+{c}_{i-1}{\kappa}_{i}-{c}_{i+1}{\kappa}_{i+1}){\mathbf{n}}_{i}+\cdots +({c}_{m}^{\prime}+{c}_{m-1}{\kappa}_{m}){\mathbf{n}}_{m}.\end{array}$$ |

$$\begin{array}{c}{C}_{\gamma}^{\prime}=({c}_{m}^{\prime}+{c}_{m-1}{\kappa}_{m}){\mathbf{n}}_{m}\end{array}$$ | (1) |

$$\begin{array}{c}\begin{array}{ccc}1& =& {\kappa}_{1}{c}_{1},\\ {c}_{1}^{\prime}& =& {\kappa}_{2}{c}_{2},\\ {c}_{2}^{\prime}& =& -{\kappa}_{2}{c}_{1}+{\kappa}_{3}{c}_{3},\\ ...& ...& \vdots \\ {c}_{m-1}^{\prime}& =& -{c}_{m-2}{\kappa}_{m-1}+{c}_{m}{\kappa}_{m}.\end{array}\end{array}$$ | (2) |

$$\begin{array}{ccc}({R}_{m}^{2}{)}^{\prime}& =& \langle {C}_{\gamma}-\gamma ,{C}_{\gamma}-\gamma {\rangle}^{\prime}\end{array}$$ |

$$\begin{array}{ccc}& =& 2\langle {C}_{\gamma}^{\prime}-{\gamma}^{\prime},{C}_{\gamma}-\gamma \rangle \end{array}$$ |

$$\begin{array}{ccc}& =& 2\langle ({c}_{m}^{\prime}+{c}_{m-1}{\kappa}_{m}){\mathbf{n}}_{m}-\mathbf{t},{c}_{1}{\mathbf{n}}_{1}+\cdots +{c}_{m}{\mathbf{n}}_{m}\rangle \end{array}$$ |

$$\begin{array}{ccc}& =& 2{c}_{m}({c}_{m}^{\prime}+{c}_{m-1}{\kappa}_{m});\end{array}$$ |

$$\begin{array}{c}\begin{array}{ccc}i.e.({R}_{m}^{2}{)}^{\prime}& =& 2{c}_{m}({c}_{m}^{\prime}+{c}_{m-1}{\kappa}_{m}).\end{array}\end{array}$$ | (3) |

$$\begin{array}{c}{\kappa}_{i}=\frac{{c}_{i-1}{c}_{i-1}^{\prime}+\cdots +{c}_{2}{c}_{2}^{\prime}+{c}_{1}{c}_{1}^{\prime}}{{c}_{i-1}{c}_{i}}.\end{array}$$ | (4) |

Substitute equation
$\left(4\right)$
to obtain
$${c}_{i+1}{\kappa}_{i+1}={c}_{i}^{\prime}+\frac{{c}_{i-1}{c}_{i-1}^{\prime}+\cdots +{c}_{2}{c}_{2}^{\prime}+{c}_{1}{c}_{1}^{\prime}}{{c}_{i}}=\frac{{c}_{i}{c}_{i}^{\prime}+\cdots +{c}_{2}{c}_{2}^{\prime}+{c}_{1}{c}_{1}^{\prime}}{{c}_{i}}.\square $$
Proof of Theorem 4. We have
${R}_{l}^{2}={c}_{1}^{2}+\cdots +{c}_{l}^{2}$
. Thus
${R}_{l}{R}_{l}^{\prime}={c}_{1}{c}_{1}^{\prime}+\cdots +{c}_{l}{c}_{l}^{\prime}$
. Combine last equation with the formula of Theorem 2 to obtain
$${R}_{l}{R}_{l}^{\prime}={c}_{l}{c}_{l+1}{\kappa}_{l+1},for1\le l<m.$$
For a generic curve in
${\mathbb{R}}^{m+1}$
the first
$m-1$
Euclidean curvatures are nowhere vanishing and the
${m}^{th}$
Euclidean curvature may vanish at isolated points, which do not coincide with the points at which
${R}_{m-1}$
is critical. Thus for a generic curve in
${\mathbb{R}}^{m+1}$
,
$m>1$
,
${R}_{l}^{\prime}=0$
if and only if either
${c}_{l}=0$
or
${c}_{l+1}=0$
for
$1\le l<m$
. Moreover, for a smoothly immersed curve the function
${c}_{1}={R}_{1}=1/{\kappa}_{1}$
never vanishes. This proves Theorem 4.
$\square $
Proof of Theorem 5. Write
$\sigma \left(s\right)$
for the value of the arc length parameter of
${C}_{\gamma}$
at
${C}_{\gamma}\left(s\right)$
. We assume that the orientations of the parametrised focal curve
${C}_{\gamma}$
given by the arc length parameter
$s$
of
$\gamma $
and by the arc length parameter
$\sigma $
of
${C}_{\gamma}$
coincide. Lemma 2 and Theorem 3 imply that at a non-vertex of
$\gamma $
, the unit tangent vector of the parametrised focal curve
${C}_{\gamma}$
is

Moreover, for any non vertex
$$\frac{ds}{d\sigma}=\frac{1}{|{c}_{m}^{\prime}+{c}_{m-1}{\kappa}_{m}|}.$$
In order to obtain that

$$\text{and}{K}_{1}=\frac{\left|{\kappa}_{m}\right|}{|{c}_{m}^{\prime}+{c}_{m-1}{\kappa}_{m}|},$$
derive equation (5) with respect to
$\sigma $
and apply Frenet equations of
$\gamma $
taking into account that the first
$m-1$
Euclidean curvatures of a generic curve are always positive. In the same way, use equation (6) to obtain
$${\mathbf{N}}_{2}={\delta}_{2}{\mathbf{n}}_{m-2}\text{and}{K}_{2}=\frac{{\kappa}_{m-1}}{|{c}_{m}^{\prime}+{c}_{m-1}{\kappa}_{m}|}.$$
To finish the proof, apply induction process.
$\square $
References

$$\begin{array}{c}\mathbf{T}=\frac{({c}_{m}^{\prime}+{c}_{m-1}{\kappa}_{m})}{|{c}_{m}^{\prime}+{c}_{m-1}{\kappa}_{m}|}{\mathbf{n}}_{m}=\varepsilon {\mathbf{n}}_{m}.\end{array}$$ | (5) |

$$\begin{array}{c}{\mathbf{N}}_{1}={\delta}_{1}{\mathbf{n}}_{m-1}\end{array}$$ | (6) |

- Arnold V.I., Varchenko A.N., Gussein–Zade S.M., Singularities of Differentiable Maps, Vol. 1, Birkhäser (1986).
- Arnold V.I., Singularities of caustics and wave fronts, Kluwer, Maths. and its Appls., Soviet series, vol.62., 1991.
- Arnold V.I., Sur les propriétés des projections Lagrangiennes en géométrie symplectique des caustiques, Rev. mat. Univ. Complut. Madrid, 1995, 8:1, p.109–119.
- Arnold V.I., On the Number of Flattening Points of Space Curves, Amer. Math. Soc. Trans. Ser. 171, 1995, p. 11–22.
- Arnold V.I., The Geometry of Spherical Curves and the Algebra of Quaternions, Russian Math. Surveys 50:1, 1–68 (1995).
- Arnold V.I., Towards the Legendrian Sturm Theory of Space Curves, Funct. Anal. and Appl. Vol. 32 No.2. (1998) p.75–80.
- Barner M., Über die Mindestanzahl stationärer Schmiegeebenen bei geschlossenen Streng-Konvexen Raumkurven, Abh. Math. Sem. Univ. Hamburg, 20, 1956, 196–215.
- Blaschke W., Vorlesungen über Differentialgeometrie I, 3th ed. Spriger-Verlag, Berlin, 1930.
- Blaschke W., Leichweiß K., Elementare Differentialgeometrie, 5th reworked Edition, Spriger-Verlag, Berlin, 1973.
- Darboux G., Leçons sur la théorie des surfaces, Vol.1, Chap.1, 2nd revised and enlarged Edition, Gauthier-Villars, Paris, 1914.
- Ghys E., Cercles osculateurs et géométrie lorentzienne, Talk at the Jounée inaugurale de CMI, Marseille, February 1995.
- Hilbert D., Cohn Vossen S., Geometry and the Imagination, Chelsea Pub. Comp., N. Y. 1952.
- Kazarian M., Nonlinear Version of Arnol'd's Theorem on Flattening Points, C.R. Acad. Sci. Paris, t.323, Série I, no.1, 1996, p. 63–68.
- Kneser A., Bemerkungen über die Anzahl der Extreme der Krümmung auf geschlossenen Kurven und über verwandte Fragen in einer nicht–euklidischen Geometrie, Festschrift Heinrich Weber zu Seinem Siebzigsten Geburstag, Teubner, Leipzig, 1912, pp.170–180.
- Mohrmann H., Die minimalzahl der stationären Ebenen eines räumlichen Ovals, Sitz. Ber. klg. Bayerichen Akad. Wiss. Math. Phys., Kl., 1917, 1–3.
- Mukhopadhyaya S., New Methods in the Geometry of a Plane Arc I, Bull. Calcutta Math. Soc. 1, 1909, p.31–37.
- Ovsienko V. and Tabachnikov S., Sturm theory, Ghys Theorem on zeroes of the Schwarzian derivative and flattenings of Legendrian curves, Selecta Math. New Series 2:2 (1996) p.297–307.
- Romero-Fuster M.C., Convexly-generic curves in ${\mathbb{R}}^{3}$ , Geometriae Dedicata 28 (1988), 7–29.
- Romero-Fuster M.C., Sanabria-Codesal E., Generalized evolutes, vertices and conformal invariants of curves in ${\mathbb{R}}^{n+1}$ , Indag. Math. N.S. 10(2), (1999) p.297–305.
- Sedykh V.D., The Theorem About Four Vertices of a Convex Space Curve, Functional Anal. Appl. 26:1 (1992), 28–32.
- Segre B., Alcune proprietà differenziali delle curve chiuse sghembe, Rend. Mat. 6 (1) (1968), 237–297.
- Shcherbak O.P., Projectively Dual Space Curves and Legendre Singularities, Proc. Tbilisi Univ., 232–233, 280–336, (1982); English transl. in Selecta Math. Soviet., 5, No.4, 391–421 (1986).
- Uribe-Vargas R., On the Higher Dimensional Four-Vertex Theorem, C.R. Acad. Sci. Paris, t.321, Série I, 1995, p. 1353–1358.
- Uribe-Vargas R., On the ( $2k+2$ )-Vertex and ( $2k+2$ )-Flattening Theorems in Higher Dimensional Lobatchevskian Space, C.R. Acad. Sci. Paris, t.325, Série I, 1997, p. 505–510.
- Uribe-Vargas R., Four-Vertex Theorems in Higher Dimensional Spaces for a Larger Class of Curves than the Convex Ones, C.R. Acad. Sci. Paris, t.330, Série I, 2000, p. 1085–1090.
- Uribe-Vargas R., Singularités symplectiques et de contact en géométrie différentielle des courbes et des surfaces, PhD. Thesis, Université Paris 7, 2001. (In English).
- Uribe-Vargas R., Rigid Body Motions and Arnold's Theory of Fronts on ${\mathbb{S}}^{2}\subset {\mathbb{R}}^{3}$ , J. of Geometry and Physics, 45/1-2, 2003, pp. 91-104.
- Uribe-Vargas R., On Polar Duality, Lagrange and Legendre Singularities and Stereographic Projection to Quadrics, Proceedings of London Mathematical Society, 87/3 (2003) 701-724.
- Uribe-Vargas R., On 4-Flattening Theorems and the Curves of Carathéodory, Barner and Segre, Journal of Geometry, 77 (2003) 184-192.
- Uribe-Vargas R., On Singularities, “Perestroikas” and Differential Geometry of Space Curves, L'Enseigement Mathématique, t.50 (2004) 69–101.
- Uribe-Vargas R., 4-Vertex Theorems, Sturm Theory and Lagrangian Singularities, Mathematical Physics, Geometry and Analysis, 7 (2004) 223-237.