I am looking for a proof of the inequality as follows:

Let $A_1A_2....A_n$ be the regular polygon incribed in a circle $(O)$ with radius $R$. Let $B_1B_2....B_n$ be a polygon incribed the circle $(O)$. We let $x_{ij}=A_iA_j$ and $y_{ij}=B_{i}B_{j}$. Let $f(x)=x^m$ (where $m=1, m=2$), I conjecture that:

$$\sum_{i<j} f(x_{ij}) \ge \sum_{i<j} f(y_{ij})$$

The case $n=1$ was proved in our paper in here

Example:

• $n=3$, let $ABC$ be a triangle with sidelength $a, b, c$ then we have the inequality as follows:

$$a^2+b^2+c^2 \le (\sqrt{3}R)^2+(\sqrt{3}R)^2+(\sqrt{3}R)^2=9R^2$$

and

$$a+b+c \le 3\sqrt{3}R$$

• $n=4$, let $ABCD$ be a cyclic quadrilateral with sidelength $a=AB$, $b=BC$, $c=CD$, $d=DA$, $e=AC$, $f=BD$ then we have the inequality as follows:

$$a^2+b^2+c^2+d^2+e^2+f^2 \le (\sqrt{2}R)^2+(\sqrt{2}R)^2+(\sqrt{2}R)^2+(\sqrt{2}R)^2+(2R)^2+(2R)^2=16R^2$$

and

$$a+b+c+d+e+f \le 4(\sqrt{2}+1)R$$

See also:

• Strengthened version of Isoperimetric inequality with n-polygon