勒让德符号

✍ dations ◷ 2025-04-02 08:47:15 #二次剩余,数学符号,算术函数

勒让德符号,或二次特征,是一个由阿德里安-马里·勒让德在1798年尝试证明二次互反律时引入的函数。这个符号是许多高次剩余符号的原型;其它延伸和推广包括雅可比符号、克罗内克符号、希尔伯特符号,以及阿廷符号。

勒让德符号 ( a p ) {\displaystyle ({\tfrac {a}{p}})} |))有下列定义:

如果(|) = 1, 便称为二次剩余(mod );如果(|) = −1,则 称为二次非剩余(mod p)。通常把零视为一种特殊的情况。

等于0、1、2、……时的周期数列(|),又称为勒让德数列,有时把{0,1,-1}的数值用{1,0,1}或{0,1,0}代替。

勒让德原先把他的符号定义为:

欧拉在之前证明了这个表达式是≡ 1 (mod ),如果是二次剩余(mod ),是≡ −1如果是二次非剩余;这个结论现在称为欧拉准则。

除了这个基本公式以外,还有许多其它(|)的表达式,它们当中有许多都在二次互反律的证明中有所使用。

高斯证明了如果 ζ = e 2 π i p {\displaystyle \zeta =e^{\frac {2\pi i}{p}}} 和互换。

艾森斯坦的一个证明是从以下等式开始:

把正弦函数用椭圆函数来代替,他也证明了三次和四次互反律。

斐波那契数1, 1, 2, 3, 5, 8, 13, 21, 34, 55, ……由递推公式F1 = F2 = 1,Fn+1 = Fn + Fn-1定义。

如果是素数,则:

例如:

这个结果来自卢卡斯数列的理论,在素性测试中有所应用。参见沃尔-孙-孙素数。

勒让德符号有许多有用的性质,可以用来加速计算。它们包括:

这个性质称为二次互反律的第一补充。

这个性质称为二次互反律的第二补充。一般的二次互反律为:

参见二次互反律和二次互反律的证明。

以下是一些较小的的值的公式:

但一般直接把剩余和非剩余列出更简便:

勒让德符号(|)是一个狄利克雷特征(mod )。

以上的性质,包括二次互反律,可以用来计算任何勒让德符号。例如:

相关

  • 阿修罗阿修罗(梵语:असुर,Asura;巴利语:असुर,Asura),亦译为阿须罗、阿索罗、阿苏罗、阿素落、阿须伦、阿须轮,简称修罗,有汉字词组“修罗场”等。汉地直译有非天、非酒、无端正等错误
  • 艾尔姆胡尔特市艾尔姆胡尔特市(瑞典语:Älmhults kommun)是瑞典南部克鲁努贝里省的一个自治市。其治所位于艾尔姆胡尔特(英语:Älmhult)。英瓦尔·坎普拉德在艾尔姆胡尔特开办了他的第一家宜家店
  • 贪食贪吃,指一种超过需求,拼命吃东西的一种症状,这是一种病态,而这种饮食方式容易造成病态肥胖。有几种疾病能造成这种症状,像普瑞德威利症候群或某些忧郁症都会有这种状况。在天主教
  • 捷特航空美国捷特航空(USA Jet Airlines)是一家美国的货运航空公司,总部设在密歇根威洛鲁恩机场的一楼和Van Buren Township。美国捷特航空运营按需包机航线。
  • 河南城建学院河南城建学院(简称:城建学院,英语:Henan University of Urban Construction,曾用名平顶山工学院,是一所位于河南省平顶山市新华区以工科为主的省属普通本科大学。该校创建于1983年
  • 小行星8965小行星8965(8965 Citrinella)是一颗绕太阳运转的小行星,为主小行星带小行星。该小行星于1960年10月17日发现。小行星8965的轨道半长轴为3.1679495 UA,离心率为0.127。
  • Ability OfficeAbility Office 是由能力+软件公司开发,由能力软件国际公司发布和销售的办公套件,由文字处理器、电子表格、数据库、演示和照片或图像编辑模块以及照片/图像组织者和矢量线绘
  • 悍蚁属悍蚁属(Polyergus)又称之为亚马逊蚁(Amazon Ant)。悍蚁居住于欧亚大陆及北美洲,以捕捉其他蚂蚁的幼虫和卵为生,借此培养自己的奴隶而知名。
  • 鸡鸦水道鸡鸦水道,位于中华人民共和国广东省中山市北部,北起佛山市顺德区的龙涌沙顶,接东海水道,向东南,在中山市南头镇汲水村大吉利公园,左岸分叉出桂洲水道,于黄圃镇大坝头以西的丘头,左岸
  • 弗兰西斯·塞耶斯泰德弗兰西斯·塞耶斯泰德(英语:Francis Sejersted,1936年2月8日-2015年8月25日),挪威历史教授,是挪威诺贝尔委员会主席。