New answers tagged

7

Use PowerExpand: PowerExpand[ArcSin[Cos[x]], Assumptions -> 0 < x < π/2] π/2 - x


3

You can try an equivalence like TrigExpand[Tan[ArcTan[y/x] + ArcTan[x/y] - Pi/2]] == 0


Top 50 recent answers are included