久しぶりでしょうか。PCTです。タイトルが不安定なコーナーですが、鳩ノ巣原理編の続編とでも思ってください。
今日は〇〇が平方数でないことを示せに使われるような解法を説明します。
まず例題をして以下のような問題を上げます。
の倍数でない正整数 に対して、 が平方数にならないことを示せ。
の制約からしてバレバレなところがありますが を取ります。すると の時は 、 の時は となり、どちらにしても となりますが、そのような平方数は存在しないためこの値は平方数にならない。より示された。
ここでルジャンドル記号について話しておきます。
ルジャンドル記号
奇素数 、整数 に対して、 を満たす整数 が存在する時 を の平方剰余という。
が の平方剰余である時、 とし、そうでない時 とする。
にわざわざする意味があるのか?と思う方もいるかもしれませんが、今から話す定理によりこの定義はかなり強くなります。
平方剰余の第一補充法則
オイラーの基準の に を代入した場合の が成り立つ。
本来は証明まで乗せるべきなのでしょうが僕がまだ証明を理解できていないものもあるので今回はなしとさせていただきます。いつか証明をする記事を投稿します。
例えば今回の となる整数 が存在するかですが、平方剰余の第二補充法則より、 となるため平方剰余でないことが分かります。
他にも平方数でないことを示すには 個の隣り合う平方数で挟むという方法もあります。こちらも結構頻出なので一度経験しておくことをお勧めします。
ではここらへんで終わります。お読みいただきありがとうございました。