Combinatorial proof-is this rigorous?

  • Thread starter Thread starter 0rthodontist
  • Start date Start date
  • Tags Tags
    Rigorous
Click For Summary
SUMMARY

The discussion centers on proving that \( n!^{n+1} \) divides \( (n^2)! \) using a combinatorial argument. The author outlines a method involving the arrangement of \( (n^2)! \) distinct objects grouped into \( n \) groups of \( n \) objects each, leading to a total of \( n!^{n+1} \) arrangements. The proof acknowledges that while the arrangements are not exhaustive, they provide a valid basis for the division. The final expression for the quotient is given as \( \frac{1}{n!}\prod_{k=0}^{n}{{n^2-nk}\choose{n}} \), confirming the division of \( (n^2)! \) by \( n!^{n+1} \).

PREREQUISITES
  • Understanding of factorial notation and properties
  • Familiarity with combinatorial proofs and counting principles
  • Knowledge of binomial coefficients and their properties
  • Basic algebraic manipulation skills
NEXT STEPS
  • Study combinatorial proofs in depth, focusing on arrangements and groupings
  • Learn about binomial coefficients and their applications in combinatorial arguments
  • Explore advanced topics in combinatorics, such as generating functions
  • Review factorial properties and their implications in number theory
USEFUL FOR

Mathematicians, students of combinatorics, and anyone interested in rigorous mathematical proofs and factorial properties.

0rthodontist
Science Advisor
Messages
1,229
Reaction score
0
First, please don't give me too much information or suggest other ways to do it if you think this is not rigorous. This is not supposed to be collaborative.

I am asked to prove that [tex]n!^{n+1}[/tex] divides [tex](n^2)![/tex]. I thought of a few ways to try to do this, but the first thing I got is the following combinatorial argument:

Consider the possible arrangements of [tex](n^2)![/tex] distinct objects. The objects can be grouped into n groups of n objects each:
a11a21...an1a12a22...an2...a1na2n...ann
The objects can be permuted within each group of n elements ak1...akn, for n! ways each and [tex]n!^n[/tex] ways total. Then the n groups of objects themselves may be permuted with the other groups for an additional factor of n!, for a total number of arrangements of [tex]n!^{n+1}[/tex].

These arrangements are not exhaustive of the [tex]n^2![/tex] total arrangements, since they specify that each of the n elements within each group must be contiguous. To produce all of the arrangements in this fashion, we may first choose which of the elements of the n groups are contiguous, and multiply that by number of ways to arrange those groups and objects as above. Therefore [tex]n!^{n+1}[/tex] divides [tex](n^2)![/tex], and specifically the quotient is:
--for each group choose n elements for that group. [tex]\prod_{k=0}^{n}{{n^2-nk}\choose{n}}[/tex]
--but this is an overcount since each set of n groups of elements can be picked in n! ways, so divide by n!:
[tex]\frac{1}{n!}\prod_{k=0}^{n}{{n^2-nk}\choose{n}}[/tex]

So, [tex]n!^{n+1} \cdot \frac{1}{n!}\prod_{k=0}^{n}{{n^2-nk}\choose{n}} = (n^2)![/tex]

So if you're good with combinatorial-type proofs (the ones that look something like this, where you show two quantities are equal by counting them two different ways), can you tell me if this is rigorous enough?
 
Last edited:
Physics news on Phys.org
It's a little hard to follow now, but it seems to be alright. I would spell out some of the steps in a little more detail. Also, there's a tiny problem with the last equation for (n!)^2, but I'm afraid to tell you what it is without risking helping you.
 
Last edited:

Similar threads

  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K