双方連続王手による千日手について。

やねうらおさんの双方連続王手の千日手は成立しないを見て、しばらく考えていたのだけれど、試行錯誤の末にやっと証明が出来た。

証明を書いたPDF

アイディアは、王手される方向というのにも気を向けてみよう、というもので、そうやって考えているで均衡方向とホットスポットというのを定義してやると上手くいきそうなことに気がついた。
すごくごちゃごちゃしてるけれど、たぶん大丈夫かと。。。

それにしても、証明をしている中で思わぬ穴があって、それを埋めて、、、というのがとても多かった。（まだ埋まりきってないかも？　多分大丈夫だとは思うんだけど。）
その度に、あぁぁぁ、、、と考えて構想の練り直しをしたりとか。

・・・それにしても、著者名、とりあえずハンドルネームで書いたけど、やっぱり本名の方がいいのかな？

（訂正）
コメントに詳しい議論は載っていますが、命題８の証明に穴がありました。
もう少しホットスポットの配置パターンについてつめて考える必要がありそうです。