√p+√q≡√r(mod n)となるようなモジュロ演算

を素数としたときのルート和 を素数とする。このとき、 は、自然数を法として、方程式 の解が存在すれば、ちょうど2つ存在する。このとき、などと書くことにする。 与えられた素数に対して、 を満たすは存在するかという問題が自然と思いつく。 の場合 これを満たす自然数は、まで探索したが、以外見つからなかった。そこ…