Travel-time minimization with speed proportional to squared radius
ID: travel-time-minimization-with-speed-proportional-to-squared-radius
For speed in the punctured plane, the travel-time element is . Under the inversion in a circle with radial coordinate , this becomes , the arc length in Euclidean space divided by . Thus a shortest travel-time route corresponds to a straight line segment in the inverted plane, whenever that segment avoids the origin and lies in the allowed region. Between and the inverted segment has equation . The route is , and its minimum travel time is . The triangle inequality for arc length proves global minimality.
New to topics? Read the docs here!