Indução Matemática

Na indução matemática, também conhecida como “indução infinita” ou “raciocínio

recursivo”, prova-se que uma propriedade é verificada por todos os elementos de um conjunto
verificando que ela vale para o primeiro elemento e demonstrando que, se vale para o k-ésimo
elemento, também vale para o k-ésimo-primeiro.
Neste documento vamos aplicar a indução matemática para provar alguns teoremas de
somatórias de números consecutivos em ℕ+.

● Soma dos n primeiros Naturais

n
n1
∑ j=n 2
j=1

Prova:

Para n=1

11
1=1
2

2
1=
2

1=1 ✔

Hipótese:

k1
123...k=k
2

k 1
123...k  k 1=k  k 1
2

k 1 k 1
123...k  k 1=k 2
2 2

k 1
123...k  k 1=k 2
2

 k11
123...k  k 1=k 1
2

Portanto, se a propriedade vale para k, também vale para k+1.

Como foi verificado que vale para 1, então vale para todo x ∊ ℕ+ . Q.e.d.
● Soma dos quadrados dos n primeiros Naturais
n
n1⋅2n1
∑ j2=n 6
j=1

Prova:

Para n=1

11⋅2⋅11
12=1
6

6
1=
6

1=1 ✔

Hipótese:

 k 1⋅2k1
122232...k 2=k
6

 k 1⋅2k1
122232...k 2=k
6

2 2 2 2 2  k 1⋅2k1 2
1 2 3 ...k k 1 =k  k 1
6

 k 2k ⋅ 2k1 2

122232...k 2k 12= k 2k 1
6

 2k 33k 2k  6k 212k 6

122232...k 2k 12= 
6 6

 2k 39k 213k6
122232...k 2k 12=
6

 2k 2 k 17k 2 13k 1−7

122232...k 2k 12=
6

 2k 2 k 113 k 17 k 2 −1

122232...k 2k 12=
6

2k 213 7 k −1

1 22 23 2...k 2 k1 2=k1
6

 2k 27k 6
122232...k 2k 12=k 1
6
 2 2 2 2  2k 27k 6
2
1 2 3 ...k k 1 =k 1
6

2 2 2 2 2  k 2⋅2k3
1 2 3 ...k k 1 =k 1
6

 k 11⋅2 k 11
122232...k 2k 12=k 1
6

Portanto, se a propriedade vale para k, também vale para k+1.

Como foi verificado que vale para 1, então vale para todo x ∊ ℕ+ . Q.e.d.

● Soma dos cubos dos n primeiros Naturais

n
n12
∑ j 3=n2
4
j=1

ou seja
2

 
n n

∑j= ∑j 3

j=1 j=1

isto é, a somatória dos cubos dos n primeiros Naturais é igual à somatória ao quadrado dos
n primeiros naturais.

Prova:

Para n=1

3 1122
1 =1
4

4
1=
4

1=1 ✔

Hipótese:

 k 12
132333...k 3=k 2
4

 k 12
132333...k 3k 13=k 2 k 13
4

 k 2 2k1 3
132333...k 3k 13=k 2 k 3k 23k1
4
 3 3 3 3  k 42k 3k 2   4k 312k 212k 4
3
1 2 3 ...k k 1 = 
4 4

3 3 3 3  k 46k 313k 212k 4

3
1 2 3 ...k k 1 =
4

3 3 3 3  k 24k4
3 2
1 2 3 ...k k 1 =k 1
4

 k 22
132333...k 3k 13=k 12
4

 k 112
132333...k 3k 13=k 12
4

Portanto, se a propriedade vale para k, também vale para k+1.

Como foi verificado que vale para 1, então vale para todo x ∊ ℕ+. Q.e.d.

● Soma das quartas potências dos n primeiros Naturais

n
 n1⋅ 2n1⋅3n 23n−1
∑ 4
j =n
30
j=1

Prova:

Para n=1

11 ⋅2⋅11⋅3⋅1 23⋅1−1 

1 4=1
30

2⋅3⋅33−1
1=
30

30
1=
30

1=1 ✔

Hipótese:

k 1⋅ 2k1⋅3k 2 3k−1

1424 34...k 4 =k
30

k 1⋅2k1⋅3k 23k−1
1424 34...k 4  k 14=k  k 14
30
 4 4 4 4  k 2 k ⋅6k 39k 2 k −1
4
1 2 3 ...k  k 1 = k 4 4k 36k 2 4k1
30

6k515k 410k3−k  30k 4120k3180k2120k30

142 434 ...k 4k14= 
30 30

6k 545k 4130k 3180k 2 119k30

1424 34...k 4  k 14=
30

6k 439k 391k 289k 30 

1 42 43 4...k 4k14=k 1
30

 k 2⋅6k3 27k 237k15

1424 34...k 4  k 14= k 1
30

 k 2⋅2k3⋅3k 29k5
1424 34...k 4  k 14= k 1
30

 k 11⋅ 2 k11⋅3k 123 k 1−1

1424 34...k 4  k 14= k 1
30

Portanto, se a propriedade vale para k, também vale para k+1.

Como foi verificado que vale para 1, então vale para todo x ∊ ℕ+. Q.e.d.

● Soma de números ímpares Naturais consecutivos a partir de 1

2n−1

∑ 2j−1=n2
j=1

Ou seja, que a somatória dos n primeiros números ímpares resulta em n2, tal como ilustrado
na figura a seguir:
 Prova:

Para n=1

1=12

1=1 ✔

Hipótese:

135...2k −1=k 2

135...2k−12k1=k 22k1

135...2k −12k 1= k 12

Portanto, se a propriedade vale para k, também vale para k+1.

x
Como foi verificado que vale para 1, então vale para todo x ∈{x∣x ∈ℕ , ∉ℕ} . Q.e.d.
2

Dante Cardoso Pinto de Almeida

I, the copyright holder of this work, hereby release it into the public domain. This applies
worldwide.
In case this is not legally possible:
I grant anyone the right to use this work for any purpose, without any conditions, unless such
conditions are required by law.

Eu, como autor desta obra, venho por este meio colocá-la no domínio público. Isto vale
mundialmente.
Se tal não for legamente possível:
Concedo a qualquer um o direito de usar esta obra para qualquer finalidade, sem restrições, excepto
aquelas requeridas pela lei.