>>185
たとえばy=2,m=3/7とすれば(1)は2^n={x+(3/7)}^n-x^nだがm=y/2でない
m≠y/2の場合でも方程式2^n={x+(3/7)}^n-x^nは存在するので証明は間違い

y^n={x+(3/7)}^n-x^nの場合
m=3/7=y/2
y=6/7となります。