Number Theory Question Possibly related to combinatorics too.

Click For Summary
SUMMARY

The discussion centers on proving that a! b! divides (a+b)!. The user approaches the problem by considering the factorial definitions and the relationship between the terms involved. They establish that (a+b)! can be expressed as the product of consecutive integers from 1 to (a+b), and through this, they demonstrate that the division by a! yields a product of consecutive integers starting from (a+1) to (a+b). This confirms that b! divides the resulting product, thus proving the original assertion.

PREREQUISITES
  • Understanding of factorial notation and properties
  • Basic concepts of number theory
  • Familiarity with combinatorial principles
  • Knowledge of divisibility rules in mathematics
NEXT STEPS
  • Study the properties of factorials in number theory
  • Explore combinatorial proofs and techniques
  • Learn about the application of the Division Algorithm in number theory
  • Investigate advanced topics in combinatorics, such as permutations and combinations
USEFUL FOR

Students of mathematics, particularly those studying number theory and combinatorics, as well as educators looking for examples of factorial properties and divisibility proofs.

iironiic
Messages
9
Reaction score
0

Homework Statement



Prove that [itex]a! b! | (a+b)![/itex].


Homework Equations



Probably some Number Theory Theorem I can't think of at the moment.


The Attempt at a Solution



Without loss of generality, let [itex]a < b[/itex].
Therefore [itex]b! | \Pi _{k=1}^b a+k[/itex]. Since [itex](a+1) ... (a+b)[/itex] are [itex]b[/itex] consecutive terms, [itex]b|\Pi _{k=1}^b a+k[/itex]. The problem I am running into is that you don't necessarily get [itex]b-1[/itex] consecutive terms in the next step of the recursive reasoning. Any suggestions? Thanks!

This question reminds me of questions like, how many possible combinations can you rearrange the letters in "MISSISSIPPI"? This might be a combinatorics question too but I'm not entirely sure.
 
Physics news on Phys.org
Consider that (a+b)! = (1)(2)(3)...(a)(a+1)(a+2)...(a+b).

And a! = (1)(2)(3)...(a).

Now it should be clear that (a+b)!/a! = (a+1)(a+2)...(a+b). Then your assertion that b! divides that should be sufficient.
 

Similar threads

Replies
1
Views
2K
  • · Replies 17 ·
Replies
17
Views
3K
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 8 ·
Replies
8
Views
8K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 18 ·
Replies
18
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K