Re,
Bon, Wolfram est loin d'être parfait. Il utilise des logarithmes là ou des fonctions hyperboliques seraient plus simples, et cela entraine des erreurs sur les domaines de définition. Mais en lui facilitant la vie, il arrive à des résultats plus sympathiques :
En parlant de l'équation dt=dr/sqrt(1/x+1)(a-1/x) qu'on multiplie haut et bas par x^(3/2) on arrive à dt=x^(3/2)*dx/sqrt(1+x)(ax-1)
qu'il sait résoudre avec des atanh et asinh
https://www.wolframalpha.com/input/?...9%28ax-1%29%29
(toujours le bug bizarre où il supprime un des signes plus ; à réécrire dans la formule)
Il doit rester un petit probléme avec les atanh (non définis si l'argument est supérieur à 1 : à vérifier)
Au passage, je me suis rendu compte aussi que pour le premier fil, et comme cela avait déjà été signalé par un des intervenants, la formule qu'il trouve est inutilement compliquée. Avec la même méthode, plus un peu de simplifications (qu'il ne fait pas très bien non plus), on retrouve que l'intégrale de dx/sqrt(1/x+1) est tout bêtement égale
à racine(x).racine(x+1)- asinh(racine(x))
-----