そういや、指数関数を微分方程式で定義するには、微分の性質
df/dx=Kf (Kは定数)
だけで指数法則
f(x+y)=f(x)f(y)
を証明しないといけないと思うんだけど、どうすればいいのかしら？
この逆は高校数学の関数方程式の代表例題だけど…