- 156 名前：１３２人目の素数さん mailto:sage [2018/12/18(火) 17:16:02.00 ID:Rxviyods.net]
- >>135
>で、対数関数に入れる数で、負の代数的数を考える意義は薄いでしょ？（＾＾
スレ主の命題
>[命題]：任意の正の超越数xと、任意の 正かつy≠1 なる代数的数 y∈R に対して、log_x (y) は無理数である。
を一般化したのが私の命題
>[命題]：一般に、任意の正の超越数xと、任意の |y|≠0 かつ |y|≠1 なる代数的数 y∈R に対して、log_x|y| は無理数である。
で、この命題はスレ主の命題からも直ちに示せる。私はそれを直接証明しただけ。
元々、それが分からないといってイッチャモン付けているのがスレ主。
それじゃ、おっちゃんもう寝る。
