Binomials and Proof by Induction

  • Thread starter Thread starter math222
  • Start date Start date
  • Tags Tags
    Induction Proof
Click For Summary

Homework Help Overview

The discussion revolves around proving the inequality (n choose k) ≤ ((en)/k)^k using mathematical induction on k. The participants are exploring the implications of this inequality within the context of combinatorial mathematics.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • The original poster attempts to prove the base case for k=1 and assumes the case for k to prove k+1. They express difficulty in manipulating the binomial coefficient (n choose k) and constructing (n choose k+1). Other participants question the notation "en" and clarify its meaning, discussing the Euler number.

Discussion Status

Participants are actively engaging with the problem, with some providing insights into the notation and others seeking clarification on bounding the denominator in the inequality. There is a collaborative effort to understand the components of the proof without reaching a consensus or resolution.

Contextual Notes

There is mention of the general steps of induction and specific forms of the binomial coefficient, which may be relevant to the proof. Participants are also navigating potential misunderstandings regarding mathematical notation.

math222
Messages
10
Reaction score
0

Homework Statement



Prove (n choose k) ≤ ((en)/k)^k by induction on k.

Homework Equations



I can't of anything that's awfully relevant besides the general steps of induction.

The Attempt at a Solution



So I found it true for the k=1 case which was easy enough. Then assumed true the k case. And now have to prove the k+1 case.

So after working on the problem for awhile, I arrived at
((n-k)/(k+1)) * (n choose k) ≤ ((en)/k)^k * ((n-k)/(k+1))

but from here I'm stuck and not sure how to deconstruct the (n choose k) into something workable, let alone construct (n choose k+1). any help would be greatly appreciated.
 
Physics news on Phys.org
I'm not sure I understand the notation. What is "en"?
 
the Euler number, e=2.718 or something i think. so en is e*n
 
math222 said:

Homework Statement



Prove (n choose k) ≤ ((en)/k)^k by induction on k.

Homework Equations



I can't of anything that's awfully relevant besides the general steps of induction.

The Attempt at a Solution



So I found it true for the k=1 case which was easy enough. Then assumed true the k case. And now have to prove the k+1 case.

So after working on the problem for awhile, I arrived at
((n-k)/(k+1)) * (n choose k) ≤ ((en)/k)^k * ((n-k)/(k+1))

but from here I'm stuck and not sure how to deconstruct the (n choose k) into something workable, let alone construct (n choose k+1). any help would be greatly appreciated.

It might be helpful to note that
{n \choose k} = \frac{n (n-1) \cdots (n-k+1)}{k!}<br /> = \frac{n^k (1 - \frac{1}{n})(1 - \frac{2}{n}) \cdots (1 - \frac{k-1}{n})}{k!}, and you can further bound the numerator and denominator.

RGV
 
math222 said:
the Euler number, e=2.718 or something i think. so en is e*n
Then you mean e^n. "en" and "e*n" would be e times n.
 
no i mean e times n. hence en or e*n.
 
i under the bound for the numerator, but i don't understand how to bound the denominator?
 

Similar threads

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