项数公式是通过等差数列的性质推导出来的。等差数列的定义是，从第二项起，每一项与它的前一项的差是一个常数，这个常数称为公差，通常用字母d表示。

等差数列的通项公式是：

$$a_n = a_1 + （n - 1） times d$$

其中，$a_n$ 是第n项，$a_1$ 是首项，d是公差，n是项数。

等差数列的前n项和公式是：

$$S_n = frac{n times （a_1 + a_n）}{2}$$

将通项公式代入前n项和公式中，我们可以得到：

$$S_n = frac{n times （a_1 + a_1 + （n - 1） times d）}{2}$$

$$S_n = frac{n times （2a_1 + （n - 1） times d）}{2}$$

$$S_n = n times （a_1 + frac{n - 1}{2} times d）$$

$$S_n = n times a_1 + frac{n times （n - 1） times d}{2}$$

$$S_n = n times a_1 + frac{n^2 times d}{2} - frac{n times d}{2}$$

$$S_n = n times a_1 + frac{n times d}{2} times （n - 1）$$

$$S_n = n times （a_1 + frac{d}{2} times （n - 1））$$

为了求出项数n，我们可以将上面的式子重新排列：

$$n = frac{2 times S_n}{a_1 + frac{d}{2} times （n - 1）}$$

这就是项数公式的推导过程。

需要注意的是，这个公式适用于公差d不为0的情况。如果公差d为0，那么等差数列实际上是一个常数序列，每项都等于首项，此时项数n就是项的值。