439 résultats trouvés

par Siméon
mer. oct. 17, 2018 9:27 pm
Forum : Mathématiques
Sujet : Les dattes à Dattier
Réponses : 842
Vues : 50717

Re: Les dattes à Dattier

En effet il y a un bug, désolé. Je reviendrai dessus dans quelques jours.
par Siméon
mar. oct. 16, 2018 9:15 pm
Forum : Mathématiques
Sujet : Les dattes à Dattier
Réponses : 842
Vues : 50717

Re: Les dattes à Dattier

Contrairement à Gabuzomeu j'ai donné une démonstration (à trous certes, mais faciles à combler). Pour le reste, je ne comprends rien à ton délire...
par Siméon
mar. oct. 16, 2018 8:56 pm
Forum : Mathématiques
Sujet : Les dattes à Dattier
Réponses : 842
Vues : 50717

Re: Les dattes à Dattier

Merci, mais ni les dattes ni les Choco BN ne sont bons pour mon régime. Voici tout de même une solution pour le 228 sans détailler : Soit $a$ un réel dont le développement dyadique contient toute suite finie de $0$ et de $1$. Alors $\left\{\cos(2^n a\pi) ; n \in \mathbb N \right\}$ est dense dans $]...
par Siméon
lun. oct. 15, 2018 4:10 pm
Forum : Mathématiques
Sujet : Les dattes à Dattier
Réponses : 842
Vues : 50717

Re: Les dattes à Dattier

Dattier a écrit :
sam. oct. 13, 2018 3:32 pm
2/ Et le cas N pair (tu as utilisé une 1/2 lignes, il te reste une demi lignes) ?
La 190 montrait déjà que la condition \( N \) impair est nécessaire.
SPOILER:
En fait \( \sum_{a \in \mathbb Z/2n\mathbb Z} a = n \).

Pour résumer la 228, il me semble que tu as perdu un Choco BN. Non ?
par Siméon
sam. oct. 13, 2018 11:53 am
Forum : Mathématiques
Sujet : Les dattes à Dattier
Réponses : 842
Vues : 50717

Re: Les dattes à Dattier

@Dattier : déjà tu n'as rien démontré, mais surtout on a vu mieux comme fonction continue sur \( \mathbb R \).

@zede :
SPOILER:
Pour tout $k$ impair, $\sum_{a \in A} a^k = \sum_{a\in A} (-a)^k = -\sum_{a\in A} a^k$.
par Siméon
sam. oct. 13, 2018 11:22 am
Forum : Mathématiques
Sujet : Les dattes à Dattier
Réponses : 842
Vues : 50717

Re: Les dattes à Dattier

Euh Dattier, le 193 est tout à fait accessible au niveau lycée et la solution fait une ligne sans calcul ! En ce qui concerne le 228 par contre, je suis prêt à parier un Choco BN que tu n'as pas de solution valide en moins de 500 caractères. On dirait parfois que tu lances tes dattes au hasard : aïe !
par Siméon
mar. oct. 02, 2018 11:12 am
Forum : Mathématiques
Sujet : Topologie ouvert
Réponses : 10
Vues : 564

Re: Topologie ouvert

Bonjour oty, ici l'inégalité triangulaire n'est pas vraiment pertinente car les vecteurs sont colinéaires : \( \forall \lambda \in \mathbb R_+,\ \|x + \lambda x\| = (1 + \lambda)\cdot \|x\| \)
par Siméon
mer. août 15, 2018 9:22 pm
Forum : Mathématiques
Sujet : Exercices de MPSI
Réponses : 9642
Vues : 508514

Re: Exercices de MPSI

Je n'ai pas trouvé plus simple. Pour tout $n \in \Bbb Z$, on pose $A_n = \{x \in \Bbb R \mid cn \leqslant f(x) < c(n+1)\}$ de sorte que $\bigcup_{n \in \Bbb Z} A_n = \Bbb R$. Puisque $\Bbb R$ est indénombrable, il existe donc $n \in \Bbb Z$ tel que $A_n$ est infini (et même indénombrable). Or pour ...
par Siméon
mar. juin 19, 2018 3:24 pm
Forum : Mathématiques
Sujet : Probabilités
Réponses : 2
Vues : 627

Re: Probabilités

Ce sera sans doute plus clair en remplaçant « Que dire de la variable \( X_k \) ? » par « Quelle est la loi de la variable $X_k$ ? »
par Siméon
jeu. juin 07, 2018 9:15 pm
Forum : Mathématiques
Sujet : Exos sympas MP(*)
Réponses : 6588
Vues : 461250

Re: Exos sympas MP(*)

Quitte à considérer $x \mapsto h(-x)$, il suffit d'établir la nullité de $h$ sur $[0,1\mathclose[$.
Les hypothèses entraînent facilement pour tout \( x \geq 0,\ |h(x)|+|h'(x)| \leq 2 \int_0^x (|h(t)| + |h'(t)|) dt \), puis on conclut avec le lemme de Grönwall.
par Siméon
sam. mai 26, 2018 5:00 pm
Forum : Mathématiques
Sujet : Probas..
Réponses : 2
Vues : 732

Re: Probas..

Indication : si \( \frac{X_1 + \cdots + X_n}{n} \) est proche de $a$ avec grande probabilité, et si $\frac{X_1^2 + \cdots + X_n^2}{n}$ est proche de $b$ avec grande probabilité, alors $\frac{X_1 + \cdots + X_n}{X_1^2 + \cdots + X_n^2}$ est proche de $\frac ab$ avec grande probabilité.
par Siméon
sam. mai 26, 2018 4:40 pm
Forum : Mathématiques
Sujet : Densite de N+piZ dans R
Réponses : 12
Vues : 1210

Re: Densite de N+piZ dans R

Je n'ai rien écrit de tel : il suffit de voir que m-x est un minorant de $H\cap \mathbb R_+^*$ pour en déduire que $m - x \leq m$. Détails. Soit $h \in H\cap \mathbb R_+^*$. Alors $x + h \in H\cap \mathbb R_+^*$ car $x + h \in H$ et $x + h \geq x + m > 0$. Donc $m \leq x + h$. P.S. Tout ceci est à p...
par Siméon
sam. mai 26, 2018 11:49 am
Forum : Mathématiques
Sujet : Densite de N+piZ dans R
Réponses : 12
Vues : 1210

Re: Densite de N+piZ dans R

Soit $H = \mathbb N + \pi \mathbb Z$ et soit $m =\inf (H \cap \mathbb R_+^*)$. Supposons que $m > 0$. Par densité de $\mathbb Z + \pi\mathbb Z$ dans $\mathbb R$, on peut trouver $x \in H$ tel que $|x| < m$. De plus $x\neq 0$ car $\pi$ est irrationnel. Si $x > 0$, alors $x \in H\cap\mathbb R_+^*$ et ...
par Siméon
jeu. mai 10, 2018 5:44 pm
Forum : Mathématiques
Sujet : Trouver f.
Réponses : 12
Vues : 1171

Re: Trouver f.

Dans le même genre d'idées que ci-dessus, la convolution par un noyau régularisant permet d'approcher par une fonction lisse à peu près tout et n'importe quoi : 1. On part d'une fonction à approcher H : x\mapsto \begin{cases}1 & \text{si }x \leq \frac32\\0 & \text{si }x > \frac32\end{cases} 2. On co...
par Siméon
jeu. mai 10, 2018 2:27 pm
Forum : Mathématiques
Sujet : Les dattes à Dattier
Réponses : 842
Vues : 50717

Re: Les dattes à Dattier

Je dirais que c'est plutôt : (4) tu as mal compris la construction.

Pour un choix de $\phi$ tel qu'indiqué à la fin, la fonction est nulle sur l'ensemble de Cantor et strictement positive sur son complémentaire dans $]0,1[$.