4

Apparently, I'm supposed to prove this using the binomial theorem, but that doesn't seem intuitive. Can't I just say

Prove that $\exists n\in\Bbb N$ such that $$2^n\le\frac{n(n-1)(n-2)}6$$

And show that $n=1$ contradicts this? Is that a valid proof?

Parcly Taxel
  • 103,344
Anthony P
  • 609

4 Answers4

4

$$ 2^n = (1+1)^n = 1 + n + \frac{n(n-1)}{2!} + \frac{n(n-1)(n-2)}{3!} + \cdots + \frac{n(n-1)(n-2)\ldots 3.2.1}{n!} $$

$$ = \frac{n(n-1)(n-2)}{3!} + \text{other positive terms} > \frac{n(n-1)(n-2)}{6} $$

2

The proof you suggest would not work- you've shown that for $n=1$, that inequality holds, but that doesn't prove anything about any other natural number. This is a good time for one of my favorite types of proofs- the combinatorial proof. As you mentioned, the binomial theorem can be used here, as $\frac{n(n-1)(n-2)}{6}=\frac{n!}{(n-3)!3!}={n\choose n-3}$. Think of the combinatorial interpretation of $n\choose n-3$, especially with respect to sets. It counts a specific type of subsets of a set of size $n$. You also need to think of $2^n$ with respect to sets, as it also counts subsets of a set of size $n$.

Kevin Long
  • 5,159
2

For $n\ge3$: $$\frac{n(n-1)(n-2)}6=\binom n3$$ Expand $2^n$ as the sum of entries in the $n$th row of Pascal's triangle (which is but a table of binomial coefficients): $$2^n=\binom n0+\binom n1+\binom n2+\color{orange}{\binom n3}+\dots$$ Subtracting the binomial coefficients save $\binom n3$ from the RHS will yield a strictly smaller number, since the coefficients are all strictly positive, and we get the desired inequality: $$2^n>\binom n3=\frac{n(n-1)(n-2)}6$$ However, this only works if $n\ge3$, as stated above. The $n=1$ and $n=2$ cases can be checked individually: $$2=2^1>\frac{1(1-1)(1-2)}6=0$$ $$4=2^2>\frac{2(2-1)(2-2)}6=0$$ Therefore the statement is true for all $n\in\Bbb N$.

Parcly Taxel
  • 103,344
1

The argument will become valid if you add an inductive step, i.e. a proof that $$ 2^{n+1}-2^{n}\geq \frac{(n+1)n(n-1)}{6} - \frac{n(n-1)(n-2)}{6} , $$ for each $n\geq1$. The latter is equivalent to $2^{n}\geq \frac{n(n-1)}{2} = \binom{n}{2}$, which is of course also true. You may apply the same reasoning two more times until obtaining that your original fact will be proved if $2^{n}>\binom{n}{0} = 1$, which do not need more investigation.

sdd
  • 451