Implicitly differentiate the equation of the circle to obtain :
|
|
|
|
|
|
|
|
Obtain and simplify the denominator of :
|
|
|
|
|
|
|
|
|
|
The final simplification hinges on the positivity of . Note also that the square root of is , which matters because can be both positive and negative along the circle.
Implicitly differentiate to obtain , the numerator of :
|
|
|
|
|
|
|
|
|
|
|
|
Finally, obtain .