What is a Point of Inflection?

Simple question right?

This website, along with the Calc book we’re teaching from, define it this way:

A point where the graph of a function has a tangent line and where the concavity changes is a point of inflection.

inflection point

No debate about there being an inflection point at x=0 on this graph.

There’s no debate about functions like f(x)=x^3-x, which has an unambiguous inflection point at x=0.

In fact, I think we’re all in agreement that:

  1. There has to be a change in concavity. That is, we require that for x<c we have f''(x)<0 and for x>c we have f''(x)>0, or vice versa.*
  2. The original function f has to be continuous at x=c. That is, f(x)=\frac{1}{x^2} does not have a point of inflection at x=0 even though there’s a concavity change because f isn’t even defined here. If we then piecewise-define f so that it carries the same values except at x=0 for which we define f(0)=5, we still don’t consider this a point of inflection because of the lack of continuity.
vertical tangent

The point of inflection x=0 is at a location without a first derivative. A “tangent line” still exists, however.

But the part of the definition that requires f to have a tangent line is problematic, in my opinion. I know why they say it this way, of course. They want to capture functions that have a concavity change across a vertical tangent line, such as f(x)=\sqrt[3]{x}. Here we have a concavity change (concave up to concave down) across x=0 and there is a tangent line (x=0) but f'(0) is undefined.

questionable inflection point

Is x=0 a point of inflection? Some definitions say no, because no tangent line exists.

So It’s clear that this definition is built to include vertical tangents. It’s also obvious that the definition is built in such a way as to exclude cusps and corners. Why? What’s wrong with a cusp or corner being a point of inflection? I would claim that the piecewise-defined function f(x) shown above has a point of inflection at x=0 even though no tangent line exists here.

I prefer the definition:

A point where the graph of a function is continuous and where the concavity changes is a point of inflection.

That is, I would only require the two conditions listed at the beginning of this post. What do you think?

Once you’re done thinking about that, consider this strange example that has no point of inflection even though there’s a concavity change. As my colleague Matt suggests, could we consider this a region of inflection? Now we’re just being silly, right?

interval of inflection

A region/interval of inflection?

———————————————

Footnotes:

* When we say that a function is concave up or down on a certain interval, we actually mean f''(x)>0 or f''(x)<0 for the whole interval except at finitely many locations. If there are point discontinuities, we still consider the interval to have the same concavity.

** This source, interestingly, seems to require differentiability at the point. I think most of us would agree this is too strong a requirement, right?

Advertisements

11 thoughts on “What is a Point of Inflection?

  1. I think x^(2/3) has a vertical tangent line at x=0, even though x=0 is a cusp point. How is it different from x^(1/3) in that respect?

    I think that a definition can be anything someone wants. So the real questions are: (1) What’s the most popular (straight count of textbooks, or Wikipedia, Wolfram Alpha, etc.)? And, (2) what is the purpose for giving a name to the thing that we’re talking about? We don’t have a special name for a place where the slope of a tangent is 1.

    • hmm.. you’re right that x^(2/3) has a tangent line. Can we think of another function, then, perhaps piecewise-defined, like f(x)=x^(1/3) for x>=0 and f(x)=x^2 for x<0 which is continuous at x=0, changes concavity, but doesn't have a tangent line? What would prevent this from being an inflection point in anyone's mind?

      I'll have to update my post!

    • The difference is that for x^(1/3), there IS a change in concavity at x = 0. For x^(2/3), there is NOT a change in concavity at x = 0. The fact that there is a tangent line to x^(2/3) at x = 0 is immaterial because for that function, there is NOT change in concavity at x = 0, ergo NO inflection point there.

      • Yes, a bad example for TWO reasons :-).

        The main ambiguity mentioned in my post still stands!

  2. Backing off to extrema and first derivative, we know that not all places with 0 deriv. are extrema and not all extrema are at places where deriv. are 0 (since there are endpoints, cusps, jump discontinuities). Furthermore, there are an infinite number of minima for the function f(x)=5 with domain all Reals; they happen to be at every point of the domain; also the same points are all maxima. (I am assuming that the definition of max at x means a point (a, f(a)) for which f(a)
    >= f(x) for all x in some neighborhood of a. Notice weak inequality, >=, not strong inequality, >.)

    Now an analogy. Rising, falling, max, and min are to first derivatives as concave up, concave down, and inflexion [British spelling is one less letter to type] are to second derivatives. So to be consistent with what I said in the first paragraph, not all inflexion points are places where the second deriv. is 0. They can be at pts where deriv. is undefined. Just as a max separates rising from falling, so an inflexion pt separates concave down from concave up. So I have no problem with Matt’s “region of inflexion.”

    I find it helpful to remember that we bring a coordinate system to a problem, not the other way around, so the curve y^3 = x^2 and the curve x^3 = y^2 are the same curve, which just happen to be expressed in different coordinate systems. (Reflected along the line y=x.) In one case we don’t even have a function, but that’s just an accident of the coordinate system. I think that an inflection point is an intrinsic property of a curve, and so being concerned about whether a tangent is vertical is a red herring. One can make the tangent non-vertical just by changing the coordinate system, without changing the curve. Think of a curve as parametrized by arc length, for example.

    Now I’m prepared to answer my own question. We don’t have a separate name for a point on a curve where the tangent’s slope is 1 because that’s not an intrinsic part of the curve. We do have a name for an inflexion pt because it can be described by intrinsic geometry, using curvature. An inflexion pt is where the curvature changes sign.

    Do you hear the inflection in my voice?

    • Hi dad!

      I’ve never liked thinking of ‘every point’ on the graph of y=5 being a max or min, but I’ve seen the definition enough to accept it when it’s used. So I think I’m fine with a whole ‘region of inflection.’ But by the same logic, this would also force us into saying that a graph like y=5 is concave up AND concave down everywhere. Right? (just like it’s increasing AND decreasing everywhere). I’m not sure if I agree with that, though.

      On the second point, I have no problem with vertical vs. horizontal tangent lines. I don’t think anyone disputes the fact that y=\sqrt[3]{x} has an inflection point at x=0. I have a problem with requiring that an inflection point ‘have a tangent line.’ It feels like my green piecewise-defined function should have an inflection point at x=0 but by our Calculus book definition, it doesn’t.

      • Nice post! I like that “region of inflection” example.

        I guess the choice of “continuious at the point” or “having a tangent line at the point” depends, like your dad says, on what points of inflection are for. He’s right that it makes sense to think of them as properties of a curve’s geometry, in which case maybe we want to exclude cusp points. (A point of inflection, in this view, is a special type of differentiable point.)

        But I tend to like your “continuous” definition better. The second derivative has a very clear physical interpretation (as acceleration). I like thinking of a point of inflection not as a geometric feature of the graph, but as a moment when the acceleration changes. And for that, we don’t need smoothness, just continuity.

        Anyway, fun definitional question.

        I’m also with you on the strangeness of having every point on a constant function’s graph qualify as both a max and a min. (I used to define max and min for my students using strict equality, before realizing it was totally nonstandard.) Luckily, I don’t think the argument extends to calling a constant function “increasing” or “decreasing” (since its derivative is decidedly zero).

      • Thanks for stopping by, Ben! And thanks for your great comments, too.

        I think many *would* in fact treat a constant function as “increasing” (and decreasing) since it satisfies f(x_2)\geq f(x_1) for x_2>x_1. That being said, a constant function *wouldn’t* be considered ‘strictly increasing.’

        I’m not sure I like this looser definition of increasing, but you’re right, it is somewhat standard.

      • Hmmm… you’re right. I’ve been defining “strictly increasing” for my students and just calling it “increasing.”

      • consisting of two pieces which meet at x=4. This function must contain the following four points:
        (0,2), (3,5), (5,-1), (8,2)

        We were looking to find a piecewise quadratic function consisting of two pieces which meet at x=4. This function must contain the following four points:
        (0,2), (3,5), (5,-1), (8,2)
        that was continuous and differentiable.

        We came up with
        f(x) =
        -x^2 + 4x +2 for 0 < x < 4
        2 for x = 4
        x^2 – 12 x + 34 for 4<x<=8

        We feel like it clearly has both a tangent line at (4, 2) as well as a point of inflection at (4, 2) even though the second derivative doesn't exist

      • What a great example, Dennis!

        We’ve seen some examples where we have a POI, and BOTH the first and second derivative fail to exist. (Like y=\sqrt[3]{x} or y=x^{2/3} or my green piecewise function.)

        I think it’s nice to see an example, though, where we clearly have a POI but the first derivative DOES exist and the second derivative DOES NOT.

        Another example would be y=x^{5/3}.

        Cool!

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s