>nishio 元投稿は式の形からすると僕の思考とは違う経路でたどり着いたんだと思うけど、ビジュアルシンカーの僕的にはこういうことだなと思いました
>
> >Ototo_ 電車のなかでレシートに暇つぶしで計算してたら見つけた
>nishio 元投稿は1つ違いのa, b (b = a + 1)の話だしそれに引きずられて僕も1つ違いの絵を描いてるけど、一般のa, bについて当然成り立つよな〜と少し考えて、それって2(a^2 + b^2) = (a + b)^2 + (a - b)^2なので展開してみれば成り立つことがすぐわかると気づいた。