Unit 2A

Derivatives Part 1

Lesson 2: Definition of a Derivative


The following video, Proving Non-Differentiability, shows an example where a function is not differentiable at a particular point.

In the video, the function «math style=¨font-family:Verdana¨ xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mstyle mathsize=¨14px¨»«mrow»«mi»y«/mi»«mo»=«/mo»«mfenced open=¨|¨ close=¨|¨»«mrow»«mi»x«/mi»«mo»+«/mo»«mn»2«/mn»«/mrow»«/mfenced»«/mrow»«/mstyle»«/math» was investigated. The graph of this function has a corner at «math style=¨font-family:Verdana¨ xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mstyle mathsize=¨14px¨»«mrow»«mi»x«/mi»«mo»=«/mo»«mo»§#8722;«/mo»«mn»2«/mn»«/mrow»«/mstyle»«/math». When the definition of the derivative was applied to the limits from the right and left, it was shown the derivative of the function «math style=¨font-family:Verdana¨ xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mstyle mathsize=¨14px¨»«mrow»«mi»y«/mi»«mo»=«/mo»«mfenced open=¨|¨ close=¨|¨»«mrow»«mi»x«/mi»«mo»+«/mo»«mn»2«/mn»«/mrow»«/mfenced»«/mrow»«/mstyle»«/math» does not exist at «math style=¨font-family:Verdana¨ xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mstyle mathsize=¨14px¨»«mrow»«mi»x«/mi»«mo»=«/mo»«mo»§#8722;«/mo»«mn»2«/mn»«/mrow»«/mstyle»«/math» because the limits from the right and left are not equal.

Algebraically show «math style=¨font-family:Verdana¨ xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mstyle mathsize=¨14px¨»«mrow»«mi»f«/mi»«mfenced»«mi»x«/mi»«/mfenced»«mo»=«/mo»«mfenced open=¨|¨ close=¨|¨»«mrow»«msup»«mi»x«/mi»«mn»2«/mn»«/msup»«mo»§#8722;«/mo»«mn»4«/mn»«/mrow»«/mfenced»«/mrow»«/mstyle»«/math» is not differentiable at «math style=¨font-family:Verdana¨ xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mstyle mathsize=¨14px¨»«mrow»«mi»x«/mi»«mo»=«/mo»«mn»2«/mn»«/mrow»«/mstyle»«/math».

Applying the definition of the derivative and showing the limits from the right and left are different at «math style=¨font-family:Verdana¨ xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mstyle mathsize=¨14px¨»«mrow»«mi»x«/mi»«mo»=«/mo»«mn»2«/mn»«/mrow»«/mstyle»«/math» is sufficient to conclude the function «math style=¨font-family:Verdana¨ xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mstyle mathsize=¨14px¨»«mrow»«mi»f«/mi»«mfenced»«mi»x«/mi»«/mfenced»«mo»=«/mo»«mfenced open=¨|¨ close=¨|¨»«mrow»«msup»«mi»x«/mi»«mn»2«/mn»«/msup»«mo»§#8722;«/mo»«mn»4«/mn»«/mrow»«/mfenced»«/mrow»«/mstyle»«/math» is not differentiable at «math style=¨font-family:Verdana¨ xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mstyle mathsize=¨14px¨»«mrow»«mi»x«/mi»«mo»=«/mo»«mn»2«/mn»«/mrow»«/mstyle»«/math».

By looking at the graph of the function, it can be seen there is a cusp at «math style=¨font-family:Verdana¨ xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mstyle mathsize=¨14px¨»«mrow»«mi»x«/mi»«mo»=«/mo»«mn»2«/mn»«/mrow»«/mstyle»«/math».




Determine the limit from the left at «math style=¨font-family:Verdana¨ xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mstyle mathsize=¨14px¨»«mrow»«mi»x«/mi»«mo»=«/mo»«mn»2«/mn»«/mrow»«/mstyle»«/math».

«math xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mtable columnalign=¨right center left¨»«mtr»«mtd»«mi»f«/mi»«mo mathvariant=¨italic¨»`«/mo»«mi mathvariant=¨normal¨»(«/mi»«mi»x«/mi»«mi mathvariant=¨normal¨»)«/mi»«/mtd»«mtd»«mo»=«/mo»«/mtd»«mtd»«munder»«mi»lim«/mi»«mrow»«mi»h«/mi»«mo»§#8594;«/mo»«mn»0«/mn»«/mrow»«/munder»«mfrac»«mrow»«mi»f«/mi»«mi mathvariant=¨normal¨»(«/mi»«mi»x«/mi»«mo»+«/mo»«mi»h«/mi»«mi mathvariant=¨normal¨»)«/mi»«mo»§#8722;«/mo»«mi»f«/mi»«mi mathvariant=¨normal¨»(«/mi»«mi»x«/mi»«mi mathvariant=¨normal¨»)«/mi»«/mrow»«mi»h«/mi»«/mfrac»«/mtd»«/mtr»«mtr»«mtd»«mi»f«/mi»«mo mathvariant=¨italic¨»`«/mo»«mi mathvariant=¨normal¨»(«/mi»«mn»2«/mn»«mi mathvariant=¨normal¨»)«/mi»«/mtd»«mtd»«mo»=«/mo»«/mtd»«mtd»«munder»«mi»lim«/mi»«mrow»«mi»h«/mi»«mo»§#8594;«/mo»«msup»«mn»0«/mn»«mo»§#8722;«/mo»«/msup»«/mrow»«/munder»«mfrac»«mrow»«mi»f«/mi»«mi mathvariant=¨normal¨»(«/mi»«mn»2«/mn»«mo»+«/mo»«mi»h«/mi»«mi mathvariant=¨normal¨»)«/mi»«mo»§#8722;«/mo»«mi»f«/mi»«mi mathvariant=¨normal¨»(«/mi»«mn»2«/mn»«mi mathvariant=¨normal¨»)«/mi»«/mrow»«mi»h«/mi»«/mfrac»«/mtd»«/mtr»«mtr»«mtd/»«mtd»«mo»=«/mo»«/mtd»«mtd»«munder»«mi»lim«/mi»«mrow»«mi»h«/mi»«mo»§#8594;«/mo»«msup»«mn»0«/mn»«mo»§#8722;«/mo»«/msup»«/mrow»«/munder»«mfrac»«mrow»«mfenced open=¨|¨ close=¨|¨»«mrow»«msup»«mfenced»«mrow»«mn»2«/mn»«mo»+«/mo»«mi»h«/mi»«/mrow»«/mfenced»«mn»2«/mn»«/msup»«mo»§#8722;«/mo»«mn»4«/mn»«/mrow»«/mfenced»«mo»§#8722;«/mo»«mfenced open=¨|¨ close=¨|¨»«mrow»«msup»«mn»2«/mn»«mn»2«/mn»«/msup»«mo»§#8722;«/mo»«mn»4«/mn»«/mrow»«/mfenced»«/mrow»«mi»h«/mi»«/mfrac»«/mtd»«/mtr»«mtr»«mtd/»«mtd»«mo»=«/mo»«/mtd»«mtd»«munder»«mi»lim«/mi»«mrow»«mi»h«/mi»«mo»§#8594;«/mo»«msup»«mn»0«/mn»«mo»§#8722;«/mo»«/msup»«/mrow»«/munder»«mfrac»«mrow»«mfenced open=¨|¨ close=¨|¨»«mrow»«mn»4«/mn»«mo»+«/mo»«mn»4«/mn»«mi»h«/mi»«mo»+«/mo»«msup»«mi»h«/mi»«mn»2«/mn»«/msup»«mo»§#8722;«/mo»«mn»4«/mn»«/mrow»«/mfenced»«mo»§#8722;«/mo»«mn»0«/mn»«/mrow»«mi»h«/mi»«/mfrac»«/mtd»«/mtr»«mtr»«mtd/»«mtd»«mo»=«/mo»«/mtd»«mtd»«munder»«mi»lim«/mi»«mrow»«mi»h«/mi»«mo»§#8594;«/mo»«msup»«mn»0«/mn»«mo»§#8722;«/mo»«/msup»«/mrow»«/munder»«mfrac»«mfenced open=¨|¨ close=¨|¨»«mrow»«mn»4«/mn»«mi»h«/mi»«mo»+«/mo»«msup»«mi»h«/mi»«mn»2«/mn»«/msup»«/mrow»«/mfenced»«mi»h«/mi»«/mfrac»«/mtd»«/mtr»«mtr»«mtd/»«mtd»«mo»=«/mo»«/mtd»«mtd»«munder»«mi»lim«/mi»«mrow»«mi»h«/mi»«mo»§#8594;«/mo»«msup»«mn»0«/mn»«mo»§#8722;«/mo»«/msup»«/mrow»«/munder»«mfrac»«mfenced open=¨|¨ close=¨|¨»«mrow»«mi»h«/mi»«mi mathvariant=¨normal¨»(«/mi»«mn»4«/mn»«mo»+«/mo»«mi»h«/mi»«mi mathvariant=¨normal¨»)«/mi»«/mrow»«/mfenced»«mi»h«/mi»«/mfrac»«/mtd»«/mtr»«/mtable»«/math»

When «math style=¨font-family:Verdana¨ xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mstyle mathsize=¨14px¨»«mrow»«mi»h«/mi»«mo»§#8594;«/mo»«msup»«mn»0«/mn»«mo»§#8722;«/mo»«/msup»«/mrow»«/mstyle»«/math», the value of «math style=¨font-family:Verdana¨ xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mstyle mathsize=¨14px¨»«mfenced open=¨|¨ close=¨|¨»«mrow»«mi»h«/mi»«mfenced»«mrow»«mn»4«/mn»«mo»+«/mo»«mi»h«/mi»«/mrow»«/mfenced»«/mrow»«/mfenced»«/mstyle»«/math» is positive and the value of «math style=¨font-family:Verdana¨ xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mstyle mathsize=¨14px¨»«mi»h«/mi»«/mstyle»«/math» is negative. As such, «math style=¨font-family:Verdana¨ xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mstyle mathsize=¨14px¨»«mfrac»«mfenced open=¨|¨ close=¨|¨»«mrow»«mi»h«/mi»«mfenced»«mrow»«mn»4«/mn»«mo»+«/mo»«mi»h«/mi»«/mrow»«/mfenced»«/mrow»«/mfenced»«mi»h«/mi»«/mfrac»«/mstyle»«/math» can be simplified to «math style=¨font-family:Verdana¨ xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mstyle mathsize=¨14px¨»«mrow»«mo»§#8722;«/mo»«mfenced»«mrow»«mn»4«/mn»«mo»+«/mo»«mi»h«/mi»«/mrow»«/mfenced»«/mrow»«/mstyle»«/math».

«math style=¨font-family:Verdana¨ xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mstyle mathsize=¨14px¨»«mtable columnalign=¨right center left¨»«mtr»«mtd»«munder»«mi»lim«/mi»«mrow»«mi»h«/mi»«mo»§#8594;«/mo»«msup»«mn»0«/mn»«mo»§#8722;«/mo»«/msup»«/mrow»«/munder»«mo»§#8722;«/mo»«mfenced»«mrow»«mn»4«/mn»«mo»+«/mo»«mi»h«/mi»«/mrow»«/mfenced»«/mtd»«mtd»«mo»=«/mo»«/mtd»«mtd»«mo»§#8722;«/mo»«mfenced»«mrow»«mn»4«/mn»«mo»+«/mo»«mn»0«/mn»«/mrow»«/mfenced»«/mtd»«/mtr»«mtr»«mtd/»«mtd»«mo»=«/mo»«/mtd»«mtd»«mo»-«/mo»«mn»4«/mn»«/mtd»«/mtr»«/mtable»«/mstyle»«/math»

Determine the limit from the right at «math style=¨font-family:Verdana¨ xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mstyle mathsize=¨14px¨»«mrow»«mi»x«/mi»«mo»=«/mo»«mn»2«/mn»«/mrow»«/mstyle»«/math».

«math xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mtable columnalign=¨right center left¨»«mtr»«mtd»«mi»f«/mi»«mo mathvariant=¨italic¨»`«/mo»«mi mathvariant=¨normal¨»(«/mi»«mi»x«/mi»«mi mathvariant=¨normal¨»)«/mi»«/mtd»«mtd»«mo»=«/mo»«/mtd»«mtd»«munder»«mi»lim«/mi»«mrow»«mi»h«/mi»«mo»§#8594;«/mo»«mn»0«/mn»«/mrow»«/munder»«mfrac»«mrow»«mi»f«/mi»«mi mathvariant=¨normal¨»(«/mi»«mi»x«/mi»«mo»+«/mo»«mi»h«/mi»«mi mathvariant=¨normal¨»)«/mi»«mo»§#8722;«/mo»«mi»f«/mi»«mi mathvariant=¨normal¨»(«/mi»«mi»x«/mi»«mi mathvariant=¨normal¨»)«/mi»«/mrow»«mi»h«/mi»«/mfrac»«/mtd»«/mtr»«mtr»«mtd»«mi»f«/mi»«mo mathvariant=¨italic¨»`«/mo»«mi mathvariant=¨normal¨»(«/mi»«mn»2«/mn»«mi mathvariant=¨normal¨»)«/mi»«/mtd»«mtd»«mo»=«/mo»«/mtd»«mtd»«munder»«mi»lim«/mi»«mrow»«mi»h«/mi»«mo»§#8594;«/mo»«msup»«mn»0«/mn»«mo»+«/mo»«/msup»«/mrow»«/munder»«mfrac»«mrow»«mi»f«/mi»«mi mathvariant=¨normal¨»(«/mi»«mn»2«/mn»«mo»+«/mo»«mi»h«/mi»«mi mathvariant=¨normal¨»)«/mi»«mo»§#8722;«/mo»«mi»f«/mi»«mi mathvariant=¨normal¨»(«/mi»«mn»2«/mn»«mi mathvariant=¨normal¨»)«/mi»«/mrow»«mi»h«/mi»«/mfrac»«/mtd»«/mtr»«mtr»«mtd/»«mtd»«mo»=«/mo»«/mtd»«mtd»«munder»«mi»lim«/mi»«mrow»«mi»h«/mi»«mo»§#8594;«/mo»«msup»«mn»0«/mn»«mo»+«/mo»«/msup»«/mrow»«/munder»«mfrac»«mrow»«mfenced open=¨|¨ close=¨|¨»«mrow»«msup»«mfenced»«mrow»«mn»2«/mn»«mo»+«/mo»«mi»h«/mi»«/mrow»«/mfenced»«mn»2«/mn»«/msup»«mo»§#8722;«/mo»«mn»4«/mn»«/mrow»«/mfenced»«mo»§#8722;«/mo»«mfenced open=¨|¨ close=¨|¨»«mrow»«msup»«mn»2«/mn»«mn»2«/mn»«/msup»«mo»§#8722;«/mo»«mn»4«/mn»«/mrow»«/mfenced»«/mrow»«mi»h«/mi»«/mfrac»«/mtd»«/mtr»«mtr»«mtd/»«mtd»«mo»=«/mo»«/mtd»«mtd»«munder»«mi»lim«/mi»«mrow»«mi»h«/mi»«mo»§#8594;«/mo»«msup»«mn»0«/mn»«mo»+«/mo»«/msup»«/mrow»«/munder»«mfrac»«mrow»«mfenced open=¨|¨ close=¨|¨»«mrow»«mn»4«/mn»«mo»+«/mo»«mn»4«/mn»«mi»h«/mi»«mo»+«/mo»«msup»«mi»h«/mi»«mn»2«/mn»«/msup»«mo»§#8722;«/mo»«mn»4«/mn»«/mrow»«/mfenced»«mo»§#8722;«/mo»«mn»0«/mn»«/mrow»«mi»h«/mi»«/mfrac»«/mtd»«/mtr»«mtr»«mtd/»«mtd»«mo»=«/mo»«/mtd»«mtd»«munder»«mi»lim«/mi»«mrow»«mi»h«/mi»«mo»§#8594;«/mo»«msup»«mn»0«/mn»«mo»+«/mo»«/msup»«/mrow»«/munder»«mfrac»«mfenced open=¨|¨ close=¨|¨»«mrow»«mn»4«/mn»«mi»h«/mi»«mo»+«/mo»«msup»«mi»h«/mi»«mn»2«/mn»«/msup»«/mrow»«/mfenced»«mi»h«/mi»«/mfrac»«/mtd»«/mtr»«mtr»«mtd/»«mtd»«mo»=«/mo»«/mtd»«mtd»«munder»«mi»lim«/mi»«mrow»«mi»h«/mi»«mo»§#8594;«/mo»«msup»«mn»0«/mn»«mo»+«/mo»«/msup»«/mrow»«/munder»«mfrac»«mfenced open=¨|¨ close=¨|¨»«mrow»«mi»h«/mi»«mi mathvariant=¨normal¨»(«/mi»«mn»4«/mn»«mo»+«/mo»«mi»h«/mi»«mi mathvariant=¨normal¨»)«/mi»«/mrow»«/mfenced»«mi»h«/mi»«/mfrac»«/mtd»«/mtr»«/mtable»«/math»

When «math style=¨font-family:Verdana¨ xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mstyle mathsize=¨14px¨»«mrow»«mi»h«/mi»«mo»§#8594;«/mo»«msup»«mn»0«/mn»«mo»+«/mo»«/msup»«/mrow»«/mstyle»«/math», the value of «math style=¨font-family:Verdana¨ xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mstyle mathsize=¨14px¨»«mfenced open=¨|¨ close=¨|¨»«mrow»«mi»h«/mi»«mfenced»«mrow»«mn»4«/mn»«mo»+«/mo»«mi»h«/mi»«/mrow»«/mfenced»«/mrow»«/mfenced»«/mstyle»«/math» is positive and the value of «math style=¨font-family:Verdana¨ xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mstyle mathsize=¨14px¨»«mi»h«/mi»«/mstyle»«/math» is positive. As such, «math style=¨font-family:Verdana¨ xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mstyle mathsize=¨14px¨»«mfrac»«mfenced open=¨|¨ close=¨|¨»«mrow»«mi»h«/mi»«mfenced»«mrow»«mn»4«/mn»«mo»+«/mo»«mi»h«/mi»«/mrow»«/mfenced»«/mrow»«/mfenced»«mi»h«/mi»«/mfrac»«/mstyle»«/math» can be simplified to «math style=¨font-family:Verdana¨ xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mstyle mathsize=¨14px¨»«mfenced»«mrow»«mn»4«/mn»«mo»+«/mo»«mi»h«/mi»«/mrow»«/mfenced»«/mstyle»«/math».

«math style=¨font-family:Verdana¨ xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mstyle mathsize=¨14px¨»«mtable columnalign=¨right center left¨»«mtr»«mtd»«munder»«mi»lim«/mi»«mrow»«mi»h«/mi»«mo»§#8594;«/mo»«msup»«mn»0«/mn»«mo»+«/mo»«/msup»«/mrow»«/munder»«mfenced»«mrow»«mn»4«/mn»«mo»+«/mo»«mi»h«/mi»«/mrow»«/mfenced»«/mtd»«mtd»«mo»=«/mo»«/mtd»«mtd»«mn»4«/mn»«mo»+«/mo»«mn»0«/mn»«/mtd»«/mtr»«mtr»«mtd/»«mtd»«mo»=«/mo»«/mtd»«mtd»«mn»4«/mn»«/mtd»«/mtr»«/mtable»«/mstyle»«/math»

Since the limit from the left is not equal to the limit from the right, the derivative of «math style=¨font-family:Verdana¨ xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mstyle mathsize=¨14px¨»«mrow»«mi»f«/mi»«mfenced»«mi»x«/mi»«/mfenced»«mo»=«/mo»«mfenced open=¨|¨ close=¨|¨»«mrow»«msup»«mi»x«/mi»«mn»2«/mn»«/msup»«mo»§#8722;«/mo»«mn»4«/mn»«/mrow»«/mfenced»«/mrow»«/mstyle»«/math» at «math style=¨font-family:Verdana¨ xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mstyle mathsize=¨14px¨»«mrow»«mi»x«/mi»«mo»=«/mo»«mn»2«/mn»«/mrow»«/mstyle»«/math» does not exist; that is, «math xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mi»f«/mi»«mo mathvariant=¨italic¨»`«/mo»«mi mathvariant=¨normal¨»(«/mi»«mn»2«/mn»«mi mathvariant=¨normal¨»)«/mi»«/math» is not defined. Therefore, «math style=¨font-family:Verdana¨ xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mstyle mathsize=¨14px¨»«mrow»«mi»f«/mi»«mfenced»«mi»x«/mi»«/mfenced»«mo»=«/mo»«mfenced open=¨|¨ close=¨|¨»«mrow»«msup»«mi»x«/mi»«mn»2«/mn»«/msup»«mo»§#8722;«/mo»«mn»4«/mn»«/mrow»«/mfenced»«/mrow»«/mstyle»«/math» is not differentiable at «math style=¨font-family:Verdana¨ xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mstyle mathsize=¨14px¨»«mrow»«mi»x«/mi»«mo»=«/mo»«mn»2«/mn»«/mrow»«/mstyle»«/math».

A similar algebraic argument can be made about the function at «math style=¨font-family:Verdana¨ xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mstyle mathsize=¨14px¨»«mrow»«mi»x«/mi»«mo»=«/mo»«mo»§#8722;«/mo»«mn»2«/mn»«/mrow»«/mstyle»«/math», where another cusp occurs on the graph of the function. As such, «math style=¨font-family:Verdana¨ xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mstyle mathsize=¨14px¨»«mrow»«mi»f«/mi»«mfenced»«mi»x«/mi»«/mfenced»«mo»=«/mo»«mfenced open=¨|¨ close=¨|¨»«mrow»«msup»«mi»x«/mi»«mn»2«/mn»«/msup»«mo»§#8722;«/mo»«mn»4«/mn»«/mrow»«/mfenced»«/mrow»«/mstyle»«/math» is not differentiable at «math style=¨font-family:Verdana¨ xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mstyle mathsize=¨14px¨»«mrow»«mi»x«/mi»«mo»=«/mo»«mo»§#8722;«/mo»«mn»2«/mn»«/mrow»«/mstyle»«/math».