[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[SPAM] Re: [obm-l] prova de impossibilidade
SPAM: -------------------- Start SpamAssassin results ----------------------
SPAM: This mail is probably spam. The original message has been altered
SPAM: so you can recognise or block similar unwanted mail in future.
SPAM: See http://spamassassin.org/tag/ for more details.
SPAM:
SPAM: Content analysis details: (7.40 hits, 5 required)
SPAM: REFERENCES (-0.5 points) Has a valid-looking References header
SPAM: X_MAILING_LIST (-0.3 points) Found a X-Mailing-List header
SPAM: NO_REAL_NAME (1.3 points) From: does not include a real name
SPAM: USER_AGENT_OE (0.2 points) X-Mailer header indicates a non-spam MUA (Outlook Express)
SPAM: SPAM_PHRASE_00_01 (0.8 points) BODY: Spam phrases score is 00 to 01 (low)
SPAM: [score: 0]
SPAM: QUOTED_EMAIL_TEXT (-0.8 points) BODY: Contains what looks like a quoted email text
SPAM: FORGED_YAHOO_RCVD (1.4 points) 'From' yahoo.com does not match 'Received' headers
SPAM: RCVD_IN_ORBS (2.2 points) RBL: Received via a relay in orbs.dorkslayers.com
SPAM: [RBL check: found 212.85.191.209.orbs.dorkslayers.com., type: 68.178.232.99]
SPAM: RCVD_IN_OSIRUSOFT_COM (0.4 points) RBL: Received via a relay in relays.osirusoft.com
SPAM: [RBL check: found 212.85.191.209.relays.osirusoft.com.]
SPAM: X_OSIRU_OPEN_RELAY (2.7 points) RBL: DNSBL: sender is Confirmed Open Relay
SPAM: AWL (0.0 points) AWL: Auto-whitelist adjustment
SPAM:
SPAM: -------------------- End of SpamAssassin results ---------------------
è verdade Albert,
Somatórias são mais tratáveis, na verdade eu posso realizar a multiplicação
e notar que os diversos fatores formam certos padrões de soma, mas sem
sucesso em expor que padrões são esses numa fórmula fechada.
Para n = 4, por exemplo, notei que P = 2 + (1^2 + 2^2 + 3^2 + 4^2)^2 +
2*(4!)^2 - (1^4 + 2^4 + 3^4 + 4^4), o que falha para n> 4... por ter
encontrado tal fórmula, talvez tenha me passado algum detalhe despercebido
que alguém da lista possa completar.
quanto aos logaritmos, log (ab) = log a + log b, mas log (abc) = log a + log
b + log c? ou mais geralmente, log (abc...n) = log a + log b + log c +...+
log n?
----- Original Message -----
From: "albert richerd carnier guedes" <arcguede@xxxxxxxxx>
To: <obm-l@xxxxxxxxxxxxxx>
Sent: Tuesday, December 11, 2007 11:17 PM
Subject: Re: [obm-l] prova de impossibilidade
rodrigocientista@xxxxxxxxxxxx escreveu:
Olá,
Gostaria de saber se alguém conhece algum problema como exemplo em que
se prova ser impossível a uma certa série possuir uma fórmula fechada, ou
de recorrência.
Exemplo: eu estava tentando achar uma fórmula de recorrência para um
produto que o colega Albert colocou aqui na lista:
P = (1 + 1^2)(1 + 2^2)(1 + 3^2)...(1 + n^2)
E imaginei que se caso este produto não possua uma fórmula fechada eu
poderia prová-lo, ao invés de continuar com as tentativas de achar a
fórmula.
Belo ponto de vista Rodrigo.
E se formos verificar, todo produto finito se reduz a uma somatória de
logaritmos
ln( Prod^N_{n=0} a_n ) = Sum^N_{n=0} ln(a_n)
Se der pra provar que esta soma tem fórmula fechada, então dá pra provar
que o produto tambêm têm.
Como
ln(a_n) = 2. Sum^Infty_{k=0} [ 1/( 2k+1 ) ][ ( a_n - 1 )/( a_n +
) ]^{2k+1}
Assim fica o problema de resolver a soma
b_k = Sum^N_{n=0} [ 1/( 2k+1 ) ][ ( a_n - 1 )/( a_n + 1 ) ]^{2k+1}
e depois a soma
S = 2. Sum^Infty_{k=0} b_k
Não sei se trocar um problema por dois resolve, mas acho que somatóriass
são mais tratáveis do que produtos.
=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~obmlistas/obm-l.html
=========================================================================
=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~obmlistas/obm-l.html
=========================================================================