>>728
一般に関数fとf^(-1)の合成、f⚪︎f^(-1)は、恒等写像になって、
f⚪︎f^(-1)(x)=xになるんだな
まあ、Arctanx＝(なんとか分のπ)になるときは、t＝tanxのx＝(なんとか分のπ)になってないといけないからねえ、