>>556
x^2 + 12^2 = z^2 (1)
(1)の両辺をtで微分すると
x(dx/dt) = z(dz/dt) (2)
仮定よりdz/dt = -1　（zは綱の長さ。綱を引くから短くなっていく。つまり減少なので負。）
これを(2)に代入して
dx/dt = -z/x (3) (x = 0の場合は除外)
z = 20のとき(1)よりx = 16
(3)より
dx/dt = -5/4
(3)の両辺を更にtで微分すると
dt(dx/dt) = ( -x(dz/dt) + z(dx/dt) ) / x^2　(4)
z = 20のときのdt(dx/dt)の値は
x = 16, z = 20, dx/dt = -5/4, dz/dt = -1を(4)に代入すると
-9/256