求多边形边数的公式 只知有20条对角线