x = R n の R も t の関数だとして微分し、代入していくと、(1 -…

x = R n の R も t の関数だとして微分し、代入していくと、(1 - (1/R))(dx/dt) + (x/R^2)(dR/dt) < 0 と、n (dR/dt) + (R - 1)(dn/ dt) < 0 が出る。
JRF 2009年5月1日