dilcher公式的一种新的推广

dilcher公式是一个非常有趣的组合恒等式。首先利用数学归纳法，重新证明了一个含有自由变量x的q-二项式恒等式。再对该公式应用高阶求导技巧，在得到1个一般的递归关系式的基础上，利用机械化方法给出了dilcher公式一种新的推广形式，并由这个公式可以得到许多新的有意义的组合恒等式。