公式n(n-1)÷2的名称是什么