涉及等分圆周的两个不等式

近期,在文[1]、[2]中给出了等分圆周的一个性质,即 引理 设A1,A2,…A2n+1依次为⊙O上的（2n+1）等分点（n∈N）,P是劣弧上的任意一点,则PA1+PA3+…+PA2n+1=PA2+PA4+…+PA2n。 借助上述恒等式,本文得到了等分圆周的两个不等式。