17

数オリでよく使われるテクニック~平方数に関わる話~

1909
1

久しぶりでしょうか。PCTです。タイトルが不安定なコーナーですが、鳩ノ巣原理編の続編とでも思ってください。

今日は〇〇が平方数でないことを示せに使われるような解法を説明します。
まず例題をして以下のような問題を上げます。
3 の倍数でない正整数 n に対して、n2+3n+1 が平方数にならないことを示せ。

n の制約からしてバレバレなところがありますが mod3 を取ります。すると 1nmod3 の時は n2+3n+12mod32nmod3 の時は n2+3n+12mod3 となり、どちらにしても n2+3n+12 となりますが、そのような平方数は存在しないためこの値は平方数にならない。より示された。

ここでルジャンドル記号について話しておきます。

ルジャンドル記号

奇素数 p、整数 k に対して、a2=kmodp を満たす整数 a が存在する時 kp の平方剰余という。
kp の平方剰余である時、(kp)=1 とし、そうでない時 (kp)=1 とする。

1,1 にわざわざする意味があるのか?と思う方もいるかもしれませんが、今から話す定理によりこの定義はかなり強くなります。

オイラーの基準

ap と互いに素な整数とする時、(ap)ap12 が成り立つ。

ルジャンドル記号の準同型性

a,bp と互いに素な整数とする時 (abp)=(ap)(bp) が成り立つ。

平方剰余の第一補充法則

オイラーの基準の a1 を代入した場合の (1p)=(1)p12 が成り立つ。

平方剰余の第二補充法則

(2p)=(1)p218 が成り立つ。

平方剰余の相互法則

相異なる奇素数 p,q に対して、(pq)(qp)=(1)p12q12が成り立つ。

本来は証明まで乗せるべきなのでしょうが僕がまだ証明を理解できていないものもあるので今回はなしとさせていただきます。いつか証明をする記事を投稿します。

例えば今回の x22mod3 となる整数 x が存在するかですが、平方剰余の第二補充法則より、(13)=(1)22=1 となるため平方剰余でないことが分かります。

他にも平方数でないことを示すには 2 個の隣り合う平方数で挟むという方法もあります。こちらも結構頻出なので一度経験しておくことをお勧めします。

ではここらへんで終わります。お読みいただきありがとうございました。

投稿日:20201110
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

中2です。数学をしています。適当に書きたい記事を書いていきます。

コメント

他の人のコメント

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