FEUP / LEIC

TEORIA DA COMPUTAO

EXERCCIOS DE INDUO
1

Um palndromo uma cadeia de caracteres que se l da mesma forma da frente para

trs e de trs para a frente. Considere a seguinte definio indutiva do conceito
relacionado pal:
1. Cada letra do alfabeto um pal.
2. Se um pal tambm o o resultado de concatenar uma letra qualquer antes e
depois de .
3. Nada um pal excepto se obtido por via de 1. e 2.
Prove por induo que todo o pal um palndromo. O converso verdadeiro? Se for,
prove-o. Se no for, corrija a definio de forma a que passe a s-lo.

Definio de rvore:
1. Um n simples uma rvore.
2. Se T1, T2, ..., Tk forem rvores, a estrutura que resulta de tomar um novo n N e
ligar por uma aresta cada uma das rvores T1, T2, ..., Tk a N uma rvore.
3. Mais nada rvore para alm do obtido por 1. e 2.
Prove que uma rvore tem um nmero de ns N superior em uma unidade ao nmero
de arestas E.

Prove que a soma dos n primeiros cubos perfeitos um quadrado perfeito. [Nota:
precisa de provar uma afirmao mais forte (Paradoxo do Inventor).]

Prove que, para todos os nmeros naturais 1+3+5+ ...+(2n+1) = (n+1) 2.

Prove que, para todos os nmeros naturais n2, (1-1/2)(1-1/3)(1-1/n) = 1/n.

Prove que, para todos os nmeros naturais n 1, 2 um factor de n2+n.

Uma caixa Multibanco dispe apenas de notas de 20 e 50 . Prove por induo que
esta mquina pode fornecer qualquer quantia que seja um mltiplo de 10 , igual ou
superior a 40 .
Defina a estrutura sobre qual vai realizar a induo. Mostre os diferentes passos da
prova.

Uma rvore binria pode ser definida recursivamente da seguinte forma: uma rvore
binria constituda por um n e 0, 1 ou 2 (sub)rvores ligadas por arcos a esse n.
Designa-se por n completo um n que tenha duas subrvores. Designa-se por folha
um n que no tenha subrvores. Pretende-se provar, usando induo matemtica, que,
em qualquer rvore binria, o nmero de folhas igual ao nmero de ns completos
mais um.
Indique a estrutura sobre a qual vai realizar a induo, explicitando a sua definio
indutiva.

GABRIEL D AVID/CRISTINA RIBEIRO

INDUO - 1/1