For a smooth closed surface C in E3 the classical total mean curvature is defined by M(C) = ?/(«i + k2) do(p), where kx, k2 are the principal curvatures at p on C. If C is a polyhedral surface, there is a well known discrete version given by M(C) = IE/,(w - a,), where 1i represents edge length and a, the corresponding dihedral angle along the edge. In this article formulas involving differentials of total mean curvature (closely related to the differential formula of L. Schlafli) are applied to several questions concerning Lipschitizian mappings of polyhedral surfaces. For example, the simplest formula T.I, da, = 0 may be used to show that the remarkable flexible polyhedral spheres of R. Connelly must flex with constant total mean curvature. Related differential formulas are instrumental in showing that if/: E2 -> E2 is a distance-increasing function and KciE2, then Per(convK~)< Per(conv/(A:)). This article (part I) is mainly concerned with problems in E. In the sequel (part II) related questions in S and H, as well as E, will be considered.
Read full abstract