0

偶数の冪剰余記号の特性の初等的証明

55
1
$$\newcommand{gausu}[1]{[]} $$

特に断りがない限り、ここで出てくる変数は正の整数です。

冪剰余記号について

最初に断っておく。
冪剰余記号については十分に先行研究がある。
それを調べずに研究を進めてしまったためもう知っているようなないようがあるかもしれない。
一応、冪剰余記号についてのwikipediaページのリンクを張っておく
冪剰余記号(wikipedia)
次に、表す記号について。
この記事では、次の記号、$( \frac{a}{p})_n$を定義する。
これは、$a \equiv x^n \pmod p$の解$x$が存在するときに$1$を返し、存在しないときに$-1$を返す。($p$は素数)
ようするにルジャンドル記号を$n$乗に拡張したものだ。

本題

この記事において証明する特性は
$p \equiv 3 \pmod 4$の時、$( \frac{a}{p})_{2n}=( \frac{a}{p})_{2^{l}n}$
$p \equiv 3 \pmod 4$という条件が課せられているのでそんなに強いわけではない。
証明をする前に補題を証明する。この補題が証明の根幹となる。

$( \frac{x}{p})_2( \frac{p-x}{p})_2=-1$

$p \equiv 3 \pmod 4$ の時、$( \frac{x}{p})_2( \frac{p-x}{p})_2=-1$

$( \frac{x}{p})_2$は要するに普通のルジャンドル記号だ。

補題の証明

$$( \frac{x}{p})_2( \frac{p-x}{p})_2=( \frac{x}{p})_2( \frac{-x}{p})_2=( \frac{-1}{p})( \frac{x^2}{p})=(\frac{-1}{p})$$
平方剰余の相互法則と、$p\equiv 3 \pmod 4$から、
$(\frac{-1}{p})=-1$
よって、$$( \frac{x}{p})_2( \frac{p-x}{p})_2=-1$$

では、本題の証明に移る。

証明

$( \frac{a}{p})_{2^{l}n}$の時なりたっていると仮定する。
$( \frac{a}{p})_{2^{l+1}n}=1 \Longrightarrow ( \frac{a}{p})_{2^{l}n}=1$
は自明。
次に、$( \frac{a}{p})_{2^{l}n}=1$
と仮定する。
$a \equiv x^{2^{l}n}\pmod p$
$x$をこの合同方程式の解だとすると、必ずもう一つの解$p-x$が存在する。
ここで、$x$$p-x$どちらかが平方剰余であるとき、
$a \equiv y^{2^{l+1}n}\pmod p$の解$y$も存在するといえるだろう。
ここで、補題1から$(\frac{x}{p})$$(\frac{p-x}{p})$どちらかは必ず$1$であるといえるので、
$x$$p-x$どちらかは必ず平方剰余である。
よって、$( \frac{a}{p})_{2^{l+1}n}=1 \Longleftarrow ( \frac{a}{p})_{2^{l}n}=1$
以上の二つから、$( \frac{a}{p})_{2^{l+1}n}=1 \Longleftrightarrow( \frac{a}{p})_{2^{l}n}=1$
で、$( \frac{a}{p})_{2^{l+1}n}=( \frac{a}{p})_{2^{l}n}$である。
仮定の$( \frac{a}{p})_{2^{l}n}=( \frac{a}{p})_{2n}$から$( \frac{a}{p})_{2n}=( \frac{a}{p})_{2^{l}n}$
そして、$l=1$の時成り立っているのは自明なので、数学的帰納法によって証明ができる。

一日でろくに推敲もせず書き上げたので文章がわかりにくいところがあるかもしれないから、その時はコメントで教えてほしい。
直すかもしれないし、めんどくさがって直さないかもしれないので。

投稿日:20231116
更新日:20231116
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

ringo
ringo
5
581
ヱヴァが好きなRingo(知恵の実)です。 得意分野は数論 学生です

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中