f(x)=tanx(-1<=x<=1)　の単射の厳密な判定について
定義域内で明らかに「tanx=tanx'ならばx=x'」が成り立つと言うのでは不十分な気がして。
式変形でtanx=tanx'ならばx=x'と持っていきたいんですが
どう変形していけばいいでしょうか？