Extraction de sin(n)

Un problème, une question, un nouveau théorème ?
Répondre

Messages : 36

Enregistré le : 02 oct. 2015 22:10

Classe : MP

Extraction de sin(n)

Message par Geremy » 20 nov. 2016 22:26

D'après le théorème de Bolzano-Weirstrass, on sait que sin(n) admet une suite extraite qui converge , est-ce que quelqu'un connait une telle suite ? Parce que j'ai beau cherché mais ... en vain !

Messages : 1708

Enregistré le : 16 janv. 2016 15:51

Classe : SciencesPo

Re: Extraction de sin(n)

Message par Syl20 » 20 nov. 2016 23:16

Par exemple la suite un=max{sin(k)|sin(k)<1/2} (avec k=<n) converge vers 1/2 si c'est ce que tu cherches ;)
2016-2018 : Louis-le-Grand MPSI-MP*
X2018

Messages : 36

Enregistré le : 02 oct. 2015 22:10

Classe : MP

Re: Extraction de sin(n)

Message par Geremy » 21 nov. 2016 00:40

Euuh, quelle est la fonction extractrice que t'as considérée ?
Modifié en dernier par Geremy le 21 nov. 2016 12:39, modifié 1 fois.

Messages : 36

Enregistré le : 02 oct. 2015 22:10

Classe : MP

Re: Extraction de sin(n)

Message par Geremy » 21 nov. 2016 00:41

Euuh pour JustSayin;
Oui.... bof , ça n'a pas trop d'importance puisqu'elles sont condensées dans [-1,1], mais bon je me posais cette question d'extraction et ça me taraudait ^^'

Messages : 1708

Enregistré le : 16 janv. 2016 15:51

Classe : SciencesPo

Re: Extraction de sin(n)

Message par Syl20 » 21 nov. 2016 22:11

[quote="Geremy"]Euuh, quelle est la fonction extractrice que t'as considérée ?[/quote]
Tu peux considerer l'extractrice f telle que n est dans f(N) ssi sin(n)=max pour k<=n de {sin(k)|sin(k)<1/2}. Ca te donne une suite croissante qui va bien converger vers 1/2 car sin est dense dans [-1,1] comme le dit Just Sayin (ce qui te permet d'ailleurs de trouver une suite extraite qui converge vers tout element de [-1,1])
2016-2018 : Louis-le-Grand MPSI-MP*
X2018

Messages : 3327

Enregistré le : 01 mai 2016 20:09

Classe : Cassandre

Re: Extraction de sin(n)

Message par siro » 21 nov. 2016 23:31

[quote="JustSayin'"]Geremy : ta question est intéressante, mais je ne pense pas qu'il y ait de fonction extractrice explicite parce que sin(n) a un comportement "chaotique".[/quote]
Avec un développement en fraction continue ça doit se tenter d'approximer [\Pi] par une suite d'entiers. (Enfin son équivalent sur le cercle, avec des classes.)
Chaque vénérable chêne a commencé par être un modeste gland. Si on a pensé à lui pisser dessus.

Messages : 36

Enregistré le : 02 oct. 2015 22:10

Classe : MP

Re: Extraction de sin(n)

Message par Geremy » 22 nov. 2016 00:08

[quote="Syl20"][quote="Geremy"]Euuh, quelle est la fonction extractrice que t'as considérée ?[/quote]
Tu peux considerer l'extractrice f telle que n est dans f(N) ssi sin(n)=max pour k<=n de {sin(k)|sin(k)<1/2}. Ca te donne une suite croissante qui va bien converger vers 1/2 car sin est dense dans [-1,1] comme le dit Just Sayin (ce qui te permet d'ailleurs de trouver une suite extraite qui converge vers tout element de [-1,1])[/quote]

Je crois que, soit ta définition pour la fonction est mal faite, soit j'ai pas bien compris ... Prière de plus de clarification

Messages : 596

Enregistré le : 03 nov. 2012 00:17

Classe : CE2

Re: Extraction de sin(n)

Message par lsjduejd » 24 nov. 2016 20:50

Avec le développement en série de Engel de pi je pense que y'a moyen de trouver quelque chose ;)
8)

Messages : 36

Enregistré le : 02 oct. 2015 22:10

Classe : MP

Re: Extraction de sin(n)

Message par Geremy » 29 nov. 2016 18:03

Quel est cet développement ? :)

Messages : 596

Enregistré le : 03 nov. 2012 00:17

Classe : CE2

Re: Extraction de sin(n)

Message par lsjduejd » 02 déc. 2016 19:19

Le développement en série de Engel pi est une suite $ u $ d'entiers strictement positifs croissante vérifiant :
$ \pi=\sum_{k=0}^\infty \frac{1}{u_0*u_1*...*u_k} $

On peut facilement montrer que $ 1+\sum_{k=1}^n u_{k}*...*u_n-\pi*u_0*u_1*...*u_n \limits 0 $
On peut en déduire que $ sin(1+\sum_{k=1}^n u_{k}*...*u_n)\limits 0 $
Du coup on peut considérer la fonction extractrice : $ \phi :n \mapsto 1+\sum_{k=1}^n u_{k}*...*u_n $. Il y a une formule de récurrence simple pour calculer les termes de $ u $.
On peut trouver plus d'informations sur cette suite ici : https://oeis.org/A006784
8)

Répondre