2
$\begingroup$

Anyone know how to force Mathematica to return:

$$\tan^{-1}x+\tan^{-1}\frac{1}{x}=\frac{\pi}{2}$$

I've tried this:

ArcTan[x] + ArcTan[1/x] // FullSimplify

this:

Pi/2 - ArcTan[1/x] // FullSimplify

and several other methods, but no luck thus far.

$\endgroup$
4
  • 1
    $\begingroup$ Note that x needs be positive $\endgroup$
    – Feyre
    Commented Jan 4, 2017 at 19:28
  • 1
    $\begingroup$ This doe not solve your problem, but if you plot ArcTan[x]+ArcTan[1/x] you see that your expression is valid only for x>=0 $\endgroup$
    – mattiav27
    Commented Jan 4, 2017 at 19:31
  • 8
    $\begingroup$ Assuming[x > 0, ArcTan[x] + ArcTan[1/x] // TrigToExp // FullSimplify] $\endgroup$
    – Bob Hanlon
    Commented Jan 4, 2017 at 19:32
  • $\begingroup$ These comments are so helpful. Thanks. $\endgroup$
    – David
    Commented Jan 4, 2017 at 22:14

1 Answer 1

4
$\begingroup$

This might not be elegant (but may be Bob's method is simpler in the comment)

 expr = ArcTan[x] + ArcTan[1/x];
 Normal@Assuming[x > 0, Series[expr, {x, 0, 5}]]

Mathematica graphics

$\endgroup$

Not the answer you're looking for? Browse other questions tagged or ask your own question.