Analyzing the Setup
Imagine you are standing at the edge of a complex mathematical landscape. You see a function, f(x)=tan−1(1−x22x), and it looks intimidating.
It is a composite function, a tangle of algebra and trigonometry. But in the world of JEE Advanced, complexity is often just a mask for elegance. Our goal is to find the codomain B that makes this function bijective—both one-one and onto.
The Substitution
Unmasking the Identity
The first step in any great problem is to recognize the pattern. Look closely at the expression inside the inverse tangent:
Does it ring a bell? It is the ghost of the double-angle identity for tangent:
This is our key. We make the substitution x=tanθ.
But we must be careful! The problem explicitly states that x∈(−1,1). This is not just a constraint; it is a boundary condition.
If x is between −1 and 1, then θ must be between −4π and 4π. This restriction is the guardian of our logic.
The Principal Branch
The Trap
Now, we substitute. The function becomes f(x)=tan−1(tan2θ).
Here is where many students stumble. They blindly cancel the tan−1 and tan to get 2θ. But in mathematics, we must always check the principal value branch.
Since θ∈(−4π,4π), it follows that 2θ∈(−2π,2π). This interval is exactly the principal domain of the inverse tangent function.
Because our angle 2θ sits comfortably within this safe zone, we can indeed simplify the expression to f(x)=2θ. Substituting back, we find the true, simplified soul of our function:
Monotonicity
The One-to-One Proof
Now that we have f(x)=2tan−1x, the path forward is clear. To prove a function is one-one, we must show it is strictly monotonic.
Let us look at the derivative:
f′(x)=dxd(2tan−1x)=1+x22
Notice the denominator: 1+x2. Since x2 is always non-negative, 1+x2 is always positive.
Thus, f′(x)>0 for all x in the domain. A strictly positive derivative means our function is strictly increasing. It never looks back, never repeats a value; it is, undeniably, one-to-one.
The Final Destination
Range and Onto
We have conquered the one-to-one property. Now, for the final hurdle: the onto property.
A function is onto if and only if its codomain equals its range. We need to find the range of f(x)=2tan−1x over the domain x∈(−1,1).
Since tan−1x is a strictly increasing function, we can apply it to the inequality −1<x<1 without flipping the signs. We get:
tan−1(−1)<tan−1x<tan−1(1)
This simplifies to −4π<tan−1x<4π. Multiplying by 2, we arrive at the range:
This is our interval B. The function is onto when the codomain B is exactly this range: (−2π,2π).