Counting Problem: Proving the Integer Property of ((n^2)!)!/(n!)^(n+1)

Click For Summary
SUMMARY

The discussion focuses on proving that the expression \(\frac{((n^2)!)!}{(n!)^{n+1}}\) is an integer. Participants highlight that the denominator can be decomposed into terms that must either be present in the numerator \((n^2)!\) or be divisors of it. The argument is supported by the multinomial theorem, which confirms that \(\frac{(k^2)!}{(k!)^k}\) is an integer when \(r_1 = r_2 = ... = r_k = k\). Thus, the conclusion is that \(\frac{((n^2)!)!}{(n!)^{n+1}}\) is indeed an integer.

PREREQUISITES
  • Understanding of factorial notation and properties
  • Familiarity with the multinomial theorem
  • Basic knowledge of combinatorial mathematics
  • Experience with integer properties in mathematical proofs
NEXT STEPS
  • Study the multinomial theorem in detail
  • Explore advanced properties of factorials and their applications
  • Investigate combinatorial proofs related to integer properties
  • Learn about integer partitions and their significance in combinatorics
USEFUL FOR

Mathematicians, students of combinatorics, and anyone interested in advanced number theory and integer properties.

fourier jr
Messages
764
Reaction score
13
show that [tex]\frac{ ((n^2)!)!}{(n!)^{n+1}}[/tex] is an integer.

i was thinking of saying that there are so many people who can be put on a committee, etc etc which would make an integer. i don't think this is real hard but nothing is really jumping out at me
 
Physics news on Phys.org
[tex]\frac{ ((n^2)!)!}{(n!)^{n+1}}[/tex]

Not to bad. The denominator can be broken into:
[tex] (n^{n+1})((n-1)^{n+1})... ... ...[/tex]

Each one of these term must be in the [itex](n^2)![/itex] term in the numerator or be a divisor of this term.

[tex] (n^2)! > n^{n+1}[/tex]

Therefore [tex]\frac{ ((n^2)!)!}{(n!)^{n+1}}[/tex] must be an integer.
 
update: i thought of something that might be easier. check this out


the multinomial theorem says

[tex]\left(\begin{array}{cc}n\\ r_1, r_2, ..., r_k \end{array} \right) = \frac{n!}{r_1!r_2!...r_k!}[/tex] for [tex]r_1 + r_2 + ... + r_k = n[/tex]

so if i set [tex]r_1 = r_2 = ... = r_k = k[/tex], then [tex]r_1 + r_2 + ... + r_k = k.k = k^2[/tex] in which case the multimonial theorem gives me [tex]\frac{(k^2)!}{(k!)^k}[/tex] which is an integer by definition, so I'm almost there & i just need to do the rest somehow
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 23 ·
Replies
23
Views
4K
Replies
12
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
6
Views
3K
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
10
Views
4K