>x^2+y^2=(y+m)^2…(1)が成り立つことと、(X1X2)^p={(Y1+1)^p-Y1^p}{Y2+1)^p-Y2^p}が成り立つことの関連について、
何の説明もありません。

x^2+y^2=(y+m)^2…(1)が成り立つならば、
x^2+y^2=(y+1)^2も、成り立ちます。