C OMPOSITIO M ATHEMATICA
J. M. H AMMERSLEY
The total length of the edges of a polyhedron
Compositio Mathematica, tome 9 (1951), p. 239-240
<http://www.numdam.org/item?id=CM_1951__9__239_0>
© Foundation Compositio Mathematica, 1951, tous droits réservés.
L’accès aux archives de la revue « Compositio Mathematica » (http:
//http://www.compositio.nl/) implique l’accord avec les conditions gé- nérales d’utilisation (http://www.numdam.org/conditions). Toute utili- sation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit conte- nir la présente mention de copyright.
Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques
http://www.numdam.org/
The total length of the edges of
apolyhedron
by
J. M.
Hammersley
Fejes Tôth,
in a paper1)
to which I have not had access, hasconjectured
thatL,
the sum of thelengths
of theedges
of aconvex
polyhedron containing
asphere
of unitdiameter,
satisfiesL h 12;
and he hasproved
that L > 10 for all suchpolyhedra,
and L > 14 for
polyhedra
withtriangular
facesonly.
In thisnote I prove
that,
if no face is apolygon
of more than nsides,
then
For
triangular
facesonly,
this is weaker(L
> 13.47...)
thanFejes
Tôth’sresult;
fortriangular and/or quadrilateral
faces itgives
L > 11.82 ...; and for faces with any number of sides itgives
which is
slightly stronger
thanFejes
Tôth’s result.Let S be the surface and the area of the
sphere,
centre 0, radiusi-
Let P be the
plane containing
any face of thepolyhedron.
Letp denote the
perimeter
of this face and itslength.
The area A’of this face cannot exceed that of a
regular polygon
of n sideswith
perimeter
p; soLet A denote the
projection (and
itsarea)
from 0 of the interior of p upon S. Define 0by
Let C be the cone of semi-vertical
angle 0,
with vertex at 0 and axis normal to P. Let B and B’ be the areas eut offby
Cupon S and
Prespectively.
Since B =A,
we have1) Norske. Vid. Selsk. Forh., Trondhjem (1948) 21, 32 -4. See lVlath. Rev.
(1950) 11, 386.
240
Strict
inequality
holds in(5)
because A has notgot
a circularboundary.
From(3)
and(5)
Use the suffix
i = 1, 2, ...
for the various faces of thepolyhedron.
Summing
1,-e haveA minimum of T cannot occur unless either
where is a
Lagrangian
undeterminedmultiplier,
or6i
is an end-point
of the interval0~03B8i~ 1 203C0.
If03B8i
=1 203C0,
T is infinite.Sup-
pose that
exactly
N of theei
are not zero. Since these values must thensatisfy (9), they
areequal; whence,
from(7),
forthese
Oi
the first of the relations
(10) implying N >
2. ThenWhen N > 2 ranges over the
positive integers, U(N)
attains its minimum for N = 5;whereupon (8)
and(11) yield (1).
Lectureship in the design and analysis
of scientific experiment, University of Oxford.
(Oblatum 2-2-51)