No abstract

Let R" be n-dimensional Euclidean space, and let c~: [0, L] -~ R" and fl: [0, L] -, ~" be closed rectifiable arcs in N" of the same total length L which are parametrized via their arc length. fl is said to be a chord-stretched version of • if for each 0 ~< s ~< t ~< L, Is(t)-e(s)l ~< Ifl(t) -fl(s)l, fl is said to be convex if fl is simple and if fl([0, L]) is the frontier of some plane convex set. Individual work by Professors G. Choquet and G. T. Sallee demonstrated that if ~ were simple then there existed a convex chord-stretched version fl of e. This result led Professor Yang Lu to conjecture that if ct were convex and fl were a chord-stretched version of ct then ~ and fl would be congruent, i.e. any chord-stretching map of a convex arc is an isometry. Professor Yang Lu has proved this conjecture in the case where c~ and ~ are C 2 curves. In this paper we prove the conjecture in general.

No abstract

No abstract

A regular simple geodesic loop on a tetrahedron is a simple geodesic loop which does not pass through any vertex of the tetrahedron. It is evident that such loops meet each face of the tetrahedron. Among these loops, the minimal loops are those which meet each face exactly once. Necessary and sufficient conditions for the existence of minimal loops are obtained. These conditions fall naturally into two categories, conditions in the first category being called coherence conditions and conditions in the second category being called separation conditions. It is shown that for the existence of three distinct minimal loops through any point on the face of a tetrahedron it is necessary and sufficient that the tetrahedron be isosceles, which, in turn, amounts to the tetrahedr0n satisfying three coherence conditions. All other regular simple geodesic loops on an isosceles tetrahedron are then classified. Finally, coherence conditions for the existence of similar loops on an arbitrary tetrahedron are found. CONVENTIONSThe arguments to be presented are elementary and easy to follow with the aid of supporting diagrams. In order that the arguments may be seen to be essentially diagram independent we shall establish some conventions in notation.We denote points by upper-case letters, A, B, C, etc., and lines by lower-case letters a, b, c, etc. The line containing points A and B is also denoted by AB. AB will also be used to denote the distance between points A and B with the context making it clear to which concept we refer. The line segment with endpoints A and B is denoted (AB) if it is an open line segment, and AB flit is a closed line segment. The ray from A which passes through B is denoted AB.In any given argument, all angles in a plane are measured in the same sense. If the chosen sense is clockwise, and A, B and C are non-collinear points, then ----+ /_ ABC is the angular measure from BA to BC measured in a clockwise sense. By this convention. 0 < / ABC < 2re, and /_ CBA = 2re--/_ ABC.The triangle with vertices A, B and C is denoted by AABC. Note that if /_ ABC is to denote the measure of the angle at vertex B of AABC then we will require 0 < /ABC < n. This will fix the sense in which we measure the angles in AABC, and our convention will dictate that/_ BCA and /_ CAB be used to denote the measure of the remaining angles in AABC, and that /_CBA, /_BAC and /__ACB be not used to denote the angles in AABC.The tetrahedron with vertices A, B, C and D is denoted AABCD. ZA is used to denote the sum of the (measures of the) angles at vertex A of AABCD. Note Geometriae Dedicata 42: 139-153, 1992.