DEMONSTRAÇÃO:

BASE:

Para n = 1 tem-se:

1 ( 3 .1−1 )
( 3 .1−2 ) =
2
( 3−1 )
( 3−2 )=
2
2
1=
2
1=1
HIPÓTESE:

k (3 k−1 )
Supondo que para n = k, 1+4 +7+ …+ ( 3 k−2 )= é verdadeira.
2
TESE:

n ( 3 n−1 )
Queremos mostrar que para n = k + 1, a expressão 1+4 +7+ …+ ( 3 n−2 ) = também
2
é verdadeira, ou seja:

( k+ 1 ) [ 3 ( k +1 )−1 ]
1+4 +7+ …+ [ 3 ( k +1 )−2 ]=
2
( k +1 ) [ 3 k +3−1 ]
1+4 +7+ …+3 k +1=
2
( k +1 ) (3 k +2)
1+4 +7+ …+3 k +1=
2

Somando a ambos os membros da nossa hipótese 3 k +1, tem-se:

k ( 3 k−1 )
1+4 +7+ …+ ( 3 k−2 )+3 k+ 1= +3 k +1
2
k ( 3 k −1 ) 2 (3 k+ 1 )
1+4 +7+ …+3 k +1= +
2 2

3 k 2−k +6 k +2
1+4 +7+ …+3 k +1=
2
3 k 2 +5 k +2
1+4 +7+ …+3 k +1=
2
 ( k +1 ) ( 3 k +2 )
1+4 +7+ …+3 k +1=
2

Como queríamos demonstrar.

RASCUNHO:
2
3 k +5 k +2
2
∆=5 −4.3 .2=1
−5 ±1
6
' −5+1 −4 −2
k= = =
6 6 3
' −5−1 −6
k' = = =−1
6 6

2
( 23 )=3 ( k +1) ( 3 k3+2 )=( k +1 )(3 k +2)
3 k +5 k +2=3 ( k +1 ) k+

2
3 k +5 k +2=3 ¿