17 724utilisateurs classés
102 839problèmes résolus
984 658exercices résolus
7 332 912points distribués

Le site interactif d'entraînement aux Olympiades Internationales de Mathématiques

Merci aux correcteurs du jour : 7Maël Fassier - 3Melvil Treilleux - 4Pierre M. - 13Corentin Bodart - 6Simon Jégou - 10Jack M. - 3Axel Hovasse

Actualités

Thème sombre
29 septembre 2023
Certains le réclamaient depuis des années, et il avait même fait l'objet d'un poisson d'avril en 2021... Mathraining se dote enfin d'un thème sombre ! Par la même occasion, le thème clair a pris un petit relooking. On espère que le changement fera plus d'heureux que de malheureux. Pour passer d'un thème à l'autre, il vous suffit de cliquer sur le lien en bas à gauche de n'importe quelle page.

Il nous tenait à coeur de proposer un thème sombre aussi qualitatif que le thème clair, et cela a représenté beaucoup de travail. Le site a été entièrement passé en revue, mais il est possible que certains éléments de certaines pages n'apparaissent toujours pas correctement. Nous comptons sur vous pour signaler sur le Forum toute amélioration qui pourrait être faite !

Mathraining célèbre l'excellence en renforçant l'éthique de travail
7 février 2023
La fréquentation de Mathraining est en hausse ces derniers mois, et le nombre de soumissions envoyées atteint des records (plus de 800 par semaine, fin 2022). Cela représente énormément de travail pour les correcteurs, qui sont tous bénévoles.

Il n'est pas rare qu'un correcteur s'aperçoive que la solution qu'il corrige ne vient pas de l'étudiant qui l'envoie, mais a été trouvée toute faite sur internet ou a été transmise par un autre utilisateur de Mathraining. Il est pourtant demandé à chacun, avant d'envoyer une solution, de certifier qu'elle est le fruit de son propre travail. Ce comportement est inacceptable et ne peut être toléré sur le site, les correcteurs ayant bien trop de travail pour qu'on leur en rajoute inutilement.

Cette forme de tricherie a toujours existé, et était jusqu'ici réglée au cas par cas en avertissant les responsables et en leur expliquant que copier des solutions ne les aide pas à progresser et est irrespectueux envers les correcteurs. La popularité du site est maintenant telle qu'il n'est plus possible d'être si bienveillant, et les solutions repérées comme frauduleuses seront dorénavant directement marquées comme plagiées. L'étudiant se verra alors retirer l'accès à Mathraining pendant deux semaines, et devra attendre six mois avant d'à nouveau pouvoir envoyer une solution au problème concerné.

De la même manière, les doubles comptes ne sont pas tolérés et seront systématiquement supprimés, puisqu'il n'est pas envisageable qu'une personne renvoie des solutions à des problèmes qu'elle a déjà résolu sur un autre compte.

À noter qu'on éprouve a priori bien plus de plaisir et de fierté à résoudre un problème entièrement par soi-même plutôt qu'à en copier une solution sans même la comprendre !
Médailles et mentions honorables
19 décembre 2020
Voici deux ans que des concours sont organisés sur Mathraining, avec déjà 13 concours organisés. Cette fin d'année va voir les concours évoluer, puisque dorénavant des médailles et mentions honorables (virtuelles bien sûr) seront attribuées aux participants !

Les règles d'attribution seront similaires à la plupart des olympiades internationales :
  • Au moins un douzième des participants se verra attribuer une médaille d'or ;
  • Au moins un quart des participants se verra attribuer une médaille d'or ou d'argent ;
  • Au moins la moitié des participants se verra attribuer une médaille d'or, d'argent ou de bronze ;
  • Les participants non médaillés mais ayant résolu entièrement au moins un problème se verront attribuer une mention honorable.
Les médailles seront a priori attribuées de sorte à respecter ces règles tout en minimisant le nombre de médailles. (Pour être complet d'un point de vue mathématique, il faut sans doute préciser qu'on commence par le haut du classement pour attribuer les médailles...) Les organisateurs se réservent toutefois le droit d'adapter légèrement les seuils des différentes médailles (vers le haut ou vers le bas) pour regrouper les médaillés de manière plus équitable dans certains cas.

Le Concours #14 va avoir lieu pendant ces vacances d'hiver et sera l'occasion parfaite d'expérimenter ce nouveau système ! Notez qu'il n'y aura pas d'effet rétroactif sur les treize premiers concours, donc ce nouveau concours sera bel et bien la première occasion de glâner des mentions et médailles !
Les Concours de Mathraining
31 décembre 2018
Certains en ont entendu parler depuis plusieurs mois, pour d'autres c'est une surprise... Voici venus les Concours sur Mathraining !

Le principe est simple : des organisateurs s'occupent de rassembler des problèmes intéressants et fixent une période de temps pour la résolution de chaque problème. Tous les autres utilisateurs du site (ayant au moins 200 points) peuvent alors participer au concours en tentant de résoudre chaque problème dans les temps. Les organisateurs s'occupent de corriger toutes les solutions, et les résultats sont publiés dès que tout est corrigé. Les concours n'ont pas d'influence sur le reste du site : en particulier les problèmes des concours ne rapportent pas de points.

La meilleure manière de comprendre le principe est probablement d'y participer : c'est pourquoi le Concours #1 a déjà été programmé. Il compte six problèmes (certains faciles et d'autres plus compliqués) et aura lieu lors des trois prochains week-ends. Un sujet a été ouvert sur le forum (et ce sera le cas pour chaque concours) pour réunir les discussions autour des problèmes et résultats. Il s'agit d'un premier essai donc soyez indulgents concernant l'organisation de ce premier concours...

Bon amusement à tous, et bonne année 2019 !
Un plan projectif d'ordre 2018 ?
1 janvier 2018
Pour fêter cette nouvelle année, un nouveau chapitre de géométrie, sur les rapports anharmoniques, vient d'être mis en ligne ! Il y est aussi fait mention du plan projectif réel, qui peut être vu comme le plan euclidien habituel auquel on ajoute des "points à l'infini" et une "droite à l'infini". La notion de plan projectif peut en fait être définie de manière totalement combinatoire, et le plan projectif réel dont nous parlons dans le chapitre est alors un exemple de plan projectif. C'est de cette notion combinatoire, très simple à comprendre et menant pourtant rapidement à une conjecture non-résolue, que nous parlons ci-dessous.

Définition

Un plan projectif est la donnée d'un ensemble $\mathcal{P}$ (dont les éléments sont appelés points), d'un ensemble $\mathcal{L}$ (dont les éléments sont appelés droites) et d'un sous-ensemble $R \subseteq \mathcal{P} \times \mathcal{L}$ satisfaisant les trois propriétés ci-dessous. On dit que la droite $\ell \in \mathcal{L}$ passe par le point $p \in \mathcal{P}$ (et que $p$ appartient à $\ell$) lorsque $(p,\ell) \in R$. L'ensemble $R$ encode donc quels points se situent sur quelles droites.
  1. Pour tous points $p_1 \neq p_2 \in \mathcal{P}$, il existe une unique droite $\ell \in \mathcal{L}$ passant par $p_1$ et $p_2$.
  2. Pour toutes droites $\ell_1 \neq \ell_2 \in \mathcal{L}$, il existe un unique point $p \in \mathcal{P}$ appartenant à $\ell_1$ et $\ell_2$.
  3. Il existe quatre points trois à trois non alignés (c'est-à-dire tels qu'aucune droite ne passe par trois d'entre eux).
Les propriétés les plus importantes sont les deux premières. La troisième est là pour éviter les cas triviaux. Par exemple, on peut imaginer une seule droite ($|\mathcal{L}| = 1$) et $n$ points ($|\mathcal{P}| = n$) appartenant tous à la droite ($R = \mathcal{P} \times \mathcal{L}$). Cet exemple vérifie les propriétés 1 et 2, mais on ne veut pas le considérer comme étant un plan projectif. C'est pour éviter ce genre de situation que la propriété 3 demande d'avoir au moins quatre points trois à trois non-alignés.

Plans projectifs finis

Le plan projectif réel, défini dans le nouveau chapitre, est infini au sens où il possède une infinité de points et une infinité de droites. Au contraire, nous nous intéressons ici aux plans projectifs finis, c'est-à-dire ceux où $\mathcal{P}$ et $\mathcal{L}$ sont finis. (À noter que si $\mathcal{P}$ est fini, alors $\mathcal{L}$ aussi, et vice versa.) En utilisant les axiomes des plans projectifs, on peut aisément montrer le fait suivant. (Pour ceux qui le désirent, c'est un bon exercice !)

Soit $\Pi = (\mathcal{P}, \mathcal{L}, R)$ un plan projectif fini. Alors il existe un nombre entier $q \geq 2$, appelé l'ordre de $\Pi$, tel que :
  • tout point de $\Pi$ appartient à exactement $q+1$ droites;
  • toute droite de $\Pi$ passe par exactement $q+1$ points;
  • $\Pi$ contient exactement $|\mathcal{P}| = q^2+q+1$ points;
  • $\Pi$ contient exactement $|\mathcal{L}| = q^2+q+1$ droites.
Il existe par exemple un plan projectif d'ordre $2$, il est représenté ci-dessous. Les $2^2+2+1=7$ points du plan projectif sont représentés par des points, et les $2^2+2+1$ droites sont représentées par des segments et courbes : ce sont les trois côtés du triangle, les trois hauteurs du triangle, et le cercle. On voit aussi que chaque point appartient à $2+1=3$ droites et chaque droite passe par $2+1=3$ points. On vérifie aisément que deux points appartiennent toujours à une même droite (unique) et que deux droites s'intersectent toujours en un unique point. Il s'agit donc bel et bien d'un plan projectif d'ordre $2$. (En fait, c'est le seul...)

Jeu Dobble

Le jeu Dobble est bien connu, et derrière ce jeu se cache en fait un plan projectif ! En effet, le jeu consiste en différentes cartes sur lesquelles sont dessinés $8$ symboles, et est tel que deux cartes possèdent toujours un unique symbole commun. On y voit facilement l'analogie avec les plans projectifs : les cartes peuvent être vues comme des droites, et les symboles comme des points. Il existe un plan projectif d'ordre $7$, ce qui signifie qu'on peu construire un jeu de $7^2+7+1=57$ cartes contenant chacune $7+1=8$ symboles (parmi $57$ symboles au total) tel que deux cartes ont toujours un unique symbole en commun. Par la propriété des plans projectifs, on sait aussi que pour toute paire de symboles, il existe une unique carte contenant ceux-ci (mais ça n'a pas d'intérêt pour le jeu). Malheureusement le vrai jeu Dobble n'est pas totalement satisfaisant, puisqu'il contient bien $57$ symboles mais ne contient que $55$ cartes ! Il y a donc deux cartes manquantes au jeu pour qu'il soit réellement un plan projectif d'ordre $7$. Si vous avez un jeu Dobble chez vous et un peu de temps à perdre, vous pouvez vous amuser à recomposer les deux cartes manquantes (en trouvant les symboles qu'elles doivent contenir).

Conjecture

La conjecture suivante est très ancienne, très facile à exprimer et il y a pourtant très peu de progrès dessus :

Conjecture : Soit $\Pi$ un plan projectif d'ordre $q$. Alors $q$ est une puissance d'un nombre premier.

Il a pu être vérifié qu'il n'existe aucun plan projectif d'ordre $6$ ou d'ordre $10$, mais on ne sait par exemple pas s'il existe un plan projectif d'ordre $12$ ! Autrement dit, on ignore s'il existe un jeu Dobble avec $12^2+12+1=157$ cartes et $157$ symboles, où chaque carte contient $12+1=13$ symboles et deux cartes ont toujours un unique symbole en commun. (Il n'est pas nécessaire ici de demander les propriétés 1 et 3 des plans projectifs : ce sont en fait des conséquences des hypothèses précédentes.)

La seule réponse partielle à cette conjecture est la suivante :

Théorème de Bruck-Ryser (1949) : S'il existe un plan projectif d'ordre $q$ avec $q \equiv 1 \text{ ou } 2 \pmod 4$, alors $q$ est la somme de deux carrés parfaits.

Ce théorème exclut par exemple les plans projectifs d'ordre $14$. Notez par contre que $2018 = 13^2+43^2$, donc le théorème ne s'applique pas à $q = 2018$. La question en titre de cette actualité n'a donc pas de réponse à ce jour : on ignore s'il existe un plan projectif d'ordre $2018$.

Que ceux que ça intéresse n'hésitent pas à plancher sur la conjecture et à remercier Mathraining au moment de la remise de la médaille Fields ! Bonne année 2018 !