Induzione

Greeneerr
Salve a tutti, sono uno studente del politecnico in informatica. La questione che mi urge è la seguenete:

Provare per induzione che $sum_(i = 0)^(n) i^4 = (n*(n+1)*(2n+1)*(3*n^2 + 3*n -1))/30$ è vera.
Ora: - Basic step: n = 0 $(0*(0+1)*(2*0 + 1)*(3*0^2 + 3*0 -1))/ 30 = 0$, dunque giusto.
- Inductive step: n = n+1 $sum_(i = 0)^(n+1) i^4 = (sum_(i = 0)^(n) i^4) + (n+1)^4 = (n*(n+1)*(2n+1)*(3*n^2 + 3*n -1))/30 + (n+1)^4 = ((n+1)*(n*(2*n+1)(3*n^2 + 3*n -1)) + 30(n+1)^3)/30$ ...

Da qui in avanti mi sono bloccato, è un ora che ci sto dietro ma nn riesco ad andare avanati. Qualcuno potrebbe aiutarmi?
Grazie in anticipo

Risposte
Greeneerr
manca una parte:
$((n+1)*(n*(2*n+1)(3*n^2 + 3*n -1) + 30(n+1)^3))/30 $

Greeneerr
nessuno?

Palliit
Basta che verifichi, con due calcoli, se il numeratore dell'ultima cosa che hai scritto è identico a:

$(n+1)(n+1+1)(2n+2+1)[3(n+1)^2+3(n+1)-1]$.

In caso affermativo, la cosa è dimostrata.

Greeneerr
eeh si so che si puo fare cosi, ma mi piacerebbe fare qualcosa di un po piu elegante

Palliit
Mah, se trovi un altro modo postalo che sono curioso, ciao

Noisemaker
Per induzione bisogna dimostrare che:
\begin{align}
&\sum_{i = 1}^n i^4 = (n(n+1)(2n+1)(3n^2 + 3n -1))/30\\
\\\text{o, equivalentemente che:}\\
&1+2^4+3^4+....+n^4 =\frac 1 {5}n^5+\frac 1 {2}n^4+\frac 1 {3}n^3-\frac 1 {30}n
\end{align}
-Base dell'induzione: per $n=1$:
\begin{align}
1=\frac 1 {30}\cdot2\cdot3\cdot5=1
\end{align}
che è banalmente verificata;
- Passo induttivo: supponiamo vera la proposizione per $n$, e mostriamo che è vera per $n+1$, cioè:

\begin{align}
1+2^4+3^4+....+n^4+(n+1)^4 =\frac 1 {5}(n+1)^5+\frac 1 {2}(n+1)^4+\frac 1 {3}(n+1)^3-\frac 1 {30}(n+1)
\end{align}
questa uguaglianza è verificata se lo è la seguente uguaglianza:

\begin{align}\frac 1 {5}(n+1)^5+\frac 1 {2}(n+1)^4+\frac 1 {3}(n+1)^3-\frac 1 {30}(n+1)=\frac 1 {5}n^5+\frac 1 {2}n^4+\frac 1 {3}n^3-\frac 1 {30}n + (n+1)^4
\end{align}
e svolgendo i calcoli, si verifica che la proposizione vale per $n+1$ e dunque $\forall n.$

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.