Recall that if \(m_1\) and \(m_2\) are the slopes of two perpendicular lines, then \(m_1 m_2 = -1\text{.}\) Similarly, two curves are orthogonal if their derivatives multiply to \(-1\) at every point where they intersect.
The majority of curves in this activity are implicit functions, so you will be using the implicitplot() command to visualize them. Make sure to include the plots package using the with() command near the top of your Maple worksheet.
Using a single implicitplot() command, plot both curves. The two curves should intersect at two points. If you enforce \(1:1\) scaling, do they appear to be perpendicular at the intersection points?
When plotting an equation using the implicitplot() command, the graph may not always appear smooth. This was especially common in earlier editions of Maple. If this is ever the case, you may include either numpoints=30000 or grid=[250,250] as a parameter in the implicitplot() command to increase the number of plot points.
In order to find points of intersection, Maple can solve a system of equations in one solve() or fsolve() command for both \(x\) and \(y\text{.}\) If you choose to use the solve() command, you may need to include the optional parameter explicit=true to avoid the RootOf() output.
Using a single plot() command, visualize these families of curves by plotting all of the following examples in one graph:
\begin{align*}
y \amp = -2x^2 \amp x^2 + 2y^2 \amp = 1\\
y \amp = -x^2 \amp x^2 + 2y^2 \amp = 4\\
y \amp = 0 \amp x^2 + 2y^2 \amp = 9\\
y \amp = x^2\\
y \amp = 2x^2
\end{align*}
Ensure that all five curves of the \(y=cx^2\) family are the same colour and all three curves of the \(x^2 + 2y^2 = k\) family are a single, different colour.
Be sure to include the y= in each of the curves from the first family when using implicitplot(). This command only accepts equations as curves to be plotted.
Assign equation (1.2) to family1 and equation (1.3) to family2. Solve the system of equations to find the \(x\)- and \(y\)-coordinates of the four intersection points of the two families of curves. The coordinates of the points should be given as expressions involving \(c\) and \(k\text{.}\)
Substitute each of the four points from part (b) into the product dydx1*dydx2 to show that the curves are orthogonal at each of the four intersection points.