Bijection et calcul formel

[kinxkinx]

Bonjour,

Pour une raison quelconque, je voulais cherché la fonction x=f(y)
verifiant
y=x-x²/2k

C'est possible avec x e [0,1] et k>1, la fonction est monotone sur l'interval.

et j'y suis bien arrivé (en passant par une forme factorisable de type (ax-b)², puis en faisant la racine) et je trouve

x=k-racine(k²-2ky)

Mais c'était un peu long et chiant pr quelqu'un comme moi qui a arrêté les math, depuis un bout de temps, donc
1. Est ce que je m'y suis pris de la manière la plus simple?
2. Existe-t-il des logiciels de calculs formels, freeware, qui permettent de calculer ce genre de chose?

Merci bien et bon wend a tous...

[bruce.ml]

Salut kinxkinx,

1) oui on ne peut pas vraiment faire mieux
2) pour utiliser un langage de calcul formel il faut déjà comprendre les notions mathématiques sous jacentes. Un ordinateur ne saura jamais rien faire d'autre que la même chose que nous mais plus rapidement. Certes, beaucoup plus rapiement, mais rien d'autre.