An Arctangent Mean Bound

Problem

For 0<a<b0 < a < b, prove that

arctan⁡b−arctan⁡ab−a>11+a2⋅1+b2.\frac{\arctan b - \arctan a}{b - a} > \frac{1}{\sqrt{1+a^2}\cdot\sqrt{1+b^2}}.

Answer

Solution

Difficulty7/10
Topicstrigonometry, calculus, Substitution, Monotonicity, inequality

Whiteboard

Your sketch is saved only in this browser. To share it, export your drawing as an image (whiteboard menu → Export as → PNG), then upload that image in the comments below.

Discussion

Ask questions, share alternate solutions, and use LaTeX freely.

0 comments
Log in to join the discussion.

No comments yet.