Inom matematiken är Dixons identitet (eller Dixons sats eller Dixons formel) en av flera olika men nära relaterade identiteter bevisade av A. C. Dixon för summor med binomialkoefficienter.
Identiteterna
Den ursprungliga identiteten av Dixon (1891) är
En generalisering, som också ibland kallas Dixons identitet, är
där a, b och c är icke-negativa heltal.
Summan i vänstra membrum är den terminerande hypergeometriska serien
och identiteten följer av identiteten
av Dixon (1902) då a närmar sig ett heltal. Den icke-terminerande identiteten ovan gäller då Re(1 + 1⁄2a − b − c) > 0. Då c närmar sig −∞ blir den Kummers formel för hypergeometriska funktionen 2F1 vid −1.
Gessel, Ira; Stanton, Dennis (1985), ”Short proofs of Saalschütz's and Dixon's theorems”, Journal of Combinatorial Theory. Series A 38 (1): 87–90, doi:10.1016/0097-3165(85)90026-3, ISSN1096-0899
Ward, James (1991), ”100 years of Dixon's identity”, Irish Mathematical Society Bulletin (27): 46–54, ISSN0791-5578
Wilf, Herbert S. (1994), Generatingfunctionology (2nd), Boston, MA: Academic Press, ISBN 0-12-751956-4