23/04/15 21:02:22.34 RKTQ4zjK.net
仮定より任意のq∈ℚと任意のx∈ℝに対して
f(qx) = qf(x)
x=0, q=2でf(0)=0
x≠0, q=1/nで
(f(x/n) - f(0))/(x/n) = f(x)/x
極限とって
f'(0) = f(x)/x
23/04/15 21:02:22.34 RKTQ4zjK.net
仮定より任意のq∈ℚと任意のx∈ℝに対して
f(qx) = qf(x)
x=0, q=2でf(0)=0
x≠0, q=1/nで
(f(x/n) - f(0))/(x/n) = f(x)/x
極限とって
f'(0) = f(x)/x