Proving the Max Binomial Coefficient for n and r

Click For Summary
SUMMARY

The largest binomial coefficient C(n, r) occurs at r = ⌊n/2⌋ or r = ⌈n/2⌉ for a positive integer n. The proof involves demonstrating that C(n, n/2) is greater than C(n, r) for all r < n and r ≠ n/2. This can be shown by analyzing the factors of the coefficients and using properties of Pascal's triangle. A careful induction argument is recommended, starting with base cases for n = 2 and n = 3.

PREREQUISITES
  • Understanding of binomial coefficients and their properties
  • Familiarity with Pascal's triangle
  • Basic knowledge of mathematical induction
  • Concept of floor and ceiling functions
NEXT STEPS
  • Study the properties of binomial coefficients in combinatorics
  • Learn about mathematical induction techniques and examples
  • Explore the applications of Pascal's triangle in combinatorial proofs
  • Investigate the relationship between binomial coefficients and polynomial expansions
USEFUL FOR

Mathematicians, students studying combinatorics, educators teaching binomial coefficients, and anyone interested in proofs related to combinatorial mathematics.

gimpy
Messages
28
Reaction score
0
Hi, I am having a little trouble with this proof:

Let n be a positive integer. What is the largest binomial coefficient [tex]C(n,r)[/tex] where r is a nonnegative integer less than or equal to n? Prove your answer is correct.

So let [tex]r = \lfloor{\frac{n}{2}\rfloor}[/tex] or [tex]r = \lceil{\frac{n}{2}\rceil}[/tex] then [tex]\left( \begin{array}{c} n \\ r \end{array} \right)[/tex] is the largest binomial coefficient.

Now I am having trouble with the proof. Where do i begin?
Maybe something like this?

[tex]\left( \begin{array}{c} n \\ \lfloor \frac{n}{2} \rfloor \end{array} \right) = \frac{n!}{\left(\lfloor \frac{n}{2} \rfloor \right)! \left(n - \lfloor \frac{n}{2} \rfloor \right)!} = ...[/tex]

Am i on the right track?
 
Mathematics news on Phys.org
Yes you are on the right track. There are two cases depending on whether n is odd or even. Obviously the middle values are the biggest, just think of the Pascal triangle. Then I suppose you would prove that (in the even case) C(n,n/2) > C(n,r) for r < n and r not equal n/2. Consider writing n as 2m, so n/2 = m, and splitting out the facors: C(n,m) = n(n-1)...(m+1)/m(m-1)...1 compared to C(n,r) = n(n-1)...r/(n-r)(n-r-1)...1, and match factors.
 
you can proceed as follows:

note that [tex]\binom{n}{r}=\binom{n}{n-r}[/tex] and that it thus suffices to show that the coeffs for r=0 to [n/2] (integral part) are increasing.

This follows from a *careful* induction argument (it's best to have two base cases going for n=2 and 3 say).
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
Replies
3
Views
2K
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
4K
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
4
Views
2K