Come consideri # x ^ 3 - 1 #?

Voglio approfondire un'idea espressa nella risposta precedente

L'idea di:

# (x^n - 1)/(x-1) = sum_(r=1) ^n x^(n-r) #

o no in notazione sigma:

# (x^n -1 )/(x-1) = x^(n-1) + x^(n-2) + ... + x + 1 #

Possiamo dimostrarlo tramite l'induzione:

Caso di base:

#=> n = 1 #

#LHS: (x^1-1)/(x-1) = 1 #

#RHS: x^(1-1) = x^0 = 1 #

Quindi vale il caso base

Induzione:

Assumere #n=k# vale:

# (x^k - 1)/(x-1) = sum_(r=1) ^k x^(k-r) #

#n = k+1 #:

#sum_(r=1) ^(k+1) x^(k+1-r) = (sum_(r=1) ^k x^(k+1-r)) +1 #

#= x *(sum_(r=1) ^(k) x^(k-r)) + 1 #

#= x * ( (x^k -1)/(x-1) ) + 1 #

#= (x^(k+1) - x)/(x-1) + 1 #

#= (x^(k+1) - x) / (x-1) + (x-1)/(x-1) #

#= (x^(k+1) - 1 )/(x-1) #

Quindi questo è anche ciò che produciamo quando ci colleghiamo direttamente alla formula:

Quindi vale per tutti #k in ZZ^+# e tutti # k+1 in ZZ^+ # così vale per tutti #n in ZZ^+#

#=># Comprovato dall'induzione matematica

Ho pensato che fosse una bella idea da considerare!