Math 'O Man : le Blog des Maths

La chèvre sur le champs circulaire




Dernièrement mon collègue bloggeur Tanguy donne souvent la parole à ses lecteurs. Aujourd'hui je fais pareil avec un email que je viens de recevoir d'un lecteur par ma page de contact. En fait il pose une belle question de géométrie:

Je viens de lire avec beaucoup de plaisir l'intégralité de ce blog.* Tout à fait d'accord avec Rungaldier. Pour ma part je suis plus physique chimie et j'ai une colle math/géométrie que je n'ai jamais su résoudre. Pouvez vous me donner la solution?

Un champs circulaire de 10m de diamètre. Un paysan plante un piquet sur la périphérie. Il y attache une chèvre. Quelle doit être la longueur de corde pour que la chèvre ne puisse brouter que la moitié du champs; la longueur du col à la bouche n'est pas prise en compte.
* Wow, moi-même je n'aurais pas ce courage !

Spirals et suite de Fibonacci dans le monde végétal


Je viens de voir une belle vidéo sur les séries de Fibonacci et leurs apparitions chez les plantes. Elle est bien réalisée, avec des moyens très simples, avec des commentaires amusants (en anglais). Le nombre d'or aussi est mentionné (l'explication en quel sens il est le nombre le plus irrationnel n'est pas complète pourtant, lire plutôt ici).
A noter qu'il y a déjà une deuxième partie en ligne et qu'un troisième est promise pour bientôt!

Oh, j'aurais presque oublié de souhaiter le bonne année 2012 à mes lecteurs!! Voici une autre vidéo pleine de joie et d'optimisme.

Le taon qui veut piquer le cheval


Un cheval est relié à un poteau par un élastique qui peut se dilater de manière homogène et devenir arbitrairement long. A l'instant t=0 le cheval est à un mètre du poteau et un taon se trouve sur le milieu de l'élastique. Le cheval se met à courir avec une vitesse constante. Le taon, quant à lui, rampe à vitesse constante sur l'élastique en direction du cheval. Peut-il rattraper le cheval?

Un exercice théorique sur les groupes


La théorie des groupes semble contenir une infinité de questions de colle qui ont l'apparence élémentaires mais qui sont en fait plutôt difficiles. En voici une que vient de m'envoyer un ami:

Soient G un groupe fini d’ordre n et f :G →G un automorphisme de G. On note

E := \{x \in G \;|\; f (x) = x^{-1}\}

et l’on suppose que le cardinal de E est minoré par n/2. Prouver que f est une involution.

Distance entière entre des points


Voilà, après une plutôt longue pause (exactement un mois) je suis de retour sur le blog et je commence doucement avec un petit exercice de géométrie plane ;-)

Soit D une droite dans le plan euclidien et n un entier positif. Montrer qu'il existe un point P0 en dehors de la droite D et des points P1,...,Pn sur D tels que la distance entre tous deux de ces n+1 points est un entier strictement positif.

Trouver le contour du tore


Hier soir j'étais chez mon ami artiste-développeur Eric Wenger. Il m'a présenté la nouvelle version de l'un des logiciels dont il est le créateur. Il s'agit d'ArtMatic Voyager avec lequel on peut créer des paysages infinis avec plantes, et beaucoup d'autres choses sans utiliser de bases de données préfabriquées...
Les projections des objets en trois dimensions sur un plan font donc partie du quotidien d'Eric. Voici un bel exercice de géométrie dans l'espace:

Décrire analytiquement le contour d'un tore de rayons r et R en fonction de l'angle \alpha entre le plan du tore et la droite entre le centre du tore et l'oeil.

Le contour possède une seule partie connexe lorsque \alpha est petit. Lorsque \alpha augmente une deuxième partie connexe apparaît à l'intérieur; elle est d'abord singulière, puis lisse. Mais qu'est-ce que ça donne analytiquement? Des ellipses?

état de la recherche
état de la recherche
Différentes positions d'un tore dans l'espace

Thalès ou non Thalès?


En France le théorème de Thalès désigne une version géométrique de la règle de trois ou règle de proportionnalité ; d'ailleurs en allemand on l'appelle Strahlensatz ce qui signifie théorème des rayons, et on réserve le nom Satz von Thales aux cercles de Thalès. Il y a déjà deux ans j'ai posé ici un petit problème de géométrie dont la solution utilise la géométrie projective (elle se trouve ici voir page 3).

Recemment un étudiant, spécialiste de Thalès, m'a donné la réponse suivante: Notons A le premier poteau, B le second et O le point sur la route qui se trouve à l'horizon. Alors le troisième poteau C est déterminé par l'équation OA/OB = OB/OC.
Voici une belle question de géométrie élémentaire : Cette réponse est-elle correcte?

A la casse


Comme l'espérance semble à la mode aujourd'hui, voici un autre problème de proba.

On dispose d'une infinité de bâtons de longueur un mètre. On prend le premier, on le casse en deux pièces, le point de cassure étant au hasard. On choisit au hasard l'une des deux pièces, on la garde et on jette l'autre. Puis on fait la même chose avec le deuxième bâton, puis le troisième, etc. En moyenne, combien de bâtons doit-on casser pour que les pièces gardées font une longueur cumulée d'au moins un mètre?

La mouche dans le pot


Après l'exercice sur la mouche et les araignées voici un exercice de physique sur une mouche et un pot :

Problème: on dispose d'un pot avec couvercle et d'une balance ultra précis. On tare le pot fermé puis on introduit une mouche qui reste en vol. Si on pèse à nouveau, pèse-t-on la mouche ?

C'est un lecteur du blog qui me l'a envoyé et souhaite connaître la réponse. Je pense que la solution n'est pas difficile.

Groupes et compagnie


Un magma est un ensemble G muni d'une loi de composition interne ¤.
Si en plus cette loi est associative, c'est-à-dire (x¤yz = x¤(y¤z) pour tous x,y,z dans G, alors on dit que (G,¤) est un demi-groupe.
Et si en plus il existe un élément neutre e dans G, c'est-à-dire e¤x = x¤e = x pour tout x dans G, alors on dit que (G,¤) est un monoïde.
Enfin, si chaque élément x de G possède un neutralisant x' dans G, c'est-à-dire x¤x' = x'¤x = e, alors on dit que (G,¤) est un groupe.

On dit aussi le symétrique de x pour l'élément neutralisant x' de x. Si la loi est notée par une addition on le note souvent -x (opposé) et si la loi est notée par une multiplication on le note souvent x-1 (inverse).

Exemples :

  • Considérons la loi de l'addition habituelle de nombres. Muni de cette loi l'ensemble des naturels strictements positifs N*={1,2,3,...} est un semi-groupe. Il manque l'élément neutre 0 ; on l'ajoute et on obtient le monoïde N={0,1,2,3,...}. Il manque les neutralisants (les opposés) -1, -2, -3, ... ; on les ajoute et on obtient le groupe des entiers Z={0,±1,±2,±3,...}.
  • Considérons la loi de la multiplication habituelle de nombres. Muni de cette loi l'ensemble des naturels N est un monoïde, son élément neutre étant 1. Que faut-il ajouter ou enlever pour en faire un groupe ? D'abord on remarque que 0 multiplié avec tout nombre donne 0, donc jamais 1, autrement dit on ne pourra jamais trouver un neutralisant de 0 (on ne peut pas diviser par zéro...). Il faut donc enlever le 0, on trouve N*. Ensuite il faut ajouter les inverses : l'union de N* et de l'ensemble des 1/nn parcourt N*, est-il un groupe ? Non, pas encore, car il faut aussi s'assurer que les produits restent dedans et donc on doit en fait ajouter toutes les fractions de la forme m/n avec m et n dans N*. On trouve le groupe multiplicatif Q*+ des rationnels strictement positifs.
    De même l'ensemble des nombres rationnels non nuls Q* est un groupe.
  • Il existe des loi internes non-associatifs. L'ensemble Z muni de la soustraction est un magma (mais pas un demi-groupe). L'ensemble R3 muni du produit vectoriel
    (x1, x2, x3) × (y1, y2, y3) = (x2y3-x3y2, x3y1-x1y3, x1y2-x2y1)
    en est un autre.

Pour résumer, un groupe est un ensemble muni d'une loi interne associative, possédant un élément neutre et tel que chaque élément a un neutralisant. Il s'agit alors de vérifier ces trois axiomes pour montrer qu'un objet proposé est un groupe. Beaucoup d'exercices sont de ce type et très souvent ce sont de simples vérifications mécaniques, permettant au débutant de se familiariser avec la notion de groupe. La rédaction de la réponse à la question suivante m'a pris un peu plus de temps, à savoir toute la durée d'un examen que j'ai surveillé hier — pas terrible de réussir un seul exo pendant que les étudiants doivent en faire cinq ;-) mais évidemment cet exo ne faisait pas partie de l'examen...

Exercice : On définit x¤y := x(y2+1)½+y(x2+1)½. L'ensemble des réels muni de cette loi est-il un groupe ?

Toutes les solutions sont acceptées... en particulier celles utilisant la force brute du logiciel de calcul formel Maple car j'aimerais bien savoir si Maple arrive à faire ça. J'ai essayé de forcer Maple mais il ne voulait pas ; soit ça dépasse ses capacités, soit ça dépasse mes compétences maple-istiques.

Déterminant de sous-matrices


Voici un petit exercice d'algèbre linéaire :

Soit A une matrice symétrique n×n à coefficients entiers et de déterminant nul. On note Aj la matrice (n-1)×(n-1) obtenue à partir de A en supprimant la j-ième ligne et la j-ième colonne. Soient i,j dans {1,...,n}. Le nombre det(AiAj) est-il un nombre carré?

L'âne et les radis


Cette semaine Eljjdx a parlé des maths animalières. Voici un joli exercice animalier :

Un agriculteur bio a trois mille radis. Il veut les vendre sur un marché à cent kilomètres de sa ferme. Pour les transporter il n'utilise pas de fourgonnette mais son vieil âne qui porte mille radis au maximum et qui se fait récompenser par un radis tous les cent mètres.

Combien de radis peut-il vendre au maximum?

Autre exercice d'arithmétique


L'espace des petits exercices en maths me semble de dimension infinie ;-)  Voici encore un nouvel élément :

Est-ce que tout nombre naturel non-nul possède un multiple qui fait intervenir tous les dix chiffres dans son écriture décimale ?

Même des questions connues et d'apparence très simple me surprennent encore. Par exemple, ce n'était que très récemment que j'ai perdu plusieurs jours à prouver en vain la convergence de cette suite — jusqu'à ce qu'on m'a appris que c'est un problème ouvert depuis très longtemps...

Un petit exo, un powerpoint et un porte-craie


Hier j'ai reçu deux choses amusantes (un exercice et un document powerpoint) que je vais partager avec vous ainsi qu'un outil pratique :

Exercice :  Trouver toutes le fonctions injectives f de l'ensemble des nombres naturels dans lui-même telles que f(f(n)) est inférieur ou égal à (n+f(n))/2 pour tout naturel n.

Powerpoint :  Le français est choisi comme langue européenne (document pps).
Bonne lecture, votre bloggeur Perna !

Outil pratique pour le prof :  Pour nos cours nous, mathématiciens, préférons la craie au powerpoint, pour des raisons didactiques. Et nous préférons la craie aux feutres sur tableaux blancs, pour des raisons de développement durable. Mais le problème avec la craie c'est qu'après il faut se nettoyer les mains, comme le fait sur la photo ci-dessous mon ami J.P. Marco avant de recevoir les handshakes de certains auditeurs de son brillant exposé :

Jean-Pierre Marco
CQFD — et Jean-Pierre Marco se frotte les mains

Depuis hier j'utilise un porte-craie. Il évite de se salir les mains et en plus, grâce à un mécanisme qui tient la craie, on peut utiliser les bouts de craie jusqu'à leur fin ce qui fera, à long terme, des économies de consommation de craie. On en trouve deux modèles, pour des craies de diamètre 12mm et pour des craies de diamètre 10mm.

Série classique convergente


Pour savoir pour quel \alpha>0 la série \sum_{k=1}^\infty\,\frac1{k^\alpha} est convergente, on fait une comparaison avec une intégrale, c'est-à-dire on démontre (par exemple par un dessin) l'encadrement suivant, valable pour tout entier n > 1,

\int_2^n\frac{{\rm d}x}{x^\alpha}\;<\;\sum_{k=2}^n\,\frac1{k^\alpha}\;<\;\int_1^n\frac{{\rm d}x}{x^\alpha}\:.

Par intégration il en résulte que


\begin{align*}
\frac1{1-\alpha}\left(\frac1{n^{\alpha-1}}-\frac1{2^{\alpha-1}}\right)\;&<\;\sum_{k=2}^n\,\frac1{k^\alpha}\;<\;\frac1{1-\alpha}\left(\frac1{n^{\alpha-1}}-1\right)\qquad\text{ pour }\alpha\neq1\:,\\&\\&\\
\ln (n) - \ln (2)\;&<\;\sum_{k=2}^n\,\frac1{k}\;<\;\ln (n) - \ln (1)\:.
\end{align*}

En faisant tendre n vers l'infini on conclût que la série converge si \alpha>1 et diverge vers l'infini si \alpha\leq1\,.

Question de colle :

Soit \sum_{k=1}^\infty\,u_k une série convergente. Est-il vrai que \sum_{k=1}^\infty\,u_k^3 est également convergente ?