Elementos de Matemática Finita Exercícios Resolvidos - Princípio de Indução; Algoritmo de Euclides 1. Seja ( n) k n! k!(n k)! o coeficiente binomial, para n k 0. Por convenção, assumimos que, para outros valores inteiros de n e k, ( n k) 0. Mostre, por indução, que ( ) n k n 1 j0 ( ) j. Resolução: Vamos fixar um k N. Seja P(n,k) a equação acima, que se pretende mostrar. Seja n k. Então, a equação fica ( n) n n 1 ( j j0 n 1) 0 + + 0 + ( n 1), (são n 1 parcelas nulas, quando j < n 1) que equivale a 1 1 (pois 0! 1). Assim, mostrámos o passo base da indução. Assumimos agora que a fórmula é válida para n k. Temos então: ( ) n + 1 (n + 1)! k k!(n + 1 k)! (n + 1 k)n! k!(n + 1 k)! + k n! k!(n + 1 k)! n! k!(n k)! + n! ()!(n + 1 k)! ( n k n j0 ) + ( n ( ) j, (n + 1)n! (n + 1 k)n! + k n! k!(n + 1 k)! k!(n + 1 k)! ) n 1 j0 ( j ) + ( ) n onde a hipótese de indução foi usada na igualdade da penúltima linha.. Seja n um natural e sejam b 1,,b n números reais positivos. Mostre, por indução, que a sua média aritmética é superior ou igual á sua média geométrica, isto é: b 1 + + b n n (b 1 b n ) 1 n. Resolução: Para n 1 temos um número real b b 1. A desigualdade fica, b 1 (b)1 que é verdadeira. Assumimos agora que a desigualdade acima é válida para quaisquer b 1,,b n reais positivos. Consideremos então a 1,,a n+1 reais positivos arbitrários. Seja A : (a 1 a n+1 ) 1 n+1, 1
ou seja A n+1 a 1 a n+1. Assim, existe pelo menos um par de índices distintos, i,j [n + 1] {1,,n + 1} tais que a i A a j > 0. Sem perda de generalidade, podemos assumir que esses índices são n e n + 1, ou seja, a n A a n+1 > 0. Isto significa que 0 1 A (a n A)(a n+1 A) a na n+1 A + A (a n + a n+1 ) (1) Seja b 1 : a 1,..., b n 1 : a n 1, mas agora b n : ana n+1 A. Então, usando a equação (1) na segunda linha: a 1 + + a n+1 a 1 + + a n 1 + a n + a n+1 a 1 + + a n 1 + a na n+1 + A A b 1 + + b n + A n(b 1 b n ) 1 n + A n(a 1 a n 1 a n a n+1 A ) 1 n + A n(a n+1 1 A ) 1 n + A na + A (n + 1)A (n + 1)(a 1 a n+1 ) 1 n+1 como queriamos provar (o passo de indução é usado na terceira linha). 3. Considere a seguinte afirmação, evidentemente falsa, em geral: P(n) : n k0 k n + n + 1. Vamos assumir que a proposição é válida para um dado natural n. Então n+1 n k (n+1)+ k n+1+ n + n + 1 k0 k0 n + 3n + 3 (n + 1) + (n + 1) + 1, que é a afirmação P(n+1). Uma vez que o princípio de indução foi correctamente aplicado, porque é que P(n) não é verdadeira para todo o natural n? Resolução: Porque não começámos a indução num certo P(n 0 ) que fosse verdadeiro. De facto, por exemplo P(1) significaria que 1 k0 k 0 + 1 1 +1+1 3, o que é falso. Da mesma forma, P() é falsa, etc, pelo que não conseguimos encontrar o natural n 0 a partir do qual aplicar a indução. 4. Considere os inteiros a 406 e b 654. (a) Encontre d mdc(a,b), o máximo divisor comum entre a e b. (b) Encontre inteiros x e y, que satisfaçam a identidade de Bézout ax + by d. (c) Resolva a equação ax + by 730, com x,y inteiros e y > 0. (d) É possível resolver a equação ax + by 184 com x,y inteiros?
Resolução: (a) Para determinar o mdc, usamos o algoritmo de Euclides, baseado no algoritmo da divisão. Temos sucessivas divisões com resto, Logo 406 3 654 + 444 654 1 444 + 10 444 10 + 4 10 8 4 + 18 4 1 18 + 6 18 3 6 + 0. mdc(406,654) mdc(654,444) mdc(18,6) 6. (b) Vamos usar o desenvolvimento do algoritmo de Euclides na alínea (a) para obter uma identidade da forma ax + by 6. Assim, escrevemos: 6 4 + ( 1) 18 4 + ( 1) (10 8 4) ( 1) 10 + 9 4 ( 1) 10 + 9 (444 10) 9 444 + ( 19) 10 9 444 + ( 19) (654 444) ( 19) 654 + 8 444 ( 19) 654 + 8 (406 3 654) 8 406 + ( 103) 654. Assim, (x, y) (8, 103) é uma solução. (c) Para resolver a equação ax+by 10 primeiro verificamos que 6 é divisor de 10. De facto, 10 17 6. Como a, b e c 10 são todos divisíveis por 6, a equação dada é equivalente a 406 6 x + 654 6 y 10 6 401x + 109y 17. A identidade da alínea (a) mostra que x : 8, y : 103 é solução da equação 401x + 109y 1 (pois esta última equivale a 406x + 654y 6). Assim, (x 0,y 0 ) : (17 (8),17 ( 103))) (476, 1751) é solução da equação pedida. No entanto, a coordenada y é negativa. Para encontrar uma outra solução com y positivo, usamos o facto de que todas as soluções de 401x + 109y 17 (note-se que 401 e 109 são primos entre si) são dadas por (x k,y k ) (x 0 + 109k, y 0 401k), k Z. Assim, basta encontrar k inteiro de modo a ter 1751 401k positivo. Temos que ter k 5. Por exemplo, com k 5, obtemos (x k,y k ) ( 69,54). [Verificação: 401 ( 69) + 109 54 17.] (d) Como 184/6 30 + 3, 6 não é divisor de 184, pelo que a equação dada não tem soluções inteiras. 3
5. Mostre as seguintes propriedades da relação de divisibilidade: (a) a b se e só se o resto da divisão de b por a é zero; (b) Para todos os inteiros a,k, temos a ka; (c) Se a b para todo o a Z, então b 0; Se a b para todo o b Z, então a ±1; (d) Sejam a, b Z. Se a b e b a então a b ; Resolução: (a) Se a b então, por definição q Z tal que b qa. Assim, o quociente da divisão de b por a é q, e o resto é zero; reciprocamente, se o resto da divisão de b por a é zero, então b qa para certo quociente q Z, o que, por definição diz-nos que a b. (b) Sejam a,k Z. Por definição a ka q Z tal que ka qa. Esta afirmação é válida com q : k, pelo que a ka verifica-se sempre. (c) A expressão a b a Z, significa, por definição, que b é um inteiro tal que, para todo a inteiro, existe q Z, tal que b qa. Seja a > b > 0; Então a b é impossível (pois para isso teríamos q b a, que não é inteiro). Seja 0 > b > a; então novamente, a b é impossível (pela mesma razão). Assim, b só pode ser 0. De facto, com b 0 basta escolher q 0 para termos 0 0 a para todo o a Z. A expressão a b b Z, significa, por definição, que a é um inteiro tal que, para todo b inteiro, existe q Z, tal que b qa. Seja a um número natural maior que 1. Então a + 1 N e a não divide a + 1, pois o resto da divisão de a + 1 por a é 1. Se a 0 não há forma de encontrar q para resolver a equação b q 0 com b 0. Mas se a 1, dado b Z temos sempre 1 b pois existe q Z (de facto, q : b) tal que b q 1. Assim, se a N, a única hipótese é a 1. Do mesmo modo, se a N, verifica-se que a única hipótese é a 1. (d) Sejam a,b positivos. Então a b e b a implica que a b e b a respectivamente. Logo a b. Se a é positivo e b negativo, seja c b. Aplicando o raciocínio anterior, temos a b. Os outros casos são análogos, pelo que se sempre se conclui que a b. 6. Mostre ou indique um contra-exemplo para as seguintes afirmações: (a) Sejam a, b, c Z. Se a bc então a b ou a c; (b) Sejam m e n naturais cujas factorizações em primos não contém primos em comum. Então mdc(m,n) 1. (c) Sejam a,b Z. Se mdc(a,b) d então mdc( a d, b d ) 1. (d) Para a,b Z, e k N, temos mdc(ka,kb) k mdc(a,b). Resolução: (a) A afirmação é falsa em geral. Por exemplo, se a 6, b 3 e c 4 temos que a bc pois 6 1. No entanto, 6 não divide nem 3, nem 4. A afirmação é verdadeira nos casos em que a é primo (visto nas aulas), ou em que (b,c) 1 (ver o problema seguinte). (b) Vamos supor que d m, com d > 1. Seja p um primo que divide d. Então, pela transitividade, p m. Logo, se um inteiro é divisível por d > 1, então 4
existe pelo menos um primo que o divide. Seja d > 1 um divisor comum a m e n. Então, há um primo p que divide m e n simultaneamente. Sejam m p 1 p r e n q 1 q s as factorizações de m e n. Por hipótese, nenhum dos p s é igual a um dos q s. Mas p p 1 p r implica que p p i para algum i (estamos a considerar os p i s podem ser iguais). Da mesma forma p n significa que p q 1 q s implica p q j para algum j. Isto contradiz o facto de {p 1,,p r } {q 1,,q s }. Logo, apenas d 1 divide simultaneamente m e n. (c) Se (a,b) d então, pela aplicação do algoritmo de Euclides, existe solução inteira de ax + by d. Mas a/d e b/d são também inteiros e aquela equação é equivalente a a d x + b d y 1. Seja ( a d, b d ) c. Então temos c a d e c b d, e esta equação implica c 1. Mas isto quer dizer que c 1. (d) Seja d mdc(a,b). Então kd ka e kd kb, porque d a e d b. Logo kd é um divisor comum a ka e kb. Por outro lado, pela identidade de Bézout, é possível resolver a equação d ax + by, com x,y Z, equação que equivale a kd kax + kby. Consideremos c Z tal que c ka e c kb. Pela última equação c kd. Assim, por definição, kd é o máximo divisor comum entre ka e kb. 5