A corollary of Euler's formula tells us that the edge-vertex graph of every convex 3-polyhedron must have a face with either 3, 4, or 5 edges, using an argument about the average degree of vertices.
Does it imply anything further about the exact degree of the vertices of these faces?
In particular, is at least one of the following statements always true for such a polyhedron?
- it has a face with three edges, OR
- it has a face with four edges with at least one vertex of degree 3 on that face, OR
- it has a face with five edges with at least two vertices of degree 3 on that face?
It's plainly true for simple 3-polytopes, as every vertex is degree 3. I see that it's also easily true for objects like the (rhombic triacontahedron)[http://en.wikipedia.org/wiki/File:Rhombictriacontahedron.svg] that are highly regular and composed of quadrilateral faces.
Is there any 3-polytope where none of 1, 2, and 3 hold?