以下はRamanujanによって発見され, Andrewsによって1981年に証明が与えられた.
\begin{align}
f(a,c):=\left(1-\frac 1c\right)\sum_{0\leq n}\frac{(-a/c)^n}{(aq;q)_n}q^{\binom{n+1}2}
\end{align}
とするとき,
\begin{align}
f(a,c)-f(c,a)=\left(\frac 1a-\frac 1c\right)\frac{(q,aq/c,cq/a;q)_{\infty}}{(aq,cq;q)_{\infty}}
\end{align}
同じ論文で, Andrewsは以下の相互関係式も示している. これの証明については, Andrewsによる元の証明 と Liuによる作用素を用いた証明 が与えられていた.
\begin{align} &y\sum_{0\leq n}\frac{(q/ax,bdxy;q)_n}{(by,dy;q)_{n+1}}(ay)^n-x\sum_{0\leq n}\frac{(q/ay,bdxy;q)_n}{(bx,dx;q)_{n+1}}(ax)^n\\ &=(y-x)\frac{(q,xq/y,yq/x,abxy,adxy,bdxy;q)_{\infty}}{(ax,ay,bx,by,dx,dy;q)_{\infty}} \end{align}
定理1の一般化として, 以下のKangによる相互関係式がある.
\begin{align}
f(a,c):=\left(1-\frac 1c\right)\sum_{0\leq n}\frac{(acx;q)_n(-a/c)^n}{(aq;q)_n(ax;q)_{n+1}}q^{\binom{n+1}2}
\end{align}
とするとき,
\begin{align}
f(a,c)-f(c,a)&=\left(\frac 1a-\frac 1c\right)\frac{(q,aq/c,cq/a,acx;q)_{\infty}}{(aq,cq,ax,cx;q)_{\infty}}
\end{align}
が成り立つ.
似たような公式として以下のようなものが示されている.
\begin{align}
f(a,c):=\left(1-\frac 1c\right)\sum_{0\leq n}\frac{(q/cx;q)_n}{(aq;q)_n}(ax)^n
\end{align}
とするとき,
\begin{align}
f(a,c)-f(c,a)&=\left(\frac 1a-\frac 1c\right)\frac{(q,aq/c,cq/a,acx;q)_{\infty}}{(aq,cq,ax,cx;q)_{\infty}}
\end{align}
が成り立つ.
これらは Ramanujanの${}_1\psi_1$和公式 に Heineの変換公式 , Jacksonの${}_2\phi_2$変換公式 を適用することによって示すことができる. 定理3, 定理4は$x\to0$とすると, 定理1を得ることができるのでその一般化になっている.
Chu-Zhangによる2010年の論文で, 先ほどの結果を統一する一般的な相互関係式が示されている. 用いられるのは以下の Baileyの${}_6\psi_6$和公式 である.
\begin{align} &\BQ66{\sqrt aq,-\sqrt aq,b,c,d,e}{\sqrt a,-\sqrt a,aq/b,aq/c,aq/d,aq/e}{\frac{a^2q}{bcde}}\\ &=\frac{(aq,aq/bc,aq/bd,aq/be,aq/cd,aq/ce,aq/de,q,q/a;q)_{\infty}}{(aq/b,aq/c,aq/d,aq/e,q/b,q/c,q/d,q/e,a^2q/bcde;q)_{\infty}} \end{align}
これを$0\leq n$の部分と$n<0$の部分に分けて, $a,b,c,d,e$を$yq/x,q/ax,q/bx,q/cx,q/dx$に置き換えると, 以下を得る.
\begin{align} &y\sum_{0\leq n}(1-yq^{2n+1}/x)\frac{(q/ax,q/bx,q/cx,q/dx;q)_n}{(ay,by,cy,dy;q)_{n+1}}(abcdx^2y^2/q)^n\\ &-x\sum_{0\leq n}(1-xq^{2n+1}/y)\frac{(q/ay,q/by,q/cy,q/dy;q)_n}{(ax,bx,cx,dx;q)_{n+1}}(abcdx^2y^2/q)^n\\ &=(y-x)\frac{(q,yq/x,xq/y,abxy,acxy,adxy,bcxy,bdxy,cdxy;q)_{\infty}}{(ax,ay,bx,by,cx,cy,dx,dy,abcdx^2y^2/q;)_{\infty}} \end{align}
$a,c$を$\sqrt{q/xy},-\sqrt{q/xy}$とすると, 以下の系を得る.
\begin{align} &y\sum_{0\leq n}\frac{(q/bx,q/dx;q)_n}{(by,dy;q)_{n+1}}(-bdxy)^n-x\sum_{0\leq n}\frac{(q/by,q/dy;q)_n}{(bx,dx;q)_{n+1}}(-bdxy)^n\\ &=(y-x)\frac{(bdxy;q)_{\infty}(q^2,yq^2/x,xq^2/y,b^2xyq,d^2xyq;q^2)_{\infty}}{(bx,by,dx,dy,-bdxy;q)_{\infty}} \end{align}
これらはBaileyによる結果と同値であるが, それに相互関係式としての解釈が与えられたということになる.
さらに$b\to 0, d\to 1, x\mapsto b,y\mapsto d$とすると, 以下の系を得る.
\begin{align}
f(b,d):=\left(1-\frac 1d\right)\sum_{0\leq n}\frac{(q/d;q)_n}{(bq;q)_n}b^nq^{\binom{n+1}2}
\end{align}
とするとき,
\begin{align}
f(b,d)-f(d,b)&=\left(\frac 1b-\frac 1d\right)\frac{(q^2,bq^2/d,dq^2/b,bdq;q^2)_{\infty}}{(bq,dq;q)_{\infty}}
\end{align}
が成り立つ.
この系は, 定理3, 定理4と似ているが若干異なっている.
定理6において$a\to 0$とすると, Kangによって2007年に示された以下の公式を得る.
\begin{align} &y\sum_{0\leq n}(1-yq^{2n+1}/x)\frac{(q/bx,q/cx,q/dx;q)_n}{(by,cy,dy;q)_{n+1}}q^{\binom n2}(-bcdxy^2)^n\\ &-x\sum_{0\leq n}(1-xq^{2n+1}/y)\frac{(q/by,q/cy,q/dy;q)_n}{(bx,cx,dy;q)_{n+1}}q^{\binom n2}(-bcdx^2y)^n\\ &=(y-x)\frac{(q,yq/x,xq/y,bcxy,bdxy,cdxy;q)_{\infty}}{(bx,by,cx,cy,dx,dy;q)_{\infty}} \end{align}
これはKangによって, Watsonの変換公式 のlimitting caseを用いればAndrewsの相互関係式と同値であることが示されている.
\begin{align} &y\sum_{0\leq n}\frac{(q/ax,q/cx,bdxy;q)_n}{(q^2/acxy;q)_n(by,dy;q)_{n+1}}q^n-x\sum_{0\leq n}\frac{(q/ay,q/cy,bdxy;q)_n}{(q^2/acxy;q)_n(bx,dx;q)_{n+1}}q^n\\ &=(y-x)\frac{(q,yq/x,xq/y,abxy,adxy,bcxy,bdxy,cdxy,acxy/q;q)_{\infty}}{(ax,ay,bx,by,cx,cy,dx,dy,abcdx^2y^2/q;q)_{\infty}}\\ &\qquad+\frac{acxy}{q}\frac{(q,q/ax,q/ay,q/cx,q/cy,bdxy;q)_{\infty}}{(bx,by,dx,dy,q^2/acxy,abcdx^2y^2/q;q)_{\infty}}\\ &\qquad\cdot\Bigg(y\frac{(bx,dx,abcxy^2,acdxy^2;q)_{\infty}}{(ay,cy,q/ay,q/cy;q)_{\infty}}\Q32{ay,cy,abcdx^2y^2/q}{abcxy^2,acdxy^2}{q}\\ &\qquad\qquad-x\frac{(by,dy,abcx^2y,acdx^2y;q)_{\infty}}{(ax,cx,q/ax,q/cx;q)_{\infty}}\Q32{ax,cx,abcdx^2y^2/q}{abcx^2y,acdx^2y}{q}\Bigg) \end{align}
Non-terminating $q$-Whippleの変換公式
より,
\begin{align}
&\Q87{a,\sqrt aq,-\sqrt aq,b,c,d,e,q}{\sqrt a,-\sqrt a,aq/b,aq/c,aq/d,aq/e,a}{\frac{a^2q}{bcde}}\\
&=\frac{(aq,aq/de,a/d,a/e;q)_{\infty}}{(aq/d,aq/e,a,a/de;q)_{\infty}}\Q43{aq/bc,d,e,q}{aq/b,aq/d,deq/a}{q}\\
&+\frac{(aq,aq/bc,d,e,q,a^2q/bde,a^2q/cde;q)_{\infty}}{(aq/b,aq/c,aq/d,aq/e,a,a^2q/bcde,de/a;q)_{\infty}}\Q32{a/d,a/e,a^2q/bcde}{a^2q/bde,a^2q/cde}{q}
\end{align}
である. $a,b,c,d,e$をそれぞれ, $yq/x,q/bx,q/dx,q/ax,q/cx$と置き換えると,
\begin{align}
&\Q76{\sqrt{yq/x}q,-\sqrt{yq/x}q,q/ax,q/bx,q/cx,q/dx,q}{\sqrt{yq/x},-\sqrt{yq/x},ayq,byq,cyq,dyq}{\frac{abcdx^2y^2}{q}}\\
&=\frac{(yq^2/x,acxy,ay,cy;q)_{\infty}}{(ayq,cyq,yq/x,acxy/q;q)_{\infty}}\Q43{bdxy,q/ax,q/cx,q}{byq,dyq,q^2/acxy}{q}\\
&\qquad+\frac{(yq^2/x,bdxy,q/ax,q/cx,q,abcxy^2,acdxy^2;q)_{\infty}}{(ayq,byq,cyq,dyq,yq/x,abcdx^2y^2/q,q/acxy;q)_{\infty}}\Q32{ay,cy,abcdx^2y^2/q}{abcxy^2,acdxy^2}{q}
\end{align}
つまり,
\begin{align}
&\sum_{0\leq n}(1-yq^{2n+1}/x)\frac{(q/ax,q/bx,q/cx,q/dx;q)_n}{(ay,by,cy,dy;q)_{n+1}}(abcdx^2y^2/q)^n\\
&=\frac{1}{1-\frac{acxy}q}\sum_{0\leq n}\frac{(bdxy,q/ax,q/cx;q)_n}{(by,dy;q)_{n+1}(q^2/acxy;q)_n}q^n\\
&\qquad+\frac 1{1-\frac{q}{acxy}}\frac{(bdxy,q/ax,q/cx,q,abcxy^2,acdxy^2;q)_{\infty}}{(ay,by,cy,dy,abcdx^2y^2/q,q^2/acxy;q)_{\infty}}\Q32{ay,cy,abcdx^2y^2/q}{abcxy^2,acdxy^2}{q}
\end{align}
である. $x,y$を入れ替えた式と合わせて定理6を書き換えることによって, 示すべき等式が得られる.
2005年によりZhangによって
\begin{align}
&y\sum_{0\leq n}\frac{(q/ax,q/cx,bdxy;q)_n}{(q^2/acxy;q)_n(by,dy;q)_{n+1}}q^n-x\sum_{0\leq n}\frac{(q/ay,q/cy,bdxy;q)_n}{(q^2/acxy;q)_n(bx,dx;q)_{n+1}}q^n\\
&=(y-x)\frac{(q,yq/x,xq/y,abxy,adxy,bcxy,bdxy,cdxy,acxy/q;q)_{\infty}}{(ax,ay,bx,by,cx,cy,dx,dy,abcdx^2y^2/q;q)_{\infty}}
\end{align}
という形の式が作用素を用いて導出されたが, 作用素と無限和が交換可能ではない場合に交換してしまうというミスがあったため, 上の等式は正しくなかった. それを修正したのが定理7である. 定理7において$c\to 0$とするとAndrewsの相互関係式を得る.
このように, $q$超幾何級数の新たな系列の公式のように見えた様々な相互関係式が, 実はよく知られた$q$超幾何級数の和公式であるRamanujanの${}_1\psi_1$和公式, Baileyの${}_6\psi_6$和公式などにHeineの変換公式, Jacksonの${}_2\phi_2$変換公式, non-terminating $q$-Whippleのようなよく知られた変換公式を適用することによって導かれるということが明らかになったのである.