>>192 まず、f(nx)=nf(x) (nは自然数)。次に正有理数p/qについて、f(p/q)=(p/q)f(1)。
次にf(0)=0からf(-1)=-f(1)これらをまとめて全有理数rについてf(r)=rf(1)。
最後に任意の実数を単増有利数列x_nの極限値で表すと(うーん、この言い回しが手品だ)、
f(x)=lim(n->∞){f(x_n)}=lim(n->∞){x_n f(1)}=xf(1)関数axの連続性から導かれる。
結論として、題意を満たす連続関数はaxに限る。となる。
>>195 「上付き」で誤魔化すか。或いはbitmapにして貼り付けるか。
いい加減でいいreportなら「^」も良いけど、一般に「^」は好ましくない。
ていうか俺が実験reportをそれ(^)で出して書き直させられた。
Wordならイルカ君に数式挿入方法を教えてもらえばいい。
一太郎も同様の機能あるだろうし。