计算题

O为正多边形A₁，A₂，…，A_n的中心。证明：。