On this note, I said about some patterns, even though the Faulhaber's formula makes this somewhat useless, I found some patters, first of all, as someone commented:

\(\sum^n_{i=1}i^a\approx\frac{n^{a+1}}{a+1}\)

I will prove the following statement:

"The highest order term of the polynomial that represents \(\sum^n_{i=1}i^a\) is \(\frac{n^{a+1}}{a+1}\)"

I will use a strong induction to prove this, starting with the base case of \(a=0\), we have:

\(\displaystyle \sum^n_{i=1}i^a=n\) So the highest term is \(n=\frac{n^{a+1}}{a+1}\)

We will assume that this will work for \(a=0,1,2,\ldots,k\), then for \(a=k+1\), we have:

\(\displaystyle \sum^n_{j=1}j^{k+1}=\frac{\sum^{k+2}_{i=1}\binom{k+2}{i}n^i-\sum^k_{i=0}\left (\binom{k+2}{i}\sum^n_{j=1}j^i \right )}{k+2}\)

The highest term of this will be \(\frac{n^{k+2}}{k+2}\), that is obtained when, on the first sum, the \(i=k+2\), so \(\binom{k+2}{i}n^i=\binom{k+2}{k+2}n^{k+2}=n^{k+2}\), no other term has this order on the numerator, because the highest one on the other sum is \(\frac{n^{k+1}}{k+1}\), whose order is not the same, the term becomes \(\frac{n^{k+2}}{k+2}\) when I consider the denominator;

The other pattern I saw is that the second term of the sum is \(\frac{n^a}{2}\)

I will have to use the Faulhaber's formula:

\(\sum^n_{i=1}i^a=\frac{1}{a+1}\sum^a_{i=0}\binom{a+1}{i}B^+_in^{a+1-i}\)

The term of \(a\) degree appears when i=1 on the right sum, so it is:

\(\frac{1}{a+1}\binom{a+1}{1}B^+_1n^a=B^+_1n^a\)

Since \(B^+_1=\frac{1}{2}\) (I am using this definition), the term is:

\(\frac{1}{2}n^a=\frac{n^a}{2}\)

No vote yet

1 vote

×

Problem Loading...

Note Loading...

Set Loading...

Easy Math Editor

`*italics*`

or`_italics_`

italics`**bold**`

or`__bold__`

boldNote: you must add a full line of space before and after lists for them to show up correctlyparagraph 1

paragraph 2

`[example link](https://brilliant.org)`

`> This is a quote`

Remember to wrap math in \( ... \) or \[ ... \] to ensure proper formatting.`2 \times 3`

`2^{34}`

`a_{i-1}`

`\frac{2}{3}`

`\sqrt{2}`

`\sum_{i=1}^3`

`\sin \theta`

`\boxed{123}`

## Comments

Sort by:

TopNewestThese are great thoughts! Mathematicians look for patterns in the data, and then try to prove that the pattern exists, as you have done above.

Log in to reply