Les plus belles formules

[invitef591ed4b]

On dit parfois que les maths et les sciences sont belles. On pense souvent à une beauté "fonctionnelle", c.-à-d. qu'un concept est beau lorsqu'il symbolise une propriété puissante. Ceci dit, je suis sûr que beaucoup d'entre vous trouvent que certaines formules sont belles "esthétiquement" C.-à-d. qu'il y a une certaine harmonie ou symétrie dans leur écriture, ou bien qu'elles relient entre eux des éléments qui n'ont a priori rien à voir.

Je vous propose donc de mettre vos plus belles formules et éventuellement de les commenter un peu !



Je commence l'exposition avec l'identité d'Euler :

Identité très simple qui découle de la formule d'Euler que je trouve moins jolie, mais plus puissante :

Elle est célèbre car elle contient essentiellement tous les concepts élémentaires des maths : les 3 opérations de base (+, x, ^), les 2 nombres transcendants les plus importants ( et ) et les neutres pour + et x.

Mon second coup de coeur est pour les 4 équations de Maxwell sous forme vectorielle :

Quatre formules simples pour expliquer l'ensemble des phénomènes électromagnétiques, je trouve ça vraiment pas mal. Bon, ça se réduit à 2 équations si on passe sous forme tensorielle, mais c'est beaucoup moins joli, je trouve.

À vous

[invite4793db90]

Salut,

ayant un faible pour la théorie des nombres, mon coup de coeur revient à l'identité d'Euler (et oui encore lui ) :

où et où le produit s'étend sur l'ensemble des nombres premiers.

Cette formule n'est autre qu'une reformulation analytique du théorème fondamental de l'arithmétique : tout nombre entier est le produit de nombres premiers, l'écriture étant unique à l'ordre des facteurs près.

Le truc, c'est que cette formule se généralise à tout un tas d'objets : anneaux de Dedekind, fonctions L associées à des formes modulaires ou automorphes, fonctions L d'Artin, etc...

Cordialement.

[invitec314d025]

Moi j'aime bien la formule de Minac et Willans parce qu'elle ne sert à rien (totalement inutilisable) :



p_n étant le n^ème nombre premier.

Je la trouve belle bien que non puissante, non harmonieuse, ni quoi que ce soit qui corresponde de près ou de loin aux critères de Sephi

[invitef591ed4b]

matthias > Hé, c'est la 1ère fois que je vois une formule donnant le n-ième nombre premier !

Alors une formule qui ne sert probablement à rien, mais qui titille l'intuition :

Je ne comprends toujours pas comment c'est possible en fait (je l'ai vu dans un bouquin dont je n'ai pas terminé la lecture)

[A voir en vidéo sur Futura]

[invitec314d025]

Petite précision, dans la formule de Minac et Willans tous les crochets réprésente la fonction partie entière, ce ne sont pas des parenthèses.

[yat]

Je ne comprends toujours pas comment c'est possible en fait

Je t'avoue que ça me parait très louche aussi... je pense que pour tout n positif, la valeur de est x, tel que soit x²=n+x, ce qui donne sauf erreur de ma part
Donc moi non plus, je ne vois pas trop comment ça peut tendre vers 1 quand n tend vers zéro.

[invitec314d025]

Et comme n tend vers 0 .... (et oui 0, pas + infini).

[invitef591ed4b]

Je dis ce que l'auteur du bouquin raconte :

Si on note , en ajoutant , en prenant la racine puis le carré, on obtient

Ainsi, pour connaître le développement en racines continues d'un nombre , il suffit de calculer le correspondant. Si , on a :

c.-à-d. que , d'où :

Là, l'auteur dit qu'il ne faut pas se précipiter dans l'interprétation. Si on fait l'opération inverse, c.-à-d. choisir et calculer le correspondant, on a deux solutions et .

Il explique alors succinctement qu'en réalité, la limite dépend de la manière dont on construit la suite de racines. Elle vaut si on la construit en prenant des racines successives de :

Mais elle vaut lorsqu'on part d'un que l'on fait tendre vers , d'où la formule initiale. Mais je ne sais pas d'où sort cette explication ...

[yat]

Si on fait l'opération inverse, c.-à-d. choisir et calculer le correspondant, on a deux solutions et .

Je ne vois vraiment pas comment...

Mais elle vaut lorsqu'on part d'un que l'on fait tendre vers , d'où la formule initiale. Mais je ne sais pas d'où sort cette explication ...

Vu la formule que ça donne en fonction de n, moi non plus.

[invitec314d025]

Je ne vois pas trop le problème, les explications du bouquin ne sont pas claires, mais le problème est simple.
On a, pour tout n, une suite convergente dont la limite a été donnée par yat (pour n non nul, 0 pour n=0), ce qui permet d'écrire le développement en racine continues sans ambiguité.
On a donc une fonction de n qui n'est pas continue en 0, rien de dramatique.

[invitef591ed4b]

yat > L'équation possède deux solution qui sont :

Lorsque , elles deviennent et ...

[yat]

Eh oui, c'est bien un + et pas un -... c'est donc avec un immense plaisir que j'accepte ce

[invitef591ed4b]

matthias > C'est aussi simple que ça ?

Tu dis que c'est une fonction de non continue en où ça vaut . Mais si on calcule le correspondant à , on obtient et donc ça vaut en ?!



Ça a l'air de ne pas poser de problème pour un autre , genre :

[invitec314d025]

Tu dis que c'est une fonction de non continue en où ça vaut . Mais si on calcule le correspondant à , on obtient et donc ça vaut en ?!

Ca ne marche pas dans ce sens là. Tu pars de n et tu calcules le x qui va bien (ce qu'a fait yat).
Si tu pars de x=1, la seule chose que tu montres, c'est qui si il existait un n tel que la limite de la suite soit 1 alors n serait égal à 0. Or ça ne marche pas pour n=0, donc il n'y a aucun n tel que la limite de la suite soit 1.

[invite06fcc10b]

Et voici une de mes formules préférées :

(define (compte e l)
(cond ((null? l) 0)
((equal? e (car l)) (+ 1 (compte e (cdr l))))
(#t (compte e (cdr l))))

Cette fonction en langage Lisp compte simplement le nombre d'occurences de l'élément e dans la liste l.
Par exemple (compte 'a '(b a a b a b a)) renvoie 4 car il y a 4 'a'.
Symboliquement, cette formule ne traite pas de nombres mais de symboles quelconques. Un pas important est donc franchi vers l'abstraction. De plus, le Lisp a été inventé par les premiers spécialistes de l'I.A. pour traiter les symboles et les listes, et les listes de listes, c'est à dire les graphes. On peut dire en quelques sortes que c'est un petit pas vers l'intelligence. Et l'intelligence n'est-elle pas une des plus belles choses qui soit en cet univers ?

[invite88ef51f0]

Salut,
Je vote aussi pour les équations de Maxwell ! Quand je les ai apprises, j'ai regardé pendant plusieurs secondes le tableau en me disant "voici l'électromagnétisme, puissant...".

[invitec314d025]

Je vote aussi pour les équations de Maxwell ! Quand je les ai apprises, j'ai regardé pendant plusieurs secondes le tableau en me disant "voici l'électromagnétisme, puissant...".

Enfin ça, c'est une fois qu'on les a comprises, parce qu'avant, on se demande plutôt ce que c'est que ce charabia. Mais c'est vrai que c'est beau.

[invite88ef51f0]

C'est d'autant plus beau qu'on comprend rien... (il faut quand même savoir la portée de la chose)
Après les quelques secondes d'émerveillement, il a fallu que je me remette à écouter ce que disait le prof.

Je pense que le fait que ça résume tant de chose en si peu d'équations ne se retrouve pas ailleurs.

[invite7bfc68ef]

C'est d'autant plus beau qu'on comprend rien... (il faut quand même savoir la portée de la chose)
Après les quelques secondes d'émerveillement, il a fallu que je me remette à écouter ce que disait le prof.

Je pense que le fait que ça résume tant de chose en si peu d'équations ne se retrouve pas ailleurs.

bonjour à tous ; moi j'aime bien la formule suivante car c'est moi qui l'ai trouvée :elle sert à trouver le nombre de termes d'une suite arithmétique connaissant sa raison u[IND]0 et sa somme la voici :

rx²+x( 2u[IND]0-r) -2sigma = 0 (sigma étant la somme et r la raison)
qu'en pensez-vous ? (défense de rire)

[invite7bfc68ef]

bonjour à tous ; moi j'aime bien la formule suivante car c'est moi qui l'ai trouvée :elle sert à trouver le nombre de termes d'une suite arithmétique connaissant sa raison u[IND]0 et sa somme la voici :

rx²+x( 2u[IND]0-r) -2sigma = 0 (sigma étant la somme et r la raison)
qu'en pensez-vous ?

bonjour c'est une équation de type ax² +bx +c = 0
dans laquelle (a) représente la raison de la suite ,
(b) représente 2((u₀)-(a)) et(c)représente 2(S) (2 fois la somme de la suite) qu'y-a-t'il d'incompréhensible coincoin ?

[CM63]

Ah oui, en effet! J'y comprenais que dalle! Merci Benji_star!

[invite9ba36748]

Moi Cest une citation de albert einstein la plus célébre du monde :

E=Mc²

[mach3]

Moi Cest une citation de albert einstein la plus célébre du monde :

E=Mc²

elle a déjà été citée deux fois auparavant, désolé

par ailleurs il semble que personne n'ait citée la formule complète, alors je me le permet:



m@ch3

[invite2367a221]

Personnellement, la formule que je trouve la plus belle, c'est la formule permettant de résoudre une équation du troisième degré du type
ax³ + bx² + cx + d = 0:

[invitef591ed4b]

Je pense que le fait que ça résume tant de chose en si peu d'équations ne se retrouve pas ailleurs.

T'as oublié :

F = m a

[invite88ef51f0]

C'est vrai... que de concepts en si peu de lettres !

[invitefa5fd80c]

Que dire alors du principe d'Hamillton :

del I = 0

où "del I" est une variation de I entre deux chemins pris par un système entre
deux instants t1 et t2, I étant l'intégrale d'action.

Cette équation est applicable autant en théorie quantique des champs qu'en physique classique.

Elle semble d'ailleurs avoir fasciné Hilbert (avec sa "world function")

[invite06fcc10b]

C'est vrai... que de concepts en si peu de lettres !

Dans F=m.a, il y a effectivement plein de choses :
- il y a d'abord sous-entendu la formule reliant la somme des forces à l'accélération de manière vectorielle
- et il y a l'erreur humaine qui oublie le symbole de la somme sans lequel la formule est fausse
... ce qui sous-entend l'existence d'un être intelligent tentant de comprendre le monde.

Question :
Je n'ai eu aucune réaction après avoir proposé une fonction Lisp comme belle formule pleine d'abstractions et n'ont été proposées que des fonctions mathématiques simples, taxées qui plus est elles-aussi d'un grand pouvoir d'abstraction. Y aurait-il une discrimination envers les symboles informatiques ou une simple incompréhension de la place de l'informatique dans les mathématiques ?
En particulier, je note qu'il n'y a aucun "si alors sinon" dans les formules proposées, comme si ces symboles n'appartenaient pas à l'univers des formules mathématiques ?
Il est d'ailleurs remarquable qu'en physique, aucune formule ne comporte explicitement de "si alors sinon", et de plus aucune formule n'est récursive. Comment expliquer cette discrimination ?
(ah non pardon, il y a un théorème proposé dans le dernier message, donc l'honneur est sauf en maths ... mais toujours pas en physique ...)

[invite74a6a825]

Et voici une de mes formules préférées :

(define (compte e l)
(cond ((null? l) 0)
((equal? e (car l)) (+ 1 (compte e (cdr l))))
(#t (compte e (cdr l))))

Cette fonction en langage Lisp compte simplement le nombre d'occurences de l'élément e dans la liste l.
Par exemple (compte 'a '(b a a b a b a)) renvoie 4 car il y a 4 'a'.
Symboliquement, cette formule ne traite pas de nombres mais de symboles quelconques. Un pas important est donc franchi vers l'abstraction. De plus, le Lisp a été inventé par les premiers spécialistes de l'I.A. pour traiter les symboles et les listes, et les listes de listes, c'est à dire les graphes. On peut dire en quelques sortes que c'est un petit pas vers l'intelligence. Et l'intelligence n'est-elle pas une des plus belles choses qui soit en cet univers ?

bof, en VB c'est plus simple à comprendre et pas plus long a écrire

Function Compte(a, s)
n = 0
For i = 1 To Len(s)
If Mid(s, i, 1) = a Then n = n + 1
Next i
Compte = n
End Function

[invite62588872]

Bonjour,

Je n'ai pas de nouvelle formule à rajouter car celle qui me concerne a déjà été postée.

Par contre je tiens à partager le fait qu'en tant que programmeur, j'ai souvent été "ému" par la beauté de certains codes et algorithmes (et de même pour au moins un collègue. Probablement d'autres, ce n'est pas un sujet fréquent..).

Je pense que dans le cas de la programmation, ce qui est "sexy" à ce niveau est la puissance de l'algorithme, la simplicité du code (souvent moins de 10 lignes) et l'utilisation d'une astuce du style "oooh c'est super ! Complètement évident maintenant que je le sais mais je n'y aurais jamais pensé !"

Voilà je tenais à affirmer ce fait qui me tient à coeur