使用 q-级数 的定义
 |
(1)
|
并定义
![[N; M]=((q^(N-M+1);q)_M)/((q;q)_m).](/images/equations/BorweinConjectures/NumberedEquation2.svg) |
(2)
|
然后 P. Borwein 猜想：(1) 由下式定义的 多项式 
、
和 
 |
(3)
|
、
和 
 |
(4)
|
、
、
、
和 
 |
(5)
|
、
和 
![(q;q^3)_m(q^2;q^3)_m(zq;q^3)_n(zq^2;q^3)_n
=sum_(t=0)^(2m)z^t[A^|(m,n,t,q^3)-qB^|(m,n,t,q^3)-q^2C^|(m,n,t,q^3)]](/images/equations/BorweinConjectures/NumberedEquation6.svg) |
(6)
|
，考虑展开式 |
(7)
|
其中
![F_nu(q)=sum_(j=-infty)^infty(-1)^jq^(j(k^2j+2knu+k-2a)/2)[m+n; m+nu+kj],](/images/equations/BorweinConjectures/NumberedEquation8.svg) |
(8)
|
那么如果 
与 
互质 且 
，则 
的 系数 是 非负的，并且 (6) 给定 
和 
，考虑
![G(alpha,beta,K;q)=sum_(q)(-1)^jq^(j[K(alpha+beta)j+K(alpha+beta)]/2)[m+n; m+Kj],](/images/equations/BorweinConjectures/NumberedEquation9.svg) |
(9)
|
由 
、
和 
指定的钩差条件下的 
矩形内划分的生成函数。设 
和 
为 正 有理数，
为 整数，使得 
和 
为整数。那么如果 
（对于 
具有严格不等式）且 
，则 
具有 非负 系数。
