Understand the problem

Consider the following subsets of the plane: $$ \displaystyle { C_1 = \{ (x, y) : x > 0, y = \frac{1}{x} \} } $$ and $$ \displaystyle { C_2 = \{ (x, y) : x < 0, y = -1 + \frac{1}{x} \} } $$ Given any two points P = (x, y) and Q = (u, v) of the plane, their distance d(P, Q) is defined by $$ \displaystyle { d(P, Q) = \sqrt{(x-u)^2 + (y-v)^2}  } $$ Show that there exists a unique choice of points \( P_0 \in C_1 \) and \( Q_0 \in C_2 \) such that $$ d(P_0, Q_0) \leq d(P, Q)  $$ for all \( P \in C_1 \) and \( Q \in C_2 \).

Source of the problem

I.S.I. (Indian Statistical Institute, B.Stat, B.Math) Entrance. Subjective Problem 8 from 2019 


Differential Calculus

Difficulty Level

8 out 10

Suggested Book

Problems in Calculus by I.A. Maron

Start with hints

Do you really need a hint? Try it first!

Shortest distance from a point to a line is the length of the perpendicular drawn from the point to the line. This is the key idea. Suppose f(t) and g(s) are two (smooth) curves. Then the shortest distance between them is along the common normal (perpendicular) on the two curves. How to draw perpendiculars to curves? Pick a point on the curve (suppose A in the picture).  isi 2019 problem 8 - normal to a curve Next, draw a tangent at A (since the curve is smooth, that infinitely differentiable at every point, we can do this). tangent at A Locally (near A), this tangent is the approximation of the curve.  Finally draw a perpendicular to this tangent line, at the point A. This is regarded as perpendicular to the curve (normal to the curve) at A. Normal at A 

How to find the shortest path between two (smooth curves)?

Draw all possible normals to both curves. That draws all ‘perpendiculars’ to both curves erected at all points on both curves.  If any normal (perpendicular) is common between the two curves then that is possibly the shortest path. (You still need to check some other details. But that is part of a calculus course, not this discussion).  Can you show there is a common normal between f(x) = 1/x (x > 0) and \( g(x) = -1 + \frac{1}{x}, (x < 0) \)?

Consider \( f(x) = \frac{1}{x}, (x > 0) \). The slope of the tangent line at any point is the derivative of the function. \(\frac {d} {dx} f(x) = \frac {-1}{x^2} \) Slope of normal which is perpendicular to the tangent is negative reciprocal of it. Hence it is \( x^2 \). Parametrize the curve \( f(x) = \frac{1}{ x} \) as \( (t, \frac{1}{ t}) \) Hence the equation of the normal through a point \( (t, \frac{1}{ t}) \) is $$ y – \frac{1}{t} = t^2 (x – t) $$ Similarly, parametrize the other curve and find the equation of the normal. Use some other variable for this. 

Consider \( g(x) = -1 + \frac{1}{x}, (x > 0) \). The slope of the tangent line at any point is the derivative of the function. \(\frac {d} {dx} g(x) = \frac {-1}{x^2} \) Slope of normal which is perpendicular to the tangent is negative reciprocal of it. Hence it is \( x^2 \). Parametrize the curve \( g(x) = -1 +  \frac{1}{ x} \) as \( (r, -1 + \frac{1}{ r}) \) Hence the equation of the normal through a point \( (r, -1 + \frac{1}{ r}) \) is $$ y + 1 – \frac{1}{r} = r^2 (x – r) $$ We have generic equations for family of normal for each curve:  \( y + 1 – \frac{1}{r} = r^2 (x – r) \)  \( y – \frac{1}{t} = t^2 (x – t)  \) Can you find (or show the existence of) r and t such that these two equations are equal? This would show that there is a common normal and hence prove the existence of shortest path. 

Let us write the equations in the slope-intercept form:  \( y = r^2 x   + \frac{1}{r} – r^3 – 1 \\  y = t^2 x  + \frac{1}{t} – t^3 \) Comparing the coefficients we have: \( r^2 = t^2 \) hence r = t or r = -t  We also have $$ \frac {1}{r} – r^3 – 1 = \frac {1}{t} – t^3 $$ Plugging in r = t we get -1 = 0 from second equation which is contradiction.  Plug in r = – t $$ -\frac {1}{t} + t^3 – 1 = \frac {1}{t} – t^3 $$ (Assume t is not 0 (why?)) Simplifying we have  $$ 2t^4 – t – 2 = 0 $$ We want to show that all the roots of this equation are not complex. (If we have a real root, then we get a common normal, hence shortest part; this common normal will not be the longest path because the length of the longest path between these two curves easily goes to infinity). It is enough to show the existence of real roots.  Consider the function \( 2t^4 – t – 2 = h(t) \) Notice that h(0) = -2 < 0 and h(2) > 0  Hence by intermediate value property theorem there is at least one real root between 0 and 2.  Hence we are done. 

Watch the video (coming up soon)

Connected Program at Cheenta

I.S.I. & C.M.I. Entrance Program

Indian Statistical Institute and Chennai Mathematical Institute offer challenging bachelor’s program for gifted students. These courses are: B.Stat and B.Math program in I.S.I., B.Sc. Math in C.M.I.

The entrances to these programs are far more challenging than usual engineering entrances. Cheenta offers an intense, problem-driven program for these two entrances.

Similar Problems

The Mathematics of How Virus can Grow

The Mathematics of How Corona Virus Grow? The beautiful tale of undeterministic mathematics of chance and chaos of when they will become extinct or when they will thrive.

The Exaggerated Triangle Inequality

Triangle Inequality is an exaggerated version of the Basic Idea of the Euclidean Plane. Let’s do some Triangle inequality Problems and Solutions.

Geometric Median |Understand the concept

Geometric Median is an important concept in the intersection of Geometry, Data Analysis and Algorithms. This article explores the concept.

Examples & Counterexamples – A Way to Build Your Own Mathematics

This is an interesting article on how to build your own Mathematics with the help of examples and counter examples. Stay tuned.

Sets and Venn diagrams |B.Math Entrance

Try this beautiful problem from B.Math Entrance Exam based on sets and venn diagrams. You may use sequential hints to solve the problem.

INMO 2007

Try to solve these interesting INMO 2007 Questions. Solve them and write the answers in the comment to check your answers.

Order of General and Special Linear Group

Here is the post in which you would learn about the Order of General and Special Linear Group with the help of a problem. Try it and learn the solution.

Maximizing Arrangements

Here is a post related to a problem based on maximizing arrangements in Mathematics. Try the problem and learn the solution.

Gaps in Permutation | TOMATO Objective Problem

The simplest example of power mean inequality is the arithmetic mean – geometric mean inequality. Learn in this self-learning module for math olympiad

Geometry of Tangents | ISI Entrance B.Stat 2009

Objective Problem Geometry (ISI Entrance) Find the radius of smaller circle. 01$\frac{3}{4}$2 Key Concepts 2D Geometry Similar Triangles Linear Equations Check the Answer Answer: $\frac{3}{4}$ ISI Entrance B.Stat Objective Problem, India Test of Mathematics at 10+2...