解析の手が止まってしまった。ある部分まではどんな場合でも問題なく進んできていたのに、
予定外の部分で先に進まなくなってしまいました。
本当は「先に進まない」と見なすべきではなく、これが結論、こういう結論もある、と解釈すべきなのかもしれません。
ひっかかっているのは、勝手な願望が原因なんですよね。
n=2 の場合をn=3 の場合に拡張して、得られる結果としてはこうであってほしい。こうであったら美しい。
綺麗じゃない式が出てしまったために、その式をとにかく否定したい。
矛盾をずっと探し続けているんだけど、見つかりません。
ある特殊な条件を満たしている場合でなければ理想の結果が得られてはいるのですが、
そのある特殊な条件が嫌な状況を作り出しています。
でもまぁ、まだ八方塞りというわけではないので、もうちょっと手を尽くしてみます。
「部分的に解決していた」という状況の頃と比較すると、現在は「部分的に解決していない」という状況なので、
別の研究者が諦めた問題をここまで進歩させることが出来た事に満足はしています。
アイディアが枯渇するまでありとあらゆる手段を試してみようと思います。