Corretude - UFCG

Introdução Indução Algoritmos Recursivos Algoritmos IterativosExemplo 1Mostre que a equação 1 + 3 + 5 + . . . + (2n − 1) = n 2 é verdadeira paratodo n ∈ Z + .Para n = 1, 1 = 1 2 é verdadeiro. Agora supomos P(k) verdadeiro1 + 3 + 5 + . . . + (2k − 1) = k 2 (1)Prof. Dr. Leandro Balby Marinho 7 / 44 UFCG CEEI