Let where is differentiable at with . Then the curve has tangent with equation
The line that is perpendicular to the tangent at the point is called the normal, which has equation
Exercise. What is the product of the gradients of tangent and normal?