Les dattes à Dattier

Olympiades mathématiques, énigmes et défis
Avatar de l’utilisateur
Dattier
Membre Naturel
Messages: 91
Enregistré le: 06 Juin 2019, 02:55

Re: Les dattes à Dattier

par Dattier » 12 Juin 2019, 19:41

MMu a écrit:Ceci étant fait, je reprouve la façon du dattier de balancer plus de 20 pb(!!), ça devient le foutoir . :ghee:

Même réponse qu'à Aviateur, j'ai aménagé le fil pour tenir compte du fait qu'il y était exposé plusieurs énigmes.



MMu
Membre Relatif
Messages: 328
Enregistré le: 12 Déc 2011, 00:43

Re: Les dattes à Dattier

par MMu » 12 Juin 2019, 20:16

J'ai enfin compris : Dattier n'est qu'un descendant de David Hilbert, qui veut aller plus loin que les 23 problèmes de son illustre ancêtre :arrow: :twisted:.. :hehe:
Modifié en dernier par MMu le 13 Juin 2019, 06:42, modifié 1 fois.

Avatar de l’utilisateur
Dattier
Membre Naturel
Messages: 91
Enregistré le: 06 Juin 2019, 02:55

Re: Les dattes à Dattier

par Dattier » 12 Juin 2019, 20:19

:lol:

N'empêche que c'est moyennement drôle, Hilbert n'avait qu'un seul fils, qu'il a laissé mourrir dans un asile.

Avatar de l’utilisateur
Dattier
Membre Naturel
Messages: 91
Enregistré le: 06 Juin 2019, 02:55

Re: Les dattes à Dattier

par Dattier » 12 Juin 2019, 22:16

26 : système groupé résolue par GaBuZoMeu
Résoudre dans le groupe libre engendré par le système :
et
Modifié en dernier par Dattier le 13 Juin 2019, 00:59, modifié 1 fois.

Avatar de l’utilisateur
Dattier
Membre Naturel
Messages: 91
Enregistré le: 06 Juin 2019, 02:55

Re: Les dattes à Dattier

par Dattier » 12 Juin 2019, 23:48

27 : système groupé+
Résoudre dans le monoïde libre engendré par :
Avec des mots non vide.

GaBuZoMeu
Membre Relatif
Messages: 455
Enregistré le: 05 Mai 2019, 11:07

Re: Les dattes à Dattier

par GaBuZoMeu » 13 Juin 2019, 00:53

26 : aucune solution, et ne sont pas conjugués.
27 : il existe un mot et des entiers naturels et tels que et (récurrence sur la somme des longueurs de et )

Avatar de l’utilisateur
Dattier
Membre Naturel
Messages: 91
Enregistré le: 06 Juin 2019, 02:55

Re: Les dattes à Dattier

par Dattier » 13 Juin 2019, 00:58

26 : Bravo.

27 : oui, mais il manque des explications.
C'est quand même un résultat surprenant derrière la commutativité (dans un groupe libre) il y a un groupe cyclique.

FLBP
Habitué(e)
Messages: 282
Enregistré le: 25 Aoû 2017, 03:07

Re: Les dattes à Dattier

par FLBP » 13 Juin 2019, 01:44

J'en essaie un :

Dattier a écrit:14 : Polynôme et diviseur


Si le polynôme admet une racine en , on peut le réécrire de manière factorisée irréductible : .
Soit le produit , on peut le réécrire sous la forme .
Si le but est de déterminer si , un condition suffisante serait que : .
Les premiers cas triviaux sont quand ou , on se retrouve avec ;
Autres cas triviaux, quand a vaut , on trouve , pareil pour , (on ne s'occupe pas du signe).
Derniers cas triviaux, quand , où s'annule (tout entier non nul divise ).
Maintenant pour les valeurs extrêmes : ou , tout comme dans les cas triviaux les valeurs "extrêmes" des bornes donne le même résultat au signe près : alors on peut ne traiter qu'un "côté" .
Pour ne pas être dans un cas trivial, il faut que donc que divise , amusons-nous à diviser par et (pour rendre le résultat plus visible) on a . Par définition d'un coefficient binomiale on a que : donc divise .

Avatar de l’utilisateur
Dattier
Membre Naturel
Messages: 91
Enregistré le: 06 Juin 2019, 02:55

Re: Les dattes à Dattier

par Dattier » 13 Juin 2019, 01:52

Pour la 14, il y a une implication de l'équivalence qui n'est pas vraie.

perroquet
Membre Naturel
Messages: 11
Enregistré le: 10 Juin 2019, 22:58

Re: Les dattes à Dattier

par perroquet » 13 Juin 2019, 03:48

Bonjour

14:

FLBP a montré que si P admet une racine entière, alors:
divise

Comme l'a annoncé Dattier, la réciproque est fausse.
Prendre en effet et:
multiple de

Avatar de l’utilisateur
Dattier
Membre Naturel
Messages: 91
Enregistré le: 06 Juin 2019, 02:55

Re: Les dattes à Dattier

par Dattier » 13 Juin 2019, 10:28

Bonjour,

Bravo à vous 2.

Bonne journée.

Avatar de l’utilisateur
Dattier
Membre Naturel
Messages: 91
Enregistré le: 06 Juin 2019, 02:55

Re: Les dattes à Dattier

par Dattier » 15 Juin 2019, 16:30

Bonjour,

28 : fonction polyvex
Un fonction réel définie sur est polyvexe ssi il existe un polynôme à 3 variables compatibles tel que :


est compatible si :

et si et .

Déterminer les fonctions polyvex de .

Bonne journée.

perroquet
Membre Naturel
Messages: 11
Enregistré le: 10 Juin 2019, 22:58

Re: Les dattes à Dattier

par perroquet » 15 Juin 2019, 23:25

Bonjour.

19:

J'ai trouvé un compact radin mais la description de celui-ci va prendre plus de 10 lignes ...

Description de la méthode :
Je vais construire un ensemble dénombrable dont tous les points sont isolés et tel que soit la réunion de et de l'ensemble de Cantor.

Rappels sur l'ensemble de Cantor:
L'ensemble de Cantor est l'ensemble des réels de [0,1] dont l'une des écritures en base 3 ne comporte que des 0 et des 2. Par exemple, est dans l'ensemble de Cantor puisque l'une de ses écritures en base 3 est 0,022222.... (l'autre étant 0,1).

Construction de :
Je m'intéresse aux éléments de l'ensemble de Cantor dont une des écritures en base 3 est où pour tout de , est égal à 0 ou 2 et où (je noterai un tel élément).
L'ensemble de ces éléments est dénombrable puisque ce sont tous des rationnels.
A chaque élément de cet ensemble, j'associe
Pour tout , est dénombrable et la réunion des est dénombrable comme réunion dénombrable d'ensembles dénombrables.

Il ne reste plus qu'à démontrer que l'adhérence de est la réunion de l'ensemble de Cantor et de et que cette adhérence est effectivement un compact radin. C'est un peu fastidieux à écrire.

Avatar de l’utilisateur
Dattier
Membre Naturel
Messages: 91
Enregistré le: 06 Juin 2019, 02:55

Re: Les dattes à Dattier

par Dattier » 15 Juin 2019, 23:40

Bonjour,

@Perroquet : Bravo.

Mais il y avait plus "simple", en prenant D l'ensemble des nombres décimaux ne contenant dans leurs développement décimale que les chiffres 1 et 2, D n'a que des points isolés.

Et l'adhérence de D contient tous les nombres n'étant formé que des chiffres 1 et 2 (en bijection avec le continu).

Bonne journée.

perroquet
Membre Naturel
Messages: 11
Enregistré le: 10 Juin 2019, 22:58

Re: Les dattes à Dattier

par perroquet » 15 Juin 2019, 23:44

18 :

Voici une définition qui convient.

Soit et deux sous-parties de . On dit qu'une application de dans est une vraie bijection de sur si et seulement si pour tout , il existe tel que et la restriction de à est une bijection de sur .

Avatar de l’utilisateur
Dattier
Membre Naturel
Messages: 91
Enregistré le: 06 Juin 2019, 02:55

Re: Les dattes à Dattier

par Dattier » 16 Juin 2019, 00:21

Bravo.

Avatar de l’utilisateur
Dattier
Membre Naturel
Messages: 91
Enregistré le: 06 Juin 2019, 02:55

Re: Les dattes à Dattier

par Dattier » 18 Juin 2019, 23:07

Salut,

29 : fonction convexe et inverse
fonction réel inversible et convexe. A-t-on convexe ou concave ?

Cordialement.
Modifié en dernier par Dattier le 20 Juin 2019, 12:21, modifié 1 fois.

perroquet
Membre Naturel
Messages: 11
Enregistré le: 10 Juin 2019, 22:58

Re: Les dattes à Dattier

par perroquet » Aujourd’hui, 04:21

Bonjour

2 :

J'ai réussi à démontrer qu'un espace métrique est sigma-compact si et seulement si il admet un sous-ensemble dénombrable dense.

Condition nécessaire:
Supposons qu'un espace métrique est sigma-compact.
Alors, pour tout de , il existe un ensemble dénombrable inclus dans tel que soit la réunion des boules ouvertes lorsque décrit .

Il est facile de montrer que la réunion des est une partie dénombrable de dense dans .

Condition suffisante:
Supposons que admet une partie dense dénombrable .
Soit un recouvrement ouvert de .

Tout élément de appartient à un ouvert , qui contient donc une boule ouverte . Puisque est dense dans , la boule contient un élément de . La boule contient et est incluse dans donc dans .
NB; Lorsque appartient à , on choisit

Pour tout élément de , est non vide et admet une borne supérieure (éventuellement infinie). Si n'est pas dans , on considère une suite d'éléments de dont la limite est égale à . Si ce n'est pas le cas, on choisit .

Pour tout de , il existe dans tel que et . On notera .

La famille est une famille dénombrable d'ouverts extraite de la famille de départ. Et la réunion de cette famille est bien égale à . En effet, pour tout de , il existe tel que . Et

Ce qui termine la démonstration.

perroquet
Membre Naturel
Messages: 11
Enregistré le: 10 Juin 2019, 22:58

Re: Les dattes à Dattier

par perroquet » Aujourd’hui, 04:24

Commentaire sur le 2:

Cela m'étonne que la propriété que j'ai démontrée ne se trouve pas dans la littérature mathématique. Un espace séparable, c'est bien connu ...

perroquet
Membre Naturel
Messages: 11
Enregistré le: 10 Juin 2019, 22:58

Re: Les dattes à Dattier

par perroquet » Aujourd’hui, 04:26

Retour sur 19

Merci à Dattier pour m'avoir communiqué son exemple de compact radin, bien plus clair que le mien.

 

Retourner vers ⚔ Défis et énigmes

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 1 invité

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