Theorem Let A1,A2,⋯,An be a plane convex n-sided polygon, with area Δ, and side lengths AiAi+1=ai (i=1,2,⋯,n,n⩾3, and assume An+1=A1, the same below), and θi∈(0,π)(i=1,2,⋯,n, n⩾3), and ∑i=1nθi=π,n⩾3, then
i=1∑ncotθiai2⩾4Δ
Equality holds in (1) if and only if the convex n-sided polygon is inscribed in a circle, and
sinθ1a1=sinθ2a2=⋯=sinθnan=2R
( R is the radius of the circle).