JEE Challenger
More from Relations and Functions (Advanced)

Injectivity Surjectivity and Symmetry of Logarithmic Trigonometric Function

Consider the function f:(−π2,π2)→Rf: \left(-\frac{\pi}{2}, \frac{\pi}{2}\right) \rightarrow \mathbb{R} specified by f(x)=(log⁡(sec⁡x+tan⁡x))3.f(x) = (\log(\sec x + \tan x))^3. Which of the following statements is/are correct?

Options

A

f(x)f(x) is an odd function

Correct
B

f(x)f(x) is a one-one function

Correct
C

f(x)f(x) is an onto function

Correct
D

f(x)f(x) is an even function

Step-by-Step Solution

To determine the correct statements about the function f:(−π2,π2)→Rf: \left(-\frac{\pi}{2}, \frac{\pi}{2}\right) \rightarrow \mathbb{R} given by f(x)=(log⁡(sec⁡x+tan⁡x))3,f(x) = (\log(\sec x + \tan x))^3, we analyze its properties step-by-step:


1. Symmetry (Odd / Even Function)

We compute f(−x)f(-x): f(−x)=(log⁡(sec⁡(−x)+tan⁡(−x)))3=(log⁡(sec⁡x−tan⁡x))3f(-x) = (\log(\sec(-x) + \tan(-x)))^3 = (\log(\sec x - \tan x))^3

Using the trigonometric identity sec⁡2x−tan⁡2x=1\sec^2 x - \tan^2 x = 1, we can write: sec⁡x−tan⁡x=sec⁡2x−tan⁡2xsec⁡x+tan⁡x=1sec⁡x+tan⁡x=(sec⁡x+tan⁡x)−1\sec x - \tan x = \frac{\sec^2 x - \tan^2 x}{\sec x + \tan x} = \frac{1}{\sec x + \tan x} = (\sec x + \tan x)^{-1}

Substituting this back into the logarithmic expression: log⁡(sec⁡x−tan⁡x)=log⁡((sec⁡x+tan⁡x)−1)=−log⁡(sec⁡x+tan⁡x)\log(\sec x - \tan x) = \log\left((\sec x + \tan x)^{-1}\right) = -\log(\sec x + \tan x)

Therefore: f(−x)=(−log⁡(sec⁡x+tan⁡x))3=−(log⁡(sec⁡x+tan⁡x))3=−f(x)f(-x) = (-\log(\sec x + \tan x))^3 = -(\log(\sec x + \tan x))^3 = -f(x)

Since f(−x)=−f(x)f(-x) = -f(x) for all x∈(−π2,π2)x \in \left(-\frac{\pi}{2}, \frac{\pi}{2}\right), f(x)f(x) is an odd function.
Thus, (A) is correct and (D) is incorrect.


2. Injectivity (One-one Function)

Let g(x)=log⁡(sec⁡x+tan⁡x)g(x) = \log(\sec x + \tan x). Differentiating g(x)g(x) with respect to xx: g′(x)=1sec⁡x+tan⁡x⋅(sec⁡xtan⁡x+sec⁡2x)=sec⁡x(tan⁡x+sec⁡x)sec⁡x+tan⁡x=sec⁡xg'(x) = \frac{1}{\sec x + \tan x} \cdot (\sec x \tan x + \sec^2 x) = \frac{\sec x(\tan x + \sec x)}{\sec x + \tan x} = \sec x

For all x∈(−π2,π2)x \in \left(-\frac{\pi}{2}, \frac{\pi}{2}\right), sec⁡x>0\sec x > 0, which means g′(x)>0g'(x) > 0. Thus, g(x)g(x) is a strictly increasing function on its domain.

Now, differentiate f(x)=(g(x))3f(x) = (g(x))^3: f′(x)=3(g(x))2⋅g′(x)=3(log⁡(sec⁡x+tan⁡x))2⋅sec⁡xf'(x) = 3 (g(x))^2 \cdot g'(x) = 3 (\log(\sec x + \tan x))^2 \cdot \sec x

Since sec⁡x>0\sec x > 0 and (log⁡(sec⁡x+tan⁡x))2≥0(\log(\sec x + \tan x))^2 \ge 0 (with equality holding only at x=0x = 0), we have f′(x)>0f'(x) > 0 for all x∈(−π2,π2)∖{0}x \in \left(-\frac{\pi}{2}, \frac{\pi}{2}\right) \setminus \{0\}.

A strictly increasing continuous function on an interval is strictly monotonic and therefore one-one (injective).
Thus, (B) is correct.


3. Surjectivity (Onto Function)

We evaluate the limiting behavior of f(x)f(x) at the boundaries of its domain:

  1. As x→π2−x \to \frac{\pi}{2}^-: sec⁡x+tan⁡x→∞  ⟹  log⁡(sec⁡x+tan⁡x)→∞  ⟹  f(x)→∞\sec x + \tan x \to \infty \implies \log(\sec x + \tan x) \to \infty \implies f(x) \to \infty

  2. As x→−π2+x \to -\frac{\pi}{2}^+: sec⁡x+tan⁡x→0+  ⟹  log⁡(sec⁡x+tan⁡x)→−∞  ⟹  f(x)→−∞\sec x + \tan x \to 0^+ \implies \log(\sec x + \tan x) \to -\infty \implies f(x) \to -\infty

Since f(x)f(x) is continuous on (−π2,π2)\left(-\frac{\pi}{2}, \frac{\pi}{2}\right), by the Intermediate Value Theorem, f(x)f(x) takes all real values in (−∞,∞)(-\infty, \infty).

Since Range(f)=R=Codomain\text{Range}(f) = \mathbb{R} = \text{Codomain}, the function is onto (surjective).
Thus, (C) is correct.


Conclusion

The correct options are A, B, and C.