The zero-condition conjecture for degenerate pyramids

At least 2 years old · documented by

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

F(i):=∣pi∣(1−⟨pi−pi+1,pi⟩∣pi∣∣pi+1−pi∣−⟨pi−pi−1,pi⟩∣pi∣∣pi−1−pi∣).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.

References

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.