遅くなってしまいまして申し訳ありません。すっすいすません。ちょっと混乱しております。


>ですから, x^2 ≡ -1  (mod 5^k) を満たす x = b_k を
> b_k = x_0 + 5 x_1 + … + 5^{k-1} x_{k-1}  (0 ≦ x_i ≦ 4) の
> 形で

どうしてこの形と分かるのでしょうか?


> 貴方が書いているものは文章になっていないので, 読めません.
> 英文にすれば論理的な文章になるわけでもないので, 先ず,
> 和文で論理的に書く訓練をされた方が宜しいでしょう.

これは大変失礼いたしました。

> 私の書いたものを少し引き延ばして解説しましょう.
>  k = 1 の時は, (b_1)^2 ≡ -1  (mod 5) とするために,
>  b_1 = x_0  (0 ≦ x_0 ≦ 4) は,
>  x_0 = 2 と x_0 = 3 (≡ -2  (mod 5)) の二通りの取り方が
> ありますが, x_0 = 2 の方を取ることにします.

ここまではわかります。

>  k = 2 の時は, (b_2)^2 ≡ -1  (mod 5^2) となる b_2 を
>  b_2 = 2 + 5 x_1  (0 ≦ x_1 ≦ 4) の形で求めることになります.

ここもどうしてb_2 = 2 + 5 x_1 の形と分かるのでしょうか?