En mathématiques , l'identité de Dixon (ou le théorème de Dixon ou la formule de Dixon ) est l'une des nombreuses identités différentes mais étroitement liées prouvées par Alfred Cardew Dixon , certaines impliquant des sommes finies de produits de trois coefficients binomiaux , et d'autres qui spécialisent une série hypergéométrique . Ces identités découlent du théorème principal de MacMahon et peuvent désormais être démontrées de façon banale par des méthodes automatiques (Ekhad 1990 ), (Wilf 1994 ).
L'identité originale, dans (Dixon 1891 ), est
∑
k
=
−
a
a
(
−
1
)
k
(
2
a
k
+
a
)
3
=
(
3
a
)
!
(
a
!
)
3
.
{\displaystyle \sum _{k=-a}^{a}(-1)^{k}{\binom {2a}{k+a}}^{3}={\frac {(3a)!}{(a!)^{3}}}.}
Une généralisation, aussi parfois appelée identité de Dixon, est
∑
k
∈
Z
(
−
1
)
k
(
a
+
b
a
+
k
)
(
b
+
c
b
+
k
)
(
c
+
a
c
+
k
)
=
(
a
+
b
+
c
)
!
a
!
b
!
c
!
{\displaystyle \sum _{k\in \mathbb {Z} }(-1)^{k}{\binom {a+b}{a+k}}{\binom {b+c}{b+k}}{\binom {c+a}{c+k}}={\frac {(a+b+c)!}{a!b!c!}}}
où a , b et c sont des entiers naturels (Wilf 1994 , p. 156). La somme de gauche peut être écrite comme la série hypergéométrique bien équilibrée finie
(
b
+
c
b
−
a
)
(
c
+
a
c
−
a
)
3
F
2
(
−
2
a
,
−
a
−
b
,
−
a
−
c
;
1
+
b
−
a
,
1
+
c
−
a
;
1
)
{\displaystyle {\binom {b+c}{b-a}}{\binom {c+a}{c-a}}{}_{3}F_{2}(-2a,-a-b,-a-c;1+b-a,1+c-a;1)}
et l'identité apparaît comme un cas limite (lorsque a tend vers un entier) du théorème de Dixon en spécialisant une série hypergéométrique généralisée 3 F 2 bien équilibrée en 1, d'après (Dixon 1902 ) :
3
F
2
(
a
,
b
,
c
;
1
+
a
−
b
,
1
+
a
−
c
;
1
)
=
Γ
(
1
+
a
/
2
)
Γ
(
1
+
a
/
2
−
b
−
c
)
Γ
(
1
+
a
−
b
)
Γ
(
1
+
a
−
c
)
Γ
(
1
+
a
)
Γ
(
1
+
a
−
b
−
c
)
Γ
(
1
+
a
/
2
−
b
)
Γ
(
1
+
a
/
2
−
c
)
.
{\displaystyle \;_{3}F_{2}(a,b,c;1+a-b,1+a-c;1)={\frac {\Gamma (1+a/2)\Gamma (1+a/2-b-c)\Gamma (1+a-b)\Gamma (1+a-c)}{\Gamma (1+a)\Gamma (1+a-b-c)\Gamma (1+a/2-b)\Gamma (1+a/2-c)}}.}
Ceci est valable pour Re(1 +1 ⁄2 a – b – c ) > 0. Lorsque c tend vers –∞, l'identité se réduit à la formule de Kummer pour la fonction hypergéométrique 2 F1 évaluée en –1. Le théorème de Dixon peut être déduit de l'évaluation de l'intégrale de Selberg .
q -analoguesUn q -analoguesérie hypergéométrique basique en termes du q -symbole de Pochhammer
4
φ
3
[
a
−
q
a
1
/
2
b
c
−
a
1
/
2
a
q
/
b
a
q
/
c
;
q
,
q
a
1
/
2
/
b
c
]
=
(
a
q
,
a
q
/
b
c
,
q
a
1
/
2
/
b
,
q
a
1
/
2
/
c
;
q
)
∞
(
a
q
/
b
,
a
q
/
c
,
q
a
1
/
2
,
q
a
1
/
2
/
b
c
;
q
)
∞
{\displaystyle \;_{4}\varphi _{3}\left[{\begin{matrix}a&-qa^{1/2}&b&c\\&-a^{1/2}&aq/b&aq/c\end{matrix}};q,qa^{1/2}/bc\right]={\frac {(aq,aq/bc,qa^{1/2}/b,qa^{1/2}/c;q)_{\infty }}{(aq/b,aq/c,qa^{1/2},qa^{1/2}/bc;q)_{\infty }}}}
avec | qa 1/2 / bc | < 1.
(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Dixon's identity » (voir la liste des auteurs ) .A.C. Dixon , « On the sum of the cubes of the coefficients in a certain expansion by the binomial theorem », Messenger of Mathematics vol. 20, 1891 , p. 79-80 (JFM 22.0258.01 A.C. Dixon , « Summation of a certain series », Proc. London Math. Soc. , vol. 35, no 1, 1902 , p. 284-291 (DOI 10.1112/plms/s1-35.1.284 JFM 34.0490.02 lire en ligne ) Shalosh B. Ekhad , « A very short proof of Dixon's theorem », Journal of Combinatorial Theory , a, vol. 54, no 1, 1990 , p. 141-142 (ISSN 1096-0899 DOI 10.1016/0097-3165(90)90014-N MR 1051787 zbMATH 0707.05007 Ira Gessel et Dennis Stanton , « Short proofs of Saalschütz's and Dixon's theorems », Journal of Combinatorial Theory, Series A , vol. 38, no 1, 1985 , p. 87-90 (ISSN 1096-0899 DOI 10.1016/0097-3165(85)90026-3 MR 773560 zbMATH 0559.05008 James Ward , « 100 years of Dixon's identity », Irish Mathematical Society Bulletin , vol. 0027, no 27, 1991 , p. 46-54 (ISSN 0791-5578 DOI 10.33232/BIMS.0027.46.54 MR 1185413 zbMATH 0795.01009 Herbert S. Wilf , Generatingfunctionology , Boston, MA, Academic Press, 1994 , 2e éd. (ISBN 0-12-751956-4 zbMATH 0831.05001
Article connexe
![{\displaystyle \;_{4}\varphi _{3}\left[{\begin{matrix}a&-qa^{1/2}&b&c\\&-a^{1/2}&aq/b&aq/c\end{matrix}};q,qa^{1/2}/bc\right]={\frac {(aq,aq/bc,qa^{1/2}/b,qa^{1/2}/c;q)_{\infty }}{(aq/b,aq/c,qa^{1/2},qa^{1/2}/bc;q)_{\infty }}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eca4f1604b4989000b66352b8a5a97f076b09c70)
