Tout ce commentaire est eaxct et bien connu. Une correction de détail : il existe bien une formule portant un nom arabe, c’est le théorème d’Al Kashi :
a² = b² + c² -2bcCos(A)
Mais souvent les formules ne portent pas le nom de leur inventeur.