(* 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,          7]
NotebookDataLength[      5515,        238]
NotebookOptionsPosition[      4288,        187]
NotebookOutlinePosition[      4642,        203]
CellTagsIndexPosition[      4599,        200]
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{

Cell[CellGroupData[{
Cell["Finite Set", "Title"],

Cell[CellGroupData[{

Cell["Author", "Subsection"],

Cell["\<\
Eric W. Weisstein
January 18, 2009\
\>", "Text"],

Cell[TextData[{
 "This notebook downloaded from ",
 ButtonBox["http://mathworld.wolfram.com/notebooks/Logic/FiniteSet.nb",
  BaseStyle->"Hyperlink",
  ButtonData:>{
    URL["http://mathworld.wolfram.com/notebooks/Logic/FiniteSet.nb"], None}],
 "."
}], "Text"],

Cell[TextData[{
 "For more information, see Eric's ",
 StyleBox["MathWorld",
  FontSlant->"Italic"],
 " entry ",
 ButtonBox["http://mathworld.wolfram.com/FiniteSet.html",
  BaseStyle->"Hyperlink",
  ButtonData:>{
    URL["http://mathworld.wolfram.com/FiniteSet.html"], None}],
 "."
}], "Text"],

Cell["\<\
\[Copyright]2009 Wolfram Research, Inc. except for portions noted otherwise\
\>", "Text"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Sums", "Section"],

Cell[CellGroupData[{

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{
    UnderoverscriptBox["\[Sum]", 
     RowBox[{"k", "=", "0"}], "n"], 
    TemplateBox[{"n","k"},
     "Binomial"]}], "\[LongEqual]", 
   SuperscriptBox["2", "n"]}], TraditionalForm]], "Subsection"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Sum", "[", 
  RowBox[{
   RowBox[{"Binomial", "[", 
    RowBox[{"n", ",", "k"}], "]"}], ",", 
   RowBox[{"{", 
    RowBox[{"k", ",", "0", ",", "n"}], "}"}]}], "]"}]], "Input"],

Cell[BoxData[
 SuperscriptBox["2", "n"]], "Output"]
}, Open  ]]
}, Closed]]
}, Open  ]],

Cell[CellGroupData[{

Cell["Product", "Section"],

Cell[CellGroupData[{

Cell[BoxData[
 FormBox[
  RowBox[{
   FractionBox[
    RowBox[{
     UnderoverscriptBox["\[Product]", "j", "k"], 
     RowBox[{"(", 
      RowBox[{"j", "-", "k", "+", "n"}], ")"}]}], 
    RowBox[{"k", "!"}]], "\[LongEqual]", 
   TemplateBox[{"n","k"},
    "Binomial"]}], TraditionalForm]], "Subsection"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  FractionBox[
   RowBox[{"Product", "[", 
    RowBox[{
     RowBox[{"n", "-", "k", "+", "j"}], ",", 
     RowBox[{"{", 
      RowBox[{"j", ",", "k"}], "}"}]}], "]"}], 
   RowBox[{"k", "!"}]], "//", "FullSimplify"}]], "Input"],

Cell[BoxData[
 FractionBox[
  RowBox[{"Pochhammer", "[", 
   RowBox[{
    RowBox[{"1", "-", "k", "+", "n"}], ",", "k"}], "]"}], 
  RowBox[{"k", "!"}]]], "Output"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FullSimplify", "[", 
  RowBox[{
   FractionBox[
    RowBox[{"Pochhammer", "[", 
     RowBox[{
      RowBox[{"1", "-", "k", "+", "n"}], ",", "k"}], "]"}], 
    RowBox[{"k", "!"}]], ",", 
   RowBox[{
    RowBox[{
     RowBox[{"(", 
      RowBox[{"k", "|", "n"}], ")"}], "\[Element]", "Integers"}], "&&", 
    RowBox[{"k", ">", "0"}], "&&", 
    RowBox[{"n", ">", "0"}]}]}], "]"}]], "Input"],

Cell[BoxData[
 FractionBox[
  RowBox[{"Pochhammer", "[", 
   RowBox[{
    RowBox[{"1", "-", "k", "+", "n"}], ",", "k"}], "]"}], 
  RowBox[{"k", "!"}]]], "Output"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Table", "[", 
  RowBox[{
   RowBox[{
    FractionBox[
     RowBox[{"Pochhammer", "[", 
      RowBox[{
       RowBox[{"1", "-", "k", "+", "n"}], ",", "k"}], "]"}], 
     RowBox[{"k", "!"}]], "-", 
    RowBox[{"Binomial", "[", 
     RowBox[{"n", ",", "k"}], "]"}]}], ",", 
   RowBox[{"{", 
    RowBox[{"n", ",", "0", ",", "3"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"k", ",", "0", ",", "n"}], "}"}]}], "]"}]], "Input"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{"{", "0", "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0", ",", "0"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0", ",", "0", ",", "0"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}]}], "}"}]], "Output"]
}, Open  ]]
}, Closed]]
}, Open  ]]
}, Open  ]]
},
WindowSize->{640, 750},
WindowMargins->{{Automatic, 110}, {23, Automatic}},
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[CellGroupData[{
Cell[579, 22, 27, 0, 92, "Title"],
Cell[CellGroupData[{
Cell[631, 26, 28, 0, 44, "Subsection"],
Cell[662, 28, 58, 3, 49, "Text"],
Cell[723, 33, 259, 7, 49, "Text"],
Cell[985, 42, 293, 10, 49, "Text"],
Cell[1281, 54, 99, 2, 30, "Text"]
}, Open  ]],
Cell[CellGroupData[{
Cell[1417, 61, 23, 0, 80, "Section"],
Cell[CellGroupData[{
Cell[1465, 65, 245, 8, 82, "Subsection"],
Cell[CellGroupData[{
Cell[1735, 77, 199, 6, 70, "Input"],
Cell[1937, 85, 51, 1, 70, "Output"]
}, Open  ]]
}, Closed]]
}, Open  ]],
Cell[CellGroupData[{
Cell[2049, 93, 26, 0, 80, "Section"],
Cell[CellGroupData[{
Cell[2100, 97, 303, 10, 77, "Subsection"],
Cell[CellGroupData[{
Cell[2428, 111, 250, 8, 70, "Input"],
Cell[2681, 121, 162, 5, 70, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[2880, 131, 412, 13, 70, "Input"],
Cell[3295, 146, 162, 5, 70, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[3494, 156, 445, 14, 70, "Input"],
Cell[3942, 172, 294, 9, 70, "Output"]
}, Open  ]]
}, Closed]]
}, Open  ]]
}, Open  ]]
}
]
*)

(* End of internal cache information *)