Réponse de Jean Jacquelin
du 23/06/01à 15h 01 :Pour condenser les écritures, posons a=F(2n+2),
b=F(2n+1) et c=F(2n).
arctg(a)+arctg(b)=arctg((a+b)/(1-ab))
arctg(a)+arctg(b)-arctg(c)=arctg((a+b-c+abc)/(1+c(a+b)-ab))
arctg(a)+arctg(b)-arctg(c)=arc cotg((1+c(a+b)-ab)/(a+b-c+abc))
a>b>c>0 donc (a+b-c+abc)>0.
La méthode consiste à montrer que (1+c(a+b)-ab)=0. Il en résulte que la cotg = 0
donc l'arc (positif) est égal à Pi/2.
-----------------------------------------------------------
Reste à montrer que (1+c(a+b)-ab)=0.
On sait que (et si on ne sait pas, il est facile de le trouver !) :
F(n)=(Øn-(1-Ø)n)/51/2
avec Ø=(1+51/2)/2 (nombre d'or).
a=(Ø2n+2-(1-Ø)2n+2)/51/2
b=(Ø2n+1-(1-Ø)2n+1)/51/2
c=(Ø2n-(1-Ø)2n)/51/2
5ab=(Ø2n+2-(1-Ø)2n+2)(Ø2n+1-(1-Ø)2n+1)
5ab=Ø4n+3+(1-Ø)4n+3-Ø2n+2(1-Ø)2n+1-Ø2n+1(1-Ø)2n+2
5ab=Ø4n+3+(1-Ø)4n+3-Ø2n+1(1-Ø)2n+1
5ab=Ø4n+3+(1-Ø)4n+3-(Ø-Ø2)2n+1
5ab=Ø4n+3+(1-Ø)4n+3+1.
car Ø2-Ø-1=0 donc : (Ø-Ø2)=-1.
Calcul de ac :
5ac=(Ø2n+2-(1-Ø)2n+2)(Ø2n-(1-Ø)2n)
5ac=Ø4n+2+(1-Ø)4n+2-Ø2n+2(1-Ø)2n-Ø2n(1-Ø)2n+2
5ac=Ø4n+2+(1-Ø)'n+2-Ø2n(1-Ø)2n(2Ø2-2Ø+1)
Ø2n(1-Ø)2n=(Ø-Ø2)2n=1 et (2Ø2-2Ø+1)=3
donc 5ac=Ø4n+2+(1-Ø)4n+2-3
Calcul de bc :
5bc=(Ø2n+1-(1-Ø)2n+1)(Ø2n-(1-Ø)2n)
5bc=Ø4n+1+(1-Ø)4n+1-Ø2n+1(1-Ø)2n-Ø2n(1-Ø)2n+1
5bc=Ø4n+1+(1-Ø)4n+1-Ø2n(1-Ø)2n
5bc=Ø4n+1+(1-Ø)4n+1-1
Au total, on trouve :
5(1+c(a+b)-ab)=5+Ø4n+2+(1-Ø)4n+2-3+Ø4n+1+(1-Ø)4n+1-1-Ø4n+3-(1-Ø)4n+3-1.
5(1+c(a+b)-ab)=-Ø4n+3+Ø4n+2+Ø4n+1-(1-Ø)4n+3+(1-Ø)4n+2+(1-Ø)4n+1.
5(1+c(a+b)-ab)=Ø4n+1(-Ø2+Ø+1)+(1-Ø)4n+1(-(1-Ø)2+(1-Ø)+1).
(-(1-Ø)2+(1-Ø)+1)=(-Ø2+Ø+1)=0
donc 5(1+c(a+b)-ab)=0 : CQFD.
Conclusion :
arctg(F(2n+2))+arctg(F(2n+1))-arctg(F(2n))=Pi/2.
Réponse de Richard
André-Jeannin du 24/06/01à 14h 29 :
Bonjour
Merci pour la réponse. La démonstration de la relation
(1+c(a+b)-ab)=0 me semble bien longue. en fait il faut montrer que
1+F(2n)(F(2n+2)+F(2n+1))-F(2n+2)F(2n+1)=0,
soit F(2n)F(2n+3)-F(2n+2)F(2n+1)=-1.
En notant phi le nombre d'or , phi' =-1/phi et
F(n)=(phi^n-phi'^n)/(5^0.5), le membre de gauche (multiplié par 5) devient, aprés
développement:
-phi^(2n)*phi'^(2n+3)
-phi^(2n+3)*phi'^(2n)
+phi^(2n+1)*phi'^(2n+2)
+phi^(2n+2)*phi'^(2n+1)
En remarquant que (phi*phi')=-1, l'expression devient
-phi'^3-phi^3-phi'-phi =-L(3)-L(1)=-5, avec
L(n)=phi^n+phi'^n)=nombre de Lucas
(L(0)=2, L(1)=1)
|