证明凸n边形的对角线的条数f(n)=1/2n(n-3)?