[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [obm-l] Dúvida



Olá Nicolau!

Eu estava para postar a solução que havia encontrado e vi que a sua é praticamente a mesma coisa. O que fiz segue abaixo:

Multiplicando (a+b+c) por (a^20+b^20+c^20) temos:

(a+b+c)(a^20+b^20+c^20) = a^21+b^21+c^21 + a^20(b+c)+b^20(a+c)+c^20(a+b)

Assim

a^21+b^21+c^21 = (a+b+c)(a^20+b^20+c^20) - a^20(b+c)+b^20(a+c)+c^20(a+b)

Nos termos a^20(b+c)+b^20(a+c)+c^20(a+b) se passarmos cada a,b,c para dentro dos parênteses teremos a^19(ab+ac)+b^19(ab+bc)+c^19(ac+bc)

Se tentarmos gerar ab+ac+bc, que pode depois ser encontrada na relação (a+b+c)^3 = a^3+b^3+c^3 + 3(a+b+c)(ab+ac+bc) - 3abc, temos

a^19(ab+ac)+b^19(ab+bc)+c^19(ac+bc) = a^19(ab+ac+bc)+b^19(ab+ac+bc)+c^19(ab+ac+bc) - (a^19bc + b^19ac + c^19ab) = (ab+ac+bc)(a^19+b^19+c^19) - (a^19bc + b^19ac + c^19ab)

Assim

a^21+b^21+c^21 = (a+b+c)(a^20+b^20+c^20) - [(ab+ac+bc)(a^19+b^19+c^19) - (a^19bc + b^19ac + c^19ab)]

O último termo pode ser representado como a equação seguinte que incorpora na igualdade o termo abc

a^19bc + b^19ac + c^19ab = a^18abc + b^18abc + c^18abc = abc(a^18+b^18+c^18)

Portanto

a^21+b^21+c^21 = (a+b+c)(a^20+b^20+c^20) - (ab+ac+bc)(a^19+b^19+c^19) + abc(a^18+b^18+c^18)

Dessa forma, podemos representar a seqüência S de forma recursiva

Sn = (a+b+c)Sn-1 - (ab+ac+bc)Sn-2 + abcSn-3

Calculando ab+ac+bc

(a+b+c)^2 = (a^2+b^2+c^2) + 2(ab+ac+bc)

1^2 = 3 + 2(ab+ac+bc)

(ab+ac+bc) = -1

Calculando abc

(a+b+c)^3 = a^3+b^3+c^3 + 3(a+b+c)(ab+ac+bc) - 3abc

1^3 = 7 + 3.1.(-1) - 3abc

abc = 1

A relação recursiva fica

Sn = Sn-1 + Sn-2 + Sn-3

que é o que foi encontrado na sua solução.

Assim

S1 = 1
S2 = 3
S3 = 7
S4 = 11
S5 = 21
S6 = 39
S7 = 71
S8 = 131
S9 = 241
S10 = 443
S11 = 815
S12 = 1499
S13 = 2757
S14 = 5071
S15 = 9327
S16 = 17155
S17 = 31553
S18 = 58035
S19 = 106743
S20 = 196331
S21 = 361109

Então

a^21 + b^21 + c^21 = 361109

On 6/21/07, Nicolau C. Saldanha <nicolau@mat.puc-rio.br > wrote:
On Thu, Nov 01, 2001 at 02:02:41AM -0300, Pedro Costa wrote:
> Amigos da lista, me dê uma idéia resolver esta questão:
>
> Se a, b e c são números complexos tais que a+b+c = 1, a^2+b^2+c^2 = 3 e
> a^3+b^3+c^3 = 7, determine o valor de a^21+b^21+c^21.

Sejam X = ab+ac+bc, Y = a^2b + ab^2 + a^2c + ac^2 + b^2c + bc^2, Z = abc.
Temos
(a+b+c)^2 = (a^2+b^2+c^2) + 2(ab+ac+bc)
1 = 3 + 2X
X = -1

(ab+ac+bc)(a+b+c) = (a^2b+ab^2+a^2c+ac^2+b^2c+bc^2) + 3abc
-1 = Y + 3Z

(a+b+c)^3 = (a^3+b^3+c^3) + 3(a^2b+ab^2+a^2c+ac^2+b^2c+bc^2) + 6abc
-1 = 7 + 3Y + 6Z

Y = -4, Z = 1

Assim a, b, c são as raízes de x^3 - x^2 - x - 1 = 0.
Podemos observar que a seqüência p_n = a^n+b^n+c^n satisfaz
p_(n+3) = p_(n+2) + p_(n+1) + p_n donde obtemos os valores abaixo para p_n:

p_1  = 1
p_2  = 3
p_3  = 7
p_4  = 11
p_5  = 21
p_6  = 39
p_7  = 71
p_8  = 131
p_9  = 241
p_10 = 443
p_11 = 815
p_12 = 1499
p_13 = 2757
p_14 = 5071
p_15 = 9327
p_16 = 17155
p_17 = 31553
p_18 = 58035
p_19 = 106743
p_20 = 196331
p_21 = 361109

Assim a^21+b^21+c^21=p_21=361109.

Alternativamente, depois de encontrar o polinômio de raízes a,b,c
podemos considerar a matriz N = [[0,0,1],[1,0,1],[0,1,1]]
cujos autovalores são a,b,c.

    [0    0    1]
N = [1    0    1]
    [0    1    1]

Temos

      [0    1    1]
N^2 = [0    1    2]
      [1    1    2]

      [1    2    4]
N^4 = [2    3    6]
      [2    4    7]

      [2    4     7]
N^5 = [3    6    11]
      [4    7    13]

       [44     81    149]
N^10 = [68    125    230]
       [81    149    274]

       [19513    35890     66012]
N^20 = [30122    55403    101902]
       [35890    66012    121415]

       [35890     66012    121415]
N^21 = [55403    101902    187427]
       [66012    121415    223317]

Observe que cada matriz pode ser calculada como um produto de duas das
matrizes anteriores.

Finalmente temos a^21+b^21+c^21=traço(N^21)=361109
(e chegamos na mesma resposta).

[]s, N.
=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================



--
Henrique