1. PF Contest - Win "Conquering the Physics GRE" book! Click Here to Enter
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Negative integer trig

  1. Apr 30, 2010 #1
    I know that [tex]\sin^2 b= (\sin b)^2[/tex] and in general [tex]\sin^n b=(\sin b)^n[/tex] if n is a positive integer .

    What if n is a negative integer , would it be

    [tex]\sin^{-1}b=(\sin b)^{-1}=\frac{1}{\sin b}[/tex]

    I dont think this is right , because properties of indices only works for numbers and NOT function , but why it works for case 1 above ?

    What if it's [tex]sin^{-3}b[/tex]

    How bout if n is rational ?
  2. jcsd
  3. Apr 30, 2010 #2

    D H

    User Avatar
    Staff Emeritus
    Science Advisor

    Re: trigonometry

    [itex]x^{-n} = 1/x^n[/tex] for all integers n. It doesn't really matter what x is. This x might just be some variable x, or it might be [itex]\sin b[/itex]. Things get a bit trickier when n is not necessarily an integer. That [itex]x^{-n}=1/x^n[/itex] still works so long as n is real and x is a positive real. Things get a bit more complex with negative real x and complex number x and/or n.

    However, and this is a big however, there is a bit of ambiguity regarding [itex]\sin^{-1} b[/itex]. This might mean [itex]1/\sin b[/itex] or it might mean [itex]\arcsin b[/itex]. To avoid this ambiguity, people write [itex]1/\sin b[/itex] or [itex](\sin b)^{-1}[/itex] but never [itex]\sin^{-1} b[/itex] when they want to express [itex]1/\sin b[/itex].
  4. Apr 30, 2010 #3
    Re: trigonometry

    thanks ! So [tex]sin^{-1}b[/tex] can be taken as arcsin b ?

    But these do not work for functions right , where [tex]f^{-1}(x)\neq \frac{1}{f(x)}[/tex]

    Also , does it apply to logarithms ?

    [tex]\log^5(x)=(\log x)^5[/tex] ??
    Last edited: Apr 30, 2010
  5. Apr 30, 2010 #4
    Re: trigonometry

    EDIT: See corrections in later post.

    I would say that [itex]f^n(x)=(f(x))^n[/itex] for [itex]n\in \mathbb{N}[/itex] applies to sin, cos, tan, cot, sinh, cosh, tanh and coth only. Though I can't ever remember seeing it I'd understand the same for [itex]n\in \mathbb{Z}-\{1\}[/itex].

    [itex]f^{-1}[/itex] is a function selected from the converse, [itex]\breve{f}[/itex], of [itex]f[/itex] (as a relation) doesn't apply to anything outside the same set, and does apply to sin, cos, tan and cot. (I wouldn't like to be dogmatic about this use with the hyperbolic functions - I think you might have to go with the context in these cases.)

    Otherwise I think for [itex]n\in \mathbb{Z}[/itex] [itex]f^n(x)[/itex] would generally mean [itex]x[/itex] for [itex]n=0[/itex], [itex]f(f^n(x))[/itex] for [itex]n>0[/itex] and [itex]\breve{f}^{-n}(x)[/itex] when [itex]n<0[/itex] and would imply that [itex]f[/itex] is an invertible function for the last case.

    So for example [itex]log^5(x)[/itex] should mean [itex]log(log(log(log(log(x)))))[/itex], but even here I think you would generally see [itex]log(log(x))[/itex] in preference to [itex]log^2(x)[/itex].
    Last edited: Apr 30, 2010
  6. Apr 30, 2010 #5

    D H

    User Avatar
    Staff Emeritus
    Science Advisor

    Re: trigonometry

    You will see in many papers things like [itex]\ln^2 x[/itex] and [itex]f^4(x)[/itex]. There is yet another ambiguity with the latter: Does [itex]f^4(x)[/itex] mean [itex](f(x))^4[/itex] or [itex]d^4 f(x)/dx^4[/itex]? The latter is quite non-standard, but it is out there. More typical is [itex]f^{(iv)}(x)[/itex] to denote the fourth derivative and [itex]f^{(n)}(x)[/itex] to denote the nth derivative.

    Bottom line:
    • When you see something like [itex]f^n(x)[/itex] you had better look for a nomenclature or read the text to decipher what the author wrote.

    • Never use [itex]f^{-1}(x)[/itex] to denote the multiplicative inverse. That notation is almost always reserved for the inverse function.

    • Never use [itex]f^{n}(x)[/itex] to denote the nth derivative. You are going to confuse your readers mightily.

    • Take care and think twice when you use [itex]f^{n}(x)[/itex]. Ask yourself whether this usage might be confusing to your readers.

    There is a mantra regarding computer programming that also applies to writing a technical paper. The programming mantra is "Always code and comment as if the person who ends up maintaining your code will be a psychopath who knows where you live."
  7. Apr 30, 2010 #6
    Re: trigonometry

    Unfortunately things are actually even more ambiguous.

    With general functions, the same notation is used for the result of applying a function to an element of its domain and applying it to a subset of its domain (and presumably therefore to a subset of the power set of its domain etc.).

    So if [itex]\alpha\in S[/itex] and [itex]\alpha\subset S[/itex] and [itex]f[/itex] is a function with domain [itex]S[/itex], then [itex]f(\alpha)[/itex] could mean the value of [itex]f[/itex] for the argument [itex]\alpha[/itex], or [itex]\{f(x):x\in \alpha\}[/itex] where [itex]f(x)[/itex] is here the value of [itex]f[/itex] for the argument [itex]x[/itex].

    Worse, [itex]f^{-1}[/itex] can refer either to the inverse function of [itex]f[/itex] if it exists, or to a function [itex]f^{-1}:\mathfrak{P}(\mathcal{R})\rightarrow \mathfrak{P}(\mathcal{D}_f)[/itex], where [itex]\mathfrak{P}[/itex] denotes the power set, [itex]\mathcal{D}_f[/itex] is the domain of [itex]f[/itex] and [itex]\mathcal{R}[/itex] is at least the range of [itex]f[/itex] (which may itself be ambiguous) s.t. [itex]f^{-1}:\beta\subset \mathcal{R}\mapsto \{\gamma\in\mathcal{D}_f:f(\gamma)\in\beta\}[/itex] (here [itex]f(\gamma)[/itex] is the value of [itex]f[/itex] for the argument [itex]\gamma[/itex]).

    No doubt the ambiguities inherent in the foregoing could be confabulated to arbitrary heights, so it's quite surprising that it works at all. In practice it causes little confusion.
  8. Apr 30, 2010 #7
    Re: trigonometry

    Actually I think I managed to confuse myself here. When [itex]f[/itex] is invertible, the usage [itex]f^{-1}[/itex] to mean the converse would be the normal use. In this case it would of course also be "a function selected from the converse" viz. all of it.

    Since apart from cosh and sech the hyperbolic functions are essentially invertible anyway I would guess that [itex]sinh^{-1}[/itex] etc. would also refer to the inverse functions.

    Not only that, I missed out sec, cosec, sech and csch from the list. For these also [itex]sec^2(x)=(sec(x))^2[/itex] etc.

    So all in all a pretty good job.

    By the way I've never seen [itex]f^{-1}(x)[/itex] used to mean [itex]1/f(x)[/itex] for anything.
  9. Apr 30, 2010 #8


    User Avatar
    Homework Helper

    Re: trigonometry

    In the case of trigonometry, for all n>0 we can write the LHS which is understood as equalling the RHS [tex]sin^nx=(sinx)^n[/tex]
    If n<0 we use the fact that [tex](sinx)^{-1}=cscx\neq sin^{-1}x[/tex] to show all n<0. For n>0, [tex](sinx)^{-n}=((sinx)^{-1})^{n}=(cscx)^n=csc^nx[/tex]

    This avoids the ambiguity of the inverse sin function [tex]sin^{-1}x[/tex] being confused with the reciprocal of sin.
  10. May 1, 2010 #9
    Re: trigonometry

    thanks all ! So in conclusion ,

    tan-1x , f-1 , log-1(x) are all meant to be inverses most of the time .

    I understood now !
  11. May 1, 2010 #10


    User Avatar
    Homework Helper

    Re: trigonometry

    Yep! :smile:

    But I don't know where you would see [tex]log^{-1}x[/tex] since it has another form entirely to express that, ex.
  12. May 1, 2010 #11
    Re: trigonometry


    Apart from:

    (a) What Mentallic said about log applies to many other functions, so for named functions the [itex]^{-1}[/itex] notation is probably little used except for trignometric and hyperbolic functions and even here arcsin, arsinh etc. seem to be preferred these days.

    (b) When used with ad hoc function names, e.g. [itex]f^{-1}[/itex], it probably most often means something other than the inverse, viz. one of the ambiguous possibilities I mentioned in an earlier post.

    So if f is defined by:

    [itex]a\mapsto 1[/itex]
    [itex]b\mapsto 2[/itex]
    [itex]c\mapsto \{1,2\}[/itex]

    then [itex]f^{-1}( \{1,2\})[/itex] could mean variously:

    (i) [itex]c[/itex] - the image of [itex]\{1,2\}[/itex] under the function inverse to [itex]f[/itex].
    (ii) [itex]\{c\}[/itex] - the set of elements that map to the element [itex]\{1,2\}[/itex] under [itex]f[/itex].
    (iii) [itex]\{a,b\}[/itex] - the set of elements that map to a member of the set of elements [itex]\{1,2\}[/itex] under [itex]f[/itex].

    The meaning (i) is the one that you suggested would be meant most of the time, but had [itex]f[/itex] included [itex]d\mapsto 1[/itex] it would no longer have been invertible and that meaning disappears.

    This you just have to live with, but as I said it doesn't cause too much confusion in practice.
  13. May 1, 2010 #12
    Re: trigonometry

    thank !
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook