Built on Facts

Sunday Function

Posted by Matt Springer on March 14, 2010
(7)
More »

Sine, cosine, and tangent are of course the workhorse functions of trigonometry. You learn ‘em in high school, and if you go on in math and science you never stop using them. Now on many occasions you might have the sine or cosine or tangent of some angle, and you want a way to invert those functions to recover the angle from those values. Let’s take a look at the inverse tangent function:

i-d4bb9fe09d6b78eb832985821d8a307f-1.png

Now we’ll do one of those things were we skip any motivation and just do some stuff for reasons we’ll get to at the end. Let’s find the derivative of the arctangent function. To start, take the tangent of both sides of the above definition. The tangent undoes the arctangent, so we get:

i-88516ca505d84f969b7ab15a965c3fb3-2.png

Differentiate both sides. The derivative of tangent is secant squared, which we could prove if we felt like it, and since f is a function we have to use the chain rule. Doing thus, and recalling that the derivative of x is 1:

i-d18063683dcc0d42b9be45451a84d1e3-3.png

Solve for the derivative:

i-8d7070ce28f0af28047c7a5fb8246d53-4.png

Which isn’t all that helpful except for the fact that there’s a basic trig identity which connects the secant and tangent functions: sec(x)^2 – tan(x)^2 = 1. Substituting:

i-bb5c2c6b0452df43a61e3974bd9b473f-5.png

Ah! But tangent(f) is x, so we can swap that in:

i-80f9713f6d11461837a9f9b540684e36-6.png

Ok, ok. What’s that good for? Well, if just write that down as our Sunday Function and graph it, we’ll have something to celebrate:

i-a00d2ad65a221c80717ba30b258614fe-graph1.jpg

That is the graph of a function, 1/(1+x^2), which has nothing at all to do with circles or geometry in any obvious way. But we know it’s the derivative of the inverse tangent, and conversely the inverse tangent is the integral of that function, so we can easily plug in and see that the area under the curve is pi. Which is nice, because to day is Pi Day. Happy Pi Day!

(7)
More »

Comments

  1. #1 Nachiket Gokhale
    March 14, 2010

    Which leads to an elegant series for (pi/4) …since

    f = arctan(x) = \int\frac{1}{1+x^2} = \int {1-x^2 + x^4 – x^6 +..}= x – x^/3 + x^5/5 – x^7/7 + …

    Using x=1

    (pi/4) = 1 – (1/3) + (1/5) – (1/7) + (1/9) + …

    I was amazed when I read about this many years ago, its pretty (I’m not sure if the math is technically correct – integrating infinite series etc).

  2. #2 csrster
    March 15, 2010

    This function is (an example of) the Lorentzian function or Cauchy-Lorentz distribution. Its shape is characteristic of the power spectrum of many forms of randomly excited and damped oscillators.

  3. #3 Keith Griffiths
    March 15, 2010

    This must sound like a naive question but it seems that quite different functions can be differentiated. What are we trying to do when we differentiate a function?

  4. #4 Gerry
    March 15, 2010

    It is interesting to note that arc tan can play an important role in the calculator implementation of all kinds of functions. See Chapter 9 on CORDIC in my book Inside Your Calculator.

  5. #5 ColonelFazackerley
    March 17, 2010

    Just tried that in GNU Octave (like Matlab, but libre)

    > quad(inline(“1/(1+x.^2)”),-Inf,Inf)
    ans = 3.1416

    Sweet!

  6. #6 Kaleberg
    March 17, 2010

    This a particularly charming post for pi day.

    Keith Griffiths: When you differentiate a function you are finding a function that tells you the slope of the original function at each point. So, a straight line y=mx+b has a slope of m. It’s trickier for curved functions like arctan, but you can see from the plot in this post, at x=0, the slope of arctan is 1, and the slope gets shallower as x gets larger eventually approaching zero.

  7. #7 Arjen Dijksman
    April 5, 2010

    Nice function. This post made me wonder what the function 1/(1+x²) had to do with the circle.