26/04/16 12:44:50.75 OoQMkGbf.net
ようはexpとlogが作れりゃいいだけの話じゃん
10:１３２人目の素数さん
26/04/16 12:54:21.14 XUX/jl8m.net
log(x) = 1 - (e^0 - log(x))
11:１３２人目の素数さん
26/04/16 14:08:15.69 Zhgvq49C.net
x - y = e^(log(x)) - log(e^y) (x≠0)
-x = (e^e - log(e^x)) - e^e
x + y = x - (-y)
xy = e^(log(x) + log(y))
x/y = e^(log(x) - log(y))
12:１３２人目の素数さん
26/04/16 14:35:30.59 7ioyfiQr.net
x^y = e^(log(x) y)
13:１３２人目の素数さん
26/04/16 14:36:35.34 BWaNRPS6.net
2 = 1 + 1
1/2
√x = exp(-log(2) x)
14:１３２人目の素数さん
26/04/16 20:57:30.00 wdGN/kqL.net
xのべき乗作れるから何でもできるｗ
15:１３２人目の素数さん
26/04/17 07:55:48.98 2EDMSZng.net
>>14
？
16:１３２人目の素数さん
26/04/17 12:03:13.39 V3BHx7sA.net
ディリクレ関数は作れるのか
17:１３２人目の素数さん
26/04/17 12:16:08.58 S46s2w7z.net
連続関数の合成関数は連続
18:１３２人目の素数さん
26/04/17 12:35:43.59 K5c8Wj52.net
ガンマ関数は？
19:１３２人目の素数さん
26/04/17 13:36:09.61 W6ou+f7b.net
作れるわけがない
20:１３２人目の素数さん
26/04/17 17:03:44.39 tD+j1d22.net
ヒント 作る手続きが制限されていない
21:１３２人目の素数さん
26/04/17 17:18:47.97 TIqJY5Vk.net
ルールを明確にしないとね。
22:１３２人目の素数さん
26/04/17 19:43:47.26 01IO8rxV.net
>>20-21
こういう自分の不見識を棚に上げて問題のせいにするのはみっともない
23:１３２人目の素数さん
26/04/17 20:10:47.24 tD+j1d22.net
自己紹介乙
24:１３２人目の素数さん
26/04/29 12:28:08.52 kEbD0/EP.net
定義域は複素数に無限大を含めた全体だから
0=e-log(e^e)=f(1,f(f(1,1),1))
+∞=e-log(+0)=f(1,0)
-∞=e-log(+∞)=f(1,+∞)
で正と負の無限大が作れる
log(x)を作るには、一度 -∞ を経由して
-log(x)=0-log(x)=e^(-∞)-log(x)
としてから、符号を反転させたまま使うと
全体の段数は少なくなる
他にも
log(-1)=πi
を元にしてπも虚数も作れる
ここまで来ると何でもありに思えてくる
25:１３２人目の素数さん
26/04/30 00:07:53.70 MMiY8X/9.net
四則演算をどうやって作るの？
26:１３２人目の素数さん
26/05/08 02:25:58.40 l+b3rzeL.net
複素数を使えば三角関数も作れるな
f(ix,1)=e^(ix)=cos(x)+i sin(x)
27:１３２人目の素数さん
26/05/08 02:30:45.87 l+b3rzeL.net
cos(x)=(f(ix,1)+f(-ix,1))/2
sin(x)=(f(ix,1)-f(-ix,1))/2i
iは>>24の方法で構成できる
28:１３２人目の素数さん
26/05/08 02:36:05.85 l+b3rzeL.net
>>14
テイラー展開が使えるから、解析関数は全部定義可能
29:１３２人目の素数さん
26/05/08 06:42:35.95 cZsdQWXK.net
リーマンの学位論文の考え方とは違う