展开 n乘以n减1除以2推导过