Geometry / CONCEPT
Two lengths and the sum over actual selected edge positions
The selected edges of a two-length generalized tetrahedron have a strict total-angle lower bound on the full unbounded parameter domain.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES2
PROOF DEPTH2
DOCUMENT LINKS0
Positive radicands on the full positive coordinate domain
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- A square-root cusp in the scalar extension anglestructural-affinity · Closed
- Actual flat face componentsstructural-affinity · Closed
- Anchored Telescoping Squaresstructural-affinity · Closed
- Critical edge incidence marginsstructural-affinity · Closed
- Critical opposite floors and a mixed six-valent starstructural-affinity · Closed
- Exact nonlinear flat criterionstructural-affinity · Closed
- Flat pi graph and actual face componentsstructural-affinity · Closed
- From local angle envelopes to all global curvature facesstructural-affinity · Closed
- Positive generalized lengths and flat sectorsstructural-affinity · Closed
- Smooth raw cosine versus singular clipped anglestructural-affinity · Closed
Documents & exposition
None recorded in this release.
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance