多边形对角线总数公式是什么时候学的