[obm-l] RES: [obm-l] Representação decimal de um irracional

2006-01-12 Por tôpico Artur Costa Steiner
Eu nao vi o artigo, mas acho que uma possivel prova eh a seguinte:   Seja a  um irracional positivo. Entao, uma possivel representacao decimal de a eh a = I1(a) + f1(a), onde I1(a) eh a parte inteira de a e f1(a) a parte fracionaria, dada por uma expansao decimal infinita e nao periodica. S

RES: [obm-l] MAIS DOIS EXERCICIOS DA OBM

2006-01-12 Por tôpico Artur Costa Steiner
No caso do exercicio 2, eu jah vi uma outra prova baseada em teoria de medidas, especificamente na medida de Hausdorff.  A exemplo da prova que o colega apresentou na Eureka, tambem nao eh muito simples e eh um tanto extensa, embora menos do que a apresentada pelo colega. Na primeira vez que

RES: [obm-l] PROBABILIDADE

2006-01-12 Por tôpico Artur Costa Steiner
Outra maneira de ver: Temos 6^4 possibilidades para a sequencia obtida (arranjo completo de 6 , 4 a 4) e  6 X 5 X 4 X3 (arranjo simples de 6, 4 a 4) possibilidades para sequencias com numeros diferentes 2 a 2. Assim, p = (6 X 5 x 4 X3)/(6^4) = 5/1'8   Artur  . [Artur Costa Steiner]   -M

Re: [obm-l] Sistemas Polinomiais não Lineares com 3 variáveis.

2006-01-12 Por tôpico Leonardo de Moura
Ronaldo, Procure por "nonlinear constraint solving" no Google. Voce vai achar varias referencias e programas que resolvem esse tipo de sistema. Eu ja usei um programa chamado realpaver (http://www.sciences.univ- nantes.fr/info/perso/permanents/granvil/realpaver/main.html). O link contem o pr