Para o 1 eu fiz assim:
Sendo a+b+c = P(1)
(ab + bc + ca) = P(2)
(abc) = P(3)
Sendo S(k) = a^k + b^k + c^k, temos a^k + b^k + c^k = (a+b+c)( a^(k-1) +
b^(k-1) + c^(k-1)) - ( a^(k-1)(b+c) + b^(k-1)(a+c) + c^(k-1)(a+b)) =
P(1)S(k-1) - (ab + bc + ca) ( a^(k-2) + b^(k-2) + c^(k-2)) + abc ( a^(k-3) +
b^(k-3) + c^(k-3)) =
P(1)S(k-1) - P(2)S(k-2) + P(3)S(k-3)
Fazendo a = x cis(A)
b = y cis(B) e c = z cis(C)
Basta provar que S(k) é sempre Real
Mas S(0), S(1) = P(1) e S(2) é real, e S(1)² - S(2) = Real + 2(xysen(A+B) zy
sen(B+C) + zxsen(C+A))i -> P(2) é real
Além disso P(3) = xyzcis(A+B+C) que é real pois sen(A+B+C) = 0
Por indução, como S( k) = P(1)S(k-1) - P(2)S(k-2) + P(3)S(k-3), supondo S(j)
real para qualquer j inteiro menor que k, então S(k)
= P(1)S(k-1) - P(2)S(k-2) + P(3)S(k-3) = Real (cqd)
[]'s
João
De: Heitor Bueno Ponchio Xavier
Para: obm-l@mat.puc-rio.br
Enviadas: Sábado, 3 de Março de 2012 17:02
Assunto: [obm-l] Raizes da unidade
Não estou conseguindo resolver os seguintes problemas:
1) Sejam x,y,z,A,B,C reais tais que (A+B+C)/π é inteiro.
Defina Kr = (x^r) sen (rA) +(y^r) sen (rB) + (z^r) sen (rC)
Prove se K1 = K2 = 0 então Kn = 0 para todo n>0
2)Seja (1+x+x²+x³+x^4)^496 = A0 +A1 x+A2x² +...+A1984 x^1984
i)Determine MDC(A3,A8,...,A1983)
ii)Prove que 10^340