Skip to main content

Exploring Calculus with Maple Introductory Calculus

Section 13.1 Implicit Functions

An implicit function defines a relationship between two (or more) variables differently from an explicit function. As opposed to an explicit function that can be written in the form of
\begin{equation*} y = f(x)\text{,} \end{equation*}
an implicit function is defined as an equation of multiple variables. It is often the case that this equation cannot be solved for one variable explicitly in terms of the other. In Maple, it is easiest to assign a name to the entire equation, including the \(=\) sign.
The elliptic curve \(y^2 = x^3 - 2*x + 1\) is a simple example. It cannot be written as a single function of the form \(y = f(x)\text{,}\) since for a given value of \(x\text{,}\) there may be two different \(y\)-values.
> E := y^2 = x^3 - 2*x + 1;
\begin{equation*} \displaystyle E\, := \,{y}^{2}={x}^{3}-2\,x+1 \end{equation*}
To find points on the curve, we can substitute a value for \(x\) and solve for \(y\text{.}\)
> subs(x=2, E); solve(%,x);
\begin{equation*} \displaystyle {y}^{2}=5 \end{equation*}
\begin{equation*} \displaystyle \sqrt{5},\,- \sqrt{5} \end{equation*}
Although many implicit functions cannot be expressed as a single function \(y=f(x)\text{,}\) it may be possible to split up implicit functions into explicit functions by solving for \(y\text{.}\)
> L := x^2 + (y - surd(x^2,3))^2 = 1;

Aside

\begin{equation*} \displaystyle L\, := \,{x}^{2}+ \left( y-\sqrt [3]{{x}^{2}} \right) ^{2}=1 \end{equation*}
> solve(L, y);
\begin{equation*} \displaystyle \sqrt [3]{{x}^{2}}+ \sqrt{-{x}^{2}+1},\,\sqrt [3]{{x}^{2}}- \sqrt{-{x}^{2}+1} \end{equation*}