Curves length-minimizing modulo \(\nu\) in \(R^ n\) (Q1117454)

The author proves that a set of unit vectors with tails (resp., heads) at a common point, say the origin, minimizes length modulo \(\nu\) if and only if the sum of the vectors has length less than or equal to \(\nu\)-N, where N is the number for rays comprising the cone. This theorem gives a local characterization of all curves which minimize length modulo \(\nu\).