朱佳威 (華東師范大學(xué)教師教育學(xué)院 200062)
張 雪 (杭州師范大學(xué)經(jīng)亨頤教育學(xué)院 311121)
反證法是證明數(shù)學(xué)命題的一種間接方法,其基本證明過(guò)程分三步:首先對(duì)所證命題進(jìn)行否定,再運(yùn)用邏輯推理得出否定命題不成立,最后斷定原命題正確.該方法極為巧妙且對(duì)特定問(wèn)題行之有效,反證法對(duì)學(xué)生逆向思維、創(chuàng)新思維、批判性思維的形成有極大的教育價(jià)值,被牛頓譽(yù)為“數(shù)學(xué)家最精當(dāng)?shù)奈淦髦弧?陳穎[1]稱反證法為“反其道而思之”,有助于人們對(duì)事物本質(zhì)進(jìn)行全新認(rèn)識(shí),也是對(duì)自身思維的一種拓展.Lazar[2]指出:在《幾何原本》第三卷31個(gè)命題中的16個(gè)均是運(yùn)用反證法來(lái)間接證明的,反證法具有如此高的使用頻率,而在中學(xué)教學(xué)中卻缺乏對(duì)其應(yīng)有的關(guān)注,這是極為不正常的.本研究通過(guò)對(duì)大陸現(xiàn)行各版本初、高中數(shù)學(xué)教材中反證法內(nèi)容進(jìn)行探究,以期幫助教師更精準(zhǔn)地把握教學(xué)重難點(diǎn),使學(xué)生的邏輯推理素養(yǎng)得到進(jìn)一步落實(shí).
在現(xiàn)行的初高中數(shù)學(xué)教材中,有四個(gè)版本的教科書(shū)將反證法獨(dú)立成節(jié)編制,如表1所示.我們將這四個(gè)版本教科書(shū)的反證法內(nèi)容按表2框架進(jìn)行比較.
表1 獨(dú)立成節(jié)的反證法
表2 反證法比較框架
在概念引入方式上,滬教版、華師大版、冀教版三個(gè)版本直接給出反證法的使用目的,即當(dāng)問(wèn)題從正面證明有困難時(shí),轉(zhuǎn)而考慮從反面間接證明問(wèn)題來(lái)引出反證法;浙教版則以“路旁苦李”這一古代故事并配合插圖的方式引入反證法.前者從數(shù)學(xué)內(nèi)部來(lái)解釋反證這一方法的必要性,后者從日常生活中的反證邏輯來(lái)說(shuō)明反證法的廣泛適用性.教師可將兩者結(jié)合起來(lái),讓學(xué)生對(duì)反證法的必要性和適用性有更深刻的理解.
在概念表征方式上,滬教版沒(méi)有明確給出反證法證明的三個(gè)步驟,也未對(duì)可能出現(xiàn)的矛盾類型進(jìn)行補(bǔ)充說(shuō)明,而將側(cè)重點(diǎn)放在了常見(jiàn)的否定上.有學(xué)者[3]表示“反證法”作為相對(duì)獨(dú)立的內(nèi)容安排在一單元中,由于沒(méi)有對(duì)命題中結(jié)論否定的教學(xué),使得現(xiàn)在“反證法”這節(jié)課的教學(xué)所承擔(dān)的任務(wù)非常重.這需要教師合理整合教材內(nèi)容,使本節(jié)課關(guān)注方法本身,而不是因?yàn)閷?duì)“否定”的過(guò)多關(guān)注偏離主線.在初中,鑒于反設(shè)一步中的否定要求不高,三個(gè)版本的初中教材均未對(duì)其進(jìn)行補(bǔ)充說(shuō)明,且僅有冀教版清晰完整地呈現(xiàn)了反證法證明的三個(gè)步驟.在矛盾類型的說(shuō)明上,華師大版沒(méi)有作出任何說(shuō)明,其余兩個(gè)版本作了簡(jiǎn)要的介紹,教材對(duì)于矛盾類型的說(shuō)明能幫助學(xué)生正確理解反證法,由于例題中的矛盾大多是與條件的矛盾,可能會(huì)使學(xué)生對(duì)反證法產(chǎn)生錯(cuò)誤的認(rèn)識(shí),不少學(xué)生認(rèn)為反證法就是利用逆否命題來(lái)進(jìn)行證明.
在反證法的應(yīng)用領(lǐng)域上,滬教版在例題和習(xí)題中都將其應(yīng)用于代數(shù)領(lǐng)域,而初中的三個(gè)版本絕大多數(shù)都應(yīng)用于幾何領(lǐng)域,可見(jiàn)在應(yīng)用領(lǐng)域的選取上初高中有明顯的差異.特殊的是,在浙教版的習(xí)題中加入了一例反證法在日常生活中的使用(見(jiàn)例1).該版本非常重視反證法在數(shù)學(xué)以外的應(yīng)用,最新修訂的《義務(wù)教育數(shù)學(xué)課程標(biāo)準(zhǔn)(2022年版)》[4]的總目標(biāo)中指出:“體會(huì)數(shù)學(xué)知識(shí)之間、數(shù)學(xué)與其他學(xué)科之間、數(shù)學(xué)與生活之間的聯(lián)系,在探索真實(shí)情境所蘊(yùn)含的關(guān)系中,發(fā)現(xiàn)問(wèn)題和提出問(wèn)題.”在新一輪的教材修訂中,可以借鑒這一做法,將其編寫(xiě)入教材.
例1反證法的思想也時(shí)常體現(xiàn)在人們的日常交流中,下面是一個(gè)相關(guān)例子:
媽媽:小華,聽(tīng)說(shuō)鄰居小芳全家這幾天正在外地旅游.
小華:媽媽,不可能,我昨天和今天上午都還在學(xué)校碰到了她和她媽媽呢!
上述對(duì)話中,小華要告訴媽媽的命題是什么?他是如何推斷該命題的正確性的?在你的日常生活中也有類似的例子嗎?請(qǐng)舉一至兩個(gè)例子.
除了上述單獨(dú)成節(jié)、系統(tǒng)介紹反證法的例子,初高中教材中還零散分布著一些運(yùn)用反證法來(lái)證明的定理或命題,具體如表3所示.部分初中教材雖未系統(tǒng)地介紹什么是反證法,但依托于某個(gè)問(wèn)題的解決,也會(huì)引入“反證法”的概念,但并不深入,僅告訴學(xué)生這樣證明問(wèn)題的方法叫反證法及其證明步驟,缺乏知識(shí)系統(tǒng)性,初中學(xué)生很難通過(guò)教材中零星分散的反證法來(lái)掌握這一方法,這需要教師結(jié)合教材加以整理.高中教材中的反證法主要集中于立體幾何板塊,這些反證法的使用一方面能加深學(xué)生對(duì)方法本身的認(rèn)識(shí),另一方面對(duì)落實(shí)邏輯推理數(shù)學(xué)素養(yǎng)有重要意義,可以看出立體幾何是發(fā)展學(xué)生邏輯推理素養(yǎng)的重要載體.在統(tǒng)計(jì)模塊的獨(dú)立性檢驗(yàn)內(nèi)容也用到了反法證的思想方法.總的來(lái)說(shuō),教材中的反證法多被應(yīng)用于證明幾何領(lǐng)域的定理或命題,而在代數(shù)和其他領(lǐng)域中使用反證法,需要教師進(jìn)一步挖掘教材中定理的多種證明方法,如“糖水不等式”就可利用反證法來(lái)證明.
表3 教材中利用反證法來(lái)證明的定理與命題
學(xué)者Dawkins和Karunakaran[5]強(qiáng)調(diào):“我們擔(dān)心將數(shù)學(xué)證明框架作為單一的、內(nèi)容通用的實(shí)踐可能會(huì)不恰當(dāng)?shù)氐凸捞囟〝?shù)學(xué)內(nèi)容在其中發(fā)揮的作用.在一項(xiàng)任務(wù)中,學(xué)生把對(duì)立命題視為等價(jià)命題,而在其他任務(wù)中,他們看不到等價(jià)命題,也沒(méi)有表現(xiàn)出對(duì)一般邏輯關(guān)系的有意識(shí)知識(shí).”由此可見(jiàn),學(xué)生學(xué)習(xí)反證法也要放在不同的知識(shí)領(lǐng)域中去,逐步加深對(duì)反證法的理解.
通過(guò)對(duì)各版本教材反證法內(nèi)容的探析,得到如下結(jié)論:
(1)教科書(shū)中單獨(dú)成節(jié)的反證法僅有四個(gè)版本,其余版本大多依托于某問(wèn)題解決來(lái)引出反證法,且零散地分布在各初高中教材中.
(2)在單獨(dú)成節(jié)的反證法內(nèi)容中,三個(gè)版本初中教科書(shū)多從正難則反的角度來(lái)引出反證法,僅浙教版以典故引出反證法;各版本對(duì)于概念表征的側(cè)重點(diǎn)不同,高中階段對(duì)反設(shè)步驟中的否定有詳細(xì)的補(bǔ)充說(shuō)明,而初中階段三本教材主要是對(duì)矛盾類型以及反證法步驟進(jìn)行詳細(xì)的解釋.除冀教版外的各版本教科書(shū)都注意到了數(shù)學(xué)史的應(yīng)用,浙教版還特別加入了反證法在實(shí)際生活中的應(yīng)用.
(3)初中階段利用反證法來(lái)證明的定理多分布于幾何領(lǐng)域,尤其在三角形、平行線與相交線章節(jié);高中階段則多在立體幾何領(lǐng)域.
(1)重視反證法的系統(tǒng)教學(xué)
同樣是數(shù)學(xué)方法,數(shù)學(xué)歸納法在以往都是單獨(dú)成節(jié)系統(tǒng)介紹,但是反證法卻截然不同,其零散分布的特點(diǎn)導(dǎo)致學(xué)生對(duì)于反證法的理解不深刻、不到位.Antonini[6]認(rèn)為間接證明在學(xué)校教育中沒(méi)有得到足夠的重視,不論是在中學(xué)還是大學(xué).王滟林[7]指出,在進(jìn)入21世紀(jì)后,隨著課程改革的推進(jìn),對(duì)反證法的教學(xué)要求有降低趨勢(shì),最近10多年來(lái)涉及反證法的高考考題越來(lái)越少,有時(shí)甚至干脆不考,并且在新修訂的課程標(biāo)準(zhǔn)(2017年版)中,“反證法”這三個(gè)字甚至沒(méi)有直接出現(xiàn)在“必修課程”“選擇性必修課程”之中,這是不太正常的事.Thompson[8]認(rèn)為中學(xué)課程對(duì)這種證明技術(shù)的重視程度較低,難怪學(xué)生們發(fā)現(xiàn)這種技術(shù)難以理解和使用.由此可見(jiàn),新滬教版教材將反證法列入必修內(nèi)容,系統(tǒng)地給學(xué)生介紹反證法是十分必要的.
(2)關(guān)注反證法的多元應(yīng)用價(jià)值
通過(guò)前述的研究結(jié)果我們可以發(fā)現(xiàn),反證法與初高中數(shù)學(xué)課程體系中的其他內(nèi)容有很廣泛的聯(lián)系.這就要求教師在教授其他章節(jié)時(shí),多次呈現(xiàn),螺旋上升,在具體應(yīng)用過(guò)程中讓學(xué)生感悟反證法的價(jià)值,建立整體的教學(xué)觀.
事實(shí)上,反證法也廣泛地應(yīng)用在其他學(xué)科中,如政治、物理,教師可借其他學(xué)科中的“反證法”來(lái)開(kāi)展項(xiàng)目式學(xué)習(xí),讓學(xué)生從不同學(xué)科角度來(lái)看待反證法,收獲對(duì)反證法的全新認(rèn)識(shí).
(3)用好反證法,落實(shí)邏輯推理核心素養(yǎng)
Antonini[9]、Brown[10]、Taee與Yevdokimov[11]等學(xué)者認(rèn)為反證法證明困難是因?yàn)榉醋C法沒(méi)有證明的一般模板.舉例來(lái)說(shuō),在證明兩集合相等時(shí),學(xué)生會(huì)被要求去證明兩個(gè)集合互為子集;在證明線面平行時(shí),學(xué)生會(huì)被要求去尋找平面上與已知直線平行的直線,并說(shuō)明已知直線不在面上.與直接證明相比,反證法中常見(jiàn)的推理方法數(shù)量較少,方法更加靈活多變,學(xué)生更難以掌握,這對(duì)學(xué)生的邏輯推理能力提出了很高的要求.但正因如此,反證法對(duì)學(xué)生推理能力的訓(xùn)練價(jià)值很高,教師要?jiǎng)?chuàng)造性地運(yùn)用教材,創(chuàng)造性地施教,讓反證法不再是學(xué)生學(xué)習(xí)的痛點(diǎn)與難點(diǎn).