词条 孙子定理

孙子定理

孙子定理是数论中的一个关于一元线性同余方程组的定理,说明了一元线性同余方程组有解的准则以及求解方法。也称为中国剩余定理,古有“韩信点兵”、“孙子定理”、“求一术”(宋 沈括)“鬼谷算”(宋 周密)、“隔墙算”(宋 周密)、“剪管术”(宋 杨辉)、“秦王暗点兵”、“物不知数”之名。

孙子定理相关文献
孙子定理
物不知数一元线性同余方程组问题最早可见于中国南北朝时期(公元5世纪)的数学著作《孙子算经》卷下第二十六题,叫做“物不知数”问题,原文如下:即,一个整数除以三余二,除以五余三,除以七余二,求这个整数。《孙子算经》中首次提到了同余方程组问题,以及以上具体问题的解法,因此在中文数学文献中也会将中国剩余定理称为孙子定理。宋朝数学家秦九韶于1247年《数书九章》卷一、二《大衍类》对“物不知数”问题做出了完整系统的解答。明朝数学家程大位将解法编成易于上口的《孙子歌诀》:这个歌诀给出了模数为3、5、7时候的同余方程的秦九韶解法。意思是:将除以3得到的余数乘以70,将除以5得到的余数乘以21,将除以7得到的余数乘以15,全部加起来后减去105或者105的整数倍,得到的余数就是答案。比如说在以上的物不知数问题里面,使用以上的方法计算就得到因此按歌诀求出的结果就是23.形式描述用现代数学的语言来说明的话,中国...
查看全文
定理
各种数学叙述(按重要性来排列)引理(又称辅助定理,补理)-某个定理的证明的一部分的叙述。它并非主要的结果。引理的证明有时还比定理长,例如舒尔引理。推论-一个从定理随之而即时出现的叙述。若命题B可以很快、简单地推导出命题A,命题A为命题B的推论。命题定理数学原理结构定理一般都有许多条件。然后有结论——一个在条件下成立的数学叙述。通常写作“若条件,则结论”。用符号逻辑来写就是条件→结论。而当中的证明不视为定理的成分。逆定理若存在某叙述为A→B,其逆叙述就是B→A。逆叙述成立的情况是A←→B,否则通常都是倒果为因,不合常理。若果叙述是定理,其成立的逆叙述就是逆定理。若某叙述和其逆叙述都为真,条件必要且充足。若某叙述为真,其逆叙述为假,条件充足。若某叙述为假,其逆叙述为真,条件必要。逻辑中的定理命题集合的可计算性问题(Calculabilite)我们可以通过可计算性(Calculabilite)这...
查看全文
采样定理
简介采样是将一个信号(例如时间或空间上连续的函数)转换为数字序列(时间或空间上离散的函数)的过程。这个定理的香农版本陈述为:如果函数x(t)不包含高于Bcps(次/秒)的频率,它完全取决于一系列相隔1/(2B)秒的点的纵坐标。因此2B样本/秒或更高的采样频率就足够了。相反,对于一个给定的采样频率fs,完全重构的频带限制为B≤fs/2。在频带限制过高(或根本没有频带限制)的情形下,重构表现出的缺陷称为混叠。现在对于此定义的陈述有时会很小心的指出x(t)必须不包括频率恰好为B的正弦曲线,或是B必须小于½的采样频率。这二个门槛,2B及fs/2会称为奈奎斯特速率(英语:Nyquistrate)及奈奎斯特频率。这些是x(t)及采样设备的属性。上述的不等式会称为奈奎斯特准则,有时会称为拉贝准则(Raabecondition)。此定理也可以用在其他定义域(例如离散系统)的函数下,唯一的不同是量测t,fs...
查看全文
罗尔定理
证明罗尔定理的几何意义首先,因为f{displaystylef}在闭区间[a,b]{displaystyle[a,b]}上连续,根据极值定理,f{displaystylef}在[a,b]{displaystyle[a,b]}上有最大值和最小值。如果最大值和最小值都在端点a{displays
查看全文
CAP定理
历史这个定理起源于柏克莱加州大学(UniversityofCalifornia,Berkeley)的计算机科学家埃里克·布鲁尔在2000年的分布式计算原则研讨会(SymposiumonPrinciplesofDistributedComputing(英语:SymposiumonPrinciplesofDistributedComputing)(PODC))上提出的一个猜想。在2002年,麻省理工学院(MIT)的赛斯·吉尔伯特(英语:SethGilbert)和南希·林奇(英语:NancyLynch)发表了布鲁尔猜想的证明,使之成为一个定理。吉尔伯特和林奇证明的CAP定理比布鲁尔设想的某种程度上更加狭义。定理讨论了在两个互相矛盾的请求到达彼此连接不通的两个不同的分布式节点的时候的处理方案。参见分布式计算的谬论(FallaciesofDistributedComputing(英语:Fallaci...
查看全文
孙子定理相关标签
数学定理
同余
家族谱大览
孙氏宗谱 [不分卷]
原书: [出版地不详 : 出版者不详], 1982年重修. 5册: 世系表. 收藏者 : 太原市寻源姓氏文化研究中心. 壶山始祖 : 孙子朋,字宗友,号隐峰,行坤九. 天匕公长子. 自乌巢桥即龙首徙居麻埠西溪壶山. 分房祖(7世) : 孙元谦,字伯益,行丹十一. 生二子 : 孙可观,字彦光,行宁廿二 ; 孙可久,字彦则,行宁廿三. 二传分仁,义,礼,智四房. 仁房派祖(9世) : 孙景信,字善赏,号龟山,行永六. 可观公长子. 义房派祖(9世) : 孙景敏,字善学,号乐善,行永九. 可久公长子. 礼房派祖(9世) : 孙景惠,字善民,号桂屿,行永十一. 可观公次子. 智房派祖(9世) : 孙景让,字善升,号西崖,行永十三. 可久公次子. 名类 : 子泰天志性 庚亢可景仁 公汝良惠亢 仲学思孔孟 继世邦家国 清朝历九卿 上廷明广远 延照发昌荣. 字类 : 宗大德道心 守伯彦善伟 存崇守魁明 承以叔文振 君方广匡希 如时一从允 世次元维孝 天高义可钦. 行类 : 坤玄黄百明 亿丹宁永诜 洪元亨利贞 富贵绳祖武 博厚正直平 昌隆全盛庆 千载祥开衲 纯禧迈运新. 散居地 : 浙江省永嘉县等地. 书名据书签题, 及版心题编目. 卷端题 : 永嘉西溪巽泽壶山孙氏宗谱
浏览:0
官庄孙氏族谱 十三卷
原书: [出版地不详] : 本立堂, 清干隆60[1795]重修. 存2册 : 世系表. 注 : 此谱应有13卷, 仅残存卷1-2, 其余卷数全缺. 且部分破损严重,难以阅读. 官庄一世祖 : (明) 孙廷环,原名坤. 世居江南宁国府太平县长寿乡之水北,嘉靖末迁安庆府怀宁县. 环公下三子 : 孙子俊 ; 孙子杰 ; 孙子仁. 俊公下传一房 : 孙之铎. 杰公下传三房 : 孙之鉴 ; 孙之钰 ; 孙之钿. 仁公下传二房 : 孙之镒 ; 孙之铃. 派行 : 廷子之如 业期可法守 德积自?光 信是传家宝 长留百世芳. 散居地 : 安徽省怀宁县等地. 书名据版心题编目. 卷端题 : 怀宁官庄孙氏族谱.
浏览:100
孙氏宗谱 [不分卷]
原书: [出版地不详 : 出版者不详], 1982年重修. 5册: 世系表. 收藏者 : 太原市寻源姓氏文化研究中心. 壶山始祖 : 孙子朋,字宗友,号隐峰,行坤九. 天匕公长子. 自乌巢桥即龙首徙居麻埠西溪壶山. 分房祖(7世) : 孙元谦,字伯益,行丹十一. 生二子 : 孙可观,字彦光,行宁廿二 ; 孙可久,字彦则,行宁廿三. 二传分仁,义,礼,智四房. 仁房派祖(9世) : 孙景信,字善赏,号龟山,行永六. 可观公长子. 义房派祖(9世) : 孙景敏,字善学,号乐善,行永九. 可久公长子. 礼房派祖(9世) : 孙景惠,字善民,号桂屿,行永十一. 可观公次子. 智房派祖(9世) : 孙景让,字善升,号西崖,行永十三. 可久公次子. 名类 : 子泰天志性 庚亢可景仁 公汝良惠亢 仲学思孔孟 继世邦家国 清朝历九卿 上廷明广远 延照发昌荣. 字类 : 宗大德道心 守伯彦善伟 存崇守魁明 承以叔文振 君方广匡希 如时一从允 世次元维孝 天高义可钦. 行类 : 坤玄黄百明 亿丹宁永诜 洪元亨利贞 富贵绳祖武 博厚正直平 昌隆全盛庆 千载祥开衲 纯禧迈运新. 散居地 : 浙江省永嘉县等地. 书名据书签题, 及版心题编目. 卷端题 : 永嘉西溪巽泽壶山孙氏宗谱
浏览:0
孙氏宗谱 [不分卷]
原书: [出版地不详 : 出版者不详], 1982年重修. 5册: 世系表. 收藏者 : 太原市寻源姓氏文化研究中心. 壶山始祖 : 孙子朋,字宗友,号隐峰,行坤九. 天匕公长子. 自乌巢桥即龙首徙居麻埠西溪壶山. 分房祖(7世) : 孙元谦,字伯益,行丹十一. 生二子 : 孙可观,字彦光,行宁廿二 ; 孙可久,字彦则,行宁廿三. 二传分仁,义,礼,智四房. 仁房派祖(9世) : 孙景信,字善赏,号龟山,行永六. 可观公长子. 义房派祖(9世) : 孙景敏,字善学,号乐善,行永九. 可久公长子. 礼房派祖(9世) : 孙景惠,字善民,号桂屿,行永十一. 可观公次子. 智房派祖(9世) : 孙景让,字善升,号西崖,行永十三. 可久公次子. 名类 : 子泰天志性 庚亢可景仁 公汝良惠亢 仲学思孔孟 继世邦家国 清朝历九卿 上廷明广远 延照发昌荣. 字类 : 宗大德道心 守伯彦善伟 存崇守魁明 承以叔文振 君方广匡希 如时一从允 世次元维孝 天高义可钦. 行类 : 坤玄黄百明 亿丹宁永诜 洪元亨利贞 富贵绳祖武 博厚正直平 昌隆全盛庆 千载祥开衲 纯禧迈运新. 散居地 : 浙江省永嘉县等地. 书名据书签题, 及版心题编目. 卷端题 : 永嘉西溪巽泽壶山孙氏宗谱
浏览:0
洛阳谷水孙氏族谱(乐安世家) [不分卷]
原书: [出版地不祥 : 出版者不祥], 1995年. 全1册(约225页) : 插图, 世系表, 肖像. 受姓祖 : 书,字子占. 齐大夫,伐莒有功,齐王赐以孙姓,称孙书. 受封于乐安,为乐安孙氏. 名祖 : 孙子,名武,字长卿. 仕吴为上将,著 "孙子兵法". 始祖 : 孙膑,字嘉谋,号伯灵. 著 "孙膑兵法". 昔居山东鄄城县. 孙武之裔. 谷水支派始祖 : (明) 孙大明 ; 孙大朋. 由山西洪洞迁至河南洛阳谷水. 马村支祖 : (清) 孙显,字世华. 万良公次子. 至马村教书而后定居于此. 字派(67-91世) : 朝(绪)尚(万)九(永)承(芝)玉(连) 士(文)家(学)国(崇)应(天)宗(朝) 树(道)字(通)乃(其)其(唐)同(尧) 作(贤)保(才)景(治)柏(宝)永(先) 茂(臣)显(有)祖(予)隆(昭). 注 : 72世起谷水与马村定辈20字同世并用. 散居地 : 河南省洛阳县等地. 书名据书衣题, 及书名页题编目. 版心题 : 谷水孙氏族谱.
浏览:0
孙氏宗谱 [不分卷]
原书: [出版地不详 : 出版者不详], 1982年重修. 5册: 世系表. 收藏者 : 太原市寻源姓氏文化研究中心. 壶山始祖 : 孙子朋,字宗友,号隐峰,行坤九. 天匕公长子. 自乌巢桥即龙首徙居麻埠西溪壶山. 分房祖(7世) : 孙元谦,字伯益,行丹十一. 生二子 : 孙可观,字彦光,行宁廿二 ; 孙可久,字彦则,行宁廿三. 二传分仁,义,礼,智四房. 仁房派祖(9世) : 孙景信,字善赏,号龟山,行永六. 可观公长子. 义房派祖(9世) : 孙景敏,字善学,号乐善,行永九. 可久公长子. 礼房派祖(9世) : 孙景惠,字善民,号桂屿,行永十一. 可观公次子. 智房派祖(9世) : 孙景让,字善升,号西崖,行永十三. 可久公次子. 名类 : 子泰天志性 庚亢可景仁 公汝良惠亢 仲学思孔孟 继世邦家国 清朝历九卿 上廷明广远 延照发昌荣. 字类 : 宗大德道心 守伯彦善伟 存崇守魁明 承以叔文振 君方广匡希 如时一从允 世次元维孝 天高义可钦. 行类 : 坤玄黄百明 亿丹宁永诜 洪元亨利贞 富贵绳祖武 博厚正直平 昌隆全盛庆 千载祥开衲 纯禧迈运新. 散居地 : 浙江省永嘉县等地. 书名据书签题, 及版心题编目. 卷端题 : 永嘉西溪巽泽壶山孙氏宗谱
浏览:0