質問の【定理の名称とか証明とか】の反例をRubyで探してみました。(^_^; nを1〜100000まで動かして、2^n==3^xとなる数xの前後の整数m=floor(x),floor(x)+1について調べてみました。 結果は、1≦n≦100000, 1≦m≦63093の範囲で見つかりませんでした。多分、反例…