Exos sympas MP(*)

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

Messages : 21

Inscription : 19 mai 2020 13:20

Profil de l'utilisateur : Élève de lycée

Re: Exos sympas MP(*)

Message par E3A 4ever » 21 août 2022 12:51

Contrexemple a écrit :
07 août 2022 22:48
Soit $L$ forme linéaire continue, non nulle, de $C([0,1])$ munit de la norme uniforme et tel que :
$$\forall f,g \in C([0,1]), L(f \times g)=L(f) \times L(g) $$.

A-t-on $\exists x_0 \in [0,1], \forall f\in C([0,1]), L(f)=f(x_0)$ ?
SPOILER:
Non, il suffit de prendre x_0 et x_1 tous deux différents et de considérer L(f)=f(x_0)*f(x_1). À noter qu'en revanche, par compacité de [0,1], si on avait rajouté la condition L(f+g)=L(f)+L(g), cela aurait été vrai (on peut déterminer les morphismes d'anneaux continus de C^0(K,R) dans R lorsque K est compact).
Edit: mea culpa, je n'avais pas vu forme linéaire dans l'énoncé. Je rectifie: c'est vrai, il faut se servir de la propriété de Borel Lebesgue de la compacité de [0,1], je rédigerai une preuve tout à l'heure (l'hypothèse forme linéaire est même un peu forte de fait)
Bon je fais court: L étant un morphisme d'anneau et une forme linéaire non nulle, son noyau est un idéal I de C^0([0,1],R) et un hyperplan. En particulier, comme I n'est pas tout C^0([0,1],R) car L est non nulle, on a x_0 tel que pour tout f dans I, f(x_0)=0 (par l'absurde sinon on peut recouvrir [0,1] par des intervalles ouverts où au moins un élément de I ne s'annule pas, en prendre un sous-recouvrement fini par compacité et considérer la somme des carrés des éléments correspondants qui ne s'annulent pas sur chaque voisinage (en nombre fini), qui ne s'annule pas sur [0,1] et est dans I, et inversible, absurde. Finalement on considère E(x_0): f|->f(x_0) qui coïncide avec L sur l'hyperplan I=Ker L ce qui impose E(x_0)=lambda*L, et puisque E(x_0) est non nulle, lambda est non nul, et on a par ailleurs lambda=1 en regardant E(x_0)(f^2) avec E(x_0)(f) non nul. Comme je l'ai signalé, on peut se contenter de prendre pour hypothèse morphisme d'anneau continu et montrer que cela impose L linéaire.

Messages : 172

Inscription : 11 mars 2021 18:24

Profil de l'utilisateur : Élève de lycée

Re: Exos sympas MP(*)

Message par Contrexemple » 26 oct. 2022 11:59

Salut,

Un peu d'analyse fonctionnelle :
$ $
On se place dans $E=C_b(\mathbb R)$ l'ensemble des fonctions continues bornées sur les réels.

A-t-on l'existence d'une suite réel $(a_n)$ qui forme une série absolument convergente et $(A_n)$ une suite de réels, tel que $$\forall f\in E,\forall x\in\mathbb R, f(0)=\sum \limits_{n\in \mathbb N} a_n\times f(x+A_n)$$ ?




Un peu d'algébre linéaire :
Soit $n\in\mathbb N^*$.

Existe-t-il $U\subset \mathbb R^n$ avec $\text{card}(U)=2^n$ et $\forall V\subset U,\text{card}(V)=n$ alors $V$ est une base de $\mathbb R^n$ ?



Remarque : les autres énigmes ont trouvé réponse, dans mathoverflow ou aops.

Messages : 4

Inscription : 13 oct. 2019 16:35

Profil de l'utilisateur : Élève de lycée

Re: Exos sympas MP(*)

Message par autobox » 27 oct. 2022 14:38

Supposons trouvées deux suites a et A telles que blablabla

En prenant f constante égale à un élément inversible de l'anneau d'arrivée ($\mathbb{R}$, je suppose ?), il vient $\sum a_n = 1$. L'égalité se réécrit donc $\sum a_n(f(x+A_n)-f(0)) = 0$

En prenant f dérivable bornée telle que f' soit une densité de probabilité, si U est une variable aléatoire de densité f', on doit pouvoir montrer (interversion intégrale/série, fubini, changement de variable) sans trop de difficultés que $P(U\leqslant -x) = \sum a_nP(U\leqslant A_n)$, pour tout x.

En utilisant la continuité de la fonction de répartition de U (qui est f!) et en faisant tendre x vers $+\infty$ et $-\infty$ on trouve que $0 = \sum a_nP(U\leqslant A_n) = 1$, ce qui est absurde dans un anneau non nul

Messages : 172

Inscription : 11 mars 2021 18:24

Profil de l'utilisateur : Élève de lycée

Re: Exos sympas MP(*)

Message par Contrexemple » 04 déc. 2022 10:43

Salut,



Soit $f : x\rightarrow x^2+1$. Calculer $(f^{2022})^{(100)}(1) \mod 2^{89}-1$.

PS : $f^2=f\circ f$ et $f^{(2)}=f''$
Pas besoin de faire le calcul, il suffit juste de proposer un algo de complexité raisonnable.


La part du lion :
Soient $f_1,...,f_n\in C([0,1],\mathbb R_+^*)$.

A-t-on l'existence de $\sigma$ une permutation de $\{1,..,n\}$ et $0=a_0<a_1<...<a_n=1$ tels que $$\int_{a_{i-1}}^{a_i}f_{\sigma(i)}(x)dx\geq \dfrac{1}{n}\int_0^1 f_{\sigma(i)} (x)dx\text{ pour }i\in \{1,...,n\}$$ ?

Messages : 6

Inscription : 30 avr. 2017 01:48

Profil de l'utilisateur : Élève de lycée

Re: Exos sympas MP(*)

Message par oty20 » 26 déc. 2022 23:43

Soit $f$ une fonction de classe $C^{3}$ telle que $f'''(x)\geq0$ pour tout $x$ et $f(n)\sim f(n+1)$ . Montrer que:
$$\lim_{t\to1^-}\sum_{n=0}^\infty(-1)^nt^{f(n)}=\frac12$$
''L’ennemi du savoir , n'est pas l'ignorance , mais l'illusion du savoir '' .

Messages : 147

Inscription : 21 août 2007 21:39

Profil de l'utilisateur : Élève de lycée

Re: Exos sympas MP(*)

Message par certus » 07 janv. 2023 18:59

oty est-ce que c’est un exo de concours ?

Messages : 6

Inscription : 30 avr. 2017 01:48

Profil de l'utilisateur : Élève de lycée

Re: Exos sympas MP(*)

Message par oty20 » 09 janv. 2023 01:02

C'est un AMM, vous pouvez consulter ce lien pour la solution officiel que je trouve personnellement manque de clarté.


https://artofproblemsolving.com/communi ... 0p26796494
''L’ennemi du savoir , n'est pas l'ignorance , mais l'illusion du savoir '' .

Messages : 172

Inscription : 11 mars 2021 18:24

Profil de l'utilisateur : Élève de lycée

Re: Exos sympas MP(*)

Message par Contrexemple » 04 avr. 2023 23:38

Salut,


Fibonacci et le nombre de Graham :

Soient $(F_n)_n$ la suite de Fibonacci et $G$ le nombre de Graham. Calculer $F_G \mod (2^{89}-1)$

https://fr.wikipedia.org/wiki/Nombre_de_Graham


Des entiers plein la tête :

Soit $n \in\mathbb N^*$.

Déterminer les fonctions surjectives $f: \mathbb N \rightarrow \{0,...,n-1\}=E $ tel qu'il existe $g,h$ fonctions de $E^2$ dans $E$
avec $\forall ( m,k) \in\mathbb N^2,f(m+k)=g(f(m),f(k)),f(m\times k)=h(f(m),f(k))$.



Plein les sinus :

Soit $f\in C([0,1],\mathbb R)$.

Existent-ils $(a_k)_k$ termes généraux d'une série absolument convergente et $b$ réel tels que :
$\forall x\in [0,1], f(x)=b+\sum \limits_{k=0}^\infty a_k\sin^k(x)$

PS : $\sin^2(x)=\sin \circ \sin (x)$


Convexité d'ordre supérieure :

Soit $f \in C^n(\mathbb R)$. Trouver une CNS sur $f$ avec : $f^{(n)} \geq 0$ ssi $CNS(f)$

PS : la condition $CNS(f)$ existe même si $f \in C(\mathbb R)$, et on note $g^{(1)}(x)=g'(x)$


Monotonie stricte ou non :

Soit $f\in C([0,1],[0,1])$.

1) on suppose $f\circ f$ monotone. A-t-on $f$ monotone?

2) on suppose $f\circ f$ strictement monotone. A-t-on $f$ strictement monotone?


Une equation diophantienne :

Résoudre pour $(x,y) \in \mathbb Z^2$ : $3+xy^2+y+x^2=0$.

Messages : 147

Inscription : 21 août 2007 21:39

Profil de l'utilisateur : Élève de lycée

Re: Exos sympas MP(*)

Message par certus » 16 avr. 2023 22:31

Pour 3+xy^2+y+x^2=0 sur les entiers (x,y)=(-9,-3) ou ( 0,-3)

Messages : 172

Inscription : 11 mars 2021 18:24

Profil de l'utilisateur : Élève de lycée

Re: Exos sympas MP(*)

Message par Contrexemple » 23 mai 2023 20:06

Bonjour,


le compte est bon :

On dispose des nombres entiers de 1 jusqu'à 100.

En utilisant l'addition seulement et chaque nombre au plus une fois, combien y-a-t-il de manière diffèrente d'obtenir 2023 ?
$ $

Courbe elliptique :

Déterminer les solutions entières de $y^2=x^3+2x+5$.


Inégalité intégrale :
Soit $f \in C^1([0,1])$ et $\int_0^1 f =0$.

A-t-on $$\left| \int_0^1f(x)\times \exp(x)\text{d}x \right| \leq ||f'||_\infty\times \dfrac{||f||_\infty+1}{7}$$?


Divisibilité :

Soient $(a,n,k)\in(\mathbb N^*)^3$ avec $\gcd(n!,k)=1$. A-t-on $n!|\prod \limits_{i=1}^n(a+i\times k)$?

PS : les énigmes que j'ai effacé, ont été résolues sur aops ou mathoverflow.

Répondre