高斯的两类截断恒等式

给出了高斯三角数和平方数级数部分和的两个新展开式。作为推论，我们推导出超划分函数 $\bar{p}(n)$ 和计数具有不同奇部的 $n$ 的划分的划分函数 $p_1(n)$ 的一系列不等式。进一步提出了一些关于划分函数变体的不等式作为猜想。