|
|
A344231型 |
| 正整数k由正定二元二次型X^2+5*Y^2=k按递增顺序表示。 |
|
5
|
|
|
1, 5, 6, 9, 14, 21, 29, 30, 41, 45, 46, 49, 54, 61, 69, 70, 81, 86, 89, 94, 101, 105, 109, 126, 129, 134, 141, 145, 149, 161, 166, 174, 181, 189, 201, 205, 206, 214, 229, 230, 241, 245, 246, 249, 254, 261, 269, 270, 281, 294, 301, 305, 309, 321, 326, 329, 334, 345, 349, 366, 369, 381, 389, 401, 405
(列表;图表;参考;听;历史;文本;内部格式)
|
|
|
抵消
|
1, 2
|
|
评论
|
当且仅当同余s^2+20==0(mod 4*k)有解时,正整数k才可以用Disc=-20的某种本原形式来表示。例如,参见Buell Proposition 41,p.50或Scholz-Schoeneberg Satz 74,p.105。也就是说,x^2+5==0(modk),其中s=2*x。对于代表解x来自{0,1,…,k-1},其中k来自A343238型,请参阅A343239型这些解x决定了代表k的所谓代表性平行原语形式(rpapfs)[k,2*x,(x^2+5)/k]。它们完全等价于(通过所谓的R(t)-变换)一个简化形式F1或F2。(另请参阅W.Lang的链接A225953号和A324251型,但考虑了不定形式。)
为了找出哪个k来自A343238型用F1或F2表示Disc=-20的两个通用乘法字符,即Legendre(k|p),奇数素数p=5除以Disc=-20,可以使用Jacobi(-1|k)。见Buell,第51-52页。它们导致了椎间盘-20的两个属。
本属I是主属,对于奇素数p,而不是5,其值Legendre(p|5)=Legendre(5|p)=+1和Jacobi(-1|p)=Legendre=+1,导致奇数素数不等于5A033205号。未表示素数2。素数5的表示很简单。对于另一个属II,这两个字符的值为-1。这里表示素数2。
对于复合k,使用素数因式分解,对于素数的幂,使用提升定理(例如,见Apostol,p.121,定理5.30)。用形式F2=[2,2,3]表示的素数2的解(来自另一个亏格II)不能提升到2的幂。素数5的解也是不可提的(通过归纳法证明)。其他素数的解A033205号和电话:106865对这些素数的幂唯一可提升。请参见A343238型对于所有正确表示的磁盘k=-20。
对于本属I,正确表示的整数k由2^a*5^b*Product_{j=1..PI}(PI_j)^(eI(j))*Product_}k=1..PII}(PII_k)^。奇数素数pI_j来自A033205号(=={1,9}(mod 20)),素数pII_k来自A106865号(=={3,7}(mod 20))。第二个乘积的指数是有限的:如果a=1,那么PII>=1和Sum_{k=1..PII}eII(k)是奇数。如果a=0,则PII>=0,如果PII>=1,则此和为偶数。
相邻的数字k(双胞胎)开始于:[5,6],[29,30],[45,46],[69,70],[205,206],[229,230],[245,246],[2069,270],[405,406]。。。
关于F2=[1,0,5]的解(X,Y),正确地表示k=a(n),请参见A344233型.
|
|
参考文献
|
Tom M.Apostol,《解析数论导论》,施普林格-弗拉格出版社,1976年,第121-122页。
D.A.Buell,二元二次型,Springer,1989年。
A.Scholz和B.Schoeneberg,《扎伦索里》中的Einführung,Sammlung Göschen乐队5131,Walter de Gruyter,1973年。
|
|
链接
|
|
|
交叉参考
|
囊性纤维变性。A000003号,A020669美元,A033205号,A106865号,A225953号,A324251型,A343238型,A343239型,A343240型,A344232型,A344233型.
|
|
关键词
|
非n,容易的
|
|
作者
|
|
|
状态
|
经核准的
|
|
|
|