# One-sided derivative at one point.

Definition 6.6.1   The function id differentiable on the left (resp. on the right) at if the quotient has a finite limit on the left (resp. on the right) at . This limit is called the first derivative on the left (resp. on the right) of at and is denoted by (resp. ).  Example 6.6.2   Take . Then:

• For  The absolute value function is differentiable on the left at 0 and .

• For  The absolute value function is differentiable on the right at 0 and .

Proposition 6.6.3   The function is differentiable at if, and only if, it verifies the three following conditions:
1. is differentiable on the left at 0;
2. is differentiable on the right at 0;
3. .

Example 6.6.4   The absolute value function is not differentiable at 0. We showed in the previous example that this function is differentiable on the left and differentiable on the right at 0, but as the one-sided derivatives are different, the function is not differentiable at 0.

Example 6.6.5   Take . Then:
• For  The function is differentiable on the left at 0 and .
• For  The function is differentiable on the right at 0 and .
Therefore, is differentiable at 0 and .

Noah Dana-Picard 2007-12-28