euler s pentagonal number theorem
play

Eulers Pentagonal Number Theorem Dan Cranston September 28, 2011 - PowerPoint PPT Presentation

Eulers Pentagonal Number Theorem Dan Cranston September 28, 2011 Introduction Introduction Triangular Numbers: 1 , 3 , 6 , 10 , 15 , 21 , 28 , 36 , 45 , 55 , ... Introduction Triangular Numbers: 1 , 3 , 6 , 10 , 15 , 21 , 28 , 36 , 45 , 55 ,


  1. Euler’s Pentagonal Number Theorem Dan Cranston September 28, 2011

  2. Introduction

  3. Introduction Triangular Numbers: 1 , 3 , 6 , 10 , 15 , 21 , 28 , 36 , 45 , 55 , ...

  4. Introduction Triangular Numbers: 1 , 3 , 6 , 10 , 15 , 21 , 28 , 36 , 45 , 55 , ... Square Numbers: 1 , 4 , 9 , 16 , 25 , 36 , 49 , 64 , 81 , 100 , ...

  5. Introduction Triangular Numbers: 1 , 3 , 6 , 10 , 15 , 21 , 28 , 36 , 45 , 55 , ... Square Numbers: 1 , 4 , 9 , 16 , 25 , 36 , 49 , 64 , 81 , 100 , ... Pentagonal Numbers: 1 , 5 , 12 , 22 , 35 , 51 , 70 , 92 , 117 , 145 , ...

  6. Generalized Pentagonal Numbers

  7. Generalized Pentagonal Numbers The k th pentagonal number, P ( k ), is the k th partial sum of the arithmetic sequence a n = 1 + 3( n − 1) = 3 n − 2.

  8. Generalized Pentagonal Numbers The k th pentagonal number, P ( k ), is the k th partial sum of the arithmetic sequence a n = 1 + 3( n − 1) = 3 n − 2. k (3 n − 2) = 3 k 2 − k � P ( k ) = 2 n =1

  9. Generalized Pentagonal Numbers The k th pentagonal number, P ( k ), is the k th partial sum of the arithmetic sequence a n = 1 + 3( n − 1) = 3 n − 2. k (3 n − 2) = 3 k 2 − k � P ( k ) = 2 n =1 ◮ P (8) = 92, P (500) = 374 , 750, etc.

  10. Generalized Pentagonal Numbers The k th pentagonal number, P ( k ), is the k th partial sum of the arithmetic sequence a n = 1 + 3( n − 1) = 3 n − 2. k (3 n − 2) = 3 k 2 − k � P ( k ) = 2 n =1 ◮ P (8) = 92, P (500) = 374 , 750, etc. and P (0) = 0.

  11. Generalized Pentagonal Numbers The k th pentagonal number, P ( k ), is the k th partial sum of the arithmetic sequence a n = 1 + 3( n − 1) = 3 n − 2. k (3 n − 2) = 3 k 2 − k � P ( k ) = 2 n =1 ◮ P (8) = 92, P (500) = 374 , 750, etc. and P (0) = 0. ◮ Extend domain, so P ( − 8) = 100, P ( − 500) = 375 , 250, etc.

  12. Generalized Pentagonal Numbers The k th pentagonal number, P ( k ), is the k th partial sum of the arithmetic sequence a n = 1 + 3( n − 1) = 3 n − 2. k (3 n − 2) = 3 k 2 − k � P ( k ) = 2 n =1 ◮ P (8) = 92, P (500) = 374 , 750, etc. and P (0) = 0. ◮ Extend domain, so P ( − 8) = 100, P ( − 500) = 375 , 250, etc. ◮ { P (0) , P (1) , P ( − 1) , P (2) , P ( − 2) , ... } = { 0 , 1 , 2 , 5 , 7 , ... } is an increasing sequence.

  13. Partition Numbers A partition of a positive integer n is a way of expressing n as a sum of positive integers.

  14. Partition Numbers A partition of a positive integer n is a way of expressing n as a sum of positive integers. Let p ( n ) denote the number of partitions of n .

  15. Partition Numbers A partition of a positive integer n is a way of expressing n as a sum of positive integers. Let p ( n ) denote the number of partitions of n . ◮ 3 = 2+1 = 1+1+1,

  16. Partition Numbers A partition of a positive integer n is a way of expressing n as a sum of positive integers. Let p ( n ) denote the number of partitions of n . ◮ 3 = 2+1 = 1+1+1, so p (3) = 3.

  17. Partition Numbers A partition of a positive integer n is a way of expressing n as a sum of positive integers. Let p ( n ) denote the number of partitions of n . ◮ 3 = 2+1 = 1+1+1, so p (3) = 3. ◮ 4 = 3+1 = 2+2 = 2+1+1 = 1+1+1+1,

  18. Partition Numbers A partition of a positive integer n is a way of expressing n as a sum of positive integers. Let p ( n ) denote the number of partitions of n . ◮ 3 = 2+1 = 1+1+1, so p (3) = 3. ◮ 4 = 3+1 = 2+2 = 2+1+1 = 1+1+1+1, so p (4) = 5.

  19. Partition Numbers A partition of a positive integer n is a way of expressing n as a sum of positive integers. Let p ( n ) denote the number of partitions of n . ◮ 3 = 2+1 = 1+1+1, so p (3) = 3. ◮ 4 = 3+1 = 2+2 = 2+1+1 = 1+1+1+1, so p (4) = 5. ◮ 5 = 4+1 = 3+1+1 = 2+2+1 = 2+1+1+1 = 3+2 = 1+1+1+1+1,

  20. Partition Numbers A partition of a positive integer n is a way of expressing n as a sum of positive integers. Let p ( n ) denote the number of partitions of n . ◮ 3 = 2+1 = 1+1+1, so p (3) = 3. ◮ 4 = 3+1 = 2+2 = 2+1+1 = 1+1+1+1, so p (4) = 5. ◮ 5 = 4+1 = 3+1+1 = 2+2+1 = 2+1+1+1 = 3+2 = 1+1+1+1+1, so p (5) = 7.

  21. Partition Numbers A partition of a positive integer n is a way of expressing n as a sum of positive integers. Let p ( n ) denote the number of partitions of n . ◮ 3 = 2+1 = 1+1+1, so p (3) = 3. ◮ 4 = 3+1 = 2+2 = 2+1+1 = 1+1+1+1, so p (4) = 5. ◮ 5 = 4+1 = 3+1+1 = 2+2+1 = 2+1+1+1 = 3+2 = 1+1+1+1+1, so p (5) = 7. ◮ 6 = 5+1 = 4+1+1 = 4+2 = 3+1+1+1 = 3+3 = 3+2+1 = 2+1+1+1+1 = 2+2+2 = 2+2+1+1 = 1+1+1+1+1+1,

  22. Partition Numbers A partition of a positive integer n is a way of expressing n as a sum of positive integers. Let p ( n ) denote the number of partitions of n . ◮ 3 = 2+1 = 1+1+1, so p (3) = 3. ◮ 4 = 3+1 = 2+2 = 2+1+1 = 1+1+1+1, so p (4) = 5. ◮ 5 = 4+1 = 3+1+1 = 2+2+1 = 2+1+1+1 = 3+2 = 1+1+1+1+1, so p (5) = 7. ◮ 6 = 5+1 = 4+1+1 = 4+2 = 3+1+1+1 = 3+3 = 3+2+1 = 2+1+1+1+1 = 2+2+2 = 2+2+1+1 = 1+1+1+1+1+1, so p (6) = 11.

  23. Partition Numbers A partition of a positive integer n is a way of expressing n as a sum of positive integers. Let p ( n ) denote the number of partitions of n . ◮ 3 = 2+1 = 1+1+1, so p (3) = 3. ◮ 4 = 3+1 = 2+2 = 2+1+1 = 1+1+1+1, so p (4) = 5. ◮ 5 = 4+1 = 3+1+1 = 2+2+1 = 2+1+1+1 = 3+2 = 1+1+1+1+1, so p (5) = 7. ◮ 6 = 5+1 = 4+1+1 = 4+2 = 3+1+1+1 = 3+3 = 3+2+1 = 2+1+1+1+1 = 2+2+2 = 2+2+1+1 = 1+1+1+1+1+1, so p (6) = 11. Each summand in a certain partition is called a part.

  24. Partition Numbers A partition of a positive integer n is a way of expressing n as a sum of positive integers. Let p ( n ) denote the number of partitions of n . ◮ 3 = 2+1 = 1+1+1, so p (3) = 3. ◮ 4 = 3+1 = 2+2 = 2+1+1 = 1+1+1+1, so p (4) = 5. ◮ 5 = 4+1 = 3+1+1 = 2+2+1 = 2+1+1+1 = 3+2 = 1+1+1+1+1, so p (5) = 7. ◮ 6 = 5+1 = 4+1+1 = 4+2 = 3+1+1+1 = 3+3 = 3+2+1 = 2+1+1+1+1 = 2+2+2 = 2+2+1+1 = 1+1+1+1+1+1, so p (6) = 11. Each summand in a certain partition is called a part. So 3 has 1 part, 2 + 1 has 2 parts, and 1 + 1 + 1 has 3 parts.

  25. Partition Numbers We identify a partition of n by its Ferrers diagram.

  26. Partition Numbers We identify a partition of n by its Ferrers diagram. A partition with its parts in decreasing size from top to bottom is in standard form.

  27. Partition Numbers We identify a partition of n by its Ferrers diagram. A partition with its parts in decreasing size from top to bottom is in standard form. Three different partitions of 9: 5 + 3 + 1 4 + 3 + 2 4 + 3 + 1 + 1

  28. Special Partition Numbers p d ( n ) = number of partitions of n into distinct parts

  29. Special Partition Numbers p d ( n ) = number of partitions of n into distinct parts ◮ 5 = 4+1 = 3+1+1 = 2+2+1 = 2+1+1+1 = 3+2 = 1+1+1+1+1, so p d (5) = 3.

  30. Special Partition Numbers p d ( n ) = number of partitions of n into distinct parts ◮ 5 = 4+1 = 3+1+1 = 2+2+1 = 2+1+1+1 = 3+2 = 1+1+1+1+1, so p d (5) = 3. ◮ 6 = 5+1 = 4+1+1 = 4+2 = 3+1+1+1 = 3+3 = 3+2+1 = 2+1+1+1+1 = 2+2+2 = 2+2+1+1 = 1+1+1+1+1+1, so p d (6) = 4.

  31. Special Partition Numbers p d ( n ) = number of partitions of n into distinct parts ◮ 5 = 4+1 = 3+1+1 = 2+2+1 = 2+1+1+1 = 3+2 = 1+1+1+1+1, so p d (5) = 3. ◮ 6 = 5+1 = 4+1+1 = 4+2 = 3+1+1+1 = 3+3 = 3+2+1 = 2+1+1+1+1 = 2+2+2 = 2+2+1+1 = 1+1+1+1+1+1, so p d (6) = 4. p e ( n ) = number of partitions of n into an even number of distinct parts

  32. Special Partition Numbers p d ( n ) = number of partitions of n into distinct parts ◮ 5 = 4+1 = 3+1+1 = 2+2+1 = 2+1+1+1 = 3+2 = 1+1+1+1+1, so p d (5) = 3. ◮ 6 = 5+1 = 4+1+1 = 4+2 = 3+1+1+1 = 3+3 = 3+2+1 = 2+1+1+1+1 = 2+2+2 = 2+2+1+1 = 1+1+1+1+1+1, so p d (6) = 4. p e ( n ) = number of partitions of n into an even number of distinct parts; similar for p o ( n ), so p e ( n ) + p o ( n ) = p d ( n )

  33. Special Partition Numbers p d ( n ) = number of partitions of n into distinct parts ◮ 5 = 4+1 = 3+1+1 = 2+2+1 = 2+1+1+1 = 3+2 = 1+1+1+1+1, so p d (5) = 3. ◮ 6 = 5+1 = 4+1+1 = 4+2 = 3+1+1+1 = 3+3 = 3+2+1 = 2+1+1+1+1 = 2+2+2 = 2+2+1+1 = 1+1+1+1+1+1, so p d (6) = 4. p e ( n ) = number of partitions of n into an even number of distinct parts; similar for p o ( n ), so p e ( n ) + p o ( n ) = p d ( n ) ◮ 5 = 4+1 = 3+1+1 = 2+2+1 = 2+1+1+1 = 3+2 = 1+1+1+1+1, so p e (5) = 2.

  34. Special Partition Numbers p d ( n ) = number of partitions of n into distinct parts ◮ 5 = 4+1 = 3+1+1 = 2+2+1 = 2+1+1+1 = 3+2 = 1+1+1+1+1, so p d (5) = 3. ◮ 6 = 5+1 = 4+1+1 = 4+2 = 3+1+1+1 = 3+3 = 3+2+1 = 2+1+1+1+1 = 2+2+2 = 2+2+1+1 = 1+1+1+1+1+1, so p d (6) = 4. p e ( n ) = number of partitions of n into an even number of distinct parts; similar for p o ( n ), so p e ( n ) + p o ( n ) = p d ( n ) ◮ 5 = 4+1 = 3+1+1 = 2+2+1 = 2+1+1+1 = 3+2 = 1+1+1+1+1, so p e (5) = 2. ( p o (5) = 1)

  35. Special Partition Numbers p d ( n ) = number of partitions of n into distinct parts ◮ 5 = 4+1 = 3+1+1 = 2+2+1 = 2+1+1+1 = 3+2 = 1+1+1+1+1, so p d (5) = 3. ◮ 6 = 5+1 = 4+1+1 = 4+2 = 3+1+1+1 = 3+3 = 3+2+1 = 2+1+1+1+1 = 2+2+2 = 2+2+1+1 = 1+1+1+1+1+1, so p d (6) = 4. p e ( n ) = number of partitions of n into an even number of distinct parts; similar for p o ( n ), so p e ( n ) + p o ( n ) = p d ( n ) ◮ 5 = 4+1 = 3+1+1 = 2+2+1 = 2+1+1+1 = 3+2 = 1+1+1+1+1, so p e (5) = 2. ( p o (5) = 1) ◮ 6 = 5+1 = 4+1+1 = 4+2 = 3+1+1+1 = 3+3 = 3+2+1 = 2+1+1+1+1 = 2+2+2 = 2+2+1+1 = 1+1+1+1+1+1, so p e (6) = 2. ( p o (6) = 2)

  36. Pentagonal Number Theorem Main Theorem ∞ 1 − x − x 2 + x 5 + x 7 − x 12 − x 15 + x 22 + x 26 + ... � (1 − x m ) = m =1

Recommend


More recommend