解決済み
ペラン数列の記事内のPq≡0(mod q)(q:素数)の証明をx^3=x+1はxが整数のとき両辺の偶奇が一致しないので不成立つまりx1〜x3は整数ではない(素数でもない)ので
Pq≡x1^q+x2^q+x3^q≡x1+x2+x3(フェルマーの小定理)≡0(解と係数の関係)とするのは駄目でしょうか…
ベストアンサー

フェルマーの小定理は
を整数、を素数とすると
という定理なのでこの場合
は整数ではないので
定理は成立しません
つまりそのように証明することはできません(._.)