Le mathématicien Steven Wolfram, l'inventeur et créateur du logiciel Mathematica, vient de lancer son nouveau moteur de recherche WolframAlpha. Cet outil en ligne pratique et amusant pour nous mathématiciens (et autres) est bien plus qu'une simple calculatrice.

Par exemple, on peut tracer en ligne des courbes comme celle de

On peut entrer des combinaisons de mots et d'expressions mathématiques, comme par exemple

integral log(sin(x))

ce qui donne une primitive de la fonction ainsi que des graphiques à variable complexe, etc. On peut également faire une recherche avec des mots seuls comme

Weierstrass function

En somme, un nouveau site que je viens déjà de mettre dans mes favoris et que je ne tarderai pas à explorer !

Souvent lorsqu'on veut joindre un bureau administratif par téléphone, c'est occupé. On se dit alors : avant d'essayer à nouveau vaut mieux que j'attende quelques minutes pour que la ligne téléphonique se libère.

Mais est-ce vraiment une bonne stratégie ? Pourquoi attendre quelques minutes et ne pas rappeler toute de suite ou après quelques secondes seulement ? La probabilité que le téléphone sonne occupé dans le futur, ne devrait-elle pas être indépendante de l'état actuel de la ligne ? (En effet, rien ne permet de savoir si l'appel qui occupe la ligne est à son début ou à sa fin.)

Qu'en pensez-vous ?

On suppose ici (de manière très optimiste, je l'avoue) que le personnel du bureau décroche le téléphone à chaque fois qu'il sonne. En plus, on suppose que je n'ai pas d'influence sur les autres personnes susceptibles d'appeler et qu'il s'agit d'une ligne de téléphone à l'ancienne, c'est-à-dire sans boîte vocale active ou possibilité de recevoir de double appels.

Dans ce billet j'ai posé l'exercice de montrer que la loi binaire

x¤y := x(y²+1)^½+y(x²+1)^½

définit une structure de groupe sur l'ensemble des réels. Le seul obstacle est l'associativité; la preuve n'est pas très difficile (il s'agit d'un simple transport de la loi + par le sinus hyperbolique). Mais avec Maple je n'arrive pas à faire la preuve par force brute; en effet, je ne sais pas comment faire en sorte que le logiciel simplifie l'expression concernée (tandis que le logiciel Xcas y arrive, comme l'a remarqué Tukikun).

Dans le même esprit, je me demande si quelqu'un arrive à démontrer avec Maple que, sur les courbes elliptiques (réelles), l'addition par la méthode des sécantes est associative. Je n'y suis pas arrivé.

A chaque nombre naturel avec n² chiffres on peut associer le déterminant de la matrice nxn où on écrit ces chiffres ligne par ligne. Par exemple, si n=2 nous associons au nombre 2011 le déterminant

Exercice : Trouver, en fonction de n, la somme de tous les déterminants associés aux nombres entiers positifs à n² chiffres. (Le premier chiffre est supposé non-nul — par exemple pour n=2 il y a 9000 déterminants qui interviennent.)

Il peut arriver en plein dimanche, quand tous les magasins sont fermés, qu'on doit effectuer un calcul avec la calculatrice, mais les piles de celle-ci sont vides. Pas de panique, il existe une

qui permet de faire les calculs de base et avec des fonctions trigonométriques, exponentielles et logarithmes. (Mais elle ne possède pas la possibilité de dessiner des graphes.)

Je viens de recevoir le message suivant :

Je suis à la recherche de ce que serait l'équation d'une ovoïde ayant pour axe de symétrie l'axe des y. J'ai bien trouvé ceci :

a(1+ky)x² + by² = 1

Mais la figure associée semble avoir l'axe des x pour axe de symétrie. De plus, j'aimerais connaître l'incidence des divers coefficients sur le tracé de la courbe.
Pouvez-vous m'aider ?
Bien cordialement, Jean-Christian Dubau

Voici quelques éléments de réponse.

• D'abord pour changer les axes il vous suffit de changer dans votre équation les rôles de x et y. Mais votre équation est bien celle d'une courbe symétrique par rapport à l'axe des y ; en effet, l'équation reste inchangée si on remplace (x,y) par (-x,y).
   
• Le mieux pour connaître l'incidence des coefficients a, k et b est de les essayer, par exemple en entrant 2(1+3y)x² + 4y² = 1 sur WolphramAlpha. Vous pouvez aussi utiliser le logiciel gratuit Graphmatica ; attention, avec ce logiciel il faut entrer les multiplicatio ns et les exposants sous la forme a*(1+k*y)*x^2 + b*y^2 = 1.
   
• D'où tenez-vous cette équation ? A mon avis le terme 1+ky devrait être au numérateur, comme ceci

  ax²/(1+ky)+ by² = 1.

  Le signe de k (positif ou négatif) devrait influencer si votre œuf est large en bas ou en haut. Les valeurs positives de a et b vont faire un ovale plus haut ou plus large en général.
   
• Je vous propose l'équation sous une autre forme, 13x²=y(y-3)(y-4). (Si vous remplacez le x² par un simple x alors vous allez comprendre pourquoi on obtient un ovale par cette équation.) Jouez sur les nombres 13, 3 et 4 pour changer la forme de la courbe. Voici ce que ça donne avec Graphmatica :
   
  
• Vous trouverez d'autres equations ici.

Etant en voyage, je ne peux pas répondre plus longuement, mais peut-être certains de mes lecteurs pourront vous aider davantage.

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 A_j 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(A_iA_j) est-il un nombre carré?

Grande surprise : le mathématicien russe Grigori Perelman vient d'annoncer que sa preuve de la conjecture de Poincaré, publiée en novembre 2002 sur ArXiv (revue scientifique en ligne sans comité de lecture), est fausse. Apparemment Perelman le savait tout le temps et attendait que quelqu'un trouve l'erreur ! Maintenant il se moque de toute la communauté mathématique, qui pendant six ans était incapable de vérifier les subtilités de sa (fausse) démonstration. Aujourd'hui il va même plus loin et propose un contre-exemple à la conjecture de Poincaré ; en fait ce contre-exemple (à vérifier scrupuleusement...) est en dimension 22 et Perelman a des pistes pour la construction de contre-exemples en toute dimension supérieure.

Il semble que cette fois, pour son travail destructeur, le chercheur russe ne réfuse plus d'être récompensé :

"Mathematicians are so easily baffled — now I want the Fields medal and the money, even if I'm too old for it!"

Vous pouvez lire l'entretien complet avec cet homme d'exception ici.

A l'occasion de la solution d'un joli exercice de type colle sur les matrices (voir le blog de Pierre Lecomte), je suis naturellement amené à poser la question suivante.

Soit A une matrice inversible à coefficient dans un corps. Alors par des opérations élémentaires sur les lignes on peut transformer A en la matrice unité. En fait c'est la méthode du pivot de Gauss qui permet cela. On en déduit que A est un produit de matrices correspondantes aux trois types d’opérations élémentaires (permutation de lignes, multiplication d’une ligne par un scalaire non-nul, ajout d’une ligne à une autre).
Cette écriture en produit est pratique car elle permet de prouver plein de choses. Par exemple, pour montrer que le déterminant conserve les produits il suffit de le vérifier pour la multiplication entre une matrice de ce type et une matrice quelconque — et c'est tout facile.

Or comment ça se passe-t-il sur un anneau ? Plus précisément :

Soit R un anneau commutatif et A une matrice carrée avec coefficients dans R telle que det(A) est une unité de R. On sait que A est une matrice inversible (c’est du classique, voir par exemple ici pour la formule qui donne l'inverse en fonction de (det A)^-1 et de la comatrice).
Question : Peut-on ramener A à la matrice unité par des opérations élémentaires ?

Peut-être avez-vous déjà réfléchi là-dessus et connaissez la réponse...

Le cofacteur d'indice (j,k) d'une matrice carrée A est où désigne la matrice qu'on obtient en enlevant de A la k-ième ligne et la j-ième colonne. Autrement dit, si A est de format nxn alors est la matrice suivante de format (n-1)x(n-1)

La matrice des cofacteurs de A, s'appelle la comatrice de A, notée com(A). En résumé,

Petit exercice :  la fonction qui à une matrice associe sa comatrice est-elle un difféomorphisme du groupe linéaire sur lui-même ? Et de sur lui-même ?

Le Musée de l'histoire de la science à Oxford possède une collection de tableaux noirs qu'on a oublié d'effacer. Comme par exemple celui-ci d'Albert Einstein :

Je suis touché par l'écriture un peu infantil de ce grand génie. Malheureusement je ne comprends pas grande chose de ce qu'il a noté... Et pourquoi d'une ligne à l'autre la fraction change-t-elle en  ? Peut-être un physicien peut nous éclairer !