Solutions
Solution 1 (Proof Format)
Lemma:
The "maxima" is the point k in which every n>k results in a decrease of value.
Conjecture:
For all values k upon Ak there exists a value n=k in which
(n1000)⋅(51)n
is as great as possible.
Proof of the Conjecture
For simplicity, denote ak=(k1000)⋅(51)k.
Examine the ratio akak+1. We see this simplifies into
akak+1=(k1000)(51)k(k+11000)(51)k+1=(k1000)(k+11000)⋅51
Then, the identity (kn)(k+1n)=k+1n−k simplifies the above ratio as
akak+1=k+11000−k⋅51
which can be rewritten as
5(k+1)1000−k
Note that 5(k+1) will exponentially increase greater than 1000−k through properties of multiplication.
So, for the sequence to begin descent, we want the exact value of k in which
1000−k≤5(k+1)
Solving for which we obtain
k≥16565.
So there exists some n=k for which
(n1000)⋅(51)n
is as great as possible.
particularly n≥16565
Incorporation of the Conjecture
Every term in the binomial expansion of (1+0.2)1000 must be in the form
Ak=(k1000)(0.2)k
where k∈Z+ :0≤k≤1000.
The maximal value occurs at k≥16565. However, this isn't an integer. The next greatest integer will occur at k=166. Thus the value of k such that Ak is maximized is 166 □
~Pinotation
Solution 2
Let 0.ThenwemaywriteA_{k}^{}={N\choose k}x^{k}=\frac{N!}{k!(N-k)!}x^{k}=\frac{(N-k+1)!}{k!}x^{k}.Takinglogarithmsinbothsidesofthislastequationandusingthewell−knownfact\log(a_{}^{}b)=\log a + \log b(validifa_{}^{},b_{}^{}>0$), we have
log(Ak)=log[k!(N−k+1)!xk]=log[∏j=1kj(N−j+1)x]=∑j=1klog[j(N−j+1)x].
Now, log(Ak) keeps increasing with k as long as the arguments j(N−j+1)x>1 in each of the log[] terms (recall that logy<0 if 0).Therefore,theintegerk_{}^{}thatwearelookingformustsatisfyk=\Big\lfloor\frac{(N+1)x}{1+x}\Big\rfloor,where\lfloor z_{}^{}\rfloordenotesthegreatestintegerlessthanorequaltoz_{}^{}$.
In summary, substituting N=1000 and x=0.2 we finally find that k=166.
Solution 3
We know that once we have found the largest value of k, all values after Ak are less than Ak. Therefore, we are looking for the smallest possible value such that:
51k⋅(k1000)>51k+1⋅(k+11000)
Dividing by 51k gives:
(k1000)>51⋅(k+11000).
We can express these binomial coefficients as factorials.
(1000−k)!⋅(k)!1000!>51⋅(1000−k−1)!⋅(k+1)!1000!
We note that the 1000! can cancel. Also, (1000−k)!=(1000−k)(1000−k−1)!. Similarly, (k+1)!=(k+1)k!.
Canceling these terms yields,
(1000−k)1>51⋅(k+1)1
Cross multiplying gives:
5k+5>1000−k⇒k>165.8
Therefore, since this identity holds for all values of k>165.8, the largest possible value of k is 166.
Solution 4
We know that Ak will increase as k increases until certain k=m, where A0<A1<A2<⋯<Am−2<Am−1<Am and
Am>Am+1>Am+2>⋯>A1000.
Next, to change Ak−1 to Ak, we multiply Ak−1 by 5k1000−k+1. It follows that the numerator must be greater than the
denominator or
1000−k+1>5k
k<166.8
.
We conclude that the answer is 166.
Solution 5
Notice that the expansion is the largest the moment BEFORE the nCp<5 (this reasoning can probably be found in the other solutions; basically, if we have a number k and then k+1, the value is the largest when k+1 is larger than k, or in other words nCp∗51>1)
Say we have (51000)... this equals 5∗4∗3∗2∗11000∗999∗998∗997∗996, and if we have k+1, then it's just going to be equivalent to multiplying this fraction by 6995. Notice that this fraction's numerator plus denominator is equal to 1001. Calling the numerator x and the denominator y, we get that
x+y=1001
yx>5
x>5y
6y<1001
y<166.83333
and since the denominator is what we are specifically choosing, or in other words what k is, we conclude k = 166
Note: It may be more intuitive to equate x=5y and then use test points to figure out which side of the inequality to lie on.
Solution 6
Notice the relation between Am and Am+1. We have that: Am+1=Am⋅51⋅m+11000−m. This is true because from Am to Am+1 we have to multiply by 51=0.2 once,and then we must resolve the factorial issue. To do this, we must realize that
(m+11000)=(m+1)!(1000−m−1)!1000!=(m+1)!1000⋯(1001−m)(1000−m)
and that
(m1000)=m!(1000−m)!1000!=m!1000⋯(1001−m)
⟹(m1000)⋅m+11000−m
So now, we must find out for which m is 1000−m<5⋅(m+1) (when this happens the numerator is less than the denominator for the fraction m+11000−m so then we will have Am>Am+1) Then we find that for all m>165.833333, the above inequality (1000−m<5⋅(m+1)) holds, so then m=165 so k=m+1=166.
~qwertysri987