I don't understand this property of arctan(x)'

[mr_garlic]

The derivative of arctan(x) is \frac{1}{x^2+1}

The derivative of arctan(x - sqrt(x^2 + 1) is \frac{1}{2(x^2+1)}

take arctan(x) to be A and arctan(x-sqrt(x^2 + 1)) to be B.

A'=\frac{1}{x^2+1}
B'=\frac{1}{2}*A'

Why doesn't \frac{1}{2}*A=B?

If you'd like, I can prove the derivative for you, but it's moderately tedious to simplify it to that point.

 

[HallsofIvy]

The derivative of arctan(x) is \frac{1}{x^2+1}

The derivative of arctan(x - sqrt(x^2 + 1) is \frac{1}{2(x^2+1)}

take arctan(x) to be A and arctan(x-sqrt(x^2 + 1)) to be B.

A'=\frac{1}{x^2+1}
B'=\frac{1}{2}*A'

Why doesn't \frac{1}{2}*A=B?

If you'd like, I can prove the derivative for you, but it's moderately tedious to simplify it to that point.

Yes, I would like to see your derivation of B'. I get nothing like that!

 

[Irrational]

The derivative of arctan(x - sqrt(x^2 + 1) is \frac{1}{2(x^2+1)}

Wolfram solution

\frac{d}{dx}tan^{-1}(x-\sqrt{x^2+1}) = \frac{1-\frac{x}{\sqrt{x^2+1}}}{(x-\sqrt{x^2+1})^2+1}

 

[HallsofIvy]

That's what I came out with!

 

[Cyosis]

I plugged this into mathematica and it indeed simplifies to \frac{1}{2+2x^2}. Which would suggest that \arctan(x)=2 \arctan(x-\sqrt{x^2+1})+C. Therefore C=\arctan(x)-2\arctan(x-\sqrt{x^2+1})=\frac{\pi}{4}.

Picture:
http://img32.imageshack.us/img32/3028/arctan.jpg

I am not sure how to find C yet, mathematica wasn't able to find it and I am not in the mood to try and symplify it currently. However all the numerical values I tried yielded pi/4.

 

[George Jones]

I am not sure how to find C yet, mathematica wasn't able to find it and I am not in the mood to try and symplify it currently. However all the numerical values I tried yielded pi/4.

One way is to set

<br /> z=\tan^{-1} \left(x - \sqrt{1 + x^2} \right),<br />

so that

\tan z = x - \sqrt{1 + x^2}

Solving for x then leads directly to your result.

 

[mr_garlic]

Haven't had a chance to check the thread until now.

I completely forgot that there's a constant!

That makes so much sense, thank you everyone.

P.S. I'm only in the first calc class, this just really bothered me, and I didn't want to wait till class on tuesday to find out why it worked out the way it did.

 

[mr_garlic]

Wolfram solution

\frac{d}{dx}tan^{-1}(x-\sqrt{x^2+1}) = \frac{1-\frac{x}{\sqrt{x^2+1}}}{(x-\sqrt{x^2+1})^2+1}

Not to double-post, but Wolfram didn't consider the chain rule as of yesterday! That's impressive progress.

 

[Cyosis]

That's a clever way to solve it George.

Mr_garlic, your first result was correct. After simplification that ugly looking expression will reduce to the nice expression you found in your first post.