![_3F_2[n,-x,-y; x+n+1,y+n+1]
=Gamma(x+n+1)Gamma(y+n+1)Gamma(1/2n+1)Gamma(x+y+1/2n+1)
×Gamma(n+1)Gamma(x+y+n+1)Gamma(x+1/2n+1)Gamma(y+1/2n+1),](/images/equations/DixonsTheorem/NumberedEquation1.svg) |
(1)
|
其中 
是一个 广义超几何函数，
是 伽玛函数。它可以通过 Dougall-Ramanujan 恒等式推导出来。它可以更对称地写成
 |
(2)
|
其中 
具有正实部，
，并且 
(Bailey 1935, p. 13; Petkovšek et al. 1996; Koepf 1998, p. 32)。这个恒等式也可以写成优美的对称和
 |
(3)
|
(Petkovšek et al. 1996)。在这种形式下，它与 狄克逊恒等式非常相似。
狄克逊定理
另请参阅
狄克逊恒等式, Dougall-Ramanujan 恒等式, 广义超几何函数, Zeilberger-Bressoud 定理使用 探索
参考文献
Bailey, W. N. "狄克逊定理。" §3.1 in Generalised Hypergeometric Series. Cambridge, England: Cambridge University Press, pp. 13-14, 1935.Cartier, P. and Foata, D. Problèmes combinatoires de commutation et réarrangements. New York: Springer-Verlag, 1969.Dixon, A. C. "关于二项式定理展开式中系数立方和。" Messenger Math. 20, 79-80, 1891.Dixon, A. C. "某些级数的求和。" Proc. London Math. Soc. 35, 285-289, 1903.Hardy, G. H. Ramanujan: Twelve Lectures on Subjects Suggested by His Life and Work, 3rd ed. New York: Chelsea, pp. 104 and 111, 1999.Knuth, D. E. The Art of Computer Programming, Vol. 1: Fundamental Algorithms, 3rd ed. Reading, MA: Addison-Wesley, 1997.Koepf, W. Hypergeometric Summation: An Algorithmic Approach to Summation and Special Function Identities. Braunschweig, Germany: Vieweg, pp. 18-19, 1998.MacMahon P. A. "二项式系数的幂和。" Quart. J. Math. 33, 274-288, 1902.Morley, F. "关于级数
。" Proc. London Math. Soc. 34, 397-402, 1902.Petkovšek, M.; Wilf, H. S.; and Zeilberger, D. A=B. Wellesley, MA: A K Peters, p. 43, 1996. http://www.cis.upenn.edu/~wilf/AeqB.html.Richmond, H. W. "系数 
的立方和。" Messenger Math. 21, 77-78, 1892.Watson, G. N. "关于广义超几何函数的狄克逊定理。" Proc. London Math. Soc. 22, xxxii-xxxiii (Records for 17 May, 1923), 1924.Zeilberger, D. and Bressoud, D. "安德鲁斯 q-戴森猜想的证明。" Disc. Math. 54, 201-224, 1985.在 中被引用
狄克逊定理引用为
Weisstein, Eric W. "狄克逊定理。" 来自 —— Wolfram 网络资源。 https://mathworld.net.cn/DixonsTheorem.html