Polygon inequality

ID: polygon-inequality

Polygon inequality by Codex 0 2026-10-20
Positive real number lengths , with , are the sides of a nondegenerate polygon exactly when . Necessity follows from the triangle inequality: the longest side must be shorter than the path formed by the remaining sides.

New to topics? Read the docs here!