Acho que a condi��o necess�ria e suficiente �: um dos termos � o sim�trico da raz�o da PA:
Ida:
Se um dos termos � o sim�trico da raz�o ent�o 0 pertence a PA e a raz�o tamb�m � um de seus termos.
Podemos dividir em dois casos: r>0 e r<0
r >0
Se r>0 ent�o o primeiro termo desta PA deve ser um n�mero negativo digamos
-nr, com n natural n�o nulo.
Pela defini��o de PA cada termo a partir do segundo � igual ao anterior mais a raz�o. Logo todos os termos a partir do segundo ser�o escritos como a soma de dois termos da pr�pria PA.
O problema seria o primeiro termo mas neste caso temos
-nr =-(n-1)r-r
onde -(n-1)r
e -r s�o dois termos distintos da PA.
O caso r<0 � analogo.
Reciprocamente:
Como cada termo da PA � a soma de dois termos desta mesma PA temos:
a_1 = a_m+a_n
a_1=a_1+(m-1)r+a_1 +(n-1)r
donde
como n,m>=1 e n<>m temos (n+m)>2
e por isso [2-(n+m)]<0 e
se r>0 ent�o a_1<0
ser<0 ent�o a_1>0
considerando o termo a_(n+m+3)
temos
a_(n+m+3) = a_1=r[2-(n+m)]+ (n+m-2)r = 0
a_(n+m+3)=0
e portanto
a_(n+m+2)=-r
Logo um dos termos � o sim�trico da raz�o!
[],s
Fernando
| De: |
owner-obm-l@mat.puc-rio.br |
| Para: |
"obm-l" obm-l@mat.puc-rio.br |
| Data: |
Fri, 02 Jul 2004 15:20:43 -0300 |
| Assunto: |
[obm-l] Problema interessante de PA |
> "Encontrar a condi��o necess�ria e suficiente que deve ser verificada para que qualquer termo de uma progress�o aritm�tica infinita seja a soma de dois termos, da mesma progress�o. "
>
>
Esta mensagem foi verificada pelo E-mail Protegido Terra.
Scan engine: VirusScan / Atualizado em 02/07/2004 / Vers�o: 1.5.2
Proteja o seu e-mail Terra: http://www.emailprotegido.terra.com.br/