平方剰余と三角関数 とを相異なる奇素数とする。このとき、をLegendre記号として、が成り立つ。この式から相互法則が得られる。 4乗剰余とレムニスケート関数 は前節では円周率、この節ではprimaryなガウス素数とする。ここで、primaryとは を満たすことを意…