{"id":290,"date":"2008-06-14T23:20:33","date_gmt":"2008-06-14T14:20:33","guid":{"rendered":"http:\/\/njet.oops.jp\/wordpress\/2008\/06\/14\/%e3%82%ac%e3%82%a6%e3%82%b9%e3%81%ae%e8%a4%87%e7%b4%a0%e6%95%b4%e6%95%b0\/"},"modified":"2008-06-15T01:31:56","modified_gmt":"2008-06-14T16:31:56","slug":"%e3%82%ac%e3%82%a6%e3%82%b9%e3%81%ae%e8%a4%87%e7%b4%a0%e6%95%b4%e6%95%b0","status":"publish","type":"post","link":"https:\/\/njet.oops.jp\/wordpress\/2008\/06\/14\/%e3%82%ac%e3%82%a6%e3%82%b9%e3%81%ae%e8%a4%87%e7%b4%a0%e6%95%b4%e6%95%b0\/","title":{"rendered":"\u30ac\u30a6\u30b9\u306e\u8907\u7d20\u6574\u6570"},"content":{"rendered":"<p><latex><br \/>\n\u77e5\u3063\u3066\u308b\u3064\u3082\u308a\u3067\u3082\u3001\u77e5\u3089\u306a\u3044\u3053\u3068\u306f\u3044\u308d\u3044\u308d\u3042\u308b\u306a\u3042\u3002<br \/>\n\u30c7\u30a3\u30ea\u30af\u30ec\u30fb\u30c7\u30c7\u30ad\u30f3\u30c8\u306e\u6574\u6570\u8ad6\u8b1b\u7fa9\u3092\u8aad\u3093\u3067\u3044\u305f\u3089\u3001\u30ac\u30a6\u30b9\u306e\u8907\u7d20\u6574\u6570($a$, $b$\u3092\u6574\u6570\u3068\u3059\u308b\u3068\u304d\u3001$a+b\\sqrt{-1}$\u3068\u8868\u3055\u308c\u308b\u8907\u7d20\u6570\u306e\u3053\u3068)\u3092\u4f7f\u3063\u30664n+1\u578b\u306e\u7d20\u6570$p$\u304c$p=a^2+b^2$\u3068\u66f8\u3051\u308b\u3053\u3068\u306e\u30b9\u30c6\u30ad\u306a\u8a3c\u660e\u304c\u8f09\u3063\u3066\u3044\u305f\u3002\u666e\u901a\u306f\u3001\u5e73\u65b9\u5270\u4f59\u306e\u7b2c1\u88dc\u5145\u5247\u304b\u3089\u3001$a^2\\equiv -1\\ {\\rm mod }p$\u3092\u6e80\u305f\u3059\u6709\u7406\u6574\u6570$a$\u306e\u5b58\u5728\u3092\u8a00\u3063\u3066\u3001\u3053\u308c\u3092\u7528\u3044\u3066\u3001$p$\u306f$a^2+1$\u306e\u7d04\u6570\u3067\u3001\u30fb\u30fb\u30fb\u306a\u3069\u3068\u3084\u308b\u306e\u3060\u304c\u3001\u5e73\u65b9\u5270\u4f59\u306e\u7406\u8ad6\u306b\u3088\u3089\u305a\u3068\u3082\u3001\u8907\u7d20\u6574\u6570\u306e\u4e00\u822c\u8ad6\u304b\u3089\u6b21\u306e\u3088\u3046\u306b\u793a\u3055\u308c\u308b\u306e\u3060\u3068\u3044\u3046\u3002<\/p>\n<p>$p=4n+1$\u304c\u8907\u7d20\u6574\u6570\u306e\u7bc4\u56f2\u3067\u3082\u7d20\u6570\u306b\u306a\u308b\u3068\u4eee\u5b9a\u3059\u308b\u3002\u3059\u308b\u3068\u3001\u65b9\u7a0b\u5f0f$x^{p-1}\\equiv 1\\ {\\rm mod }p$ \u306f\u9ad8\u3005$(p-1)$\u500b\u306e\u89e3\u3057\u304b\u3082\u305f\u306a\u3044\u306f\u305a\u3002\u3053\u308c\u306f mod $p$\u3067\u5272\u3063\u305f\u5270\u4f59\u74b0\u304c\u4f53\u306b\u306a\u308b\u3053\u3068\u304b\u3089\u3067\u308b\u3002\u3055\u3066\u3001\u30d5\u30a7\u30eb\u30de\u30fc\u306e\u5b9a\u7406\u304b\u3089\u3001$1$, $2$, \u30fb\u30fb\u30fb, $p-1$ \u306f\u89e3\u3067\u3042\u308b\u3002\u304a\u307e\u3051\u306b\u3001$p-1=4n$\u306a\u306e\u3067$x=\\sqrt{-1}$\u307e\u3067\u3082\u304c\u89e3\u3002\u3064\u307e\u308a\u3001$p$\u500b\u306e\u89e3\u3092\u6301\u3064\u3053\u3068\u306b\u306a\u3063\u3066\u3057\u307e\u3046\u3002\u3053\u308c\u306f\u77db\u76fe\u3067\u3042\u308b\u3002\u3068\u3044\u3046\u3053\u3068\u3067\u3001$p$\u306f\u8907\u7d20\u6574\u6570\u306e\u7bc4\u56f2\u3067\u306f\u7d20\u6570\u3067\u306f\u306a\u3044\u3002\u305d\u3046\u3059\u308b\u3068\u3001\u4e00\u822c\u8ad6\u306b\u3088\u308a\u3001$p=\\pi \\overline{\\pi}$ \u3068\u66f8\u3051\u308b\u3053\u3068\u304c\u5206\u304b\u3063\u3066\u3044\u308b\u306e\u3067\u3001$p=a^2+b^2$\u3068\u8868\u3055\u308c\u308b\u3053\u3068\u306b\u306a\u308b\u3002<\/p>\n<p>\u3044\u3084\u3042\u3001\u4f55\u3068\u307e\u3042\u3001\u30b9\u30de\u30fc\u30c8\u306a\u8a3c\u660e\u3067\u3042\u308b\u3053\u3068\u304b\u3002\u62bd\u8c61\u4ee3\u6570\u5b66\u306e\u52dd\u5229 <img src=\"https:\/\/njet.oops.jp\/wordpress\/wp-includes\/images\/smilies\/mrgreen.png\" alt=\":mrgreen:\" class=\"wp-smiley\" style=\"height: 1em; max-height: 1em;\" \/> \u3063\u3066\u611f\u3058\u3067\u3057\u3087\u3046\u304b\u3002<br \/>\n<\/latex><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u77e5\u3063\u3066\u308b\u3064\u3082\u308a\u3067\u3082\u3001\u77e5\u3089\u306a\u3044\u3053\u3068\u306f\u3044\u308d\u3044\u308d\u3042\u308b\u306a\u3042\u3002 \u30c7\u30a3\u30ea\u30af\u30ec\u30fb\u30c7\u30c7\u30ad\u30f3\u30c8\u306e\u6574\u6570\u8ad6\u8b1b\u7fa9\u3092\u8aad\u3093\u3067\u3044\u305f\u3089\u3001\u30ac\u30a6\u30b9\u306e\u8907\u7d20\u6574\u6570($a$, $b$\u3092\u6574\u6570\u3068\u3059\u308b\u3068\u304d\u3001$a+b\\sqrt{-1}$\u3068\u8868\u3055\u308c\u308b\u8907\u7d20\u6570\u306e\u3053\u3068)\u3092\u4f7f\u3063\u30664n [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[5],"tags":[],"class_list":["post-290","post","type-post","status-publish","format-standard","hentry","category-5"],"_links":{"self":[{"href":"https:\/\/njet.oops.jp\/wordpress\/wp-json\/wp\/v2\/posts\/290","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/njet.oops.jp\/wordpress\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/njet.oops.jp\/wordpress\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/njet.oops.jp\/wordpress\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/njet.oops.jp\/wordpress\/wp-json\/wp\/v2\/comments?post=290"}],"version-history":[{"count":0,"href":"https:\/\/njet.oops.jp\/wordpress\/wp-json\/wp\/v2\/posts\/290\/revisions"}],"wp:attachment":[{"href":"https:\/\/njet.oops.jp\/wordpress\/wp-json\/wp\/v2\/media?parent=290"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/njet.oops.jp\/wordpress\/wp-json\/wp\/v2\/categories?post=290"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/njet.oops.jp\/wordpress\/wp-json\/wp\/v2\/tags?post=290"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}