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

Re: Ainda sobre a OBM-93




	Correto, Bruno. Procuremos f:R+->R (para mim, 0 esta em R+)

	Seja g(x)=2x+1, h(x)=3x+5. Queremos f(g(x))=h(f(x)) Note que
g(g(g...(g(x))...) = 2^n(x+1)-1 (g composta consigo mesma n vezes); isto
eh, g leva I0=[0,1) em I1=[1,3) em I2=[3,7) ... em In=[2^n-1,2^(n+1)-1)
em ...


	Isto indica que basta definir f em um desses intervalos e usar
f(g(x))=h(f(x)) para definir f em outros lugares. Isto e, escolha
*qualquer* funcao f(x) definida em [0,1). Depois, use a recursao para
definir f(x) nos outros intervalos; se x esta em In, ache y em I0 tal
que x=g(g(...(g(y))...) (composta n vezes). Entao:

	f(x)=f(g(...g(y)...)=h(h...(h(f(y))...) (composta n vezes)

	Explicitamente:
	Para x>0 qualquer, calcule n=parte inteira de log (x+1) (base 2).
Calculamos y:

	2^n(y+1)-1 = x entao y = (x+1)/2^n - 1	
	
	Note que da definicao de n:

	2^n <= x+1 < 2^(n+1) entao 0 <= y < 1 e y esta em I0.	

	Entao f(x)=h(h(h(.h(f(y)).)= 3^n f(y) + 5(3^n-1)/2 resolve o problema.
Se quiser, substitua a definicao de y e n e ache a formula geral; nao
acho que vale a pena.

	Abraço,
		Ralph
Bruno Leite wrote:
> 
> Problema 5)Determine explicitamente(dê uma fórmula para)uma função
> f:IR+(reais positivos) -> IR(reais) tal que f(2x+1) = 3f(x) + 5
> 
> O que eu queria discutir aqui é a unicidade da solução. Uma função que serve
> é:
> 
> f(x) = 2,5{[3^log(2)(x+1)]-1}
> 
> (representei log de a base b por log(b)(a))
> 
> mas eu não sei muito bem se ela é a única que serve. Estou desconfiado que
> não, pois parece que as "famílias de domínio" do tipo x, 2x+1, 2(2x+1)+1 etc
> são independentes entre si, mas não sei provar. Alguém pode dar uma ajuda?
> 
> Bruno Leite
> 
> ______________________________________________________
> Get Your Private, Free Email at http://www.hotmail.com