An inequality related to area and sidelengths of a polygon $Area(A_1A_2....A_n) \le \frac{1}{n}cotg{\frac{\pi}{n}} \sum_{i=1}^nA_iA_{i+1}^2$ $\DeclareMathOperator\Area{Area}\DeclareMathOperator\cotg{cotg}$I am looking for a proof (or a reference) of an inequality related to area and the sidelengths of a polygon as follows:

Let $A_1A_2\cdots A_n$ be an arbitrary polygon, then:
$$\Area(A_1A_2\cdots A_n) \le \frac{1}{4}\cotg{\frac{\pi}{n}} \sum_{i=1}^nA_iA_{i+1}^2$$


*

*This is a generalization of Weitzenböck's inequality.


*You can see a stronger version at Strengthened version of Isoperimetric inequality with n-polygon.
Geometric meanings: $$\Area(A_1A_2\cdots A_n) \le \frac{\Area(1)+\Area(2)+\dotsb +\Area(n)}{n}.$$

PS: I found this inequality long time ago, that time I thought this is old inequality. But today, I think this is new because I can not see any reference for the inequality.
 A: Presumably the indices $i$ in $A_i$ are taken mod $n$,
so "$A_{n+1}$" is to be identified with $A_1$.
This must be a known isoperimetric inequality,
but it's easier to prove than to find in the literature.
Fix the area $\cal A$ of the $n$-gon.  By a standard compactness argument 
there exists an $n$-gon $A_1 A_2 \ldots A_n$ that minimizes
$\sum_{i=1}^n (A_i A_{i+1})^2$.
We first show that this polygon is convex (but possibly with
$A_{i-1} A_i A_{i+1}$ collinear for some $i$).
Indeed if it is not we can replace it by the convex hull,
with each side $A_j A_k$ of the convex hull
divided into $k-j$ equal subsegments; this both increases the area
and decreases $\sum_{i=1}^n (A_i A_{i+1})^2$,
so we can shrink the polygon back to area $\cal A$
and make the sum of its sides' squares even smaller.
Given convexity, fix all but one of the vertices, say $A_2$.
Then $A_2$ is limited to a line parallel to $A_1 A_3$,
and we readily see (as by choosing coordinates that make $A_1,A_3 = (\pm 1, 0)$ )
that $(A_1 A_2)^2 + (A_2 A_3)^2$ is minimized when
$(A_1 A_2) = (A_2 A_3)$.  Thus the minimizing $n$-gon
has all sides equal, say with each $(A_i A_{i+1}) = s$;
and then $ns^2$ is minimized when $ns$ is $-$ but $ns$ is the perimeter,
and the usual isoperimetric inequality for $n$-gons
then finishes the proof that the area-$\cal A$ polygon 
with the smallest $\sum_{i=1}^n (A_i A_{i+1})^2$ is regular.
A: Cauchy–Schwarz tells you that
$$\sum_{i=1}^n \lvert A_iA_{i+1}\rvert^2\geq \frac{P^2}{n}$$
where $P$ is the perimeter of the polygon. Then we need the inequality $$P^2\geq 4n\tan(\pi/n)A$$ which is the classical isoperimetric inequality for polygons with many proofs in the literature, analytic, geometric and algebraic. See Fan, Taussky, and Todd - An algebraic proof of the isoperimetric inequality for polygons article and its references, for example.
