The zero-condition conjecture for degenerate pyramids

Let PP' be a degenerate pyramid whose four base vertices are vectors piR2p_i\in\mathbb{R}^2, with top vertex at 00, and let p0=p4p_0=p_4. Define

F(i):=pi(1pipi+1,pipipi+1pipipi1,pipipi1pi).F(i):=|p_i|\left(1-\frac{\langle p_i-p_{i+1},p_i\rangle}{|p_i||p_{i+1}-p_i|}-\frac{\langle p_i-p_{i-1},p_i\rangle}{|p_i||p_{i-1}-p_i|}\right).

The conditions referred to as those of the Clean Condition are the relations F(1)=F(2)=F(3)=F(4)F(1)=-F(2)=F(3)=-F(4).

Zero-condition conjecture. The conditions from the Clean Condition are satisfied only when F(i)=0F(i)=0.

This conjecture is presented as an apparently easy unresolved question in the discussion of quadrilateral faces. The supplied text gives no proof or resolution.

Sources & referencesView supporting material

Primary source

Ásgeir Valfells, “Minimizing edge-length polyhedrons”, arXiv:2304.10017 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.