Intereting Posts

Checkerboard with one gap can be covered by triominos?
Fixed point: linear operators
If every composition of a differentiable path and a function is differentiable at 0, means the function is differentiable at 0
Sum of series $\sin x + \sin 2x + \sin 3x + \cdots $
Given that $xyz=1$ , find $\frac{1}{1+x+xy}+\frac{1}{1+y+yz}+\frac{1}{1+z+xz}$?
What's a coproduct in slice category?
Arc length contest! Minimize the arc length of $f(x)$ when given three conditions.
Can $f\in L^2(\Omega)$ imply $\nabla f\in H^{-1}(\Omega):=(H_0^1(\Omega))^*$?
Linear diophantine equation $100x – 23y = -19$
Calculating $w=\sqrt {-i}$
Sum of squared quadratic non-residues
Prove if $a>1$ then $\lim_{n\rightarrow\infty}a^{n}=\infty $
Solving closed form proximal operators of L2(not squared) without using moreau decomposition?
Proving every real symmetric matrix is congruent to the canonical form $\mathrm{diag}(\mathbf I,\mathbf{-I},\mathbf0)$
About the Gibbs phenomenon for the Legendre polynomials as an orthogonal base of $L^2(-1,1)$

Which sequences of adjacent edges of a polyhedron could be considered to be a geodesic? The edges of a face most surely will not, but the “equator” of the octahedron eventually will. But for what reasons? How do the defining property of a geodesic – having zero geodesic curvature – apply to a sequence of edges?

(One crude guess: any sequence of edges that pairwise don’t share a face? What does this have to do with curvature?)

- Possible all-Pentagon Polyhedra
- Why are there 12 pentagons and 20 hexagons on a soccer ball?
- How to geometrically show that there are $3$ $D_4$ subgroups in $S_4$?
- Name of this convex polyhedron?
- Any other Caltrops?
- Floret Tessellation of a Sphere

- The smallest 8 cubes to cover a regular tetrahedron
- Cleverest construction of a dodecahedron / icosahedron?
- Possible all-Pentagon Polyhedra
- Can a tetrahedron lying completely inside another tetrahedron have a larger sum of edge lengths?
- Prove that an edge of a polyhedron is a line segment
- coordinates of icosahedron vertices with variable radius
- What are the vertices of a regular tetrahedron embeded in a sphere of radius R
- Any other Caltrops?

It so happens I drew the “equator of a dodecahedron” for one of my papers, so I can’t resist including it here:

Two points I’d like to make. First, a geodesic is a curve that has $\le \pi$ surface to each side at every point. This is Alexandrov’s definition, and it is the right way to think of geodesics on polyhedra. He and Pogorelov called these *quasigeodesics* (Alexandrov and Zalgaller, *Intrinsic Geometry of Surfaces*, 1967, p.16; Pogorelov, *Extrinsic Geometry of Convex Surfaces*, 1973, p.28).

Second, if you allow a doubly covered polygon as a polyhedron of zero volume (as Alexandrov did), then indeed the edges of a face could be a geodesic: consider a doubly covered square, for example. Then the edges of one square face have $\pi$ at all interior-edge points to either side, and $\pi/2$ to either side at the four corners.

Some thoughts are given by Konrad Polthier and Markus Schmies, Straightest geodesics on polyhedral surfaces. Form the abstract:

Geodesic curves are the fundamental concept in geometry to generalize the idea of straight lines to curved surfaces and arbitrary manifolds. On polyhedral surfaces we introduce the notion of discrete geodesic curvature of curves and define straightest geodesics. This allows a unique solution of the initial value problem for geodesics, and therefore a unique movement in a given tangential direction, a property not available in the well-known concept of locally shortest geodesics.

There seems to be an almost trivial definition (which relies on a specific realization of a polyhedron): if the polyhedron is convex and inscribed into a sphere and the central projections of the edges onto the sphere sum up to one great arc or circle, then the edges are geodesic. (Note that each single edge is projected onto a single great arc.)

Due to this definition, the obvious “equators” of the regular octahedron are geodesic, but also the edges of any face of any inscribable polyhedron can be geodesic (in a specific realization). On the other side, some sequences of edges cannot be – in no realization of the polyhedron – geodesic due to this definition, e.g. the zig-zag-sequence around the “equator” of the dodecahedron (?).

It remains open, whether there is a more combinatorial definition of geodesics, say in a polyhedral graph.

- Is it possible to formalize (higher) category theory as a one-sorted theory, just like we did with set theory?
- number of matrices of rank 3?
- If $K^{\mathrm{Gal}}/F$ is obtained by adjoining $n$th roots, must $K/F$ be as well?
- Prove that $\mathbb{Q}^{\times}$ not isomorphic to $\mathbb{Z}^{n}$
- Inequality on an increasing function
- Complete induction proof that every $n > 1$ can be written as a product of primes
- Super Simple question on Logic and Modus Ponens
- All derivations are directional derivatives
- Explicit bijection between ordered trees with $n+1$ vertices and binary trees with $n+1$ leaves
- Determine y-coordinate of a 3rd point from 2 given points and an x-coordinate.
- find the inverse Laplace transform of complex function
- If $a+b\equiv0\pmod m$ and $c+d\equiv 0\pmod m$ then $ac\equiv bd\pmod m$. Demonstration.
- How to prove that if convex $A \subset \mathbb{R}^n$ and $A+A=A$ then $0 \in cl(A)$?
- How to find out whether linear programming problem is infeasible using simplex algorithm
- Differentiation with respect to $x$