ϕ est continue sur [0,α ] car ϕ (0) = Lim x→0 ϕ (x)

ϕ’(x)=(2-log x)/(1-log x)2 ,∀x>0, x≠e  ϕ strictement

⇒ croissante
ϕ’ (0) = Lim x→0 ϕ (x)/x =0  sur [0,α]
d’où
ϕ ([0,α]) = [ϕ(0), ϕ (α)]
=[0,2α/(1+√5)]⊂[0,α] car 2α/(1+√5)<α
ϕ’>0 sur [0,α]⇒L =supϕ’= sup ϕ’
ϕ’’(0) =(3-logx)/(x*(1-logx)3 )>0,∀x∈[0,α] 

ϕ’’ (0) = Lim x→0 ϕ’ (x)/x =0 
⇒ϕ’ est strictement croissante sur [0,α]
d’où L = Sup[0,α]
ϕ’ = ϕ’ (α) = (2 - (1-√ 5)/2) / (1 - (1-√ 5)/2)2 =1
Donc ϕ n’est pas contractante sur [0,α]
Le théorème du point fixe n’est pas applicable à ϕ sur cet
intervalle et la suite Xn+1 = ϕ(Xn) ; X0 ∈ [0,α] peut
converger comme elle peut diverger.
Sur [0,α* ] avec 0<α*<α on a :
[ϕ (0) ,ϕ (α*)] = [0, α*/(1-logα*)]⊂ [0, α*]
car
α*/(1-logα*)< α*
et
L = Sup[0,α*] ϕ’ = Sup[0,α*] ϕ’ = ϕ’ (α*)
Mais ϕ’ est strictement croissante sur [0,α],
donc ϕ’ (α*) < ϕ’ (α) = 1
Car α*<α
Donc L* = Sup[0,α*] ϕ’ = Sup[0,α*] ϕ’ = ϕ’(α*)
Mais ϕ’ est strictement croissante sur [0,α],
ϕ’ (α*)< ϕ’ (α) =1
Car α*<α
Donc L* = ϕ’(α*)<1 est la constante de contraction de
ϕ sur [0,α*] et le théorème du point fixe est applicable à
ϕ sur [0,α*], ∀ α*< α
Pour la convergence :
soit X0 ∈ [0,α[,
il existe α*< α
tel que
X0 ∈ [0,α*]⊂ [0,α[ et Xn+1 = ϕ(Xn) converge sur
[0,α*] donc en X0
et ceci est valable pour tous les X0 ∈ [0,α[
donc
Xn+1 = ϕ(Xn) converge par le point fixe non pas
sur [0,α[ mais sur [0,α*] et α*< α
X0 ∈ [0,α[
Reste le cas X0=α

X1 = ϕ (α) = 2*α/(1+√ 5)< α = X0

Donc
X1 < X0 
 ⇒ Xn+1 < Xn
ϕ strictement croissante 
ϕ(Xn ) décroissante et minorée par 0 car
l’intervalle [0,α] est stable pour ϕ,
donc :
Xn ∈ [0,α] , ∀ n ⇒ Xn converge vers L avec
L=ϕ/L
⇒ L = 0 ou L = L /(1-log L ) ⇒ L = 1 mais L ∉
[0,α] car α = e(1-√5)/2)
⇒ L = 0 est la limite