Introduction

Inverse trigonometric functions have a rich set of properties and identities that are crucial for simplifying expressions and solving equations. These properties often mirror the identities of standard trigonometric functions but have important restrictions related to their principal value branches.


1. Composition Properties 🔄

A. f(f⁻¹(x)) = x

This property shows the direct cancellation of a function and its inverse.

  • sin(sin1x)=x,for x[1,1]\sin(\sin^{-1}x) = x, \quad \text{for } x \in [-1, 1]
  • cos(cos1x)=x,for x[1,1]\cos(\cos^{-1}x) = x, \quad \text{for } x \in [-1, 1]
  • tan(tan1x)=x,for xR\tan(\tan^{-1}x) = x, \quad \text{for } x \in \mathbb{R}
  • Intuition: This is like asking, "What is the sine of the angle whose sine is x?" The answer is simply x. The operations undo each other, provided x is in the valid domain of the inverse function.

B. f⁻¹(f(x)) = x (with restrictions)

This composition is trickier because the output of an inverse trigonometric function is always restricted to its principal value branch.

  • sin1(sinx)=x,only if x[π/2,π/2]\sin^{-1}(\sin x) = x, \quad \text{only if } x \in [-\pi/2, \pi/2]
  • cos1(cosx)=x,only if x[0,π]\cos^{-1}(\cos x) = x, \quad \text{only if } x \in [0, \pi]
  • tan1(tanx)=x,only if x(π/2,π/2)\tan^{-1}(\tan x) = x, \quad \text{only if } x \in (-\pi/2, \pi/2)
  • Explanation: If xx is outside the principal range, the function returns an equivalent angle that is inside the range.
  • Example: Find the value of sin1(sin(2π/3))\sin^{-1}(\sin(2\pi/3)).
    1. The input angle is x=2π/3x=2\pi/3, which is not in the principal range of sin1\sin^{-1}, [π/2,π/2][-\pi/2, \pi/2]. So the answer is not 2π/32\pi/3.
    2. First, evaluate the inner function: sin(2π/3)=3/2\sin(2\pi/3) = \sqrt{3}/2.
    3. The problem becomes: find sin1(3/2)\sin^{-1}(\sqrt{3}/2).
    4. Now, find the angle in the principal range [π/2,π/2][-\pi/2, \pi/2] whose sine is 3/2\sqrt{3}/2. That angle is π/3\pi/3.
    5. Therefore, sin1(sin(2π/3))=π/3\sin^{-1}(\sin(2\pi/3)) = \pi/3.

2. Reciprocal Identities 📏

These properties relate the inverse of a trigonometric function to the inverse of its reciprocal.

  • csc1x=sin1(1/x),for x1\csc^{-1}x = \sin^{-1}(1/x), \quad \text{for } |x| \ge 1

  • sec1x=cos1(1/x),for x1\sec^{-1}x = \cos^{-1}(1/x), \quad \text{for } |x| \ge 1

  • cot1x=tan1(1/x),for x>0\cot^{-1}x = \tan^{-1}(1/x), \quad \text{for } x > 0 (Note: For x<0x<0, cot1x=π+tan1(1/x)\cot^{-1}x = \pi + \tan^{-1}(1/x))

  • Proof (for csc⁻¹x):

    1. Let csc1x=θ\csc^{-1}x = \theta. By definition, cscθ=x\csc\theta = x.
    2. Take the reciprocal of both sides: 1cscθ=1x\frac{1}{\csc\theta} = \frac{1}{x}.
    3. Since sinθ=1cscθ\sin\theta = \frac{1}{\csc\theta}, we have sinθ=1/x\sin\theta = 1/x.
    4. Take the inverse sine of both sides: θ=sin1(1/x)\theta = \sin^{-1}(1/x).
    5. Therefore, csc1x=sin1(1/x)\csc^{-1}x = \sin^{-1}(1/x).

3. Reflection Identities (Negative Arguments) зеркало

These rules explain how to handle negative inputs to inverse trigonometric functions.

Group 1 (Odd Functions Family):

  • sin1(x)=sin1x,x[1,1]\sin^{-1}(-x) = -\sin^{-1}x, \quad x \in [-1,1]
  • tan1(x)=tan1x,xR\tan^{-1}(-x) = -\tan^{-1}x, \quad x \in \mathbb{R}
  • csc1(x)=csc1x,x1\csc^{-1}(-x) = -\csc^{-1}x, \quad |x| \ge 1
  • Example: sin1(1/2)=sin1(1/2)=π/6\sin^{-1}(-1/2) = -\sin^{-1}(1/2) = -\pi/6.

Group 2 (Cosine Family):

  • cos1(x)=πcos1x,x[1,1]\cos^{-1}(-x) = \pi - \cos^{-1}x, \quad x \in [-1,1]
  • sec1(x)=πsec1x,x1\sec^{-1}(-x) = \pi - \sec^{-1}x, \quad |x| \ge 1
  • cot1(x)=πcot1x,xR\cot^{-1}(-x) = \pi - \cot^{-1}x, \quad x \in \mathbb{R}
  • Example: cos1(1/2)=πcos1(1/2)=ππ/3=2π/3\cos^{-1}(-1/2) = \pi - \cos^{-1}(1/2) = \pi - \pi/3 = 2\pi/3.

4. Cofunction Identities (Complementary Angles) ➕

These identities show a simple relationship between pairs of inverse cofunctions.

  • sin1x+cos1x=π2,for x[1,1]\sin^{-1}x + \cos^{-1}x = \frac{\pi}{2}, \quad \text{for } x \in [-1, 1]

  • tan1x+cot1x=π2,for xR\tan^{-1}x + \cot^{-1}x = \frac{\pi}{2}, \quad \text{for } x \in \mathbb{R}

  • sec1x+csc1x=π2,for x1\sec^{-1}x + \csc^{-1}x = \frac{\pi}{2}, \quad \text{for } |x| \ge 1

  • Intuition: This is the inverse version of identities like cos(θ)=sin(π/2θ)\cos(\theta) = \sin(\pi/2 - \theta). It means that if an angle's sine is xx, then the cosine of its complementary angle is also xx.

  • Example: Verify for x=3/2x = \sqrt{3}/2.

    • sin1(3/2)+cos1(3/2)=π/3+π/6=2π+π6=3π6=π2\sin^{-1}(\sqrt{3}/2) + \cos^{-1}(\sqrt{3}/2) = \pi/3 + \pi/6 = \frac{2\pi+\pi}{6} = \frac{3\pi}{6} = \frac{\pi}{2}.

Example 1: Using Composition Property

Question: Find the value of sin1(sin(2π/3))\sin^{-1}(\sin(2\pi/3)).

Explanation:

  1. Check the Principal Range: The property sin1(sinx)=x\sin^{-1}(\sin x) = x is only valid when xx is in the principal value branch of sin1\sin^{-1}, which is [π/2,π/2][-\pi/2, \pi/2]. The angle 2π/32\pi/3 is not in this interval, so the answer is not 2π/32\pi/3.

  2. Evaluate the Inner Function: First, find the value of sin(2π/3)\sin(2\pi/3). Since 2π/32\pi/3 is in the second quadrant, sin(2π/3)=sin(ππ/3)=sin(π/3)=32\sin(2\pi/3) = \sin(\pi - \pi/3) = \sin(\pi/3) = \frac{\sqrt{3}}{2}.

  3. Evaluate the Inverse Function: The problem now becomes sin1(32)\sin^{-1}(\frac{\sqrt{3}}{2}). We need to find the angle in the principal range [π/2,π/2][-\pi/2, \pi/2] whose sine is 32\frac{\sqrt{3}}{2}. That angle is π/3\pi/3.

Answer: π/3\pi/3.

Example 2: Using Reflection Property

Question: Find the value of cos1(1/2)\cos^{-1}(-1/2).

Explanation:

  1. State the Property: For negative arguments in inverse cosine, we use the reflection identity: cos1(x)=πcos1(x)\cos^{-1}(-x) = \pi - \cos^{-1}(x)
  2. Apply the Property: In this case, x=1/2x=1/2. So, cos1(1/2)=πcos1(1/2)\cos^{-1}(-1/2) = \pi - \cos^{-1}(1/2)
  3. Evaluate and Solve: We know that the principal value of cos1(1/2)\cos^{-1}(1/2) is π/3\pi/3. ππ3=3ππ3=2π3\pi - \frac{\pi}{3} = \frac{3\pi - \pi}{3} = \frac{2\pi}{3}

Answer: 2π/32\pi/3.

Example 3: Using Cofunction Identity

Question: Find the value of sin(sin1(1/5)+cos1(1/5))\sin(\sin^{-1}(1/5) + \cos^{-1}(1/5)).

Explanation:

  1. State the Property: We use the cofunction identity sin1x+cos1x=π2\sin^{-1}x + \cos^{-1}x = \frac{\pi}{2} which is valid for any x[1,1]x \in [-1, 1].

  2. Apply the Property: The expression inside the parenthesis, sin1(1/5)+cos1(1/5)\sin^{-1}(1/5) + \cos^{-1}(1/5), simplifies to π/2\pi/2.

  3. Evaluate: The problem is now to find sin(π/2)\sin(\pi/2), which is 1.

Answer: 1.

Example 4: Proving a 2sin1x2\sin^{-1}x Identity

Question: Prove that sin1(2x1x2)=2sin1x\sin^{-1}(2x\sqrt{1-x^2}) = 2\sin^{-1}x for x1/2|x| \le 1/\sqrt{2}.

Explanation:

  1. Strategy: We use a trigonometric substitution. Let x=sinθx = \sin\theta, which implies θ=sin1x\theta = \sin^{-1}x.

  2. Substitute into the Expression: Replace xx with sinθ\sin\theta in the left-hand side (LHS).

    LHS = sin1(2sinθ1sin2θ)\sin^{-1}(2\sin\theta\sqrt{1-\sin^2\theta}).

  3. Simplify: Using the identity 1sin2θ=cosθ\sqrt{1-\sin^2\theta} = \cos\theta (for θ\theta in the principal range of sin1\sin^{-1}), we get:

    LHS = sin1(2sinθcosθ)=sin1(sin(2θ))\sin^{-1}(2\sin\theta\cos\theta) = \sin^{-1}(\sin(2\theta)).

  4. Check the Range: The given condition x1/2|x| \le 1/\sqrt{2} means 12sinθ12-\frac{1}{\sqrt{2}} \le \sin\theta \le \frac{1}{\sqrt{2}}.

    This implies π/4θπ/4-\pi/4 \le \theta \le \pi/4.

    Therefore, π/22θπ/2- \pi/2 \le 2\theta \le \pi/2.

    This interval is the principal value branch for sin1\sin^{-1}.

  5. Finalize: Since 2θ2\theta is in the principal range, sin1(sin(2θ))=2θ\sin^{-1}(\sin(2\theta)) = 2\theta. Substituting back θ=sin1x\theta = \sin^{-1}x, we get 2sin1x2\sin^{-1}x, which is the right-hand side (RHS).

Answer: Proven.

Example 5: Proving a 2tan1x2\tan^{-1}x Identity

Question: Prove that 2tan1x=cos1(1x21+x2)2\tan^{-1}x = \cos^{-1}(\frac{1-x^2}{1+x^2}) for x0x \ge 0.

Explanation:

  1. Strategy: We start with the more complex RHS and use the substitution x=tanθx = \tan\theta.

    This means θ=tan1x\theta = \tan^{-1}x.

  2. Substitute into the RHS:

    RHS = cos1(1tan2θ1+tan2θ)\cos^{-1}\left(\frac{1-\tan^2\theta}{1+\tan^2\theta}\right).

  3. Simplify: The expression inside is the double angle identity for cosine: cos(2θ)=1tan2θ1+tan2θ\cos(2\theta) = \frac{1-\tan^2\theta}{1+\tan^2\theta}

    RHS = cos1(cos(2θ))\cos^{-1}(\cos(2\theta)).

  4. Check the Range: The condition x0x \ge 0 means tanθ0\tan\theta \ge 0. For the principal value of tan1\tan^{-1}, this means 0θ<π/20 \le \theta < \pi/2.

    Therefore, 02θ<π0 \le 2\theta < \pi. This is the principal value branch for cos1\cos^{-1}.

  5. Finalize: Since 2θ2\theta is in the principal range, cos1(cos(2θ))=2θ\cos^{-1}(\cos(2\theta)) = 2\theta.

    Substituting back θ=tan1x\theta = \tan^{-1}x, we get 2tan1x2\tan^{-1}x, which is the left-hand side (LHS).

Answer: Proven.

Example 6: Simplifying Expressions

Question: Simplify tan1(cosx1sinx)\tan^{-1}\left(\frac{\cos x}{1-\sin x}\right) for x(π/2,π/2)x \in (-\pi/2, \pi/2).

Explanation:

  1. Strategy: Our goal is to transform the inner expression into the form tan(θ)\tan(\theta) so it cancels with tan1\tan^{-1}. We use cofunction and half-angle identities.

  2. Transform using Cofunctions: cosx=sin(π/2x)\cos x = \sin(\pi/2-x) and sinx=cos(π/2x)\sin x = \cos(\pi/2-x). The expression becomes tan1(sin(π/2x)1cos(π/2x))\tan^{-1}\left(\frac{\sin(\pi/2-x)}{1-\cos(\pi/2-x)}\right)

  3. Apply Half-Angle Identities: Use the identities sin(2A)=2sinAcosA\sin(2A)=2\sin A\cos A and 1cos(2A)=2sin2A1-\cos(2A)=2\sin^2A

    Let A=(π/4x/2)A = (\pi/4-x/2).

    The expression becomes tan1(2sin(π/4x/2)cos(π/4x/2)2sin2(π/4x/2))\tan^{-1}\left(\frac{2\sin(\pi/4-x/2)\cos(\pi/4-x/2)}{2\sin^2(\pi/4-x/2)}\right) =tan1(cos(π/4x/2)sin(π/4x/2))= \tan^{-1}\left(\frac{\cos(\pi/4-x/2)}{\sin(\pi/4-x/2)}\right) =tan1(cot(π/4x/2))= \tan^{-1}(\cot(\pi/4-x/2)).

  4. Convert cot to tan:

Use the identity cot(θ)=tan(π/2θ)\cot(\theta) = \tan(\pi/2 - \theta). tan1(tan(π2(π4x2)))=tan1(tan(π4+x2))\tan^{-1}\left(\tan\left(\frac{\pi}{2} - (\frac{\pi}{4}-\frac{x}{2})\right)\right) = \tan^{-1}\left(\tan(\frac{\pi}{4}+\frac{x}{2})\right)

  1. Finalize: Since x(π/2,π/2)x \in (-\pi/2, \pi/2), the argument π/4+x/2\pi/4+x/2 is in (0,π/2)(0, \pi/2), which is within the principal range of tan1\tan^{-1}. Therefore, the functions cancel.

Answer: π/4+x/2\pi/4+x/2.

Example 7: Solving an Equation

Question: Solve the equation 2tan1(cosx)=tan1(2cscx)2\tan^{-1}(\cos x) = \tan^{-1}(2\csc x).

Explanation:

  1. Apply the 2tan1u2\tan^{-1}u Identity: Use the identity 2tan1u=tan1(2u1u2)2\tan^{-1}u = \tan^{-1}\left(\frac{2u}{1-u^2}\right) on the left side, with u=cosxu=\cos x. tan1(2cosx1cos2x)=tan1(2cscx)\tan^{-1}\left(\frac{2\cos x}{1-\cos^2x}\right) = \tan^{-1}(2\csc x)

  2. Simplify and Equate Arguments: The term 1cos2x1-\cos^2x is sin2x\sin^2x.

    Since the tan1\tan^{-1} functions are equal, their arguments must be equal. 2cosxsin2x=2cscx=2sinx\frac{2\cos x}{\sin^2x} = 2\csc x = \frac{2}{\sin x}

  3. Solve for x: Assuming sinx0\sin x \ne 0, we can multiply both sides by sin2x/2\sin^2x/2. cosx=sinx\cos x = \sin x. Dividing by cosx\cos x (assuming cosx0\cos x \ne 0), we get sinxcosx=1    tanx=1\frac{\sin x}{\cos x} = 1 \implies \tan x = 1.

  4. Find the Solution: The principal solution for tanx=1\tan x=1 is x=π/4x=\pi/4. At this value, neither sinx\sin x nor cosx\cos x are zero, so our assumptions were valid.

Answer: The principal solution is x=π/4x=\pi/4.

Example 8: Using Reciprocal Identity

Question: Find the value of sin(csc1(5/3))\sin(\csc^{-1}(5/3)).

Explanation: Method 1: Using Identities

  1. Use the reciprocal identity csc1x=sin1(1/x)\csc^{-1}x = \sin^{-1}(1/x). The expression becomes sin(sin1(1/(5/3)))=sin(sin1(3/5))\sin(\sin^{-1}(1/(5/3))) = \sin(\sin^{-1}(3/5)).
  2. Use the composition property sin(sin1y)=y\sin(\sin^{-1}y) = y for y[1,1]y \in [-1,1]. Since 3/53/5 is in the valid range, the answer is 3/53/5.

Method 2: Using a Right Triangle

  1. Let θ=csc1(5/3)\theta = \csc^{-1}(5/3). This means cscθ=5/3\csc\theta = 5/3.

  2. Since cscθ=HypotenuseOpposite\csc\theta = \frac{\text{Hypotenuse}}{\text{Opposite}}, we can draw a right triangle with hypotenuse 5 and opposite side 3.

  3. By Pythagoras' theorem, the adjacent side is 5232=16=4\sqrt{5^2-3^2}=\sqrt{16}=4.

  4. The problem asks for sin(θ)\sin(\theta). From the triangle, sinθ=OppositeHypotenuse=3/5\sin\theta = \frac{\text{Opposite}}{\text{Hypotenuse}} = 3/5.

Answer: 3/5.

Example 9: Finding Value of a Sum

Question: Find the value of sin1(4/5)+sin1(5/13)+sin1(16/65)\sin^{-1}(4/5) + \sin^{-1}(5/13) + \sin^{-1}(16/65).

Explanation:

  1. Strategy: The addition formula for sin1\sin^{-1} is complex. It's easier to convert everything to tan1\tan^{-1} and use its simpler addition formula: tan1a+tan1b=tan1(a+b1ab)\tan^{-1}a + \tan^{-1}b = \tan^{-1}\left(\frac{a+b}{1-ab}\right)

  2. Convert: Using a right triangle (or the identity sin1x=tan1(x/1x2)\sin^{-1}x = \tan^{-1}(x/\sqrt{1-x^2})), we find:

    • sin1(4/5)=tan1(4/3)\sin^{-1}(4/5) = \tan^{-1}(4/3). (3-4-5 triangle)

    • sin1(5/13)=tan1(5/12)\sin^{-1}(5/13) = \tan^{-1}(5/12). (5-12-13 triangle)

    • sin1(16/65)=tan1(16/63)\sin^{-1}(16/65) = \tan^{-1}(16/63). (16-63-65 triangle)

  3. Add the First Two Terms: tan1(4/3)+tan1(5/12)\tan^{-1}(4/3)+\tan^{-1}(5/12) =tan1(4/3+5/121(4/3)(5/12))= \tan^{-1}\left(\frac{4/3+5/12}{1-(4/3)(5/12)}\right) =tan1((16+5)/12120/36)= \tan^{-1}\left(\frac{(16+5)/12}{1-20/36}\right) =tan1(21/1216/36)=tan1(7/44/9)=tan1(63/16)= \tan^{-1}\left(\frac{21/12}{16/36}\right) = \tan^{-1}\left(\frac{7/4}{4/9}\right) = \tan^{-1}(63/16)

  4. Add the Third Term: The expression is now tan1(63/16)+tan1(16/63)\tan^{-1}(63/16) + \tan^{-1}(16/63)

  5. Use Cofunction Identity: Using the property tan1(x)=cot1(1/x)\tan^{-1}(x) = \cot^{-1}(1/x) we can rewrite the second term: tan1(16/63)=cot1(63/16)\tan^{-1}(16/63) = \cot^{-1}(63/16)

    The sum becomes tan1(63/16)+cot1(63/16)\tan^{-1}(63/16) + \cot^{-1}(63/16)

    Using the identity tan1z+cot1z=π/2\tan^{-1}z + \cot^{-1}z = \pi/2 the final result is π/2\pi/2.

Answer: π/2\pi/2.

Example 10: Simplifying a Complex Expression

Question: Find the value of tan13sec1(2)\tan^{-1}\sqrt{3} - \sec^{-1}(-2).

Explanation: We evaluate each term separately based on their principal value branches.

  1. Evaluate tan13\tan^{-1}\sqrt{3}:

    We are looking for the angle θ\theta in the interval (π/2,π/2)(-\pi/2, \pi/2) such that tanθ=3\tan\theta = \sqrt{3}. This angle is π/3\pi/3.

  2. Evaluate sec1(2)\sec^{-1}(-2):

    We use the reflection identity sec1(x)=πsec1(x)\sec^{-1}(-x) = \pi - \sec^{-1}(x).

    sec1(2)=πsec1(2)\sec^{-1}(-2) = \pi - \sec^{-1}(2).

    We need the angle θ\theta in [0,π][0, \pi] such that secθ=2\sec\theta=2 (or cosθ=1/2\cos\theta=1/2). This angle is π/3\pi/3.

    So, sec1(2)=ππ/3=2π/3\sec^{-1}(-2) = \pi - \pi/3 = 2\pi/3.

  3. Calculate the Final Value: The expression is π/32π/3=π/3\pi/3 - 2\pi/3 = -\pi/3.

Answer: π/3-\pi/3.