What is the tangent at a sharp point on a curve?Find the number of tangent lines to a curveTangent line at point PProof of tangent lines to a curveFor a curve, find the unit tangent vector and parametric equation of the line tangent to the curve at the given pointI have the slope of a tangent line and the curve but I have to find the point(s)Finding the tangent to a point on the curveT(t)≠0 for all values of t and the tangent line at any given point of the curve always passes through point D. Show that r represents a straight lineIn Calculus, why must the gradient of a specific point of a curve be given by a line that locally touches the curve at one and only one point?Can there be more than two tangents to a curve from an external point? And can a tangent at some point cut the curve elsewhere?Find the tangent line to a curve

Would this string work as string?

Is this Pascal's Matrix?

What (if any) is the reason to buy in small local stores?

Why do I have a large white artefact on the rendered image?

What will the Frenchman say?

label a part of commutative diagram

What is it called when someone votes for an option that's not their first choice?

Knife as defense against stray dogs

How to test the sharpness of a knife?

Extraneous elements in "Europe countries" list

Does fire aspect on a sword, destroy mob drops?

How to find the largest number(s) in a list of elements, possibly non-unique?

Was World War I a war of liberals against authoritarians?

Do I need an EFI partition for each 18.04 ubuntu I have on my HD?

How can I create URL shortcuts/redirects for task/diff IDs in Phabricator?

Friend wants my recommendation but I don't want to

Print a physical multiplication table

What kind of footwear is suitable for walking in micro gravity environment?

How to balance a monster modification (zombie)?

How can an organ that provides biological immortality be unable to regenerate?

Error in master's thesis, I do not know what to do

Did Nintendo change its mind about 68000 SNES?

How old is Nick Fury?

Hackerrank All Women's Codesprint 2019: Name the Product



What is the tangent at a sharp point on a curve?


Find the number of tangent lines to a curveTangent line at point PProof of tangent lines to a curveFor a curve, find the unit tangent vector and parametric equation of the line tangent to the curve at the given pointI have the slope of a tangent line and the curve but I have to find the point(s)Finding the tangent to a point on the curveT(t)≠0 for all values of t and the tangent line at any given point of the curve always passes through point D. Show that r represents a straight lineIn Calculus, why must the gradient of a specific point of a curve be given by a line that locally touches the curve at one and only one point?Can there be more than two tangents to a curve from an external point? And can a tangent at some point cut the curve elsewhere?Find the tangent line to a curve













8












$begingroup$


How to know which line represents tangent to a curve $y=f(x)$ (in RED) ?From the diagram , I cannot decide which line to take as tangent , all seem to touch at a single point.
enter image description here










share|cite|improve this question









$endgroup$







  • 7




    $begingroup$
    It does not exist for the reason you give. The tangent, if it exists, is unique.
    $endgroup$
    – John Douma
    9 hours ago






  • 1




    $begingroup$
    how about the bisector of the "angle" made of the right and left part of your nice sharp curve?
    $endgroup$
    – dmtri
    9 hours ago










  • $begingroup$
    If the curve consists of 2 arcs, let's say parts of the circles with radius 1 and centers -1 and 1 then the axis $x=0$ might be the tangent .
    $endgroup$
    – dmtri
    8 hours ago










  • $begingroup$
    @dmtri because the "angle" might not exist. Consider a function like $y = 2|x| + x sin(1/x)$, at $x = 0$. If you draw a graph, it "sort of" looks like it has a cusp at $x = 0$, but the tangent direction is "infinitely wiggly" on either side of the cusp. Trying to give a useful mathematical definition of what you mean by "a nice sharp curve" is hard!
    $endgroup$
    – alephzero
    6 hours ago
















8












$begingroup$


How to know which line represents tangent to a curve $y=f(x)$ (in RED) ?From the diagram , I cannot decide which line to take as tangent , all seem to touch at a single point.
enter image description here










share|cite|improve this question









$endgroup$







  • 7




    $begingroup$
    It does not exist for the reason you give. The tangent, if it exists, is unique.
    $endgroup$
    – John Douma
    9 hours ago






  • 1




    $begingroup$
    how about the bisector of the "angle" made of the right and left part of your nice sharp curve?
    $endgroup$
    – dmtri
    9 hours ago










  • $begingroup$
    If the curve consists of 2 arcs, let's say parts of the circles with radius 1 and centers -1 and 1 then the axis $x=0$ might be the tangent .
    $endgroup$
    – dmtri
    8 hours ago










  • $begingroup$
    @dmtri because the "angle" might not exist. Consider a function like $y = 2|x| + x sin(1/x)$, at $x = 0$. If you draw a graph, it "sort of" looks like it has a cusp at $x = 0$, but the tangent direction is "infinitely wiggly" on either side of the cusp. Trying to give a useful mathematical definition of what you mean by "a nice sharp curve" is hard!
    $endgroup$
    – alephzero
    6 hours ago














8












8








8





$begingroup$


How to know which line represents tangent to a curve $y=f(x)$ (in RED) ?From the diagram , I cannot decide which line to take as tangent , all seem to touch at a single point.
enter image description here










share|cite|improve this question









$endgroup$




How to know which line represents tangent to a curve $y=f(x)$ (in RED) ?From the diagram , I cannot decide which line to take as tangent , all seem to touch at a single point.
enter image description here







tangent-line






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked 9 hours ago









ADITYA PRAKASHADITYA PRAKASH

1127




1127







  • 7




    $begingroup$
    It does not exist for the reason you give. The tangent, if it exists, is unique.
    $endgroup$
    – John Douma
    9 hours ago






  • 1




    $begingroup$
    how about the bisector of the "angle" made of the right and left part of your nice sharp curve?
    $endgroup$
    – dmtri
    9 hours ago










  • $begingroup$
    If the curve consists of 2 arcs, let's say parts of the circles with radius 1 and centers -1 and 1 then the axis $x=0$ might be the tangent .
    $endgroup$
    – dmtri
    8 hours ago










  • $begingroup$
    @dmtri because the "angle" might not exist. Consider a function like $y = 2|x| + x sin(1/x)$, at $x = 0$. If you draw a graph, it "sort of" looks like it has a cusp at $x = 0$, but the tangent direction is "infinitely wiggly" on either side of the cusp. Trying to give a useful mathematical definition of what you mean by "a nice sharp curve" is hard!
    $endgroup$
    – alephzero
    6 hours ago













  • 7




    $begingroup$
    It does not exist for the reason you give. The tangent, if it exists, is unique.
    $endgroup$
    – John Douma
    9 hours ago






  • 1




    $begingroup$
    how about the bisector of the "angle" made of the right and left part of your nice sharp curve?
    $endgroup$
    – dmtri
    9 hours ago










  • $begingroup$
    If the curve consists of 2 arcs, let's say parts of the circles with radius 1 and centers -1 and 1 then the axis $x=0$ might be the tangent .
    $endgroup$
    – dmtri
    8 hours ago










  • $begingroup$
    @dmtri because the "angle" might not exist. Consider a function like $y = 2|x| + x sin(1/x)$, at $x = 0$. If you draw a graph, it "sort of" looks like it has a cusp at $x = 0$, but the tangent direction is "infinitely wiggly" on either side of the cusp. Trying to give a useful mathematical definition of what you mean by "a nice sharp curve" is hard!
    $endgroup$
    – alephzero
    6 hours ago








7




7




$begingroup$
It does not exist for the reason you give. The tangent, if it exists, is unique.
$endgroup$
– John Douma
9 hours ago




$begingroup$
It does not exist for the reason you give. The tangent, if it exists, is unique.
$endgroup$
– John Douma
9 hours ago




1




1




$begingroup$
how about the bisector of the "angle" made of the right and left part of your nice sharp curve?
$endgroup$
– dmtri
9 hours ago




$begingroup$
how about the bisector of the "angle" made of the right and left part of your nice sharp curve?
$endgroup$
– dmtri
9 hours ago












$begingroup$
If the curve consists of 2 arcs, let's say parts of the circles with radius 1 and centers -1 and 1 then the axis $x=0$ might be the tangent .
$endgroup$
– dmtri
8 hours ago




$begingroup$
If the curve consists of 2 arcs, let's say parts of the circles with radius 1 and centers -1 and 1 then the axis $x=0$ might be the tangent .
$endgroup$
– dmtri
8 hours ago












$begingroup$
@dmtri because the "angle" might not exist. Consider a function like $y = 2|x| + x sin(1/x)$, at $x = 0$. If you draw a graph, it "sort of" looks like it has a cusp at $x = 0$, but the tangent direction is "infinitely wiggly" on either side of the cusp. Trying to give a useful mathematical definition of what you mean by "a nice sharp curve" is hard!
$endgroup$
– alephzero
6 hours ago





$begingroup$
@dmtri because the "angle" might not exist. Consider a function like $y = 2|x| + x sin(1/x)$, at $x = 0$. If you draw a graph, it "sort of" looks like it has a cusp at $x = 0$, but the tangent direction is "infinitely wiggly" on either side of the cusp. Trying to give a useful mathematical definition of what you mean by "a nice sharp curve" is hard!
$endgroup$
– alephzero
6 hours ago











5 Answers
5






active

oldest

votes


















21












$begingroup$

None of them, because it's not differentiable there, so there is no tangent line at that point.






share|cite|improve this answer









$endgroup$












  • $begingroup$
    If I have suppose a plot $(y^2-4x)(y^2-|-4x|)=0$ , I cannot differentiate this for all values of x?
    $endgroup$
    – ADITYA PRAKASH
    9 hours ago










  • $begingroup$
    @ADITYAPRAKASH $(y^2-4x)(y^2-4|x|)=0$ is not a function, but a relation. How/where would you like to differentiate it?
    $endgroup$
    – Botond
    9 hours ago










  • $begingroup$
    I put the wrong one , sorry . I wanted the graph of $y^2=4x and y^2=-4x$ together as a joint equation , positive parts only and to differentiate at x=0
    $endgroup$
    – ADITYA PRAKASH
    9 hours ago







  • 4




    $begingroup$
    @ADITYAPRAKASH That's a relation too. But, for example, if you define $f$ as $f(x)=2sqrt$, then $f$ is differentiable for all $x neq 0$. At $x=0$, the limit $lim_x to 0 fracsqrtx$ does not exists because when $x>0$, $fracsqrtx=fracsqrtxx=frac1sqrtx to +infty$ and when $x < 0$, $fracsqrtx=fracsqrt-xx=-frac1sqrt-x to -infty$, so the limit cannot exist.
    $endgroup$
    – Botond
    9 hours ago


















16












$begingroup$

If the cuspid you draw is actually a cuspid (roughly speaking: if microscopically it is not "rounded") you can speak of a right and left tangent, same as you do with limits.



Refer to this wiki article.



Also note that, if the semi-derivative on one side has the value of $m$ and the other $-,m$, then the two lines geometrically coincide into a single line (or, maybe better, half line or ray).






share|cite|improve this answer











$endgroup$








  • 2




    $begingroup$
    To this I might add that for one point, left derivative = right derivative (and they both exist) $iff$ differentiable $iff$ has a (unique) tangent. And also cite wikipedia
    $endgroup$
    – asky
    2 hours ago











  • $begingroup$
    @asky: good suggestion, thanks, added the ref.
    $endgroup$
    – G Cab
    2 hours ago










  • $begingroup$
    @asky as the answer points out, unique tangent is equivalent to left derivative $=pm$ right derivative rather than differentiable.
    $endgroup$
    – jgon
    1 hour ago










  • $begingroup$
    @jgon that depends how you define tangents being equal. From an analytic geometer's perspective, they have opposite slopes, so are not equal, but from a classical geometer's perspective, they look the same, so are equal. I think there is no canonical equivalence relation on lines, and both views accept an equivalence relation so are equally valid.
    $endgroup$
    – asky
    3 mins ago


















4












$begingroup$

The "classical" tangent does not exist indeed.
However for a convex function with a sharp point, you can use a generalization of the derivative called the subderivative. It is used frequently in optimization.






share|cite|improve this answer









$endgroup$








  • 1




    $begingroup$
    While I thikn mentioning the subderivative is definitely relevant here, the function of OP seems to be not convex at all. However, in this case you can take the generalized Clarke gradient (which reduces to subderivative when the function is convex).
    $endgroup$
    – Surb
    5 hours ago


















3












$begingroup$

If $y=F(x)$ is not differentiable then the differential coefficient /derivative does not exist and there will be no unique tangent defined.



Ignore the following if it makes no sense now. There are situations when if a third space variable $z$ like in $(x,y,z) $ is defined involving a fourth common parameter $t$ like it is for this four branched curve between four sharp cusps:



4 Cusp$$ x= cos^3t, y= sin^3t, z= frac12 cos^2t $$



then at $ x-z$ or $ y-z$ projections ( a shadow if you will) shows a tangent that suddenly rotates by $90^circ$ at cusp points and tangent slope includes all slopes in between in a situation where there is differentiability at these critical points.






share|cite|improve this answer











$endgroup$




















    0












    $begingroup$

    One of the defining points (no pun!) of a tangent is the idea that as you look at a smaller and smaller section of the curve, the curve starts to more and more looks like a straight line.



    That behaviour lets you do a huge number of things:



    • You can estimate where the curve goes in places near that point (if tangent has a gradient of 2, then the curve at X + 0.000001 will probably be close to Y+0.000002, or whatever).

    • You can approximate the curve by tiny sections of straight lines - this is the basis of simple calculus.

    • You can take limits in several ways, and expect them to converge as you use narrower sections of the curve

    • ? Many other things, all stemming from these.

    Not all curves behave like that, and yours doesn't. No matter how close you inspect the cusp of your curve (the pointy bit), it's never going to resemble anything like a straight line, on any scale. It'll always look like a cusp.



    That's the fundamental reason there isn't a tangent at that point. Because the curve just doesn't resemble a straight line, even in a microscopic close-up view, it doesn't have a gradient or tangent at that point, and it isn't differentiable at that point (much the same thing at a very simple level), and so on.



    That isn't in fact unusual. In fact more curves don't have a gradient than do - its just that we don't study curves at random, so you mainly look at curves that do - at least, at this level of maths!



    Other examples of curves that don't have a gradient at some or all points -



    • the "step" curve (defined as y=0 if x<0, y=1 if x >= 0)

    • a "curve" defined as y=1 if x contains a "1" when written in decimal, and y=0 otherwise. Because there are infinitely many numbers that simply don't have a 1 in their decimal expansion, slotted in between those that do!

    • the curve y = 1/x at x=0

    • the "blancmange curve", which doesn't have any breaks in it, and looks like it should be a nice straightforward curve, but actually "wobbles" so much at any microscopic level (however closely you look at it,and wherever you look!) that in the end, it doesn't have a gradient anywhere.





    share|cite|improve this answer









    $endgroup$












      Your Answer





      StackExchange.ifUsing("editor", function ()
      return StackExchange.using("mathjaxEditing", function ()
      StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
      StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
      );
      );
      , "mathjax-editing");

      StackExchange.ready(function()
      var channelOptions =
      tags: "".split(" "),
      id: "69"
      ;
      initTagRenderer("".split(" "), "".split(" "), channelOptions);

      StackExchange.using("externalEditor", function()
      // Have to fire editor after snippets, if snippets enabled
      if (StackExchange.settings.snippets.snippetsEnabled)
      StackExchange.using("snippets", function()
      createEditor();
      );

      else
      createEditor();

      );

      function createEditor()
      StackExchange.prepareEditor(
      heartbeatType: 'answer',
      autoActivateHeartbeat: false,
      convertImagesToLinks: true,
      noModals: true,
      showLowRepImageUploadWarning: true,
      reputationToPostImages: 10,
      bindNavPrevention: true,
      postfix: "",
      imageUploader:
      brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
      contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
      allowUrls: true
      ,
      noCode: true, onDemand: true,
      discardSelector: ".discard-answer"
      ,immediatelyShowMarkdownHelp:true
      );



      );













      draft saved

      draft discarded


















      StackExchange.ready(
      function ()
      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3152962%2fwhat-is-the-tangent-at-a-sharp-point-on-a-curve%23new-answer', 'question_page');

      );

      Post as a guest















      Required, but never shown

























      5 Answers
      5






      active

      oldest

      votes








      5 Answers
      5






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes









      21












      $begingroup$

      None of them, because it's not differentiable there, so there is no tangent line at that point.






      share|cite|improve this answer









      $endgroup$












      • $begingroup$
        If I have suppose a plot $(y^2-4x)(y^2-|-4x|)=0$ , I cannot differentiate this for all values of x?
        $endgroup$
        – ADITYA PRAKASH
        9 hours ago










      • $begingroup$
        @ADITYAPRAKASH $(y^2-4x)(y^2-4|x|)=0$ is not a function, but a relation. How/where would you like to differentiate it?
        $endgroup$
        – Botond
        9 hours ago










      • $begingroup$
        I put the wrong one , sorry . I wanted the graph of $y^2=4x and y^2=-4x$ together as a joint equation , positive parts only and to differentiate at x=0
        $endgroup$
        – ADITYA PRAKASH
        9 hours ago







      • 4




        $begingroup$
        @ADITYAPRAKASH That's a relation too. But, for example, if you define $f$ as $f(x)=2sqrt$, then $f$ is differentiable for all $x neq 0$. At $x=0$, the limit $lim_x to 0 fracsqrtx$ does not exists because when $x>0$, $fracsqrtx=fracsqrtxx=frac1sqrtx to +infty$ and when $x < 0$, $fracsqrtx=fracsqrt-xx=-frac1sqrt-x to -infty$, so the limit cannot exist.
        $endgroup$
        – Botond
        9 hours ago















      21












      $begingroup$

      None of them, because it's not differentiable there, so there is no tangent line at that point.






      share|cite|improve this answer









      $endgroup$












      • $begingroup$
        If I have suppose a plot $(y^2-4x)(y^2-|-4x|)=0$ , I cannot differentiate this for all values of x?
        $endgroup$
        – ADITYA PRAKASH
        9 hours ago










      • $begingroup$
        @ADITYAPRAKASH $(y^2-4x)(y^2-4|x|)=0$ is not a function, but a relation. How/where would you like to differentiate it?
        $endgroup$
        – Botond
        9 hours ago










      • $begingroup$
        I put the wrong one , sorry . I wanted the graph of $y^2=4x and y^2=-4x$ together as a joint equation , positive parts only and to differentiate at x=0
        $endgroup$
        – ADITYA PRAKASH
        9 hours ago







      • 4




        $begingroup$
        @ADITYAPRAKASH That's a relation too. But, for example, if you define $f$ as $f(x)=2sqrt$, then $f$ is differentiable for all $x neq 0$. At $x=0$, the limit $lim_x to 0 fracsqrtx$ does not exists because when $x>0$, $fracsqrtx=fracsqrtxx=frac1sqrtx to +infty$ and when $x < 0$, $fracsqrtx=fracsqrt-xx=-frac1sqrt-x to -infty$, so the limit cannot exist.
        $endgroup$
        – Botond
        9 hours ago













      21












      21








      21





      $begingroup$

      None of them, because it's not differentiable there, so there is no tangent line at that point.






      share|cite|improve this answer









      $endgroup$



      None of them, because it's not differentiable there, so there is no tangent line at that point.







      share|cite|improve this answer












      share|cite|improve this answer



      share|cite|improve this answer










      answered 9 hours ago









      BotondBotond

      6,2832933




      6,2832933











      • $begingroup$
        If I have suppose a plot $(y^2-4x)(y^2-|-4x|)=0$ , I cannot differentiate this for all values of x?
        $endgroup$
        – ADITYA PRAKASH
        9 hours ago










      • $begingroup$
        @ADITYAPRAKASH $(y^2-4x)(y^2-4|x|)=0$ is not a function, but a relation. How/where would you like to differentiate it?
        $endgroup$
        – Botond
        9 hours ago










      • $begingroup$
        I put the wrong one , sorry . I wanted the graph of $y^2=4x and y^2=-4x$ together as a joint equation , positive parts only and to differentiate at x=0
        $endgroup$
        – ADITYA PRAKASH
        9 hours ago







      • 4




        $begingroup$
        @ADITYAPRAKASH That's a relation too. But, for example, if you define $f$ as $f(x)=2sqrt$, then $f$ is differentiable for all $x neq 0$. At $x=0$, the limit $lim_x to 0 fracsqrtx$ does not exists because when $x>0$, $fracsqrtx=fracsqrtxx=frac1sqrtx to +infty$ and when $x < 0$, $fracsqrtx=fracsqrt-xx=-frac1sqrt-x to -infty$, so the limit cannot exist.
        $endgroup$
        – Botond
        9 hours ago
















      • $begingroup$
        If I have suppose a plot $(y^2-4x)(y^2-|-4x|)=0$ , I cannot differentiate this for all values of x?
        $endgroup$
        – ADITYA PRAKASH
        9 hours ago










      • $begingroup$
        @ADITYAPRAKASH $(y^2-4x)(y^2-4|x|)=0$ is not a function, but a relation. How/where would you like to differentiate it?
        $endgroup$
        – Botond
        9 hours ago










      • $begingroup$
        I put the wrong one , sorry . I wanted the graph of $y^2=4x and y^2=-4x$ together as a joint equation , positive parts only and to differentiate at x=0
        $endgroup$
        – ADITYA PRAKASH
        9 hours ago







      • 4




        $begingroup$
        @ADITYAPRAKASH That's a relation too. But, for example, if you define $f$ as $f(x)=2sqrt$, then $f$ is differentiable for all $x neq 0$. At $x=0$, the limit $lim_x to 0 fracsqrtx$ does not exists because when $x>0$, $fracsqrtx=fracsqrtxx=frac1sqrtx to +infty$ and when $x < 0$, $fracsqrtx=fracsqrt-xx=-frac1sqrt-x to -infty$, so the limit cannot exist.
        $endgroup$
        – Botond
        9 hours ago















      $begingroup$
      If I have suppose a plot $(y^2-4x)(y^2-|-4x|)=0$ , I cannot differentiate this for all values of x?
      $endgroup$
      – ADITYA PRAKASH
      9 hours ago




      $begingroup$
      If I have suppose a plot $(y^2-4x)(y^2-|-4x|)=0$ , I cannot differentiate this for all values of x?
      $endgroup$
      – ADITYA PRAKASH
      9 hours ago












      $begingroup$
      @ADITYAPRAKASH $(y^2-4x)(y^2-4|x|)=0$ is not a function, but a relation. How/where would you like to differentiate it?
      $endgroup$
      – Botond
      9 hours ago




      $begingroup$
      @ADITYAPRAKASH $(y^2-4x)(y^2-4|x|)=0$ is not a function, but a relation. How/where would you like to differentiate it?
      $endgroup$
      – Botond
      9 hours ago












      $begingroup$
      I put the wrong one , sorry . I wanted the graph of $y^2=4x and y^2=-4x$ together as a joint equation , positive parts only and to differentiate at x=0
      $endgroup$
      – ADITYA PRAKASH
      9 hours ago





      $begingroup$
      I put the wrong one , sorry . I wanted the graph of $y^2=4x and y^2=-4x$ together as a joint equation , positive parts only and to differentiate at x=0
      $endgroup$
      – ADITYA PRAKASH
      9 hours ago





      4




      4




      $begingroup$
      @ADITYAPRAKASH That's a relation too. But, for example, if you define $f$ as $f(x)=2sqrt$, then $f$ is differentiable for all $x neq 0$. At $x=0$, the limit $lim_x to 0 fracsqrtx$ does not exists because when $x>0$, $fracsqrtx=fracsqrtxx=frac1sqrtx to +infty$ and when $x < 0$, $fracsqrtx=fracsqrt-xx=-frac1sqrt-x to -infty$, so the limit cannot exist.
      $endgroup$
      – Botond
      9 hours ago




      $begingroup$
      @ADITYAPRAKASH That's a relation too. But, for example, if you define $f$ as $f(x)=2sqrt$, then $f$ is differentiable for all $x neq 0$. At $x=0$, the limit $lim_x to 0 fracsqrtx$ does not exists because when $x>0$, $fracsqrtx=fracsqrtxx=frac1sqrtx to +infty$ and when $x < 0$, $fracsqrtx=fracsqrt-xx=-frac1sqrt-x to -infty$, so the limit cannot exist.
      $endgroup$
      – Botond
      9 hours ago











      16












      $begingroup$

      If the cuspid you draw is actually a cuspid (roughly speaking: if microscopically it is not "rounded") you can speak of a right and left tangent, same as you do with limits.



      Refer to this wiki article.



      Also note that, if the semi-derivative on one side has the value of $m$ and the other $-,m$, then the two lines geometrically coincide into a single line (or, maybe better, half line or ray).






      share|cite|improve this answer











      $endgroup$








      • 2




        $begingroup$
        To this I might add that for one point, left derivative = right derivative (and they both exist) $iff$ differentiable $iff$ has a (unique) tangent. And also cite wikipedia
        $endgroup$
        – asky
        2 hours ago











      • $begingroup$
        @asky: good suggestion, thanks, added the ref.
        $endgroup$
        – G Cab
        2 hours ago










      • $begingroup$
        @asky as the answer points out, unique tangent is equivalent to left derivative $=pm$ right derivative rather than differentiable.
        $endgroup$
        – jgon
        1 hour ago










      • $begingroup$
        @jgon that depends how you define tangents being equal. From an analytic geometer's perspective, they have opposite slopes, so are not equal, but from a classical geometer's perspective, they look the same, so are equal. I think there is no canonical equivalence relation on lines, and both views accept an equivalence relation so are equally valid.
        $endgroup$
        – asky
        3 mins ago















      16












      $begingroup$

      If the cuspid you draw is actually a cuspid (roughly speaking: if microscopically it is not "rounded") you can speak of a right and left tangent, same as you do with limits.



      Refer to this wiki article.



      Also note that, if the semi-derivative on one side has the value of $m$ and the other $-,m$, then the two lines geometrically coincide into a single line (or, maybe better, half line or ray).






      share|cite|improve this answer











      $endgroup$








      • 2




        $begingroup$
        To this I might add that for one point, left derivative = right derivative (and they both exist) $iff$ differentiable $iff$ has a (unique) tangent. And also cite wikipedia
        $endgroup$
        – asky
        2 hours ago











      • $begingroup$
        @asky: good suggestion, thanks, added the ref.
        $endgroup$
        – G Cab
        2 hours ago










      • $begingroup$
        @asky as the answer points out, unique tangent is equivalent to left derivative $=pm$ right derivative rather than differentiable.
        $endgroup$
        – jgon
        1 hour ago










      • $begingroup$
        @jgon that depends how you define tangents being equal. From an analytic geometer's perspective, they have opposite slopes, so are not equal, but from a classical geometer's perspective, they look the same, so are equal. I think there is no canonical equivalence relation on lines, and both views accept an equivalence relation so are equally valid.
        $endgroup$
        – asky
        3 mins ago













      16












      16








      16





      $begingroup$

      If the cuspid you draw is actually a cuspid (roughly speaking: if microscopically it is not "rounded") you can speak of a right and left tangent, same as you do with limits.



      Refer to this wiki article.



      Also note that, if the semi-derivative on one side has the value of $m$ and the other $-,m$, then the two lines geometrically coincide into a single line (or, maybe better, half line or ray).






      share|cite|improve this answer











      $endgroup$



      If the cuspid you draw is actually a cuspid (roughly speaking: if microscopically it is not "rounded") you can speak of a right and left tangent, same as you do with limits.



      Refer to this wiki article.



      Also note that, if the semi-derivative on one side has the value of $m$ and the other $-,m$, then the two lines geometrically coincide into a single line (or, maybe better, half line or ray).







      share|cite|improve this answer














      share|cite|improve this answer



      share|cite|improve this answer








      edited 1 hour ago

























      answered 9 hours ago









      G CabG Cab

      20.3k31341




      20.3k31341







      • 2




        $begingroup$
        To this I might add that for one point, left derivative = right derivative (and they both exist) $iff$ differentiable $iff$ has a (unique) tangent. And also cite wikipedia
        $endgroup$
        – asky
        2 hours ago











      • $begingroup$
        @asky: good suggestion, thanks, added the ref.
        $endgroup$
        – G Cab
        2 hours ago










      • $begingroup$
        @asky as the answer points out, unique tangent is equivalent to left derivative $=pm$ right derivative rather than differentiable.
        $endgroup$
        – jgon
        1 hour ago










      • $begingroup$
        @jgon that depends how you define tangents being equal. From an analytic geometer's perspective, they have opposite slopes, so are not equal, but from a classical geometer's perspective, they look the same, so are equal. I think there is no canonical equivalence relation on lines, and both views accept an equivalence relation so are equally valid.
        $endgroup$
        – asky
        3 mins ago












      • 2




        $begingroup$
        To this I might add that for one point, left derivative = right derivative (and they both exist) $iff$ differentiable $iff$ has a (unique) tangent. And also cite wikipedia
        $endgroup$
        – asky
        2 hours ago











      • $begingroup$
        @asky: good suggestion, thanks, added the ref.
        $endgroup$
        – G Cab
        2 hours ago










      • $begingroup$
        @asky as the answer points out, unique tangent is equivalent to left derivative $=pm$ right derivative rather than differentiable.
        $endgroup$
        – jgon
        1 hour ago










      • $begingroup$
        @jgon that depends how you define tangents being equal. From an analytic geometer's perspective, they have opposite slopes, so are not equal, but from a classical geometer's perspective, they look the same, so are equal. I think there is no canonical equivalence relation on lines, and both views accept an equivalence relation so are equally valid.
        $endgroup$
        – asky
        3 mins ago







      2




      2




      $begingroup$
      To this I might add that for one point, left derivative = right derivative (and they both exist) $iff$ differentiable $iff$ has a (unique) tangent. And also cite wikipedia
      $endgroup$
      – asky
      2 hours ago





      $begingroup$
      To this I might add that for one point, left derivative = right derivative (and they both exist) $iff$ differentiable $iff$ has a (unique) tangent. And also cite wikipedia
      $endgroup$
      – asky
      2 hours ago













      $begingroup$
      @asky: good suggestion, thanks, added the ref.
      $endgroup$
      – G Cab
      2 hours ago




      $begingroup$
      @asky: good suggestion, thanks, added the ref.
      $endgroup$
      – G Cab
      2 hours ago












      $begingroup$
      @asky as the answer points out, unique tangent is equivalent to left derivative $=pm$ right derivative rather than differentiable.
      $endgroup$
      – jgon
      1 hour ago




      $begingroup$
      @asky as the answer points out, unique tangent is equivalent to left derivative $=pm$ right derivative rather than differentiable.
      $endgroup$
      – jgon
      1 hour ago












      $begingroup$
      @jgon that depends how you define tangents being equal. From an analytic geometer's perspective, they have opposite slopes, so are not equal, but from a classical geometer's perspective, they look the same, so are equal. I think there is no canonical equivalence relation on lines, and both views accept an equivalence relation so are equally valid.
      $endgroup$
      – asky
      3 mins ago




      $begingroup$
      @jgon that depends how you define tangents being equal. From an analytic geometer's perspective, they have opposite slopes, so are not equal, but from a classical geometer's perspective, they look the same, so are equal. I think there is no canonical equivalence relation on lines, and both views accept an equivalence relation so are equally valid.
      $endgroup$
      – asky
      3 mins ago











      4












      $begingroup$

      The "classical" tangent does not exist indeed.
      However for a convex function with a sharp point, you can use a generalization of the derivative called the subderivative. It is used frequently in optimization.






      share|cite|improve this answer









      $endgroup$








      • 1




        $begingroup$
        While I thikn mentioning the subderivative is definitely relevant here, the function of OP seems to be not convex at all. However, in this case you can take the generalized Clarke gradient (which reduces to subderivative when the function is convex).
        $endgroup$
        – Surb
        5 hours ago















      4












      $begingroup$

      The "classical" tangent does not exist indeed.
      However for a convex function with a sharp point, you can use a generalization of the derivative called the subderivative. It is used frequently in optimization.






      share|cite|improve this answer









      $endgroup$








      • 1




        $begingroup$
        While I thikn mentioning the subderivative is definitely relevant here, the function of OP seems to be not convex at all. However, in this case you can take the generalized Clarke gradient (which reduces to subderivative when the function is convex).
        $endgroup$
        – Surb
        5 hours ago













      4












      4








      4





      $begingroup$

      The "classical" tangent does not exist indeed.
      However for a convex function with a sharp point, you can use a generalization of the derivative called the subderivative. It is used frequently in optimization.






      share|cite|improve this answer









      $endgroup$



      The "classical" tangent does not exist indeed.
      However for a convex function with a sharp point, you can use a generalization of the derivative called the subderivative. It is used frequently in optimization.







      share|cite|improve this answer












      share|cite|improve this answer



      share|cite|improve this answer










      answered 9 hours ago









      poloCpoloC

      411




      411







      • 1




        $begingroup$
        While I thikn mentioning the subderivative is definitely relevant here, the function of OP seems to be not convex at all. However, in this case you can take the generalized Clarke gradient (which reduces to subderivative when the function is convex).
        $endgroup$
        – Surb
        5 hours ago












      • 1




        $begingroup$
        While I thikn mentioning the subderivative is definitely relevant here, the function of OP seems to be not convex at all. However, in this case you can take the generalized Clarke gradient (which reduces to subderivative when the function is convex).
        $endgroup$
        – Surb
        5 hours ago







      1




      1




      $begingroup$
      While I thikn mentioning the subderivative is definitely relevant here, the function of OP seems to be not convex at all. However, in this case you can take the generalized Clarke gradient (which reduces to subderivative when the function is convex).
      $endgroup$
      – Surb
      5 hours ago




      $begingroup$
      While I thikn mentioning the subderivative is definitely relevant here, the function of OP seems to be not convex at all. However, in this case you can take the generalized Clarke gradient (which reduces to subderivative when the function is convex).
      $endgroup$
      – Surb
      5 hours ago











      3












      $begingroup$

      If $y=F(x)$ is not differentiable then the differential coefficient /derivative does not exist and there will be no unique tangent defined.



      Ignore the following if it makes no sense now. There are situations when if a third space variable $z$ like in $(x,y,z) $ is defined involving a fourth common parameter $t$ like it is for this four branched curve between four sharp cusps:



      4 Cusp$$ x= cos^3t, y= sin^3t, z= frac12 cos^2t $$



      then at $ x-z$ or $ y-z$ projections ( a shadow if you will) shows a tangent that suddenly rotates by $90^circ$ at cusp points and tangent slope includes all slopes in between in a situation where there is differentiability at these critical points.






      share|cite|improve this answer











      $endgroup$

















        3












        $begingroup$

        If $y=F(x)$ is not differentiable then the differential coefficient /derivative does not exist and there will be no unique tangent defined.



        Ignore the following if it makes no sense now. There are situations when if a third space variable $z$ like in $(x,y,z) $ is defined involving a fourth common parameter $t$ like it is for this four branched curve between four sharp cusps:



        4 Cusp$$ x= cos^3t, y= sin^3t, z= frac12 cos^2t $$



        then at $ x-z$ or $ y-z$ projections ( a shadow if you will) shows a tangent that suddenly rotates by $90^circ$ at cusp points and tangent slope includes all slopes in between in a situation where there is differentiability at these critical points.






        share|cite|improve this answer











        $endgroup$















          3












          3








          3





          $begingroup$

          If $y=F(x)$ is not differentiable then the differential coefficient /derivative does not exist and there will be no unique tangent defined.



          Ignore the following if it makes no sense now. There are situations when if a third space variable $z$ like in $(x,y,z) $ is defined involving a fourth common parameter $t$ like it is for this four branched curve between four sharp cusps:



          4 Cusp$$ x= cos^3t, y= sin^3t, z= frac12 cos^2t $$



          then at $ x-z$ or $ y-z$ projections ( a shadow if you will) shows a tangent that suddenly rotates by $90^circ$ at cusp points and tangent slope includes all slopes in between in a situation where there is differentiability at these critical points.






          share|cite|improve this answer











          $endgroup$



          If $y=F(x)$ is not differentiable then the differential coefficient /derivative does not exist and there will be no unique tangent defined.



          Ignore the following if it makes no sense now. There are situations when if a third space variable $z$ like in $(x,y,z) $ is defined involving a fourth common parameter $t$ like it is for this four branched curve between four sharp cusps:



          4 Cusp$$ x= cos^3t, y= sin^3t, z= frac12 cos^2t $$



          then at $ x-z$ or $ y-z$ projections ( a shadow if you will) shows a tangent that suddenly rotates by $90^circ$ at cusp points and tangent slope includes all slopes in between in a situation where there is differentiability at these critical points.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited 7 hours ago

























          answered 9 hours ago









          NarasimhamNarasimham

          21k62158




          21k62158





















              0












              $begingroup$

              One of the defining points (no pun!) of a tangent is the idea that as you look at a smaller and smaller section of the curve, the curve starts to more and more looks like a straight line.



              That behaviour lets you do a huge number of things:



              • You can estimate where the curve goes in places near that point (if tangent has a gradient of 2, then the curve at X + 0.000001 will probably be close to Y+0.000002, or whatever).

              • You can approximate the curve by tiny sections of straight lines - this is the basis of simple calculus.

              • You can take limits in several ways, and expect them to converge as you use narrower sections of the curve

              • ? Many other things, all stemming from these.

              Not all curves behave like that, and yours doesn't. No matter how close you inspect the cusp of your curve (the pointy bit), it's never going to resemble anything like a straight line, on any scale. It'll always look like a cusp.



              That's the fundamental reason there isn't a tangent at that point. Because the curve just doesn't resemble a straight line, even in a microscopic close-up view, it doesn't have a gradient or tangent at that point, and it isn't differentiable at that point (much the same thing at a very simple level), and so on.



              That isn't in fact unusual. In fact more curves don't have a gradient than do - its just that we don't study curves at random, so you mainly look at curves that do - at least, at this level of maths!



              Other examples of curves that don't have a gradient at some or all points -



              • the "step" curve (defined as y=0 if x<0, y=1 if x >= 0)

              • a "curve" defined as y=1 if x contains a "1" when written in decimal, and y=0 otherwise. Because there are infinitely many numbers that simply don't have a 1 in their decimal expansion, slotted in between those that do!

              • the curve y = 1/x at x=0

              • the "blancmange curve", which doesn't have any breaks in it, and looks like it should be a nice straightforward curve, but actually "wobbles" so much at any microscopic level (however closely you look at it,and wherever you look!) that in the end, it doesn't have a gradient anywhere.





              share|cite|improve this answer









              $endgroup$

















                0












                $begingroup$

                One of the defining points (no pun!) of a tangent is the idea that as you look at a smaller and smaller section of the curve, the curve starts to more and more looks like a straight line.



                That behaviour lets you do a huge number of things:



                • You can estimate where the curve goes in places near that point (if tangent has a gradient of 2, then the curve at X + 0.000001 will probably be close to Y+0.000002, or whatever).

                • You can approximate the curve by tiny sections of straight lines - this is the basis of simple calculus.

                • You can take limits in several ways, and expect them to converge as you use narrower sections of the curve

                • ? Many other things, all stemming from these.

                Not all curves behave like that, and yours doesn't. No matter how close you inspect the cusp of your curve (the pointy bit), it's never going to resemble anything like a straight line, on any scale. It'll always look like a cusp.



                That's the fundamental reason there isn't a tangent at that point. Because the curve just doesn't resemble a straight line, even in a microscopic close-up view, it doesn't have a gradient or tangent at that point, and it isn't differentiable at that point (much the same thing at a very simple level), and so on.



                That isn't in fact unusual. In fact more curves don't have a gradient than do - its just that we don't study curves at random, so you mainly look at curves that do - at least, at this level of maths!



                Other examples of curves that don't have a gradient at some or all points -



                • the "step" curve (defined as y=0 if x<0, y=1 if x >= 0)

                • a "curve" defined as y=1 if x contains a "1" when written in decimal, and y=0 otherwise. Because there are infinitely many numbers that simply don't have a 1 in their decimal expansion, slotted in between those that do!

                • the curve y = 1/x at x=0

                • the "blancmange curve", which doesn't have any breaks in it, and looks like it should be a nice straightforward curve, but actually "wobbles" so much at any microscopic level (however closely you look at it,and wherever you look!) that in the end, it doesn't have a gradient anywhere.





                share|cite|improve this answer









                $endgroup$















                  0












                  0








                  0





                  $begingroup$

                  One of the defining points (no pun!) of a tangent is the idea that as you look at a smaller and smaller section of the curve, the curve starts to more and more looks like a straight line.



                  That behaviour lets you do a huge number of things:



                  • You can estimate where the curve goes in places near that point (if tangent has a gradient of 2, then the curve at X + 0.000001 will probably be close to Y+0.000002, or whatever).

                  • You can approximate the curve by tiny sections of straight lines - this is the basis of simple calculus.

                  • You can take limits in several ways, and expect them to converge as you use narrower sections of the curve

                  • ? Many other things, all stemming from these.

                  Not all curves behave like that, and yours doesn't. No matter how close you inspect the cusp of your curve (the pointy bit), it's never going to resemble anything like a straight line, on any scale. It'll always look like a cusp.



                  That's the fundamental reason there isn't a tangent at that point. Because the curve just doesn't resemble a straight line, even in a microscopic close-up view, it doesn't have a gradient or tangent at that point, and it isn't differentiable at that point (much the same thing at a very simple level), and so on.



                  That isn't in fact unusual. In fact more curves don't have a gradient than do - its just that we don't study curves at random, so you mainly look at curves that do - at least, at this level of maths!



                  Other examples of curves that don't have a gradient at some or all points -



                  • the "step" curve (defined as y=0 if x<0, y=1 if x >= 0)

                  • a "curve" defined as y=1 if x contains a "1" when written in decimal, and y=0 otherwise. Because there are infinitely many numbers that simply don't have a 1 in their decimal expansion, slotted in between those that do!

                  • the curve y = 1/x at x=0

                  • the "blancmange curve", which doesn't have any breaks in it, and looks like it should be a nice straightforward curve, but actually "wobbles" so much at any microscopic level (however closely you look at it,and wherever you look!) that in the end, it doesn't have a gradient anywhere.





                  share|cite|improve this answer









                  $endgroup$



                  One of the defining points (no pun!) of a tangent is the idea that as you look at a smaller and smaller section of the curve, the curve starts to more and more looks like a straight line.



                  That behaviour lets you do a huge number of things:



                  • You can estimate where the curve goes in places near that point (if tangent has a gradient of 2, then the curve at X + 0.000001 will probably be close to Y+0.000002, or whatever).

                  • You can approximate the curve by tiny sections of straight lines - this is the basis of simple calculus.

                  • You can take limits in several ways, and expect them to converge as you use narrower sections of the curve

                  • ? Many other things, all stemming from these.

                  Not all curves behave like that, and yours doesn't. No matter how close you inspect the cusp of your curve (the pointy bit), it's never going to resemble anything like a straight line, on any scale. It'll always look like a cusp.



                  That's the fundamental reason there isn't a tangent at that point. Because the curve just doesn't resemble a straight line, even in a microscopic close-up view, it doesn't have a gradient or tangent at that point, and it isn't differentiable at that point (much the same thing at a very simple level), and so on.



                  That isn't in fact unusual. In fact more curves don't have a gradient than do - its just that we don't study curves at random, so you mainly look at curves that do - at least, at this level of maths!



                  Other examples of curves that don't have a gradient at some or all points -



                  • the "step" curve (defined as y=0 if x<0, y=1 if x >= 0)

                  • a "curve" defined as y=1 if x contains a "1" when written in decimal, and y=0 otherwise. Because there are infinitely many numbers that simply don't have a 1 in their decimal expansion, slotted in between those that do!

                  • the curve y = 1/x at x=0

                  • the "blancmange curve", which doesn't have any breaks in it, and looks like it should be a nice straightforward curve, but actually "wobbles" so much at any microscopic level (however closely you look at it,and wherever you look!) that in the end, it doesn't have a gradient anywhere.






                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered 1 hour ago









                  StilezStilez

                  42129




                  42129



























                      draft saved

                      draft discarded
















































                      Thanks for contributing an answer to Mathematics Stack Exchange!


                      • Please be sure to answer the question. Provide details and share your research!

                      But avoid


                      • Asking for help, clarification, or responding to other answers.

                      • Making statements based on opinion; back them up with references or personal experience.

                      Use MathJax to format equations. MathJax reference.


                      To learn more, see our tips on writing great answers.




                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function ()
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3152962%2fwhat-is-the-tangent-at-a-sharp-point-on-a-curve%23new-answer', 'question_page');

                      );

                      Post as a guest















                      Required, but never shown





















































                      Required, but never shown














                      Required, but never shown












                      Required, but never shown







                      Required, but never shown

































                      Required, but never shown














                      Required, but never shown












                      Required, but never shown







                      Required, but never shown







                      Popular posts from this blog

                      How to create a command for the “strange m” symbol in latex? Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern)How do you make your own symbol when Detexify fails?Writing bold small caps with mathpazo packageplus-minus symbol with parenthesis around the minus signGreek character in Beamer document titleHow to create dashed right arrow over symbol?Currency symbol: Turkish LiraDouble prec as a single symbol?Plus Sign Too Big; How to Call adfbullet?Is there a TeX macro for three-legged pi?How do I get my integral-like symbol to align like the integral?How to selectively substitute a letter with another symbol representing the same letterHow do I generate a less than symbol and vertical bar that are the same height?

                      Българска екзархия Съдържание История | Български екзарси | Вижте също | Външни препратки | Литература | Бележки | НавигацияУстав за управлението на българската екзархия. Цариград, 1870Слово на Ловешкия митрополит Иларион при откриването на Българския народен събор в Цариград на 23. II. 1870 г.Българската правда и гръцката кривда. От С. М. (= Софийски Мелетий). Цариград, 1872Предстоятели на Българската екзархияПодмененият ВеликденИнформационна агенция „Фокус“Димитър Ризов. Българите в техните исторически, етнографически и политически граници (Атлас съдържащ 40 карти). Berlin, Königliche Hoflithographie, Hof-Buch- und -Steindruckerei Wilhelm Greve, 1917Report of the International Commission to Inquire into the Causes and Conduct of the Balkan Wars

                      Category:Tremithousa Media in category "Tremithousa"Navigation menuUpload media34° 49′ 02.7″ N, 32° 26′ 37.32″ EOpenStreetMapGoogle EarthProximityramaReasonatorScholiaStatisticsWikiShootMe