推理证明之反证法PPT课件

顺德伦教中学 王新骇
引例： 将9个球分别染成红色或白色。那么Baidu Nhomakorabea论 怎样染，至少有5个球是同色的。你能证 明这个结论吗？
归纳： 一般地，假设原命题不成立，经过正确的 推理，最后得出矛盾，因此说明假设错误， 从而证明了原命题成立，这样的证明方法 叫做反证法（归谬法）——非正即反思想
; http://Ledongsports6.cn 乐动体育 LD乐动 ；
七十七分。一复，百一十五日一亿二千二百二万九千六百五分。行星亦如之，故曰日行一度。统术推日月元统，置太极上元以来，外所求年，盈元法除之，余不盈统者，则天统甲子以来年数也。盈统，除之，余则地统甲辰以来年数也。又盈统，除之，余则人统甲申以来年数也。各以其统 首日为纪。推天正，以章月乘入统岁数，盈章岁得一，名曰积月，不盈者名曰闰馀。闰余十二以上，岁有闰。求地正，加积月一。求入正，加二。推正月朔，以月法乘积月，盈日法得一，名曰积日，不盈者名曰小馀。小馀三十八以上，其月大。积日盈六十，除之，不盈者名曰大馀。数从 统首日起，算外，则朔日也。求其次月，加大馀二十九，小馀四十三。小馀盈日法得一，从大余，数除如法。求弦，加大馀七，小馀三十一。求望，倍弦。推闰馀所在，以十二乘闰馀，加七得一。盈章中，数所得，起冬至，算外，则中至终闰盈。中气在朔若二日，则前月闰也。推冬至， 以策余乘入统岁数，盈弦法得一，名曰大馀，不盈者名曰小馀。除数如法，则所求冬至日也。求八节，加大馀四十五，小馀千一十。求二十四气，三其小馀，加大馀十五，小馀千一十。推中部二十四气，皆以元为法。推五行，其四行各七十三日，统法分之七十七。中央各十八日，统法分 之四百四。冬至后，中央二十七日六百六分。推合晨所在星，置积日，以统法乘之，以十九乘小馀而并之。盈周天，除去之。不盈者，令盈统法得一度。数起牵牛，算外，则合晨所入星度也。推其日夜半所在星，以章岁乘月小馀，以减合晨度。小馀不足者，破全度。推其月夜半所在星， 以月周乘月小馀，盈统法得一度，以减合晨度。推诸加时，以十二乘小馀为实，各盈分母为法，数起於子，算外，则所加辰也。推月食，置会余岁积月，以二十三乘之，盈百三十五，除之。不盈者，加二十三得一月，盈百三十五，数所得，起其正，算外，则食月也。加时，在望日冲辰。 纪术推五星见复，置太极上元以来，尽所求年，乘大终见复数，盈岁数得一，则定见复数也。不盈者名曰见复余。见复余盈其见复数，一以上见在往年，倍一以上，又在前往年，不盈者在今年也。推星所见中次，以见中分乘定见复数，盈见中法得一则积中也。不盈者名曰中余。以元中除 积中，余则中元余也。以章中除之，余则入章中数也。以十二除之，余则星见中次也。中数从冬至起，次数从星纪起，算外，则星所见中次也。推星见月，以闰分乘定见复数，以章岁乘中余从之，盈见月法得一，并积中，则积月也。不盈者名曰月馀。以元月除积月馀，名曰月元余。以章 月除月元余，则入章月数也。以十二除之，至有闰之岁，除十三入章。三岁一闰，六岁二闰，九岁三闰，十一岁四闰，十四岁五闰，十七岁六闰，十九岁七闰。不盈者数起於天正，算外，则星所见月也。推至日，以中法乘中元余，盈元法得一，名曰积日，不盈者名曰小馀。小馀盈二千五 百九十七以上，中大。数除积日如法，算外，则冬至也。推朔日，以月法乘月元余，盈日法得一，名曰积日，余名曰小馀。小馀三十八以上，月大。数除积日如法，算外，则星见月朔日也。推入中次日度数，以中法乘中余，以见中法乘其小馀并之。盈见中日法得一，则入中日入次度数也。 中以至日数，次以次初数，算外，则星所见及日所在度数也。求夕，在日后十五度。推入月日数，以月法乘月馀，以见月法乘其小馀并之，盈见月日法得一，则入月日数也。并之大馀，数除如法，则见日也。推后见中，加积中於中元余，加后中余於中余，盈其法得一，从中元余，除数如 法，则后见中也。推后见月，加积月於月元余，加后月馀於月馀，盈其法得一，从月元余，除数如法，则后见月也。推至日及人中次度数，如上法。推朔日及入月数，如上法。推晨见加夕，夕见加晨，皆如上法。推五步，置始见以来日数，至所求日，各以其行度数乘之。其星若日有分者， 分子乘全为实，分母为法。其两有分者，分母分度数乘全，分子从之，令相乘为实，分母相乘为法，实如法得一，名曰积度。数起星初见星宿所在宿度，算外，则星所在宿度也。岁术推岁所在，置上元以来，外所求年，盈岁数，除去之，不盈者以百四十五乘之，以百四十四为法，如法得 一，名曰积次，不盈者名曰次余。积次盈十二，除去之，不盈者名曰定次。数从星纪起，算尽之外，则所在次也。欲知太岁，以六十除积次，余不盈者，数从丙子起，算尽之外，则太岁日也。赢缩。传曰“岁弃其次而旅於明年之次，以害鸟帑，周、楚恶之”五星之赢缩不是过也。过次者 殃大，过舍者灾小，不过者亡咎。次度。六物者，岁时日月星辰也。辰者，日月之会而建所指也。星纪，初斗十二度，大雪。中牵牛初，冬至。於夏为十一月，商为十二月，周为正月。终於婺女七度。玄枵，初婺女八度，小寒。中危初，大寒。於夏为十二月，商为正月，周为二月。终於 危十五度。诹訾，初危十六度，立春。中营室十四度，惊蛰。今日雨水，於夏为正月，商为二月，周为三月。终於奎四度。降娄，初奎五度，雨水。今日惊蛰。中娄四度，春分。於夏为二月，商为三月，周为四月。终於胃六度。大梁，初胃七度，谷雨。今日清明。中昴八度，清明。今日 谷雨，於夏为三月，商为四月，周为五月。终於毕十一度。实沈、初毕十二度，立夏。中井初，小满。於夏为四月，商为五月，周为六月。终於井十五度。鹑首，初井十六度，芒种。中井三十一度，夏至。於夏为五月。商为六月，周为七月。终於柳八度。鹑火，初柳九度，小暑。中张三 度，大暑。於夏为六月，商为七月，周为八月。终於张十七度。鹑尾，初张十八度，立秋。中冀十五度，处暑。於夏为七月，商为八月，周为九月。终於轸十一度。寿星，初轸十二度，白露。中角十度，秋分。於夏为八月，商为九月，周为十月。终於氐四度。大火，初氐五度，寒露。中 房五度，霜降。於夏为九月，商为十月，周为十一月。终於尾九度。析木，初尾十度，立冬。中箕七度，小雪。於夏为十月，商为十一月，周为十二月。终於斗十一度。角十二。 亢九。 氐十五。 房五。 心五。 尾十八。 箕十一。东七十五度。斗二十六。 牛八。 女十二。 虚十。 危十七。 营室十六。 壁九。北九十八度。奎十六。 娄十二。 胃十四。 昴十一。 毕十六。 觜二。 参九。西八十度。井三十三。 鬼四。 柳十五。 星七。 张十八。 翼十八。 轸十七。南百一十二度。九章岁为百七十一岁，而九道小终。九终千五百三十九岁 而大终。三终而与元终。进退於牵牛之前四度五分。九会。阳以九终，故曰有九道。阴兼而成之，故月有十九道。阳名成功，故九会而终。四营而成易，故四岁中余一，四章而朔余一，为篇首，八十一章而终一统。一，甲子元首。汉太初元年。十，辛酉。 十九，己未。 二十八，丁巳。 三十七，乙卯。 四十六，壬子。五十五，庚戌。 六十四，戊申。 七十三，丙午，中。甲辰二统。 辛丑。 己亥。 丁酉。 乙未。壬辰。 庚寅。 戊子。丙戌，季。甲申三统。辛巳。 乙卯。丁丑。文王［四］十二年。乙亥。［微二十六年］。壬申。 庚午。 戊辰。 丙寅， 孟。愍二十二年。二，癸卯。 十一，辛丑。 二十，己亥。 二十九，丁酉。 三十八，甲午。 四十七，壬辰。 五十六，庚寅。 六十五，戊子。 七十四，乙酉，中。癸未。 辛巳。 己卯。 丁丑。 甲戌。 壬申。 庚午。 戊辰。 乙丑，季。癸亥。 辛酉。 己未。丁 巳。周公五年。 甲寅。壬子。 庚戌。 戊申。元四年。 乙巳，孟。三，癸未。 十二，辛巳。 二十一，己卯。 三十，丙子。 三十九，甲戌。 四十八，壬申。 五十七，庚午。 六十六，丁卯。 七十五，乙丑，中。癸亥。 辛酉。 己未。 丙辰。 甲寅。 壬子。 庚 戌。 丁未。 乙巳，季。癸卯。 辛丑。 己亥。 丙申。 甲午。 壬辰。庚寅。成十二年。 丁亥。 乙酉，孟。四，癸亥。［初元二年］。 十三，辛酉。 二十二，戊午。 三十一，丙辰。 四十，甲寅。 四十九，壬子。 五十八，己酉。 六十七，丁未。 七十六，乙巳， 中。癸卯。 辛丑。 戊戌。 丙申。 甲午。 壬辰。 己丑。 丁亥。 乙酉，季。癸未。 辛巳。 戊寅。 丙子。 甲戌。 壬申。［惠三十八年］。 己巳。 丁卯。 乙丑，孟。五，癸卯。河