推理證明之反證法課件

間接證明之反證法順德倫教中學(xué)王新駭1.引例：將9個(gè)球分別染成紅色或白色。那么無(wú)論怎樣染，至少有5個(gè)球是同色的。你能證明這個(gè)結(jié)論嗎？2.歸納：一般地，假設(shè)原命題不成立，經(jīng)過(guò)正確的推理，最后得出矛盾，因此說(shuō)明假設(shè)錯(cuò)誤，從而證明了原命題成立，這樣的證明方法叫做反證法（歸謬法）——非正即反思想3.;http://L樂(lè)動(dòng)體育LD樂(lè)動(dòng)；

七十七分。一復(fù)，百一十五日一億二千二百二萬(wàn)九千六百五分。行星亦如之，故曰日行一度。統(tǒng)術(shù)推日月元統(tǒng)，置太極上元以來(lái)，外所求年，盈元法除之，余不盈統(tǒng)者，則天統(tǒng)甲子以來(lái)年數(shù)也。盈統(tǒng)，除之，余則地統(tǒng)甲辰以來(lái)年數(shù)也。又盈統(tǒng)，除之，余則人統(tǒng)甲申以來(lái)年數(shù)也。各以其統(tǒng)首日為紀(jì)。推天正，以章月乘入統(tǒng)歲數(shù)，盈章歲得一，名曰積月，不盈者名曰閏馀。閏余十二以上，歲有閏。求地正，加積月一。求入正，加二。推正月朔，以月法乘積月，盈日法得一，名曰積日，不盈者名曰小馀。小馀三十八以上，其月大。積日盈六十，除之，不盈者名曰大馀。數(shù)從統(tǒng)首日起，算外，則朔日也。求其次月，加大馀二十九，小馀四十三。小馀盈日法得一，從大余，數(shù)除如法。求弦，加大馀七，小馀三十一。求望，倍弦。推閏馀所在，以十二乘閏馀，加七得一。盈章中，數(shù)所得，起冬至，算外，則中至終閏盈。中氣在朔若二日，則前月閏也。推冬至，以策余乘入統(tǒng)歲數(shù)，盈弦法得一，名曰大馀，不盈者名曰小馀。除數(shù)如法，則所求冬至日也。求八節(jié)，加大馀四十五，小馀千一十。求二十四氣，三其小馀，加大馀十五，小馀千一十。推中部二十四氣，皆以元為法。推五行，其四行各七十三日，統(tǒng)法分之七十七。中央各十八日，統(tǒng)法分之四百四。冬至后，中央二十七日六百六分。推合晨所在星，置積日，以統(tǒng)法乘之，以十九乘小馀而并之。盈周天，除去之。不盈者，令盈統(tǒng)法得一度。數(shù)起牽牛，算外，則合晨所入星度也。推其日夜半所在星，以章歲乘月小馀，以減合晨度。小馀不足者，破全度。推其月夜半所在星，以月周乘月小馀，盈統(tǒng)法得一度，以減合晨度。推諸加時(shí)，以十二乘小馀為實(shí)，各盈分母為法，數(shù)起於子，算外，則所加辰也。推月食，置會(huì)余歲積月，以二十三乘之，盈百三十五，除之。不盈者，加二十三得一月，盈百三十五，數(shù)所得，起其正，算外，則食月也。加時(shí)，在望日沖辰。紀(jì)術(shù)推五星見復(fù)，置太極上元以來(lái)，盡所求年，乘大終見復(fù)數(shù)，盈歲數(shù)得一，則定見復(fù)數(shù)也。不盈者名曰見復(fù)余。見復(fù)余盈其見復(fù)數(shù)，一以上見在往年，倍一以上，又在前往年，不盈者在今年也。推星所見中次，以見中分乘定見復(fù)數(shù)，盈見中法得一則積中也。不盈者名曰中余。以元中除積中，余則中元余也。以章中除之，余則入章中數(shù)也。以十二除之，余則星見中次也。中數(shù)從冬至起，次數(shù)從星紀(jì)起，算外，則星所見中次也。推星見月，以閏分乘定見復(fù)數(shù)，以章歲乘中余從之，盈見月法得一，并積中，則積月也。不盈者名曰月馀。以元月除積月馀，名曰月元余。以章月除月元余，則入章月數(shù)也。以十二除之，至有閏之歲，除十三入章。三歲一閏，六歲二閏，九歲三閏，十一歲四閏，十四歲五閏，十七歲六閏，十九歲七閏。不盈者數(shù)起於天正，算外，則星所見月也。推至日，以中法乘中元余，盈元法得一，名曰積日，不盈者名曰小馀。小馀盈二千五百九十七以上，中大。數(shù)除積日如法，算外，則冬至也。推朔日，以月法乘月元余，盈日法得一，名曰積日，余名曰小馀。小馀三十八以上，月大。數(shù)除積日如法，算外，則星見月朔日也。推入中次日度數(shù)，以中法乘中余，以見中法乘其小馀并之。盈見中日法得一，則入中日入次度數(shù)也。中以至日數(shù)，次以次初數(shù)，算外，則星所見及日所在度數(shù)也。求夕，在日后十五度。推入月日數(shù)，以月法乘月馀，以見月法乘其小馀并之，盈見月日法得一，則入月日數(shù)也。并之大馀，數(shù)除如法，則見日也。推后見中，加積中於中元余，加后中余於中余，盈其法得一，從中元余，除數(shù)如法，則后見中也。推后見月，加積月於月元余，加后月馀於月馀，盈其法得一，從月元余，除數(shù)如法，則后見月也。推至日及人中次度數(shù)，如上法。推朔日及入月數(shù)，如上法。推晨見加夕，夕見加晨，皆如上法。推五步，置始見以來(lái)日數(shù)，至所求日，各以其行度數(shù)乘之。其星若日有分者，分子乘全為實(shí)，分母為法。其兩有分者，分母分度數(shù)乘全，分子從之，令相乘為實(shí)，分母相乘為法，實(shí)如法得一，名曰積度。數(shù)起星初見星宿所在宿度，算外，則星所在宿度也。歲術(shù)推歲所在，置上元以來(lái)，外所求年，盈歲數(shù)，除去之，不盈者以百四十五乘之，以百四十四為法，如法得一，名曰積次，不盈者名曰次余。積次盈十二，除去之，不盈者名曰定次。數(shù)從星紀(jì)起，算盡之外，則所在次也。欲知太歲，以六十除積次，余不盈者，數(shù)從丙子起，算盡之外，則太歲日也。贏縮。傳曰“歲棄其次而旅於明年之次，以害鳥帑，周、楚惡之”五星之贏縮不是過(guò)也。過(guò)次者殃大，過(guò)舍者災(zāi)小，不過(guò)者亡咎。次度。六物者，歲時(shí)日月星辰也。辰者，日月之會(huì)而建所指也。星紀(jì)，初斗十二度，大雪。中牽牛初，冬至。於夏為十一月，商為十二月，周為正月。終於婺女七度。玄枵，初婺女八度，小寒。中危初，大寒。於夏為十二月，商為正月，周為二月。終於危十五度。諏訾，初危十六度，立春。中營(yíng)室十四度，驚蟄。今日雨水，於夏為正月，商為二月，周為三月。終於奎四度。降婁，初奎五度，雨水。今日驚蟄。中婁四度，春分。於夏為二月，商為三月，周為四月。終於胃六度。大梁，初胃七度，谷雨。今日清明。中昴八度，清明。今日谷雨，於夏為三月，商為四月，周為五月。終於畢十一度。實(shí)沈、初畢十二度，立夏。中井初，小滿。於夏為四月，商為五月，周為六月。終於井十五度。鶉首，初井十六度，芒種。中井三十一度，夏至。於夏為五月。商為六月，周為七月。終於柳八度。鶉火，初柳九度，小暑。中張三度，大暑。於夏為六月，商為七月，周為八月。終於張十七度。鶉尾，初張十八度，立秋。中冀十五度，處暑。於夏為七月，商為八月，周為九月。終於軫十一度。壽星，初軫十二度，白露。中角十度，秋分。於夏為八月，商為九月，周為十月。終於氐四度。大火，初氐五度，寒露。中房五度，霜降。於夏為九月，商為十月，周為十一月。終於尾九度。析木，初尾十度，立冬。中箕七度，小雪。於夏為十月，商為十一月，周為十二月。終於斗十一度。角十二?？壕?。氐十五。房五。心五。尾十八。箕十一。東七十五度。斗二十六。牛八。女十二。虛十。危十七。營(yíng)室十六。壁九。北九十八度?？?。婁十二。胃十四。昴十一。畢十六。觜二。參九。西八十度。井三十三。鬼四。柳十五。星七。張十八。翼十八。軫十七。南百一十二度。九章歲為百七十一歲，而九道小終。九終千五百三十九歲而大終。三終而與元終。進(jìn)退於牽牛之前四度五分。九會(huì)。陽(yáng)以九終，故曰有九道。陰兼而成之，故月有十九道。陽(yáng)名成功，故九會(huì)而終。四營(yíng)而成易，故四歲中余一，四章而朔余一，為篇首，八十一章而終一統(tǒng)。一，甲子元首。漢太初元年。十，辛酉。十九，己未。二十八，丁巳。三十七，乙卯。四十六，壬子。五十五，庚戌。六十四，戊申。七十三，丙午，中。甲辰二統(tǒng)。辛丑。己亥。丁酉。乙未。壬辰。庚寅。戊子。丙戌，季。甲申三統(tǒng)。辛巳。乙卯。丁丑。文王［四］十二年。乙亥。［微二十六年］。壬申。庚午。戊辰。丙寅，孟。愍二十二年。二，癸卯。十一，辛丑。二十，己亥。二十九，丁酉。三十八，甲午。四十七，壬辰。五十六，庚寅。六十五，戊子。七十四，乙酉，中。癸未。辛巳。己卯。丁丑。甲戌。壬申。庚午。戊辰。乙丑，季。癸亥。辛酉。己未。丁巳。周公五年。甲寅。壬子。庚戌。戊申。元四年。乙巳，孟。三，癸未。十二，辛巳。二十一，己卯。三十，丙子。三十九，甲戌。四十八，壬申。五十七，庚午。六十六，丁卯。七十五，乙丑，中。癸亥。辛酉。己未。丙辰。甲寅。壬子。庚戌。丁未。乙巳，季。癸卯。辛丑。己亥。丙申。甲午。壬辰。庚寅。成十二年。丁亥。乙酉，孟。四，癸亥。［初元二年］。十三，辛酉。二十二，戊午。三十一，丙辰。四十，甲寅。四十九，壬子。五十八，己酉。六十七，丁未。七十六，乙巳，中。癸卯。辛丑。戊戌。丙申。甲午。壬辰。己丑。丁亥。乙酉，季。癸未。辛巳。戊寅。丙子。甲戌。壬申。［惠三十八年］。己巳。丁卯。乙丑，孟。五，癸卯。河平元年。十四，庚子。二十三，戊戌。三十二，丙申。四十一，甲午。五十，辛卯。五十九，己丑。六十八，丁亥。七十七，乙酉，中。癸未。庚辰。戊寅。丙子。甲戌。辛未。己巳。丁卯。乙丑，季。癸亥。庚申。戊午。丙辰。甲寅。獻(xiàn)十五年。辛亥。己酉。丁未。乙巳，孟。楚元三年。六，壬午。十五，庚辰。二十四，戊寅。三十三，丙子。四十二，癸酉。五十一，辛未。六十，己巳。六十九，丁卯。七十八，甲子，中。壬戌。庚申。戊午。丙辰。癸丑。辛亥。巳酉。丁未。甲辰，季。壬寅。庚子。戊戌。丙申。煬二十四年。癸巳。辛卯。己丑。丁亥。康四年。甲申，孟。七，壬戌。始建國(guó)三年。十六，庚申。二十五，戊午。三十四，乙卯。四十三，癸丑。五十二，辛亥。六十一，己酉。七十，丙午。七十九，甲辰，中。壬寅。庚子。戊戌。乙未。癸巳。辛卯。己丑。丙戌。甲申，季。壬午。庚辰。戌寅。乙亥。癸酉。辛未。己巳。定七年。丙寅。甲子，孟。八，壬寅。十七，庚子。二十六，丁酉。三十五，乙未。四十四，癸巳。五十三，辛卯。六十二，戊子。七十一，丙戌。八十，甲申，中。壬午。庚辰。丁丑。乙亥。癸酉。辛未。戊辰。丙寅。甲子，季。壬戌。庚申。丁巳。乙卯。癸丑。辛亥。僖五年。戊申。丙午。甲辰，孟。九，壬午。十八，己卯。二十七，丁丑。三十六，乙亥。四十五，癸酉。五十四，庚午。六十三，戊辰。七十二，丙寅。八十一，甲子，中。壬戌。己未。丁巳。乙卯。癸丑。庚戌。戊申。丙午。甲辰，季。壬寅。己亥。丁酉。乙未。癸巳。懿九年。庚寅。戊子。丙戌。甲申，孟。元朔六年。推章首朔旦冬至日，置大馀三十九，小馀六十一，數(shù)除如法，各從其統(tǒng)首起。求其后章，當(dāng)加大馀三十九，小馀六十一，各盡其八十一章。推篇，大馀亦如之，小馀加一。求周至，加大馀五十九，小馀二十一。世經(jīng)《春秋》昭公十七年“郯子來(lái)朝”，《傳》曰：昭子問(wèn)少昊氏鳥名何故，對(duì)曰“吾祖也，我知之矣。昔者，黃帝氏以云紀(jì)，故為云師而云名。炎帝氏以為紀(jì)，故為火師而火名。共工氏以水紀(jì)，故為水師而水名。太昊氏以龍紀(jì)，故為龍師而龍名。我高祖少昊摯之立也，鳳鳥適至，故紀(jì)於鳥，為鳥師而鳥名”言郯子據(jù)少昊受黃帝，黃帝受炎帝，炎帝受共工，共工受太昊，故先言黃帝，上及太昊?；丁兑住?，炮犧、神農(nóng)、黃帝相繼之世可知。太昊帝《易》曰“炮犧氏之王天下也”言炮犧繼天而王，為百王先，首德始於木，故為帝太昊。作罔罟以田漁，取犧牲，故天下號(hào)曰炮犧氏。《祭典》曰“共工氏伯九域”言雖有水德，在火、木之間，其非序也。任知刑以強(qiáng)，故伯而不王。秦以水德，在周、漢木火之間。周人遷其行序，故《易》不載。炎帝《易》曰“炮犧氏沒(méi)，神農(nóng)氏作”言共工伯而不王，雖有水德，非其序也。以火承木，故為炎帝。教民耕農(nóng)，故天下號(hào)曰神農(nóng)氏。黃帝《易》曰“神農(nóng)氏沒(méi)，黃帝氏作”火生土，故為土德。與炎帝之后戰(zhàn)於坂泉，遂王天下。始垂衣裳，有軒、冕之服，故天下號(hào)曰軒轅氏。少昊帝《孝德》曰少昊曰清。清者，黃帝之子清陽(yáng)也，是其子孫名摯立。土生金，故為金德，天下號(hào)曰金天氏。周遷其樂(lè)，故《易》不載，序於行。顓頊帝《春秋外傳》曰：少昊之衰，九黎亂德，顓頊?zhǔn)苤?，乃命重黎。蒼林昌意之子也。金生水，故為水德。天下號(hào)曰高陽(yáng)氏。周遷其樂(lè)，故《易》不載，序於行。帝嚳《春秋外傳》曰：顓頊之所建，帝嚳受之。清陽(yáng)玄囂之孫也。水生木，故為木德。天下號(hào)曰高辛氏。帝摯繼之，不知世數(shù)。周遷其樂(lè)，故《易》不載。周人禘之。唐帝《帝系》曰：帝嚳四妃，陳豐生帝堯，封於唐。蓋高辛氏衰，天下歸之。木生火，故為火德，天下號(hào)曰陶唐氏。讓天下於虞，使子朱處?kù)兜Y為諸侯。即位七十載。虞帝《帝系》曰：顓頊生窮蟬，五世而生瞽叟，瞽叟生帝舜，處虞之媯汭，堯嬗以天下?；鹕?，故為土德。天下號(hào)曰有虞氏。讓天下於禹，使子商均為諸侯。即位五十載。伯禹《帝系》曰：顓頊五世而生鯀，鯀生禹，虞舜嬗以天下。土生金，故為金德。天下號(hào)曰夏后氏。繼世十七王，四百三十二歲。成湯《書經(jīng)·湯誓》：湯伐夏桀。金生水，故為水德。天下號(hào)曰商，后曰殷?！度y(tǒng)》，上元至伐桀之歲，十四萬(wàn)一千四百八十歲，歲在大火房五度，故《傳》曰“大火，閼伯之星也，實(shí)紀(jì)商人”后為成湯，方即世崩沒(méi)之時(shí)，為天子用事十三年矣。商十二月乙丑朔旦冬至，故《書序》曰“成湯既沒(méi)，太甲元年，使伊尹作《伊訓(xùn)》”《伊訓(xùn)》篇曰“惟太甲元年十有二月乙丑朔，伊尹祀於先王，誕資有牧方明”言雖有成湯、太丁、外丙之服，以冬至越茀祀先王於方明以配上帝，是朔旦冬至之歲也。后九十五歲，商十二月甲申朔旦冬至，亡余分，是為孟統(tǒng)。自伐桀至武王伐紂，六百二十九歲，故《傳》曰殷“載祀六百”。《殷歷》曰：當(dāng)成湯方即世用事十三年，十一月甲子朔旦冬至，終六府首。當(dāng)周公五年，則為距伐桀四百五十八歲，少百七十一歲，不盈六百二十九。又以夏時(shí)乙丑為甲子，計(jì)其年乃孟統(tǒng)后五章，癸亥朔旦冬至也。以為甲子府首，皆非是。凡殷世繼嗣三十一王，六百二十九歲?！端姆帧?，上元至伐桀十三萬(wàn)二千一百一十三歲，其八十八紀(jì)，甲子府首，入伐桀后百二十七歲?！洞呵餁v》，周文王四十二年十二月丁丑朔旦冬至，孟統(tǒng)之二會(huì)首也。后八歲而武王伐紂。武王《書經(jīng)·牧誓》：武王伐商紂。水生木，故為木德。天下號(hào)曰周室?！度y(tǒng)》，上元至伐紂之歲，十四萬(wàn)二千一百九歲，歲在鶉火張十三度。文王受命九年而崩，再期，在大祥而伐紂，故《書序》曰“惟十有一年，武王伐紂，作《太誓》”八百諸侯會(huì)。還歸二年，乃遂伐紂克殷，以箕子歸，十三年也。故