1
$\begingroup$

Find all plane curves in the first quadrant such that for every point $P$ on the curve, $P$ bisects the part of the tangent line at $P$ that lies in the first quadrant?

To my understanding this problem requires deriving and solving of a differential equation, however I am stuck in the deriving part. Could somebody help me understand how to derive the differential equation for this one?

1 Answers 1

5

Since the tangent line to any graph $y = f(x)$ at $(a,b)$ goes through $(a,f(a))$ and has slope f'(a), it has equation y - f(a) = (x - a) f'(a) This line intersects the $x$-axis at the point (a - f(a)/f'(a), 0) and the y-axis at (0, f(a) - a f'(a)). The midpoint of the segment determined by these two points is (\frac{1}{2} (a - f(a)/f'(a)), \frac{1}{2} (f(a) - a f'(a))). We are trying to find the functions $f$ for which this is $(a, f(a))$. Equating the first components of these things we get a = \frac{1}{2} (a - f(a)/f'(a)) and equating the second components we get f(a) = \frac{1}{2} (f(a) - a f'(a)), which turns out to convey exactly the same information as the first equation (after rewriting it a little).

Changing $a$ to the more familiar variable $x$ and letting $y = f(x)$ the relation above is x = \frac{1}{2} (x - y/y') which implies 2x = x - y/y' or that x = -y/y' or in what is perhaps a more familiar form y' = -y/x. This is a separable differential equation and can be solved with the usual methods; the general solution is $y = C/x$ with $C$ a constant--- but in your case $C$ is not quite arbitrary: we must have $C > 0$ if this curve is to have a portion lying in the first quadrant.

You will probably have to do a little bit of work to fully justify why this discussion finds all curves meeting the conditions, and not just some of them, but this is probably the basic idea.