Arithmétique : fibonacci

Olympiades mathématiques, énigmes et défis
Zweig
Membre Complexe
Messages: 2012
Enregistré le: 02 Mar 2008, 03:52

par Zweig » 06 Mai 2008, 14:25

Des formules à démontrer ....

* Formule de Binet :



* Formules de sommation :

Formule de Cesaro :











* Propriétés arithmétiques

Si divise , alors divise

Soient et deux entiers strictement positifs. On a alors :



Imod
Habitué(e)
Messages: 6476
Enregistré le: 12 Sep 2006, 12:00

par Imod » 06 Mai 2008, 14:58

Le problème du mois du site de Regina est pas mal non plus :

Pour quels entiers positifs peut-on écrire n! comme une différence de carrés de deux entiers ?

Imod

Zweig
Membre Complexe
Messages: 2012
Enregistré le: 02 Mar 2008, 03:52

par Zweig » 06 Mai 2008, 15:18

A première vue, pour tout n pair ?

Zweig
Membre Complexe
Messages: 2012
Enregistré le: 02 Mar 2008, 03:52

par Zweig » 06 Mai 2008, 15:34

Pour tout ?



Clairement, et sont de même parité avec . Ainsi, pour , il suffit de prendre et . On en tire alors et .

Lorsque , alors ,

On voit facilement que lorsque , les deux facteurs ne peuvent être de même parité, et donc qu'il est impossible de trouver deux entiers a et b.

Imod
Habitué(e)
Messages: 6476
Enregistré le: 12 Sep 2006, 12:00

par Imod » 06 Mai 2008, 16:15

En effet , bien vu :++:

Imod

lapras
Membre Transcendant
Messages: 3664
Enregistré le: 01 Jan 2007, 13:00

par lapras » 06 Mai 2008, 16:26

salut,
pour la formule de binet :
c'est l'équation caractéristique d'une suite récurrente, et je n'ai surement pas le niveau pour démontrer ca.
Pour la propriété arithmétique :
supposons m divise n
alors
n = m*k
Fn = Fm*(a^(k-1) + (a^k-1)*B + .... + ^*B^(k-2) + B^(k-1))
avec a = (1+sqrt(5))/2
B = (1-sqrt(5))/2
faut montrer que u_k = (a^(k-1) + (a^k-1)*B + .... + ^*B^(k-2) + B^(k-1)) est un entier
on le fait par récurrence
vrai pour k
pour k+1
u_(k+1) = a^k*(1-B) + B^k*(1 - a) + a*B*u_k
or a*B est entier
u_k est par hypothese de récurrence entier
donc
a*B*u_k entier
aussi on peut montrer que pour tout i entier
((1+sqrt(5))/2)^i + ((1-sqrt(5))/2)^i est un entier
ce qui acheve la démonstration par récurrence

ffpower
Membre Complexe
Messages: 2542
Enregistré le: 13 Déc 2007, 05:25

par ffpower » 06 Mai 2008, 19:56

la formule de Binet tu peux facilement la démontrer par reccurence,pas besoin de connaitre la theorie des suites reccurentes quand on te donne le resultat^^

lapras
Membre Transcendant
Messages: 3664
Enregistré le: 01 Jan 2007, 13:00

par lapras » 06 Mai 2008, 20:00

Oui bien sur par récurrence mais moi je raisonne comme si on me donnais
Un+2 = a*Un+1 + bUn
pour trouver Un en fonction de n.
Je veux dire fibonnaci n'est qu'un exemple de suite récurrente d'ordre 2.

Matt_01
Habitué(e)
Messages: 609
Enregistré le: 30 Avr 2008, 18:25

par Matt_01 » 06 Mai 2008, 20:06

Pour ce genre de suite, le terme général peut-être déduit, et ce même avec nos connaissances :
avec
J'avais cherché ce résultat suite à un exercice d'annales.
On considère plusieurs égalités et le résultat découle ;)
Après, pour l'ordre 2 c'est autre chose ... ^^

ffpower
Membre Complexe
Messages: 2542
Enregistré le: 13 Déc 2007, 05:25

par ffpower » 06 Mai 2008, 20:20

Ouais,mais en fait la théorie des suites reccurentes n est pas bien compliquée:
Ici,par exemple,si on cheche le suites qui vérifient ,on résout x²=x+1,qui a 2 racines, et ...de on en déduit que pour tout n donc vérifie la relation de reccurence.de meme pour ,et donc pour tout a,b, vérifie aussi la relation de récurrence.Apres il suffit de choisir a et b pour avoir les conditions initiales souhaitées(Dans le cas de Fibonnacci,on veut F0=0 et F1=1)

lapras
Membre Transcendant
Messages: 3664
Enregistré le: 01 Jan 2007, 13:00

par lapras » 06 Mai 2008, 20:22

salut
désolé erreur de frappe
c'est
Un+2 = aUn+1 + bUn
Bien sur le cas
Un+1 = aUn + b est tres simple on considere
Vn = Un + b/(1-a)
alors
Vn+1 = aVn
donc Un = V0*a^n + b/(a-1)

lapras
Membre Transcendant
Messages: 3664
Enregistré le: 01 Jan 2007, 13:00

par lapras » 06 Mai 2008, 20:24

ffpower > Oui bien sur c'est tres simple de voir que a*r1^n + b*r2^n est UNE solution, encore faut il prouver que c'est la seule.
On m'a dit que c'était difficile, mais je pense que non puisque la suite est déterminée par ses valeur initiales.
Si on a trouvé UNE suite qui correspond alors puisque la suite est déterminée il n'y a que cette suite de solution.

ffpower
Membre Complexe
Messages: 2542
Enregistré le: 13 Déc 2007, 05:25

par ffpower » 06 Mai 2008, 20:27

C est exactement ca,une fois que t as les 2 premieres valeurs la suite est entierement défine,donc pas de prob^^.C juste un peu plus compliqué quand l equation du second degré n a qu une seule solution..

lapras
Membre Transcendant
Messages: 3664
Enregistré le: 01 Jan 2007, 13:00

par lapras » 06 Mai 2008, 20:39

Ok
Mais on m'avait dit qu'il fallait passer par un espace vectoriel etc... mpour la théorie des suites récurrentes.
Pourquoi ?

ffpower
Membre Complexe
Messages: 2542
Enregistré le: 13 Déc 2007, 05:25

par ffpower » 06 Mai 2008, 20:57

Pour le fun,je dirai^^...On peut dire que l ensemble des suites verifiant u(n+1)=un+u(n-1) est un espace vectoriel de dimension 2,dont une base est constituée des suites r1^n et r2^n,mais c pas extraordinairment utile.Ceux qui t ont dit ca ont du se faire lessiver le cerveau par la prepa lol..

venousto
Membre Naturel
Messages: 53
Enregistré le: 03 Avr 2008, 14:48

par venousto » 22 Juil 2009, 22:17

je suis con nu sur le net
sans leurre
tu est desheuré
il faut des neoyer tinb machin

Timothé Lefebvre
Membre Légendaire
Messages: 12478
Enregistré le: 14 Déc 2005, 13:00

par Timothé Lefebvre » 23 Juil 2009, 02:52

Bonjour venousto,

tes dernieres interventions sont un peu etranges, incomprehensibles, serait-il possible que tu cesses d'ecrire ce genre de messages ? Merci.

Timothé Lefebvre
Membre Légendaire
Messages: 12478
Enregistré le: 14 Déc 2005, 13:00

par Timothé Lefebvre » 23 Juil 2009, 02:54

Bonjour venousto,

je te rappelle a l'ordre une derniere fois concernant tes interventions, arrete de polluer ce forum avec tes messages inutiles (pour ne pas dire autre chose).
Il n'y aura plus d'autre avertissement.

Pour info, voici l'historique de ses messages : [url="http://www.maths-forum.com/search.php?searchid=1256046"]http://www.maths-forum.com/search.php?searchid=1256046[/url] [lien out comme me le fait remarquer ffpower]

ffpower
Membre Complexe
Messages: 2542
Enregistré le: 13 Déc 2007, 05:25

par ffpower » 23 Juil 2009, 03:02

Que venousto se calme?Dans la vie,t es plutot un optimiste timothé non? :we:
Sinon,le lien ne marche pas..

Timothé Lefebvre
Membre Légendaire
Messages: 12478
Enregistré le: 14 Déc 2005, 13:00

par Timothé Lefebvre » 23 Juil 2009, 03:03

Ouais je suis optimiste d'habitude mais bon la trop c'est trop.

Pour son histo, clique sur son pseudo puis sur "trouver plus de messages".

 

Retourner vers ⚔ Défis et énigmes

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 26 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite