Chu VandermondeIdentity

(* Content-type: application/vnd.wolfram.
mathematica *)
(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)
(* CreatedBy='Mathematica 9.0' *)
(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[
157,
NotebookDataLength[
19959,
NotebookOptionsPosition[
17283,
NotebookOutlinePosition[
17637,
CellTagsIndexPosition[
17594,
WindowFrame->Normal*)
7]
749]
646]
662]
659]
(* Beginning of Notebook Content *)

Notebook[{
Cell[CellGroupData[{
Cell["Chu-Vandermonde Identity", "Title"],
Cell["Author", "Subsection"],
Cell["\<\
Eric W. Weisstein
January 15, 2005\
\>", "Text"],
Cell[TextData[{
"This notebook downloaded from ",
ButtonBox["http://mathworld.wolfram.com/notebooks/SpecialFunctions/Chu-\
VandermondeIdentity.nb",
BaseStyle->"Hyperlink",
ButtonData:>{
URL["http://mathworld.wolfram.com/notebooks/SpecialFunctions/Chu-\
VandermondeIdentity.nb"], None}],
"."
}], "Text"],
Cell[TextData[{
"For more information, see Eric's ",
StyleBox["MathWorld",
FontSlant->"Italic"],
" entry ",
ButtonBox["http://mathworld.wolfram.com/Chu-VandermondeIdentity.html",
BaseStyle->"Hyperlink",
ButtonData:>{
URL["http://mathworld.wolfram.com/Chu-VandermondeIdentity.html"], None}],
"."
}], "Text"],
Cell["\<\
\[Copyright]2005 Wolfram Research, Inc. except for portions noted otherwise\
\>", "Text"]
}, Open ]],
Cell["Identity", "Section"],
Cell[BoxData[
RowBox[{"FullSimplify", "[",
RowBox[{
RowBox[{
RowBox[{"Hypergeometric2F1", "[",
RowBox[{
RowBox[{"-", "n"}], ",", "b", ",", "c", ",", "1"}], "]"}], "-",
RowBox[{
RowBox[{"Pochhammer", "[",
RowBox[{
RowBox[{"c", "-", "b"}], ",", "n"}], "]"}], "/",
RowBox[{"c", ",", "n"}], "]"}]}]}], ",",
RowBox[{
RowBox[{"n", "\[Element]", "Integers"}], "&&",
RowBox[{"n", ">", "0"}]}]}], "]"}]], "Input"],
Cell[BoxData[
RowBox[{
RowBox[{"b", ",",
RowBox[{"-", "n"}], ",", "c", ",", "1"}], "]"}], "-",
FractionBox[
RowBox[{
RowBox[{
RowBox[{"-", "b"}], "+", "c"}], ",", "n"}], "]"}],
RowBox[{"c", ",", "n"}], "]"}]]}]], "Output"]
}, Open ]],
Cell["Numeric Check", "Subsection"],
Cell[BoxData[
RowBox[{
RowBox[{
RowBox[{
RowBox[{
RowBox[{
RowBox[{
RowBox[{"-", "n"}], ",", "b", ",", "c", ",", "1"}], "]"}], "-",
RowBox[{
RowBox[{
RowBox[{"c", "-", "b"}], ",", "n"}], "]"}], "/",
RowBox[{"c", ",", "n"}], "]"}]}]}], "/.",
RowBox[{"Thread", "[",
RowBox[{
RowBox[{"{",
RowBox[{"n", ",", "b", ",", "c"}], "}"}], "\[Rule]", "#"}], "]"}]}],
"&"}], "/@",
RowBox[{"Table", "[",
RowBox[{
RowBox[{"{",
RowBox[{
RowBox[{"Random", "[",
RowBox[{"Integer", ",",
RowBox[{"{",
RowBox[{"1", ",", "10"}], "}"}]}], "]"}], ",",
RowBox[{"Random", "[", "Complex", "]"}], ",",
RowBox[{"Random", "[", "Complex", "]"}]}], "}"}], ",",
RowBox[{"{", "200", "}"}]}], "]"}]}], "//", "Chop"}]], "Input"],
Cell[BoxData[
RowBox[{"{",
RowBox[{
"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0",
",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",",
"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0",
",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",",
"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0",
",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",",
"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0",
",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",",
"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0",
",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",",
"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0",
",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",",
"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0",
",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",",
"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0",
",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",",
"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0",
",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",",
"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0",
",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",",
"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0",
",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",",
"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0",
",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",",
"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0",
",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",",
"0", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}]], "Output"]
}, Open ]]
}, Open ]]
}, Open ]],
Cell["Pochhammer Binomial Sum", "Section"],
Cell[BoxData[
RowBox[{"Sum", "[",
RowBox[{
RowBox[{
RowBox[{"Binomial", "[",
RowBox[{"n", ",", "k"}], "]"}],
RowBox[{"x", ",", "k"}], "]"}],
RowBox[{"a", ",",
RowBox[{"n", "-", "k"}]}], "]"}]}], ",",
RowBox[{"{",
RowBox[{"k", ",", "0", ",", "\[Infinity]"}], "}"}]}], "]"}]], "Input"],
Cell[BoxData[
FractionBox[
RowBox[{
RowBox[{"Csc", "[",
RowBox[{
RowBox[{"(",
RowBox[{"a", "+", "n"}], ")"}], " ", "\[Pi]"}], "]"}], " ",
RowBox[{"Gamma", "[",
RowBox[{"1", "-", "a", "-", "x"}], "]"}], " ",
RowBox[{"Sin", "[",
RowBox[{"a", " ", "\[Pi]"}], "]"}]}],
RowBox[{"1", "-", "a", "-", "n", "-", "x"}], "]"}]]], "Output"]
}, Open ]],
Cell[BoxData[
RowBox[{"%", ",",
RowBox[{"n", "\[Element]", "Integers"}]}], "]"}]], "Input"],
Cell[BoxData[
FractionBox[
RowBox[{
SuperscriptBox[
RowBox[{"(",
RowBox[{"-", "1"}], ")"}], "n"], " ",
RowBox[{"1", "-", "a", "-", "x"}], "]"}]}],
RowBox[{"1", "-", "a", "-", "n", "-", "x"}], "]"}]]], "Output"]
}, Open ]],
Cell[BoxData[
RowBox[{
RowBox[{
RowBox[{"Subtract", "@@@",
RowBox[{"Table", "[",
RowBox[{
RowBox[{
RowBox[{"{",
RowBox[{
FractionBox[
RowBox[{
SuperscriptBox[
RowBox[{"(",
RowBox[{"-", "1"}], ")"}], "n"], " ",
RowBox[{"1", "-", "a", "-", "x"}], "]"}]}],
RowBox[{"1", "-", "a", "-", "n", "-", "x"}], "]"}]], ",",
RowBox[{
RowBox[{"x", "+", "a"}], ",", "n"}], "]"}]}], "}"}], "/.",
RowBox[{"{",
RowBox[{
RowBox[{"x", "\[Rule]",
RowBox[{"Complex", ",",
RowBox[{"5",
RowBox[{"(",
RowBox[{"I", "+", "1"}], ")"}],
RowBox[{"{",
RowBox[{
RowBox[{"-", "1"}], ",", "1"}], "}"}]}], ",", "30"}], "]"}]}],
",",
RowBox[{"n", "\[Rule]",
RowBox[{"Integer", ",",
RowBox[{"{",
RowBox[{
RowBox[{"-", "10"}], ",", "10"}], "}"}]}], "]"}]}], ",",
RowBox[{"a", "\[Rule]",
RowBox[{"Complex", ",",
RowBox[{"5",
RowBox[{"(",
RowBox[{"I", "+", "1"}], ")"}],
RowBox[{"{",
RowBox[{
RowBox[{"-", "1"}], ",", "1"}], "}"}]}], ",", "30"}],
"]"}]}]}], "}"}]}], ",",
RowBox[{"{", "10", "}"}]}], "]"}]}], "//", "Chop"}], "//",
"Union"}]], "Input"],
Cell[BoxData[
RowBox[{"{", "0", "}"}]], "Output"]
}, Open ]],
Cell[BoxData[
RowBox[{
RowBox[{"{",
RowBox[{
FractionBox[
RowBox[{
SuperscriptBox[
RowBox[{"(",
RowBox[{"-", "1"}], ")"}], "n"], " ",
RowBox[{"1", "-", "a", "-", "x"}], "]"}]}],
RowBox[{"1", "-", "a", "-", "n", "-", "x"}], "]"}]], ",",
RowBox[{
RowBox[{"x", "+", "a"}], ",", "n"}], "]"}]}], "}"}], "/.",
RowBox[{"n", "\[Rule]", "0"}]}]], "Input"],

Cell[BoxData[
RowBox[{"{",
RowBox[{"1", ",", "1"}], "}"}]], "Output"]
}, Open ]],
Cell[BoxData[
RowBox[{"FunctionExpand", "[",
RowBox[{
RowBox[{"x", "+", "a"}], ",", "n"}], "]"}], "]"}]], "Input"],
Cell[BoxData[
FractionBox[
RowBox[{"a", "+", "n", "+", "x"}], "]"}],
RowBox[{"a", "+", "x"}], "]"}]]], "Output"]
}, Open ]],
Cell[BoxData[
RowBox[{
RowBox[{
FractionBox[
RowBox[{
SuperscriptBox[
RowBox[{"(",
RowBox[{"-", "1"}], ")"}], "n"], " ",
RowBox[{"1", "-", "a", "-", "x"}], "]"}]}],
RowBox[{"1", "-", "a", "-", "n", "-", "x"}], "]"}]], "-",
FractionBox[
RowBox[{"a", "+", "n", "+", "x"}], "]"}],
RowBox[{"a", "+", "x"}], "]"}]]}], ",",
Cell[BoxData["0"], "Output"]
}, Open ]],
Cell["Alternate Form", "Subsection"],
Cell[BoxData[
FormBox[
RowBox[{
TagBox[
RowBox[{"(", GridBox[{
{
TagBox[
RowBox[{"a", "+", "x"}],
Identity,
Editable->True]},
{
TagBox["n",
Identity,
Editable->True]}
}], ")"}],
InterpretTemplate[Binomial[#, #2]& ],
Editable->False], "=",
RowBox[{
UnderoverscriptBox["\[Sum]",
RowBox[{"k", "=", "0"}], "n"],
RowBox[{
TagBox[
{
TagBox["x",
Identity,
Editable->True]},
{
TagBox["k",
Identity,
Editable->True]}
}], ")"}],
Editable->False], " ",
TagBox[
{
TagBox["a",
Identity,
Editable->True]},
{
TagBox[
RowBox[{"n", "-", "k"}],
Identity,
Editable->True]}
}], ")"}],
Editable->False]}]}]}], TraditionalForm]], "Subsubsection"],
Cell[BoxData[
RowBox[{
RowBox[{"Sum", "[",
RowBox[{
RowBox[{
RowBox[{"x", ",", "k"}], "]"}],
RowBox[{"a", ",",
RowBox[{"n", "-", "k"}]}], "]"}]}], ",",
RowBox[{"{",
RowBox[{"k", ",", "0", ",", "n"}], "}"}]}], "]"}], ",",
Cell[BoxData[
FractionBox[
RowBox[{"1", "+", "a", "+", "x"}], "]"}],
RowBox[{
RowBox[{"1", "+", "n"}], "]"}], " ",
RowBox[{"1", "+", "a", "-", "n", "+", "x"}], "]"}]}]]], "Output"]
}, Open ]],
Cell[BoxData[
RowBox[{
RowBox[{"x", "+", "a"}], ",", "n"}], "]"}], "]"}]], "Input"],
Cell[BoxData[
FractionBox[
RowBox[{"1", "+", "a", "+", "x"}], "]"}],
RowBox[{
RowBox[{"1", "+", "n"}], "]"}], " ",
RowBox[{"1", "+", "a", "-", "n", "+", "x"}], "]"}]}]]], "Output"]
}, Open ]]
}, Open ]]
}, Open ]],
Cell["Special Case", "Subsection"],
Cell[BoxData[
FormBox[
RowBox[{
RowBox[{
RowBox[{"l", "=", "0"}], "k"],
RowBox[{
TagBox[
{
TagBox["m",
Identity,
Editable->True]},
{
TagBox[
RowBox[{"k", "-", "l"}],
Identity,
Editable->True]}
}], ")"}],
Editable->False], " ",
TagBox[
{
TagBox["n",
Identity,
Editable->True]},
{
TagBox["l",
Identity,
Editable->True]}
}], ")"}],
Editable->False]}]}], "=",
TagBox[
{
TagBox[
RowBox[{"m", "+", "n"}],
Identity,
Editable->True]},
{
TagBox["k",
Identity,
Editable->True]}
}], ")"}],
Editable->False]}], TraditionalForm]], "Subsubsection"],
Cell[BoxData[
RowBox[{"Sum", "[",
RowBox[{
RowBox[{
RowBox[{"m", ",",
RowBox[{"k", "-", "l"}]}], "]"}],
RowBox[{"n", ",", "l"}], "]"}]}], ",",
RowBox[{"{",
RowBox[{"l", ",", "0", ",", "k"}], "}"}]}], "]"}]], "Input"],
Cell[BoxData[
FractionBox[
RowBox[{"1", "+", "m", "+", "n"}], "]"}],
RowBox[{
RowBox[{"1", "+", "k"}], "]"}], " ",
RowBox[{"1", "-", "k", "+", "m", "+", "n"}], "]"}]}]]], "Output"]
}, Open ]],
Cell[BoxData[
RowBox[{"Sum", "[",
RowBox[{
RowBox[{
RowBox[{"m", ",",
RowBox[{"k", "-", "l"}]}], "]"}],

RowBox[{"n", ",", "l"}], "]"}]}], ",",
RowBox[{"{",
RowBox[{"l", ",", "0", ",", "n"}], "}"}]}], "]"}]], "Input"],
Cell[BoxData[
FractionBox[
RowBox[{"1", "+", "m", "+", "n"}], "]"}],
RowBox[{
RowBox[{"1", "+", "k"}], "]"}], " ",
RowBox[{"1", "-", "k", "+", "m", "+", "n"}], "]"}]}]]], "Output"]
}, Open ]]
}, Open ]],
Cell[BoxData[
FormBox[
RowBox[{
RowBox[{
RowBox[{"l", "=", "0"}], "n"],
SuperscriptBox[
TagBox[
{
TagBox["n",
Identity,
Editable->True]},
{
TagBox["l",
Identity,
Editable->True]}
}], ")"}],
Editable->False], "2"]}], "=",
TagBox[
{
TagBox[
RowBox[{"2", " ", "n"}],
Identity,
Editable->True]},
{
TagBox["n",
Identity,
Editable->True]}
}], ")"}],
Editable->False]}], TraditionalForm]], "Subsubsection"],
Cell[BoxData[
RowBox[{"Sum", "[",
RowBox[{
RowBox[{
RowBox[{"n", ",", "l"}], "]"}], "^", "2"}], ",",
RowBox[{"{",
RowBox[{"l", ",", "0", ",", "n"}], "}"}]}], "]"}], "]"}]], "Input"],
Cell[BoxData[
FractionBox[
RowBox[{
SuperscriptBox["4", "n"], " ",
RowBox[{
FractionBox["1", "2"], "+", "n"}], "]"}]}],
RowBox[{
SqrtBox["\[Pi]"], " ",
RowBox[{"1", "+", "n"}], "]"}]}]]], "Output"]
}, Open ]],
Cell[BoxData[
RowBox[{
RowBox[{"2", "n"}], ",", "n"}], "]"}], "]"}], "]"}]], "Input"],
Cell[BoxData[
FractionBox[
RowBox[{
SuperscriptBox["4", "n"], " ",
RowBox[{
FractionBox["1", "2"], "+", "n"}], "]"}]}],
RowBox[{
SqrtBox["\[Pi]"], " ",
RowBox[{"1", "+", "n"}], "]"}]}]]], "Output"]
}, Open ]]
}, Open ]]
}, Open ]]
}, Open ]]
}, Open ]]
},
WindowSize->{875, 599},
WindowMargins->{{131, Automatic}, {Automatic, 42}},
FrontEndVersion->"9.0 for Mac OS X x86 (32-bit, 64-bit Kernel) (March 5, \
2013)",
StyleDefinitions->"Default.nb"
]
(* End of Notebook Content *)
(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[579, 22, 41, 0, 92, "Title"],
Cell[645, 26, 28, 0, 44, "Subsection"],
Cell[676, 28, 58, 3, 49, "Text"],
Cell[737, 33, 313, 9, 30, "Text"],
Cell[1053, 44, 321, 10, 30, "Text"],
Cell[1377, 56, 99, 2, 30, "Text"]
}, Open ]],
Cell[1513, 63, 27, 0, 80, "Section"],
Cell[1565, 67, 504, 15, 46, "Input"],
Cell[2072, 84, 353, 11, 49, "Output"]
}, Open ]],
Cell[2462, 100, 35, 0, 44, "Subsection"],
Cell[2522, 104, 980, 30, 46, "Input"],
Cell[3505, 136, 2160, 29, 114, "Output"]
}, Open ]]
}, Open ]]
}, Open ]],
Cell[5726, 172, 42, 0, 80, "Section"],
Cell[5793, 176, 392, 12, 70, "Input"],
Cell[6188, 190, 398, 12, 70, "Output"]
}, Open ]],
Cell[6623, 207, 128, 3, 70, "Input"],
Cell[6754, 212, 286, 9, 70, "Output"]
}, Open ]],
Cell[7077, 226, 1686, 50, 70, "Input"],
Cell[8766, 278, 50, 1, 70, "Output"]
}, Open ]],
Cell[8853, 284, 503, 16, 70, "Input"],
Cell[9359, 302, 73, 2, 70, "Output"]
}, Open ]],
Cell[9469, 309, 153, 4, 70, "Input"],
Cell[9625, 315, 170, 5, 70, "Output"]
}, Open ]],
Cell[9832, 325, 594, 18, 70, "Input"],
Cell[10429, 345, 28, 0, 70, "Output"]
}, Open ]],
Cell[10494, 350, 36, 0, 70, "Subsection"],
Cell[10555, 354, 1102, 47, 70, "Subsubsection"],
Cell[11682, 405, 431, 13, 70, "Input"],
Cell[12116, 420, 273, 8, 70, "Output"]
}, Open ]],
Cell[12426, 433, 151, 4, 70, "Input"],
Cell[12580, 439, 273, 8, 70, "Output"]
}, Open ]]
}, Open ]]
}, Open ]],
Cell[12914, 454, 34, 0, 70, "Subsection"],
Cell[14100, 509, 310, 10, 70, "Input"],
Cell[14413, 521, 273, 8, 70, "Output"]
}, Open ]],
Cell[14723, 534, 310, 10, 70, "Input"],
Cell[15036, 546, 273, 8, 70, "Output"]
}, Open ]]
}, Open ]],
Cell[16164, 597, 272, 8, 70, "Input"],
Cell[16439, 607, 276, 10, 70, "Output"]
}, Open ]],
Cell[16752, 622, 188, 5, 70, "Input"],
Cell[16943, 629, 276, 10, 70, "Output"]
}, Open ]]
}, Open ]]
}, Open ]]
}, Open ]]
}, Open ]]
}
]
*)
(* End of internal cache information *)

Chu VandermondeIdentity

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Chu VandermondeIdentity

Uploaded by

Copyright:

Available Formats

(* Content-type: application/vnd.wolfram.

(* Beginning of Notebook Content *)

RowBox[{"n", "\[Rule]", "0"}]}]], "Input"],

RowBox[{"k", "-", "l"}]}], "]"}],

You might also like