MathDB
SMT 2013 Team #15

Source:

February 4, 2013
geometry3D geometryperimeter

Problem Statement

Suppose we climb a mountain that is a cone with radius 100100 and height 44. We start at the bottom of the mountain (on the perimeter of the base of the cone), and our destination is the opposite side of the mountain, halfway up (height z=2z = 2). Our climbing speed starts at v0=2v_0=2 but gets slower at a rate inversely proportional to the distance to the mountain top (so at height zz the speed vv is (hz)v0/h(h-z)v_0/h). Find the minimum time needed to get to the destination.