检验过的

经核准的

提出

检验过的

编辑

提出

给出T（n，k）=-（2）的不规则三角形*A269596型（n，k）)^())^(素（n）-2）模素数（n）对于n>=2。

不规则配对三角形-（2*A269597型（n，k）)^())^(素（n）-2）模素数（n）在A269599型.

T（n，k）=模型（-（2*A269596型（n，k）)^())^(素数（n）-2），素数（n）），对于n>=2和k=1，2。。。。，（素数（n）-1）/2，modp（a，p）给出{0,1，…，p-1}中的数字a'，a'==a（modp）。

经核准的

编辑

编辑

经核准的

这些数字称为z_1=z_1（x_1，素数（n)),)),出现在近似序列{xn（素数（n），b，x1）的递归中)})}p-adic整数的 sqrt（-b），条目与x1模素数（n）同余。b值的不规则三角形如所示A269595型（n，k）对于n>=2（奇数素数），以及A269596型（n，k）给出了相应的x1值。

经核准的

编辑

提出

经核准的

编辑

提出

nn=12；s=表格[Select[Range[Prime@n-1]，JacobiSymbol[#，Prime@n]==1&]，{n，nn}]；t=表[素数@n-s[[n，（素数@n-1）/2-k+1]]，{n，长度@s}，{k，（素数@n-1）/2}]/。{} -> {1}; u=前缀[Table[SelectFirst[Range@#，Function[x，Mod[x^2+t[[n，k]]，#]==0]]&@Prime@n，{n，2，Length@t}，{k，（Prime@n-1）/2}]{1}]；表[选择第一个[范围@ #,功能[z,国防部[-(2 u个[[n个,k个]]z+1), #] ==0]] &@Prime（主要）@n个, {n个,2,长度@u个}, {k个, (Prime（主要）@n个-1}]；)/2}] //压扁(* _迈克尔 扩散系数 弗利格_,四月 04 2016,版本 10*)

表[SelectFirst[Range@#，Function[z，Mod[-（2u[[n，k]]z+1），#]==0]&@Prime@n，{n，2，Length@u}，{k，（Prime@n-1）/2}]//展平(*迈克尔·德弗利格，2016年4月4日，版本10*）

提出

编辑

编辑

提出