Transformer les arccos en arctan : acos2atan

6.25.8 Transformer les arccos en arctan : acos2atan

acos2atan a comme argument une expression trigonométrique.
acos2atan transforme cette expression en remplaçant :
arccos(x) par π/2−arctan(x/√1−x²).
On tape :

acos2atan(acos(x))

On obtient :

pi/2-atan(x/sqrt(1-x^2))