>33
> x^2+y^2=(x+√2)^2…(3)となる。は、
私の証明(>>24)の以下ですが、
> (2')はa=1、r^p=pのとき、x^2+y^2=(x+√2)^2…(3)となる。
a=1のときなので、>>30の証明の(3)に当たると思います。

あなたの証明では、(3)に当たります。
あなたの証明と、私の証明とは、積の形がちがいます。