computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 証明路開発支援システム 平方剰余の相互法則について見ていきます。まず定義などを引用しておきます。「平方剰余の相互法則(1) - 非専門的シンギュラリティー研究所」より 【平方剰余】 ある整数 の平方を整数 で割ったときの余りが であるとき、 を法 に関する平方剰余といいます。「平方剰余の相互法則(3) - 非専門的シンギュラリティー研究所」より 【ルジャンドルの記号】 ここで以前説明した拡張された記法を使います。 がではない素数のとき、 が の倍数のとき が の倍数ではなく、 が法 に関する平方剰余であるとき が の倍数ではなく、 が法 に関する平方剰余ではないとき 【の性質】 をではない素数、 を整数とします。 (… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2026%2F08%2F02%2F210247" title="証明路開発支援システム(15) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://m.media-amazon.com/images/I/51UjYbXqIzL._SL500_.jpg Hatena Blog https://hatena.blog 2026-08-02 21:02:47 rich https://computeralgebra.hatenablog.com/entry/2026/08/02/210247 1.0 100%