On a vu en physique la pensée de Paul Langevin déclarant : "Les équations de la physique connaissent mieux la physique que le physicien lui-même".
Eh bien, on pourrait en dire autant en mathématiques !
En voici un exemple très simple où la simple équation d'un cercle centré à l'origine nous amène à redécouvrir un théorème de géométrie élémentaire :

Cordialement.