Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
para .
Prova, por induo em .
Base da induo: .
Nesse caso, os dois lados da identidade valem e portanto so iguais.
Passo da induo: .
Por hiptese de induo,
Portanto,
)
(
02) Prove por induo matemtica para qualquer nmero natural no nulo tem-se
para .
Para temos que , o que obviamente verdade.
Para provar o passo de induo supomos que a afirmao vlida para e provemos para . Temos
que:
E fica ento provado o passo de induo, o que completa a demonstrao.
03) Prove por induo matemtica que
para .
Passo base: Para , e
04) Prove por induo matemtica que
inteiros .
Passo base: Para n = 2,
. O passo
base verdadeiro.
Passo indutivo: se a frmula verdadeira para n = k, k 2 ento deve ser verdadeira para n = k+1.
Hiptese indutiva:
Deve-se mostrar que:
Sabe-se que:
[ ]
05) Ache a frmula fechada para a soma: .
Somando os primeiros termos e simplificando temos que:
O que leva a conjectura que para todos os inteiros positivos ,
Passo base: Para ,
Deve-se mostrar que:
Sabe-se que:
06) Ache a frmula fechada para o produto: (
) (
) (
) (
), inteiros e
prove o resultado por induo matemtica.
Seja a suposio que
(
) (
) (
) (
) (
inteiros . Deve-se provar que de fato essa suposio verdadeira.
Passo base: Para n = 2, (
. O passo base
verdadeiro.
Passo indutivo: se a frmula verdadeira para , ento deve ser verdadeira para .
Hiptese indutiva:
(
) (
) (
) (
) (
Deve-se mostrar que:
(
) (
) (
) (
)(
) (
Sabe-se que:
(
)
(
) (
)
(
) (
)
08) Prove por induo matemtica que a soma
.
Supomos que a frmula vlida para um certo e provamos que nesse caso tambm vlida para .
Fazemos isto do seguinte modo:
.
Mas estamos a supor a frmula vlida para , ou seja, que
.
Ento:
(
.
Provamos assim o chamado passo de induo, ou seja, que se a frmula se verifica para um inteiro se
verifica para o seguinte. Mas como a frmula vlida para , vlida para , e como vlida
para , vlida para e assim sucessivamente, sendo vlida para todos os inteiros.
01) construir e analisar o algoritmo para realizar a separao de uma lista de n valores presentes
em um vetor em elementos pares e impares.
algoritmo organizaVetor (vetor V, tamanho n)
Entrada: Um vetor V com n>=1 elementos inteiros.
Sada: vetor V com valores pares e mpares separados.
inteiro i, j;
i <- 1;
j <- n;
faa
enquanto V[i] par faa i++;
enquanto V[j] mpar faa j++;
troca V[i] e V[j];
i++;
j++;
enquanto (i<j);
retorne V;
fim_algorimo
02) Construir e analisar o algoritmo para realizar a transposio de uma matriz n x m.
algoritmo transposta (matriz M, tamanho n)
Entrada: Uma matriz M com n>=1 elementos inteiros. (matriz)
Sada: Matriz transposta de M.
inteiro i, j, aux;
para i de 1 at n-1 faa
para j de i-1 at n faa
aux <- M[i, j];
M[i, j] <- M[j, i];
M[j, i] <- aux;
fim_para
fim_para
retorna M;
fim_algoritmo
03) Construir e analisar o algoritmo para realizar a multiplicao de matrizes n x m.
algoritmo multiplica (matriz A, matriz B, tamanho n)
Entrada: Duas matrizes A e B com n>=1 elementos inteiros.
Sada: Uma matriz C correspondente a multiplicao de A e B.
inteiro i, j, k;
Mat C <- 0;
para i de 1 a n
para j de 1 a n
para k de 1 a n
C[i,j] += A[i,k] * B[k,j];
retorna C;
fim_algoritmo
04) Construa e analisar o algoritmo para realizar ordenao de um vetor de tamanho n utilizando
o bubble sort.
algoritmo bubble (vetor V, tamanho n)
Entrada: Um vetor V com n>=1 elementos inteiros.
Sada: Vetor V ordenado de forma decrescente.
inteiro i, j, aux;
para i de 1 ate 4 faa
para j de i + 1 ate 5 faa
se(V[i] > V[j]) ento
aux <- V[i]
V[i] <- V[j]
V[j] <- aux
fim_se
fim_para
fim_para
retorna V;
fim_algoritmo