Proving the Equality of Combinatorial Functions

  • Thread starter Thread starter Poopsilon
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on proving the equality of combinatorial functions related to the number of ordered triples of natural numbers (a, b, c) satisfying the equation a + 2b + 3c = n and the ways to express n as x + y + z with constraints 0 ≤ x ≤ y ≤ z. The participant established that r(n) equals the integer nearest to (n + 3)² / 12 and sought a bijective function to relate the two sets. A matrix transformation was identified as an invertible function mapping (x, y, z) to (a, b, c), confirming the equality of the two combinatorial representations.

PREREQUISITES
  • Understanding of combinatorial functions and partitions
  • Familiarity with natural numbers and their properties
  • Knowledge of matrix transformations and invertibility
  • Basic skills in mathematical proofs and bijections
NEXT STEPS
  • Study combinatorial proofs and their applications in number theory
  • Explore matrix theory, focusing on transformations and their inverses
  • Learn about generating functions in combinatorial contexts
  • Investigate the theory of partitions and their combinatorial interpretations
USEFUL FOR

Mathematicians, students of combinatorics, and anyone interested in advanced topics in number theory and combinatorial proofs.

Poopsilon
Messages
288
Reaction score
1
Comparing Partions of a Natural Number

Homework Statement



Let r(n) denote the number of ordered triples of natural numbers (a,b,c) such that a + 2b + 3c = n, for n\geq 0. Prove that this is equal to the number of ways of writing n = x + y + z with 0\leq x \leq y \leq z for x,y,z natural numbers.


The Attempt at a Solution



I don't really have a whole lot of combinatorial tools at my disposal here. I proved earlier that r(n) = the integer nearest to \frac{(n+3)^2}{12}, but I don't think that's really going to help. I feel like I need to construct some 1-1 function between these two sets. But I can't find any way of uniquely associating a choice of (a,b,c) with an x≤y≤z or visa-versa.
 
Last edited:
Physics news on Phys.org


define D(x,y,z) = (x-1,y-1,z-1) for x>0.
define d(x,y,z) = (0,y-1,z-1) for x=0

notice that D^k(x,y,z)=(x-k,y-k,z-k) and
d^k(0,y,z)=(0,y-k,z-k)

now D^x(x,y,z) = (0,y-x,z-x) and
d^(y-x)[D^x(x,y,z)] = (0,0,z-x-(y-x)) =(0,0,z-y)

this suggests:

a=-y+z
b=-x+y
c=x

x=c
y=b+c
z=a+b+c

the matrix
|0 -1 1|
|-1 1 0|
|1 0 0|

takes (x,y,z) to (a,b,c) and is invertible (there's your bijection).
 


brilliant! thanks.
 

Similar threads

Replies
8
Views
2K
Replies
2
Views
1K
  • · Replies 9 ·
Replies
9
Views
2K
Replies
3
Views
2K
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K