4.5 Applications to Curves

One-Parameter Families of Curves

We begin with two examples of families of curves generated by varying a parameter over a set of real numbers.

Example 4.5.1

For each value of the parameter \(c\), the equation

\begin{equation} y-cx^2=0 \tag{4.5.1}\end{equation}

defines a curve in the \(xy\)-plane. If \(c \ne0\), the curve is a parabola through the origin, opening upward if \(c>0\) or downward if \(c<0\). If \(c=0\), the curve is the \(x\) axis (Figure 4.5.1).

A family of curves defined by y-cx^2=0 — Figure 4.5.1. A family of curves defined by \(y-cx^2=0\)

Example 4.5.2

For each value of the parameter \(c\) the equation

\begin{equation} y=x+c \tag{4.5.2}\end{equation}

defines a line with slope 1(Figure 4.5.2).

A family of lines defined by y=x+c — Figure 4.5.2. A family of lines defined by \(y=x+c\)

A family of circles defined by x^2+y^2-c^2=0 — Figure 4.5.3. A family of circles defined by \(x^2+y^2-c^{2}=0\)

Definition 4.5.1

An equation that can be written in the form

\begin{equation} H(x,y,c)=0 \tag{4.5.3}\end{equation}

is said to define a one-parameter family of curves if\(,\) for each value of \(c\) in in some nonempty set of real numbers\(,\) the set of points \((x,y)\) that satisfy (4.5.3) forms a curve in the \(xy\)-plane.

Equations (4.5.1) and (4.5.2) define one–parameter families of curves. (Although (4.5.2) isn’t in the form (4.5.3), it can be written in this form as \(y-x-c=0\).)

Example 4.5.3

If \(c>0\), the graph of the equation

\begin{equation} x^2+y^2-c=0 \tag{4.5.4}\end{equation}

is a circle with center at \((0,0)\) and radius \(\sqrt{c}\). If \(c=0\), the graph is the single point \((0,0)\). (We don’t regard a single point as a curve.) If \(c<0\), the equation has no graph. Hence, (4.5.4) defines a one–parameter family of curves for positive values of \(c\). This family consists of all circles centered at \((0,0)\) (Figure 4.5.3).

Example 4.5.4

The equation

\[ x^2+y^2+c^2=0 \]

does not define a one-parameter family of curves, since no \((x,y)\) satisfies the equation if \(c\ne0\), and only the single point \((0,0)\) satisfies it if \(c=0\). ∎

Recall from Section 1.2 that the graph of a solution of a differential equation is called an integral curve of the equation. Solving a first order differential equation usually produces a one–parameter family of integral curves of the equation. Here we are interested in the converse problem: given a one–parameter family of curves, is there a first order differential equation for which every member of the family is an integral curve. This suggests the next definition.

Definition 4.5.2

If every curve in a one-parameter family defined by the equation

\begin{equation} H(x,y,c)=0 \tag{4.5.5}\end{equation}

is an integral curve of the first order differential equation

\begin{equation} F(x,y,y')=0, \tag{4.5.6}\end{equation}

then (4.5.6) is said to be a differential equation for the family.

To find a differential equation for a one–parameter family we differentiate its defining equation (4.5.5) implicitly with respect to \(x\), to obtain

\begin{equation} H_x(x,y,c)+H_y(x,y,c)y'=0. \tag{4.5.7}\end{equation}

If this equation doesn’t, then it’s a differential equation for the family. If it does contain \(c\), it may be possible to obtain a differential equation for the family by eliminating \(c\) between (4.5.5) and (4.5.7).

Example 4.5.5

Find a differential equation for the family of curves defined by

\begin{equation} y=cx^2. \tag{4.5.8}\end{equation}

Solution Differentiating (4.5.8) with respect to \(x\) yields

\[ y'=2cx. \]

Therefore \(c=y'/2x\), and substituting this into (4.5.8) yields

\[ y={xy'\over2} \]

as a differential equation for the family of curves defined by (4.5.8). The graph of any function of the form \(y=cx^2\) is an integral curve of this equation. ∎

The next example shows that members of a given family of curves may be obtained by joining integral curves for more than one differential equation.

Example 4.5.6

Try to find a differential equation for the family of lines tangent to the parabola \(y=x^2\).
Find two tangent lines to the parabola \(y=x^2\) that pass through \((2,3)\), and find the points of tangency.

Solution (a) The equation of the line through a given point \((x_0,y_0)\) with slope \(m\) is

\begin{equation} y=y_0+m(x-x_0). \tag{4.5.9}\end{equation}

If \((x_0,y_0)\) is on the parabola, then \(y_0=x_0^2\) and the slope of the tangent line through (\(x_0,x_0^2)\) is \(m=2x_0\); hence, (4.5.9) becomes

\[ y=x_0^2+2x_0(x-x_0), \]

or, equivalently,

\begin{equation} y=-x_0^2+2x_0x. \tag{4.5.10}\end{equation}

Here \(x_0\) plays the role of the constant \(c\) in Definition 4.5.1; that is, varying \(x_0\) over \((-\infty,\infty)\) produces the family of tangent lines to the parabola \(y=x^2\).

Differentiating (4.5.10) with respect to \(x\) yields \(y'=2x_0\).. We can express \(x_0\) in terms of \(x\) and \(y\) by rewriting (4.5.10) as

\[ x_0^2-2x_0x+y=0 \]

and using the quadratic formula to obtain

\begin{equation} x_0=x\pm\sqrt{x^2-y}. \tag{4.5.11}\end{equation}

We must choose the plus sign in (4.5.11) if \(x<x_0\) and the minus sign if \(x>x_0\); thus,

\[ x_0=\left(x+\sqrt{x^2-y}\right)\mbox{\, if \,} x<x_0 \]

and

\[ x_0=\left(x-\sqrt{x^2-y}\right)\mbox{\, if \,} x>x_0. \]

Since \(y'=2x_0\), this implies that

\begin{equation} y'=2\left(x+\sqrt{x^2-y}\right),\mbox{\quad if \quad} x<x_0 \tag{4.5.12}\end{equation}

and

\begin{equation} y'=2\left(x-\sqrt{x^2-y}\right),\mbox{\quad if \quad}x>x_0. \tag{4.5.13}\end{equation}

Neither (4.5.12) nor (4.5.13) is a differential equation for the family of tangent lines to the parabola \(y=x^2\). However, if each tangent line is regarded as consisting of two tangent half lines joined at the point of tangency, (4.5.12) is a differential equation for the family of tangent half lines on which \(x\) is less than the abscissa of the point of tangency (Figure 4.5.4(a)), while (4.5.13) is a differential equation for the family of tangent half lines on which \(x\) is greater than this abscissa (Figure 4.5.4(b)). The parabola \(y=x^2\) is also an integral curve of both (4.5.12) and (4.5.13).

Figure 4.5.4.

Solution (b) From (4.5.10) the point \((x,y)=(2,3)\) is on the tangent line through \((x_0,x_0^2)\) if and only if

\[ 3=-x_0^2+4x_0, \]

which is equivalent to

\[ x_0^2-4x_0+3=(x_0-3)(x_0-1)=0. \]

Letting \(x_0=3\) in (4.5.10) shows that \((2,3)\) is on the line

\[ y=-9+6x, \]

which is tangent to the parabola at \((x_0,x_0^2)=(3,9)\), as shown in Figure 4.5.5

Letting \(x_0=1\) in (4.5.10) shows that \((2,3)\) is on the line

\[ y=-1+2x, \]

which is tangent to the parabola at \((x_0,x_0^2)=(1,1)\), as shown in Figure 4.5.5.

Figure 4.5.5.

Geometric Problems

We now consider some geometric problems that can be solved by means of differential equations.

Example 4.5.7

Find curves \(y=y(x)\) such that every point \((x_0,y(x_0))\) on the curve is the midpoint of the line segment with endpoints on the coordinate axes and tangent to the curve at \((x_0,y(x_0))\) (Figure 4.5.6).

Solution The equation of the line tangent to the curve at \(P=(x_0,y(x_0)\) is

\[ y=y(x_0)+y'(x_0)(x-x_0). \]

If we denote the \(x\) and \(y\) intercepts of the tangent line by \(x_I\) and \(y_I\) (Figure 4.5.6), then

\begin{equation} 0=y(x_0)+y'(x_0)(x_I-x_0) \tag{4.5.14}\end{equation}

and

\begin{equation} y_I=y(x_0)-y'(x_0)x_0. \tag{4.5.15}\end{equation}

From Figure 4.5.6, \(P\) is the midpoint of the line segment connecting \((x_I,0)\) and \((0,y_I)\) if and only if \(x_I=2x_0\) and \(y_I=2y(x_0)\). Substituting the first of these conditions into (4.5.14) or the second into (4.5.15) yields

\[ y(x_0)+y'(x_0)x_0=0. \]

Since \(x_0\) is arbitrary we drop the subscript and conclude that \(y=y(x)\) satisfies

\[ y+xy'=0, \]

which can be rewritten as

\[ (xy)'=0. \]

Integrating yields \(xy=c\), or

\[ y={c\over x}. \]

If \(c=0\) this curve is the line \(y=0\), which does not satisfy the geometric requirements imposed by the problem; thus, \(c\ne0\), and the solutions define a family of hyperbolas (Figure 4.5.7).

Figure 4.5.6.

Figure 4.5.7.

Example 4.5.8

Find curves \(y=y(x)\) such that the tangent line to the curve at any point \((x_0,y(x_0))\) intersects the \(x\)-axis at \((x^2_0,0)\). Figure 4.5.8 illustrates the situation in the case where the curve is in the first quadrant and \(0<x<1\).

Figure 4.5.8.

Figure 4.5.9.

Solution The equation of the line tangent to the curve at \((x_0,y(x_0))\) is

\[ y=y(x_0)+y'(x_0)(x-x_0). \]

Since \((x^2_0,0)\) is on the tangent line,

\[ 0=y(x_0)+y'(x_0)(x^2_0-x_0). \]

Since \(x_0\) is arbitrary we drop the subscript and conclude that \(y=y(x)\) satisfies

\[ y+y'(x^2-x)=0. \]

Therefor

\[ {y'\over y}=-{1\over x^2-x}=-{1\over x(x-1)}={1\over x}-{1\over x-1}, \]

\[ \ln|y|=\ln|x|-\ln|x-1|+k= \ln\left|{x\over x-1}\right|+k, \]

and

\[ y={cx\over x-1}. \]

If \(c=0\), the graph of this function is the \(x\)-axis. If \(c\ne0\), it’s a hyperbola with vertical asymptote \(x=1\) and horizontal asymptote \(y=c\). Figure 4.5.9 shows the graphs for \(c\ne0\).

Orthogonal Trajectories

Two curves \(C_1\) and \(C_2\) are said to be orthogonal at a point of intersection \((x_0,y_0)\) if they have perpendicular tangents at \((x_0,y_0)\). (Figure 4.5.10). A curve is said to be an orthogonal trajectory of a given family of curves if it’s orthogonal to every curve in the family. For example, every line through the origin is an orthogonal trajectory of the family of circles centered at the origin. Conversely, any such circle is an orthogonal trajectory of the family of lines through the origin (Figure 4.5.11).

Figure 4.5.10. Curves orthogonal at a point of intersection

Figure 4.5.11. Orthogonal families of circles and lines

Orthogonal trajectories occur in many physical applications. For example, if \(u=u(x,y)\) is the temperature at a point \((x,y)\), the curves defined by

\begin{equation} u(x,y)=c \tag{4.5.16}\end{equation}

are called isothermal curves. The orthogonal trajectories of this family are called heat-flow lines, because at any given point the direction of maximum heat flow is perpendicular to the isothermal through the point. If \(u\) represents the potential energy of an object moving under a force that depends upon \((x,y)\), the curves (4.5.16) are called equipotentials, and the orthogonal trajectories are called lines of force.

From analytic geometry we know that two nonvertical lines \(L_1\) and \(L_2\) with slopes \(m_1\) and \(m_2\), respectively, are perpendicular if and only if \(m_2=-1/m_1\); therefore, the integral curves of the differential equation

\[ y'=-{1\over f(x,y)} \]

are orthogonal trajectories of the integral curves of the differential equation

\[ y'=f(x,y), \]

because at any point \((x_0,y_0)\) where curves from the two families intersect the slopes of the respective tangent lines are

\[ m_1=f(x_0,y_0)\mbox{\quad and \quad} m_2=-{1\over f(x_0,y_0)}. \]

This suggests a method for finding orthogonal trajectories of a family of integral curves of a first order equation.

Finding Orthogonal Trajectories

Step 1. Find a differential equation

\[ y'=f(x,y) \]

for the given family.

Step 2. Solve the differential equation

\[ y'=-{1\over f(x,y)} \]

to find the orthogonal trajectories.

Example 4.5.9

Find the orthogonal trajectories of the family of circles

\begin{equation} x^2+y^2=c^2 \quad (c>0). \tag{4.5.17}\end{equation}

Solution To find a differential equation for the family of circles we differentiate (4.5.17) implicitly with respect to \(x\) to obtain

\[ 2x+2yy'=0, \]

\[ y'=-{x\over y}. \]

Therefore the integral curves of

\[ y'={y\over x} \]

are orthogonal trajectories of the given family. We leave it to you to verify that the general solution of this equation is

\[ y=kx, \]

where \(k\) is an arbitrary constant. This is the equation of a nonvertical line through \((0,0)\). The \(y\) axis is also an orthogonal trajectory of the given family. Therefore every line through the origin is an orthogonal trajectory of the given family (4.5.17) (Figure 4.5.11). This is consistent with the theorem of plane geometry which states that a diameter of a circle and a tangent line to the circle at the end of the diameter are perpendicular.

Example 4.5.10

Find the orthogonal trajectories of the family of hyperbolas

\begin{equation} xy=c \quad (c\ne0) \tag{4.5.18}\end{equation}

(Figure 4.5.7).

Solution Differentiating (4.5.18) implicitly with respect to \(x\) yields

\[ y+xy'=0, \]

\[ y'=-{y\over x}; \]

thus, the integral curves of

\[ y'={x\over y} \]

are orthogonal trajectories of the given family. Separating variables yields

\[ y'y=x \]

and integrating yields

\[ y^2-x^2=k, \]

which is the equation of a hyperbola if \(k \ne0\), or of the lines \(y=x\) and \(y=-x\) if \(k=0\) (Figure 4.5.12).

Orthogonal trajectories of the hyperbolas xy=c — Figure 4.5.12. Orthogonal trajectories of the hyperbolas \(xy=c\)

Example 4.5.11

Find the orthogonal trajectories of the family of circles defined by

\begin{equation} (x-c)^2+y^2=c^2 \quad (c\ne0). \tag{4.5.19}\end{equation}

These circles are centered on the \(x\)-axis and tangent to the \(y\)-axis (Figure 4.5.13(a)).

Solution Multiplying out the left side of (4.5.19) yields

\begin{equation} x^2-2cx+y^2=0, \tag{4.5.20}\end{equation}

and differentiating this implicitly with respect to \(x\) yields

\begin{equation} 2(x-c)+2yy'=0. \tag{4.5.21}\end{equation}

From (4.5.20),

\[ c={x^2+y^2\over2x}, \]

\[ x-c=x-{x^2+y^2\over2x}={x^2-y^2\over2x}. \]

Substituting this into (4.5.21) and solving for \(y'\) yields

\begin{equation} y'={y^2-x^2\over2xy}. \tag{4.5.22}\end{equation}

The curves defined by (4.5.19) are integral curves of (4.5.22), and the integral curves of

\[ y'={2xy\over x^2-y^2} \]

are orthogonal trajectories of the family (4.5.19). This is a homogeneous nonlinear equation, which we studied in Section 2.4. Substituting \(y=ux\) yields

\[ u'x+u={2x(ux)\over x^2-(ux)^2}={2u\over1-u^2}, \]

\[ u'x={2u\over1-u^2}-u={u(u^2+1)\over1-u^2}, \]

Separating variables yields

\[ {1-u^2\over u(u^2+1)}u'={1\over x}, \]

or, equivalently,

\[ \left[{1\over u}-{2u\over u^2+1}\right]u'={1\over x}. \]

Therefore

\[ \ln |u|-\ln (u^2+1)=\ln |x|+k. \]

By substituting \(u=y/x\), we see that

\[ \ln|y|-\ln|x|-\ln(x^2+y^2)+\ln(x^2)=\ln|x|+k, \]

which, since \(\ln(x^2)=2\ln|x|\), is equivalent to

\[ \ln|y|-\ln(x^2+y^2)=k, \]

\[ |y|=e^k(x^2+y^2). \]

To see what these curves are we rewrite this equation as

\[ x^2+|y|^2-e^{-k}|y|=0 \]

and complete the square to obtain

\[ x^2+(|y|-e^{-k}/2)^2=(e^{-k}/2)^2. \]

This can be rewritten as

\[ x^2+(y-h)^2=h^2, \]

where

\[ h=\left\{\begin{array}{rl} \dst{e^{-k}\over2}&\mbox{ if } y\ge 0,\\[3pt]-\dst{e^{-k}\over2}&\mbox{ if } y\le0. \end{array}\right. \]

Thus, the orthogonal trajectories are circles centered on the \(y\) axis and tangent to the \(x\) axis (Figure 4.5.13(b)). The circles for which \(h>0\) are above the \(x\)-axis, while those for which \(h<0\) are below.

(a) The circles (x-c)^2+y^2=c^2 \, (b) The circles x^2+(y-h)^2=h^2 — Figure 4.5.13. **(a)** The circles \((x-c)^2+y^2=c^2\) **(b)** The circles \(x^2+(y-h)^2=h^2\)

4.5 Exercises

In Exercises 1–8 find a first order differential equation for the given family of curves.

\(y(x^2+y^2)=c\)

Show answer

\(\dst{y'=-{2xy\over x^2+3y^2}}\)
\(e^{xy}=cy\)

Show answer

\(y'=-\dst{y^2\over(xy-1)}\)
\(\ln |xy|=c(x^2+y^2)\)

Show answer

\(y'=-\dst{y(x^2+y^2-2x^2\ln|xy|)\over x(x^2+y^2-2y^2\ln|xy|)}\).
\(y=x^{1/2}+cx\)

Show answer

\(\dst{xy'-y=-{x^{1/2}\over2}}\)
\(y=e^{x^2}+ce^{-x^2}\)

Show answer

\(y'+2xy=4xe^{x^2}\)
\(\dst{y=x^3+{c\over x}}\)

Show answer

\(xy'+y=4x^3\)
\(y=\sin x+ce^x\)

Show answer

\(y'-y=\cos x-\sin x\)
\(y=e^x+c(1+x^2)\)

Show answer

\((1+x^2)y'-2xy=(1-x)^2e^x\)
Show that the family of circles

\[ (x-x_0)^2+y^2=1,\;-\infty<x_0<\infty, \]

can be obtained by joining integral curves of two first order differential equations. More specifically, find differential equations for the families of semicircles

\[ (x-x_0)^2+y^2=1,\; x_0<x<x_0+1,\;-\infty<x_0<\infty, \]

\[ (x-x_0)^2+y^2=1,\; x_0-1<x<x_0,\;-\infty<x_0<\infty. \]
Suppose \(f\) and \(g\) are differentiable for all \(x\). Find a differential equation for the family of functions \(y=f+cg\) (\(c\)=constant).

Show answer

\(y'g-yg'=f'g-fg'\).

In Exercises 11–13 find a first order differential equation for the given family of curves.

Lines through a given point \((x_0,y_0)\).

Show answer

\((x-x_0)y'=y-y_0\)
Circles through \((-1,0)\) and \((1,0)\).

Show answer

\(y'(y^2-x^2+1)+2xy=0\)
Circles through \((0,0)\) and \((0,2)\).

Show answer

\(2x(y-1)y'-y^2+x^2+2y=0\)
Use the method Example 4.5.6(a) to find the equations of lines through the given points tangent to the parabola \(y=x^2\). Also, find the points of tangency.

(a) \((5,9)\) (b) \((6,11)\) (c) \((-6,20)\) (d) \((-3,5)\)

Show answer

(a) \(y=-81+18x, (9,81) \quad y=-1+2x, (1,1)\)

(b) \(y=-121+22x, (11,121) \quad y=-1+2x, (1,1)\)

(c) \(y=-100-20x, (-10,100) \quad y=-4-4x, (-2,4)\)

(d) \(y=-25-10x, (-5,25) \quad y=-1-2x, (-1,1)\)
1. Show that the equation of the line tangent to the circle
  
  \[ x^2+y^2=1 \tag*{\rm (A)} \]
  
  at a point \((x_0,y_0)\) on the circle is
  
  \[ y=\dst{1-x_0x\over y_0}\mbox{\quad if \quad} x_0\ne\pm1. \tag*{\rm (B)} \]
2. Show that if \(y'\) is the slope of a nonvertical tangent line to the circle (A) and \((x,y)\) is a point on the tangent line then
  
  \[ (y')^2(x^2-1)-2xyy'+y^2-1=0. \tag*{\rm (C)} \]
3. Show that the segment of the tangent line (B) on which \((x-x_0)/y_0>0\) is an integral curve of the differential equation
  
  \[ y'={xy-\sqrt{x^2+y^2-1}\over x^2-1}, \tag*{\rm (D)} \]
  
  while the segment on which \((x-x_0)/y_0<0\) is an integral curve of the differential equation
  
  \[ y'={xy+\sqrt{x^2+y^2-1}\over x^2-1}. \tag*{\rm (E)} \]
  
  Hint: Use the quadratic formula to solve \({\rm (C)}\) for \(y'\). Then substitute (B) for \(y\) and choose the \(\pm\) sign in the quadratic formula so that the resulting expression for \(y'\) reduces to the known slope \(y'=-x_0/y_0\).
4. Show that the upper and lower semicircles of (A) are also integral curves of (D) and (E).
5. Find the equations of two lines through (5,5) tangent to the circle (A), and find the points of tangency.
Show answer

(e) \(y=\dst{5+3x\over4}\), \((-3/5,4/5)\) \(y=-\dst{5-4x\over3}\), \((4/5,-3/5)\)
1. Show that the equation of the line tangent to the parabola
  
  \[ x=y^2 \tag*{\rm (A)} \]
  
  at a point \((x_0,y_0)\ne(0,0)\) on the parabola is
  
  \[ y=\dst{y_0\over2}+\dst{x\over2y_0}. \tag*{\rm (B)} \]
2. Show that if \(y'\) is the slope of a nonvertical tangent line to the parabola (A) and \((x,y)\) is a point on the tangent line then
  
  \[ 4x^2(y')^2-4xyy'+x=0. \tag*{\rm (C)} \]
3. Show that the segment of the tangent line defined in (a) on which \(x>x_0\) is an integral curve of the differential equation
  
  \[ y'={y+\sqrt{y^2-x}\over2x}, \tag*{\rm (D)} \]
  
  while the segment on which \(x<x_0\) is an integral curve of the differential equation
  
  \[ y'={y-\sqrt{y^2-x}\over2x}, \tag*{\rm (E)} \]
  
  Hint: Use the quadratic formula to solve \({\rm (C)}\) for \(y'\). Then substitute (B) for \(y\) and choose the \(\pm\) sign in the quadratic formula so that the resulting expression for \(y'\) reduces to the known slope \(y'=\dst{1\over2y_0}\).
4. Show that the upper and lower halves of the parabola (A), given by \(y=\sqrt x\) and \(y=-\sqrt x\) for \(x>0\), are also integral curves of (D) and (E).
Use the results of Exercise 16 to find the equations of two lines tangent to the parabola \(x=y^2\) and passing through the given point. Also find the points of tangency.

(a) \((-5,2)\) (b) \((-4,0)\) (c) \((7,4)\) (d) \((5,-3)\)

Show answer

(a) \(\dst{y=-{1\over2}(1+x), (1,-1); \quad y= {5\over2}+{x\over10}, (25,5)}\)

(b) \(\dst{y={1\over4}(4+x), (4,2) \quad y =-{1\over4} (4+x), (4,-2)}\);

(c) \(\dst{y={1\over2}(1+x), (1,1) \quad y= {7\over2}+{x\over14}, (49,7)}\)

(d) \(\dst{y=-{1\over2}(1+x), (1,-1) \quad y= -{5\over2}-{x\over10}, (25,-5)}\)
Find a curve \(y=y(x)\) through (1,2) such that the tangent to the curve at any point \((x_0,y(x_0))\) intersects the \(x\) axis at \(\dst{x_I=x_0/2}\).

Show answer

\(y=2x^2\)
Find all curves \(y=y(x)\) such that the tangent to the curve at any point \((x_0,y(x_0))\) intersects the \(x\) axis at \(x_I=x^3_0\).

Show answer

\(\dst{y={cx\over\sqrt{|x^2-1|}}}\)
Find all curves \(y=y(x)\) such that the tangent to the curve at any point passes through a given point \((x_1,y_1)\).

Show answer

\(y=y_1+c(x-x_1)\)
Find a curve \(y=y(x)\) through \((1,-1)\) such that the tangent to the curve at any point \((x_0,y(x_0))\) intersects the \(y\) axis at \(y_I=x^3_0\).

Show answer

\(\dst{y=-{x^3\over2}-{x\over2}}\)
Find all curves \(y=y(x)\) such that the tangent to the curve at any point \((x_0,y(x_0))\) intersects the \(y\) axis at \(y_I=x_0\).

Show answer

\(y=-x\ln |x|+cx\)
Find a curve \(y=y(x)\) through \((0,2)\) such that the normal to the curve at any point \((x_0,y(x_0))\) intersects the \(x\) axis at \(x_I=x_0+1\).

Show answer

\(\dst{y=\sqrt{2x+4}}\)
Find a curve \(y=y(x)\) through \((2,1)\) such that the normal to the curve at any point \((x_0,y(x_0))\) intersects the \(y\) axis at \(y_I=2y(x_0)\).

Show answer

\(\dst{y=\sqrt{x^2-3}}\)

In Exercises 25–29 find the orthogonal trajectories of the given family of curves.

\(x^2+2y^2=c^2\)

Show answer

\(y=kx^2\)
\(x^2+4xy+y^2=c\)

Show answer

\((y-x)^3(y+x)=k\)
\(y=ce^{2x}\)

Show answer

\(y^2=-x+k\)
\(xye^{x^2}=c\)

Show answer

\(\dst{y^2=-{1\over2}\ln (1+2x^2)+k}\)
\(\dst{y={ce^x\over x}}\)

Show answer

\(y^2=-2x-\ln (x-1)^2+k\)
Find a curve through \((-1,3)\) orthogonal to every parabola of the form

\[ y=1+cx^2 \]

that it intersects. Which of these parabolas does the desired curve intersect?

Show answer

\(\dst{y=1+{\sqrt{9-x^2\over2}}; \mbox{ those with } c>0}\)
Show that the orthogonal trajectories of

\[ x^2+2axy+y^2=c \]

satisfy

\[ |y-x|^{a+1}|y+x|^{a-1}=k. \]
If lines \(L\) and \(L_1\) intersect at \((x_0,y_0)\) and \(\alpha\) is the smallest angle through which \(L\) must be rotated counterclockwise about \((x_0,y_0)\) to bring it into coincidence with \(L_1\), we say that \(\alpha\) is the angle from \(L\) to \(L_1\); thus, \(0\le\alpha<\pi\). If \(L\) and \(L_1\) are tangents to curves \(C\) and \(C_1\), respectively, that intersect at \((x_0,y_0)\), we say that \(C_1\) intersects \(C\) at the angle \(\alpha\). Use the identity

\[ \tan(A+B)={\tan A+\tan B\over1-\tan A\tan B} \]

to show that if \(C\) and \(C_1\) are intersecting integral curves of

\[ y'=f(x,y) \mbox{\quad and \quad} y'={f(x,y)+\tan\alpha\over 1-f(x,y)\tan\alpha} \quad\left( \alpha \ne {\pi\over2}\right), \]

respectively, then \(C_1\) intersects \(C\) at the angle \(\alpha\).
Use the result of Exercise 32 to find a family of curves that intersect every nonvertical line through the origin at the angle \(\alpha=\pi/4\).

Show answer

\(\dst{\tan^{-1}{y\over x}-{1\over2}\ln(x^2+y^2)=k}\)
Use the result of Exercise 32 to find a family of curves that intersect every circle centered at the origin at a given angle \(\alpha \ne \pi/2\).

Show answer

\(\dst{{1\over2}\ln (x^2+y^2)+(\tan\alpha)\tan^{-1}{y\over x}=k}\)