18/12/15 21:39:44.43 T3LlDTB7.net
>>697
おっちゃん、どうも、スレ主です。
おっちゃんらしいね（＾＾
おれが、>>684(証明の細部の不備)と>>692（反例の存在）とを、カレーにスルーかい？（＾＾
・「背理法を適用する」なら、最初にそれを宣言しないと
・「log_x|y|＝p/q から x^{p/q}＝|y| となって」の誘導がへん
（>>697では”、log_x|y|＝p/q となる。従って、x^{p/q}＝|y| ”の部分だよ）
（log_x|y|で自然対数の底は、eでしょ？ 忘れてないかい？）
・反例が存在する
つづく