Use implicit differentiation, treating as a function of :
Where , this is . At the two points where , the ellipse has vertical tangent lines rather than a finite slope.
The two derivatives are and . At the intersection their slopes are and , so their direction vectors and have zero dot product. Thus the tangent lines are perpendicular and their angle is
At , the point on the parabola is and the tangent line has slope . The normal line to a plane curve therefore has slope . Its equation is
Thus the requested results are
The tangent has poles at and , so these are vertical asymptotes of . The zeros on the given interval are . Near zero, , so the graph starts with a horizontal tangent line.
Each of its three branches is increasing. Indeed
and the numerator starts at zero with derivative , so it is positive for . The first branch rises from zero to , the middle branch rises from through to , and the last rises from to .
Figure 1.
The three increasing tangent-product branches and their intersections with the right half of the circle
. Details.
The cycloid has limiting endpoints and , with its highest point at . The transformation sends to and preserves , so the arch is symmetric about . Its slope decreases from through zero to , giving vertical limiting tangent lines at the cusps and a horizontal tangent line at the top. More explicitly,
so the arch is a concave function throughout its interior. The endpoint cusps are limiting points, excluded by the open parameter interval.
Figure 1.
One cycloid arch, its limiting cusps, highest point, and the point with slope square root of three
. Details.
The original PDF specifies slope ; the transcription's is erroneous. By part (a), . Since and cotangent is strictly decreasing there, the unique parameter value is . Therefore
The tangent line drawn in the preceding figure has the required positive slope.
At a single point of contact the line is a tangent line, so its slope equals the derivative of the exponential function. At the contact coordinate ,
Since , dividing gives , hence . To verify uniqueness, the difference has positive second derivative everywhere and its unique minimum is zero at . Thus this line touches the curve once.
For this parametric curve, the chain rule gives
The quotient is a finite slope when . At and , the horizontal component of the tangent vanishes while the vertical component does not; these have vertical tangent lines, rather than missing finite values of the displayed quotient.
The normal line to a plane curve is perpendicular to the tangent line, so its slope is the negative reciprocal . The required equation is
The normal direction also agrees with the gradient of the defining level function.
The Newton root-finding iteration follows the current tangent line to its horizontal-axis intersection. Since , it gives
A positive initial guess is appropriate for the positive square root; negative starting values instead target the negative root.
The seven requested parabolas are for ; the case is the horizontal axis. Positive opens upward, negative downward, and larger gives a narrower parabola. All pass through the origin with a horizontal tangent line.
To find orthogonal trajectories, use the continuous family containing these seven representative members. Its slope is away from . Two finite slopes of perpendicular tangents multiply to , so the orthogonal slope is
This separable differential equation gives , hence
These ellipses are the regular real trajectories; is a single point, not a regular curve, and has no real points. One example is , with semiaxes horizontally and vertically.
The implicit tangent relation also describes points with vertical tangents, where the slope quotient is unavailable. At intersections with the member , the ellipse has a vertical tangent line and is perpendicular to that horizontal axis. The common origin of the parabolas is not on any regular trajectory with . The sketch shows the requested seven members and the example ellipse.
Figure 1.
Seven parabolic family members and an elliptical orthogonal trajectory
. Details.
The two derivatives are and , both equal to six at . Their common tangent line through is , or . Setting gives its intersection with the vertical axis:
At a point of tangency, the derivative of the curve equals the slope one of the straight line. The chain rule gives . Since , the unique solution is . The corresponding height is . Substitution in the tangent line gives
By implicit differentiation of the ellipse equation,
The tangent line through is therefore
Its normal vector is , parallel to the gradient of at that point.
The derivative is , so the tangent line has slope at . The corresponding point is because . Hence the tangent line is , or . Thus
The chord through the endpoints is the straight line . At , the tangent line is
These two straight lines have the same slope, as required by the mean value theorem. Since , the natural logarithm is a concave function: its graph lies above the chord and below this tangent line.
Figure 1.
The mean value theorem for the logarithm on the interval from one to two
. The chord and the tangent line at are parallel. The marked point lies on the graph of the natural logarithm. Details.
The Newton root-finding iteration replaces the graph by its tangent line at and uses that line's zero:
Comparing with the printed reciprocal-ratio form gives
This step requires . If , the iteration has already reached a zero of a function and the printed reciprocal-ratio expression need not be evaluated.