(4)青い線のところの合同式よく分からないので教えてください。ak+4≡-akは分かります。-ak≡-4はak≡1の両辺に-1を掛けているんですか?
mod5において-1≡4なのでそれを用いただけだと思います。 a_k+1≡-a_k≡-1かつ-1≡4より-a_k≡4というだけです。
この質問を見ている人は こちらの質問も見ています😉