解決済み

ペラン数列の記事内のPq≡0(mod q)(q:素数)の証明をx^3=x+1はxが整数のとき両辺の偶奇が一致しないので不成立つまりx1〜x3は整数ではない(素数でもない)ので

Pq≡x1^q+x2^q+x3^q≡x1+x2+x3(フェルマーの小定理)≡0(解と係数の関係)とするのは駄目でしょうか…

ベストアンサー

ベストアンサー

フェルマーの小定理は

aaを整数、ppを素数とすると

apa[modp]a ^ p ≡ a [mod p]

という定理なのでこの場合

x1,x2,x3x _ 1 , x _ 2 , x _ 3は整数ではないので

定理は成立しません

つまりそのように証明することはできません(._.)

返信(1件)

なるほど…!確かにそうですね!ありがとうございます🙇‍♂️

そのほかの回答(0件)

関連する質問

もっとみる