Impliciete differentiatie: probleemoplossing

Krommen die impliciet zijn gedefinieerd, waarbij variabelen niet algebraïsch van elkaar kunnen worden gescheiden, vereisen gespecialiseerde technieken voor analyse. De conchoïde van Nicomedes vormt hiervan een klassiek voorbeeld. De bijbehorende vergelijking verbindt x en y op zodanige wijze dat het isoleren van één variabele niet mogelijk is, waardoor impliciete differentiatie noodzakelijk is om de helling en het gedrag van de kromme op elk punt te bepalen.

De impliciete vorm van de conchoïde kan worden weergegeven als:

\begin{equation*}(x - a)^2 + y^2 = \jfrac{b^2 x^2}{x^2 + y^2}\end{equation*}

Om deze vergelijking te differentiëren, wordt y behandeld als een functie van x en wordt de kettingregel toegepast op alle termen waarin y voorkomt. De afgeleide wordt aan beide zijden van de vergelijking bepaald, waarbij dy/dx-termen verschijnen. Afhankelijk van de vorm van de afzonderlijke termen worden daarbij zorgvuldig de productregel en de quotiëntregel toegepast.

Nadat alle afgeleiden zijn berekend, worden de termen die dy/dx bevatten verzameld en wordt de vergelijking herschikt om deze afgeleide te isoleren. Het resultaat is één enkele uitdrukking die beschrijft hoe y verandert als functie van x op een willekeurig punt op de kromme.

Door specifieke coördinaatwaarden in deze uitdrukking te substitueren, wordt de helling op dat punt bepaald. Deze helling wordt vervolgens, samen met de bijbehorende puntcoördinaten, gebruikt in de punt-hellingvorm:

\begin{equation*}y - y_1 = m(x - x_1)\end{equation*}

Dit levert de vergelijking van de raaklijn op, die de ogenblikkelijke richting van de kromme op het betreffende punt beschrijft. Impliciete differentiatie maakt het daarmee mogelijk om het precieze lokale gedrag van complexe krommen zoals de conchoïde te analyseren, die zich niet laten beschrijven met een expliciete analytische oplossing.