Exos sympas MP(*)

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

Messages : 811

Enregistré le : 30 avr. 2017 01:48

Re: Exos sympas MP(*)

Message par oty20 » 30 juin 2019 16:48

Bonjour, j'ai trouvé
SPOILER:
$2^{2018}+1$
je posterai mon approche dans deux jours
''L’ennemi du savoir , n'est pas l'ignorance , mais l'illusion du savoir '' .

Messages : 811

Enregistré le : 30 avr. 2017 01:48

Re: Exos sympas MP(*)

Message par oty20 » 01 juil. 2019 02:01

Bonjour,
SPOILER:
il me semble que $x_{1}=P(s)$ est de degré $2=2^{1}$ en $s$ , $x_{2}$ est de degré $4=2^{2}$ plus généralement $x_{n}$ est de degré $2^{n}$ soit $x_{2019}$ est de degré $2^{2019}$ donc pas de contradiction, sauf erreur...
''L’ennemi du savoir , n'est pas l'ignorance , mais l'illusion du savoir '' .

Messages : 2

Enregistré le : 03 juil. 2018 12:10

Re: Exos sympas MP(*)

Message par Michk' » 01 juil. 2019 12:41

Bonjour à tous.
SPOILER:
Soit $(x_{n})$ une suite de réels vérifiant les deux conditions énoncées.

Soit k entre 0 et 2019.

Si $x_{k}\leq 1, x_{k-1} = \frac{1 \pm \sqrt{1 - x_{k}}}{2}$

$$x_{2019} = 0
\Leftrightarrow x_{2018} = 0 \ ou \ x_{2018} = 1
\Leftrightarrow x_{2018} = 0 \ ou \ x_{2017} = 1/2
\Leftrightarrow x_{1} = 1 \ ou \ x_{1} = 0 \ ou \ x_{1} = 1/2 \ ou \ ... \ ou \ x_{2017} = 1/2$$

On pose $p_{k-1}\in {0,1}$ tel que $x_{k-1}= \frac{1 + (-1)^{p_{k-1}} \sqrt{1 - x_{k}}}{2}$

On remarque que $x_{k}\in ]0,1[ \Rightarrow x_{k-1} \in]0,1[$

Pour $x_{k}$ fixé dans $]0,1[$, il y a deux valeurs distinctes possibles pour $x_{k-1}$, donc au plus $2^{k-1}$ valeurs possibles pour $x_{1}$, correspondant au choix des $p_{k-1},...,p_{1}$ dans ${0,1} $

En supposant que l'on obtienne une même valeur de $x_{1}$ avec deux listes $p_{k-1},...,p_{1}$ et $q_{k-1},...,q_{1}$, on montre par récurrence immédiate sur i que $\forall i \in[1,k], p_{i} = q_{i}$

Il y a donc exactement $2^{k-1}$ valeurs de $x_{1}$ envisageables pour $x_{k-1}$ fixé dans ]0,1[

Ensuite, pour k,p distincts, et par exemple k<p, si $ x_{k} = 1/2, $ alors $ x_{k+1} = 1 $ et $ x _{k+2} = x_{k+3} = ...= 0 $ Donc $ x_{p} \neq 1/2 $

Pour ma part, je trouve donc $2^{2016}+...+2^1+1 + 2 = 2^{2017}+1$ valeurs de $s=x_{1}$ telles que $ x_{2019} = 0$
PC

Messages : 5510

Enregistré le : 04 sept. 2005 19:27

Localisation : Versailles

Re: Exos sympas MP(*)

Message par JeanN » 01 juil. 2019 12:59

Dattier a écrit :
29 juin 2019 14:30
oty20 a écrit :
26 juin 2019 01:45
Un Exo Sympa:

Soit $(x_{n})$ une suite de nombre réels défini par:

$$x_{1}=s,~~x_{n+1}=4x_{n}(1-x_{n})$$

Pour combien de valeurs de $s$ :

$$x_{2019}=0$$
SPOILER:
$P(x)=4x(1-x)$ et $P(x)=Q^{-1}(R(Q(x)))$ avec $Q$ fonction affine réel et $R(x)=x^2-2$
Donc $x_{2019}=P^{2018}(s)=Q^{-1}\circ R^{2018} \circ Q (s)$ et $R^{2018}(s)=c^{2^{2018}}+\dfrac{1}{c^{2^{2018}}}$ avec $Q(s)=c+1/c$
pour que $s$ soit réel il faut $c \in \mathbb R^{*}$ ou $c \in C(0,1) \subset \mathbb C$ le cercle unité dans les complexes.

Si $ |Q(0)|<2 $ alors on a $2^{2017}$ possibilité pour $s$ sinon $ 2 $ seulement.

Pourquoi pourrait-il y avoir deux résultats différents ?
Professeur de maths MPSI Lycée Sainte-Geneviève

Messages : 811

Enregistré le : 30 avr. 2017 01:48

Re: Exos sympas MP(*)

Message par oty20 » 03 juil. 2019 14:20

Ma proposition :
SPOILER:
On pose $f(x)=4x(1-x)$, on a $f^{-1}(0)=\{0,1\}$ , $f^{-1}(1)=\{\frac{1}{2}\},~~f^{-1}([0,1])=[0,1]$
et $|\{y: f(y)=x\}|=2 ~~\forall x \in [0,1[\}|$.

On considère l'ensemble $A_{n}=\{x \in \mathbb{R}: f^{n}(x)=0\}$ alors
$A_{n+1}=\{x \in \mathbb{R}: f^{n+1}(x)=0\}=\{x \in \mathbb{R}: f^{n}(f(x))=0\}=\{x \in \mathbb{R}: f(x) \in A_{n}\} $.

Pour $n=1$ nous avons vu au début que $A_{1}=\{0,1\}$ , $A_{1} \subset [0,1]$ et $1 \in A_{1}$, nous allons montrer par récurrence sur $n$ que.

$$P(n) :''A_{n} \subset [0,1],~~ 1\in A_{n},~~~~|A_{n}|=2^{n-1}+1 '' $$

Soit $n\geq 1$ , on suppose $P(n)$ vraie, soit $x\in A_{n+1}$ alors $f(x) \in A_{n} \subset [0,1]$ par suite $x\in [0,1]$,

ce qui permet d'avoir $A_{n+1} \subset [0,1]$.

Maintenant comme $f(0)=f(1)=0$ il vient que $f^{n+1}(1)=0$ ce qui permet d'avoir $1 \in A_{n+1}$.

Enfin :

$$|A_{n+1}|=|\{x \in \mathbb{R}: f(x) \in A_{n}\}|=\sum_{a \in A_{n}} |\{x : f(x)=a\}|$$
$$=|\{x : f(x)=1\}|+\sum_{a \in A_{n},~~a \in [0,1[} |\{x : f(x)=a\}|$$
$$=1+2(|A_{n}|-1)=2^{n}+1$$

Ce qui achève la récurrence.

Finalement $x_{2019}=0$ SSI $f^{2019}(s)=0$ soit $2^{2019-1} +1=2^{2018} +1$ valeurs de $s$.

''L’ennemi du savoir , n'est pas l'ignorance , mais l'illusion du savoir '' .

Messages : 2

Enregistré le : 03 juil. 2018 12:10

Re: Exos sympas MP(*)

Message par Michk' » 04 juil. 2019 13:09

$x_{2019} = 0 $ SSI $ f^{2018}(s) = 0 $ *

Ceci rectifié tu trouves $2^{2017}+1$ et nos résultats sont identiques.
PC

Messages : 811

Enregistré le : 30 avr. 2017 01:48

Re: Exos sympas MP(*)

Message par oty20 » 04 juil. 2019 13:59

Ah oui merci, je devais penser que la suite commençait à partir de
$$ x_{0} $$.

Bravo :) !
''L’ennemi du savoir , n'est pas l'ignorance , mais l'illusion du savoir '' .

Messages : 811

Enregistré le : 30 avr. 2017 01:48

Re: Exos sympas MP(*)

Message par oty20 » 03 août 2019 21:29

A cute one:

Toto dessine un cercle dans le plan (Oxy), le rayon du cercle est un entier compris entre 0 et 2008. L'origine O est à l’intérieur du cercle, et nous sommes autorisés à poser la question '' le point $(x,y)$ se trouve-t-il à l’intérieure du cercle ? '', à laquelle Toto répondra par oui ou par non.

Montrer qu'il est possible d'obtenir le rayon du cercle en au plus $60$ questions.

(On considèrera que les points qui appartiennent au cercle sont à l’intérieur de ce dernier )
''L’ennemi du savoir , n'est pas l'ignorance , mais l'illusion du savoir '' .

Messages : 811

Enregistré le : 30 avr. 2017 01:48

Re: Exos sympas MP(*)

Message par oty20 » 14 août 2019 15:13

oui c'est la bonne idée, la difficulté serait au niveau de la rédaction...
''L’ennemi du savoir , n'est pas l'ignorance , mais l'illusion du savoir '' .

Messages : 28

Enregistré le : 18 avr. 2019 19:59

Classe : MP*

Re: Exos sympas MP(*)

Message par AhmedNasredinne » 07 oct. 2019 19:05

Que vaut $ \mathbb{Gl_{n}(K)+Gl_{n}(K)^{c}} $
Pas d’aide par MP

Répondre