Thank you! I'm glad it was helpful.

  • MHB
  • Thread starter Albert1
  • Start date
  • Tags
    Integers
In summary, we have corrected the typo in the question and proved that $a_n = 160{n+6\choose6}$ for all $n\geqslant3$, which shows that each term of $a_n$ is an integer. This is proven using induction and the fact that binomial coefficients are integers.
  • #1
Albert1
1,221
0
$a_1=3,a_2=5757,\,\, a_n=\dfrac {7(a_a+a_2+-------+a_n)}{n}, \,\, (n\geq2)\,\, prove \,\,each\,\, term\,\, of\,\, a_n\,\,
is \,\, an \,\, integer$

correction :
$a_1=3,a_2=5757,\,\, a_n=\dfrac {7(a_1+a_2+-------+a_{n-1})}{n}, \,\, (n\geq2)\,\, prove \,\,each\,\, term\,\, of\,\, a_n\,\,
is \,\, an \,\, integer$
 
Last edited:
Mathematics news on Phys.org
  • #2
Albert said:
$a_1=3,a_2=5757,\,\, a_n=\dfrac {7(a_{\color{red}1}+a_2+-------+a_{n{\color{red}-1}})}{n}, \,\, (n\geq2)\,\, prove \,\,each\,\, term\,\, of\,\, a_n\,\,
is \,\, an \,\, integer$
[sp]Assuming that I'm right in making those corrections to the question, I claim that \(\displaystyle a_n = 160{n+6\choose6}\) for all $n\geqslant3$. The result then follows because binomial coefficients are integers.

To prove the claimed result by induction, check first that $a_1+a_2 = 3+5757 = 5760 = 2^7\cdot3^2\cdot5$, so that $a_3 = \dfrac{2^7\cdot3^2\cdot5\cdot7}3 = 2^7\cdot3\cdot5\cdot7.$ But $$160{9\choose6} = 2^5\cdot5\cdot\frac{9\cdot8\cdot7}{1\cdot2\cdot3} = 2^7\cdot3\cdot5\cdot7.$$ That establishes the base case $n=3$.

Now suppose that the result is true for $n$. Since $a_n = \frac7n(a_1+a_2 + \ldots + a_{n-1})$, it follows that $$a_1+a_2 + \ldots + a_{n-1} = \frac{na_n}7 = \frac{160n}7{n+6\choose6},$$ and so $$a_1+a_2 + \ldots + a_n = \frac{160n}7{n+6\choose6} + 160{n+6\choose6} = \frac{160(n+7)}7{n+6\choose6}.$$ Therefore $$a_{n+1} = \frac7{n+1}(a_1+a_2 + \ldots + a_n) = \frac{160(n+7)}{n+1}{n+6\choose6} = \frac{160(n+7)\cdot (n+6)!}{(n+1)\cdot6!\cdot n!} = \frac{160(n+7)!}{6!(n+1)!} = 160{n+7\choose n+1} = 160{n+7\choose 6}.$$ That completes the inductive step.[/sp]
 
  • #3
Opalg said:
[sp]Assuming that I'm right in making those corrections to the question, I claim that \(\displaystyle a_n = 160{n+6\choose6}\) for all $n\geqslant3$. The result then follows because binomial coefficients are integers.

To prove the claimed result by induction, check first that $a_1+a_2 = 3+5757 = 5760 = 2^7\cdot3^2\cdot5$, so that $a_3 = \dfrac{2^7\cdot3^2\cdot5\cdot7}3 = 2^7\cdot3\cdot5\cdot7.$ But $$160{9\choose6} = 2^5\cdot5\cdot\frac{9\cdot8\cdot7}{1\cdot2\cdot3} = 2^7\cdot3\cdot5\cdot7.$$ That establishes the base case $n=3$.

Now suppose that the result is true for $n$. Since $a_n = \frac7n(a_1+a_2 + \ldots + a_{n-1})$, it follows that $$a_1+a_2 + \ldots + a_{n-1} = \frac{na_n}7 = \frac{160n}7{n+6\choose6},$$ and so $$a_1+a_2 + \ldots + a_n = \frac{160n}7{n+6\choose6} + 160{n+6\choose6} = \frac{160(n+7)}7{n+6\choose6}.$$ Therefore $$a_{n+1} = \frac7{n+1}(a_1+a_2 + \ldots + a_n) = \frac{160(n+7)}{n+1}{n+6\choose6} = \frac{160(n+7)\cdot (n+6)!}{(n+1)\cdot6!\cdot n!} = \frac{160(n+7)!}{6!(n+1)!} = 160{n+7\choose n+1} = 160{n+7\choose 6}.$$ That completes the inductive step.[/sp]
sorry a typo
Yes you are right in making those corrections to the question
very good solution !
 

FAQ: Thank you! I'm glad it was helpful.

What does it mean to "prove all a_ns are integers"?

Proving all a_ns are integers means to show that for any given set of numbers, all of the numbers in the set are integers. In other words, there are no decimal or fractional numbers in the set, only whole numbers.

How can one prove that all a_ns are integers?

This can be proven through various mathematical methods, such as mathematical induction or direct proof. The key is to show that for any value of n, the result is always an integer.

What is the significance of proving all a_ns are integers?

Proving all a_ns are integers can have various implications in different fields of study. It can help in solving mathematical equations, understanding patterns and relationships between numbers, and making predictions about future values.

Can all a_ns be proven to be integers without using mathematical methods?

No, proving all a_ns are integers requires the use of mathematical methods and equations. Without these tools, it would be difficult to show that a set of numbers only contains integers.

Are there any exceptions to the statement "all a_ns are integers"?

Yes, there can be exceptions to this statement. For example, if the set contains irrational numbers, such as pi or the square root of 2, then not all a_ns would be integers. However, if the set is specified to only contain whole numbers, then the statement would still hold true.

Similar threads

Replies
1
Views
878
Replies
1
Views
1K
Replies
1
Views
987
Replies
4
Views
3K
Replies
7
Views
2K
Replies
3
Views
2K
Replies
3
Views
1K
Replies
5
Views
2K
Back
Top