Editing Tangent (section)

====How the method can fail====
Calculus also demonstrates that there are functions and points on their graphs for which the limit determining the slope of the tangent line does not exist. For these points the function ''f'' is ''non-differentiable''. There are two possible reasons for the method of finding the tangents based on the limits and derivatives to fail: either the geometric tangent exists, but it is a vertical line, which cannot be given in the point-slope form since it does not have a slope, or the graph exhibits one of three behaviors that precludes a geometric tangent.

The graph ''y'' = ''x''<sup>1/3</sup> illustrates the first possibility:  here the difference quotient at ''a'' = 0 is equal to ''h''<sup>1/3</sup>/''h'' = ''h''<sup>−2/3</sup>, which becomes very large as ''h'' approaches 0. This curve has a tangent line at the origin that is vertical.

The graph ''y'' = ''x''<sup>2/3</sup> illustrates another possibility: this graph has a ''[[Cusp (singularity)|cusp]]'' at the origin. This means that, when ''h'' approaches 0, the difference quotient at ''a'' = 0 approaches plus or minus infinity depending on the sign of ''x''. Thus both branches of the curve are near to the half vertical line for which ''y''=0, but none is near to the negative part of this line. Basically, there is no tangent at the origin in this case, but in some context one may consider this line as a tangent, and even, in [[algebraic geometry]], as a ''double tangent''.

The graph ''y'' = |''x''| of the [[absolute value]] function consists of two straight lines with different slopes joined at the origin. As a point ''q'' approaches the origin from the right, the secant line always has slope 1. As a point ''q'' approaches the origin from the left, the secant line always has slope −1. Therefore, there is no unique tangent to the graph at the origin. Having two different (but finite) slopes is called a ''corner''.

Finally, since differentiability implies continuity, the [[Contraposition|contrapositive]] states ''discontinuity'' implies non-differentiability. Any such jump or point discontinuity will have no tangent line. This includes cases where one slope approaches positive infinity while the other approaches negative infinity, leading to an infinite jump discontinuity