Cycloid is Best Shape for Arch

Theorem
The optimal shape for an arch is a cycloid.