0001風吹けば名無し2023/04/11(火) 05:12:48.91ID:aEKfnWgB0
0002風吹けば名無し2023/04/11(火) 05:27:32.75ID:+icHQtro0
宿題やん
0003風吹けば名無し2023/04/11(火) 05:28:06.70ID:aEKfnWgB0
0004風吹けば名無し2023/04/11(火) 05:42:05.48ID:2vhg3Mm00
断る qed
0005風吹けば名無し2023/04/11(火) 05:51:21.53ID:fJmYBvmU0
背理法定期
0006風吹けば名無し2023/04/11(火) 05:52:33.74ID:QGkqvSGfM
自分で作ったというならTeXのコード見せろ
0007風吹けば名無し2023/04/11(火) 05:54:33.46ID:HOw9mrWf0
有名なやつやん
0008風吹けば名無し2023/04/11(火) 05:58:18.59ID:6FxntGkp0
g(x):=log f(e^x)と置いて色々値調べてからgの導関数の定義に沿って調べたらg(x)=xになるから
f(e^x)=e^xになって証明出来ると思う
細かく書くの面倒だから途中省略したけどf(1)とg(0)の値調べればいける