f(x,y(x))=0 の形は陰関数表示と言って, fが全微分可能であれば,
df = f_x dx + f_y dy = 0 より dy/dx = - f_x / f_y と表せます.

また(x,y)が(r,θ)で全微分可能であるので,
(dx, =J(dr
dy) dθ)
J: ヤコビ行列　J=(x_r y_r
x_θ y_θ)
と表すことができ, Jの行列式(ヤコビアン)が原点(r=0)を除いて0ではないため,
原点以外では(r,θ)は(x,y)で全微分可能であり, Jの逆行列を用いて(r,θ)の
偏微分を計算することもできます.