show/hide this revision's text 3 added 393 characters in body

This is a theorem of Cramer. See here

For the quadrilateral case the quickest proof is using Brahmagupta's formula

$$Area=\sqrt{(s-a)(s-b)(s-c)(s-d)-abcd\cos^2 \theta}$$ where $a,b,c,d$ are the sides, $s$ is the half perimeter and $\theta$ is half the sum of opposite angles.

Edit: I wonder if this argument works: Pick four consecutive vertices and move the linkage made of these four vertices till it's cyclic. There will be a subsequence of the polygons we get after such operations which converges, by the Weierstrass theorem. In the limit the polygon will be cyclic otherwise you can find four consecutive vertices not on a circle and increase the area again.

show/hide this revision's text 2 added 351 characters in body

This is a theorem of Cramer. See here

For the quadrilateral case the quickest proof is using Brahmagupta's formula

$$Area=\sqrt{(s-a)(s-b)(s-c)(s-d)-abcd\cos^2 \theta}$$ where $a,b,c,d$ are the sides, $s$ is the half perimeter and $\theta$ is half the sum of opposite angles.

show/hide this revision's text 1

This is a theorem of Cramer. See here