胡佳婧 張亞琦

【摘 要】[HT5K]研究者從HPM的視角來設(shè)計與實施線面垂直的教學(xué)，并加入線面垂直判定定理的證明，培養(yǎng)學(xué)生的邏輯推理素養(yǎng)。同時，研究者利用數(shù)學(xué)史揭示線面垂直判定定理背后的人文元素，讓學(xué)生了解不同時空數(shù)學(xué)家的貢獻(xiàn)，突顯人文元素，展現(xiàn)“文化之魅”，彰顯數(shù)學(xué)“德育之效”。

【關(guān)鍵詞】[HT5K]HPM；線面垂直；定理教學(xué)；數(shù)學(xué)文化

【作者簡介】 胡佳婧，中學(xué)一級教師，主要從事數(shù)學(xué)史與高中數(shù)學(xué)教學(xué)研究；張亞琦，華東師范大學(xué)教師教育學(xué)院碩士研究生，主要從事數(shù)學(xué)史與數(shù)學(xué)教育研究。 [FQ）]

一、引言

“線面垂直”是滬教版高三數(shù)學(xué)上冊第14章中“空間直線與平面的位置關(guān)系”的內(nèi)容。教材通過旗桿與地面的位置關(guān)系引出線面垂直問題，并給出定義，再根據(jù)如何確保旗桿垂直于地面，得到線面垂直判定定理，但教材并未給出定理的證明。這樣的設(shè)計，雖然能使抽象的數(shù)學(xué)問題生活化，便于學(xué)生理解，但在教學(xué)實踐中筆者發(fā)現(xiàn)，學(xué)生心中會存在疑惑：真的能通過判定定理判斷直線與平面垂直嗎？這一結(jié)論是如何得到的？該如何證明呢？在教學(xué)設(shè)計中，教師一般通過實驗操作來驗證定理的正確性，包括動態(tài)觀察旗桿與影子的關(guān)系[1-2]和折紙實驗[3-8]；只有極少數(shù)的教學(xué)設(shè)計在操作的基礎(chǔ)上給出嚴(yán)格的定理證明[9]。我們很少看到從HPM視角下的教學(xué)設(shè)計。

歷史上，關(guān)于線面垂直的判定定理有許多精彩的證明方法，有些證明方法對于高中學(xué)生來說是易于理解與掌握的?！镀胀ǜ咧袛?shù)學(xué)課程標(biāo)準(zhǔn)（2017年版）》提出，要在數(shù)學(xué)教學(xué)中落實培養(yǎng)學(xué)生的邏輯推理素養(yǎng)，并要求適當(dāng)滲透數(shù)學(xué)文化。數(shù)學(xué)史恰恰能幫助我們達(dá)到這些目標(biāo)。歷史提供的不同觀點和不同表征方式，既可以指導(dǎo)教學(xué)，又可以讓學(xué)生認(rèn)識到數(shù)學(xué)是經(jīng)歷演進(jìn)過程的學(xué)科，而不是從天上掉下來的[10]。

因此，我們可以從HPM的視角來設(shè)計與實施線面垂直的教學(xué)，加入線面垂直判定的證明，培養(yǎng)學(xué)生的邏輯推理素養(yǎng)；同時，還可以利用數(shù)學(xué)史揭示線面垂直判定定理背后的人文元素。此外，教師介紹中國古代的立體圖形，讓學(xué)生感受數(shù)學(xué)文化的同時，激發(fā)學(xué)生的民族自豪感。

為此，我們擬訂本節(jié)課的教學(xué)目標(biāo)如下：

① 學(xué)生能掌握線面垂直的定義、性質(zhì)與判定定理；

② 學(xué)生會利用線面垂直的性質(zhì)與判定定理進(jìn)行一些簡單的推理，解決空間距離問題；

③ 讓學(xué)生了解歷史上精彩的線面垂直判定定理的證明方法，培養(yǎng)學(xué)生的邏輯推理素養(yǎng)，增加學(xué)生數(shù)學(xué)學(xué)習(xí)的自信心，樹立正確的數(shù)學(xué)觀；

④ 讓學(xué)生了解中國古代的立體圖形，滲透數(shù)學(xué)文化，培養(yǎng)學(xué)生的愛國主義情懷。

二、歷史材料及其運用

西方早期的幾何教科書給出了線面垂直判定定理的許多嚴(yán)格證明。這些證明分屬兩個傳統(tǒng)，一是歐幾里得傳統(tǒng)，二是引理法傳統(tǒng)[11]。本節(jié)課采用的歷史素材有克萊羅的直觀解釋、對稱法和勒讓德證法，運用引理法的錯誤證明方法，以及中國古代的基本立體圖形。

1歷史上線面垂直判定定理的證明

（1）克萊羅的直觀解釋

法國數(shù)學(xué)家克萊羅（ACClairaut）在《幾何基礎(chǔ)》中并未給出線面垂直判定定理的嚴(yán)格證明，但他給出了直觀的解釋。如圖1所示， AB為長方形CDEF對折后的折痕，將所折線段BC、BD分別與平面上過點B且垂直于AB的兩條已知直線貼合，則AB與平面垂直。 這一解釋為本節(jié)課的設(shè)計提供了借鑒。教師利用克萊羅的折紙模型引出主題，并借助模型引導(dǎo)學(xué)生一起探究線面垂直的定義。

[XCM12.TIF][TS（] [HT5"H]圖[STFZ]1[STBZ] [HT5"H]克萊羅的直觀解釋[TS）]

（2）對稱法和勒讓德證法

對稱法出現(xiàn)于美國數(shù)學(xué)家泰班（E. T. Tappan）的《平面與立體幾何》中。如圖2所示， 已知直線AB⊥AC，AB⊥AD，在AC和AD上各取點C和D，連接CD，過點A在AC和AD所在平面上任作一條直線，交CD于點E。為證明AB⊥AE，延長BA至B′，使AB=AB′，連接BC，BD，BE，B′C，B′D和B′E，根據(jù)中垂線定理可知，BC=B′C，BD=B′D，故∠BCE=B′CE，從而△BCE[XC=.TIF，JZ]△B′CE，BE=B′E，即可得到AB⊥AE。由AE的任意性可知，AB垂直于AC和AD所在平面。

最原始的歐氏證法煩瑣冗長，涉及五組三角形全等。之后雖有數(shù)學(xué)家對其進(jìn)行簡化，但簡化后的證明并不嚴(yán)謹(jǐn)，不適合課堂教學(xué)。本節(jié)課同樣選擇純幾何邏輯推理證明的對稱法，作為線面垂直判定定理的主要證明方法。

雖然都是用代數(shù)思想解決幾何問題，但介紹法國數(shù)學(xué)家勒讓德（AMLegendre）的證明方法，不僅能把中線定理介紹給學(xué)生，而且可以讓學(xué)生了解數(shù)學(xué)史知識。但由于內(nèi)容比較多，教師錄制微視頻讓學(xué)生課后自學(xué)。

2線面垂直判定定理的錯誤證明

美國數(shù)學(xué)家斯圖爾特（STStewart）在《平面與立體幾何》中給過一個利用反證法的證明。如圖3所示， 已知AB⊥CK，AB⊥EF，HS是CK和EF所在平面上任意一條過點A的直線，假設(shè)AB不垂直于HS，作BI⊥HS，則BI引理法傳統(tǒng)的證明方法就是教科書中所提到的從公理得出的證明方法。無論是引理法還是阿達(dá)瑪證法都比較抽象，對于有些學(xué)生而言比較難以理解，因此，教師一般不選擇這兩種證明方法作為課堂教學(xué)內(nèi)容。但引理法所用到的反證法，是立體幾何證明中比較常用的一種方法，是學(xué)生需要掌握的知識。在課堂上，教師向?qū)W生展示此錯誤證明方法，讓學(xué)生進(jìn)行辨析。

3《九章算術(shù)》中的立體圖形

塹堵、陽馬、鱉臑是中國古代三個重要的立體圖形。如圖4，塹堵是兩底面為直角三角形的棱柱；如圖5，陽馬是底面為長方形，兩個三角面與底面垂直的四棱錐；如圖6，鱉臑是四個面均為直角三角形的三棱錐。斜解一個塹堵，可以得到一個陽馬與一個鱉臑，其中陽馬和鱉臑的體積之比恒為2∶1，這就是劉徽原理。

為了提升學(xué)生的學(xué)習(xí)興趣，教師利用這幾個立體圖形來編制空間距離問題，并介紹中國古代的陽馬術(shù)。

三、教學(xué)設(shè)計與實施

1引入新知

為激發(fā)學(xué)生的學(xué)習(xí)興趣，教師引入電影《唐人街探案》的一個小片段。教師先請學(xué)生幫助視頻中的小女孩完成“如何把一張紙立起來”這個難題。一名學(xué)生將紙折疊后打開成一定角度，成功地將一張紙立在了桌面上。然后教師提出問題：“此時折痕與桌面有怎樣的位置關(guān)系？”最后，教師引入本節(jié)課的學(xué)習(xí)主題——線面垂直。

2探究定義

教師請學(xué)生列舉一些生活中線面垂直的例子，如墻角線與地面、旗桿與地面等。

師：[JP3]我們再來看剛剛的折紙模型（如圖7），在桌面上是不是有兩條邊？我們就盯著一條邊看，折痕所在直線與這條邊所在直線有怎樣的位置關(guān)系？

生：垂直。

師：如果我以折痕為軸，將這個折紙進(jìn)行旋轉(zhuǎn)，我們盯著的那條邊在桌面上的位置發(fā)生變化。隨著這條邊位置的變化，折痕所在直線與這條邊所在直線的位置是什么關(guān)系？

生：還是垂直。

師：如果在平面上任意找一條不過折痕所在直線 AB與平面交點B的直線B′C′，直線B′C′與直線AB的位置關(guān)系是什么？

生：還是垂直。

師：為什么？

生：因為這條線還是在平面上。

師：非常好！在平面上就可以進(jìn)行平移?？蓪⑦@條線平移到過折痕所在直線與平面的交點，那么這條線也就一定與折痕所在直線垂直。

師：由此，大家能得到怎樣的結(jié)論？

生：垂直于平面的直線，垂直于平面上的任何一條直線。

師：那么同學(xué)們能不能給出線面垂直的定義？

生：如果一條直線與平面上的所有直線都垂直，那么這條直線垂直于這個平面。

（教師同步呈現(xiàn)PPT。）

3總結(jié)性質(zhì)

在這個教學(xué)環(huán)節(jié)，教師讓學(xué)生判斷以下兩個命題的真假。

命題1：如果一條直線垂直于一個平面內(nèi)的無數(shù)條直線，那么這條直線與這個平面垂直。

命題2：如果一條直線垂直于平面，則與這條直線平行的直線也與平面垂直。

師：大家覺得命題1成立嗎？

生：不成立。

師：為什么不成立？

生：當(dāng)直線 AB傾斜時，在平面上能找到與直線AB垂直的直線，甚至是無數(shù)條，但無數(shù)不等價于所有。

師：對。那么命題2呢？

生：正確。

師：能不能請你說明一下，為什么正確？

生：與已知直線平行的直線，可以通過平移與已知直線重合，就說明與平面也是垂直的。

（教師和學(xué)生一起進(jìn)行性質(zhì)總結(jié)。性質(zhì)1：一條直線垂直于平面，則與平面上任意一條直線垂直。性質(zhì)2：一條直線垂直于平面，則與這條直線平行的直線也與平面垂直。）

4證明定理

教師總結(jié)完性質(zhì)之后繼續(xù)追問學(xué)生，定義是否可以判定線面垂直，從而引出判定定理。

師：能不能直接用線面垂直的定義作為線面垂直的判定？也就是說，你要證明直線與平面垂直，你就要證明直線與平面上所有的直線都垂直。所謂“所有”，究竟有多少條？

生：無數(shù)條。

師：[JP3]但是無數(shù)條數(shù)量太多了，我們接下來的想法就是能否把數(shù)量減少？減少到幾條比較合適呢？

生：減少到兩條，而且是兩條不平行的直線。

師：為什么是兩條？而且還是兩條不平行的直線呢？

生：因為兩條相交直線確定一個平面。

師：老師認(rèn)為，你能確定將直線減少到兩條這一點非常好！那我們就按平行與相交兩種情況來進(jìn)行考慮。如果直線垂直于平面上兩條平行的直線，能說這條直線垂直于這個平面嗎？

生：不行。前面舉過反例，垂直于無數(shù)條平行線都不能說明直線垂直于這個平面。

師：說得太好了！排除了平行的情況，如果直線垂直于平面上兩條相交的直線，能說這條直線垂直于這個平面嗎？

師：所以我們現(xiàn)在要研究的問題是，如果一條直線垂直于平面上兩條相交的直線，那么這條直線與平面上的任意一條直線都垂直嗎？

首先，教師引導(dǎo)學(xué)生厘清證明思路，根據(jù)已知條件，明確要證的結(jié)論是 AB⊥AE 。然后，教師引導(dǎo)學(xué)生回憶要證明兩條直線互相垂直的基本方法，如勾股定理逆定理、相似全等、等腰三角形三線合一等，并決定利用等腰三角形三線合一的性質(zhì)進(jìn)行證明。借助幾何畫板，提示學(xué)生通過添加輔助線構(gòu)造三角形，最后，由一位學(xué)生順利完成證明，大致思路如下。

證明： 延長BA至B′，使AB=AB′，連接BC，BD，BE，B′C，B′D和B′E。由中垂線定理可知，BC=B′C，BD=B′D，故△BCD[XC=.TIF，JZ]△B′CD，BE=B′E，即可得AB⊥AE，由AE的任意性可知，AB垂直于AC、AD所在平面。

師：剛剛這位同學(xué)很厲害，她完成了美國數(shù)學(xué)家泰班在《平面與立體幾何》中所提到的證法，這種方法簡稱對稱法。

（全班響起熱烈的掌聲。）

師：其實利用勾股定理的逆定理也可以對這一命題進(jìn)行證明。法國數(shù)學(xué)家勒讓德就是這樣證明的，簡稱勒讓德證法。老師給大家做了一個微視頻，希望大家在課后去學(xué)習(xí)一下，再將對稱法與勒讓德證法進(jìn)行比較，看看你自己更喜歡哪種證法。

師：我們再一起來看一個不太一樣的證明方法，請大家思考這個證明對不對。

證明：如前面圖3， 已知AB⊥CK，AB⊥EF，HS是CK和EF所在平面上任意一條過點A的直線。假設(shè)AB不垂直于HS，作BI⊥HS，則BI師：這種證明方法正確嗎？

生：不正確。他在證明過程中用到了“ AB 是垂線段”，那是需要證明的結(jié)論。

師：非常好。他把結(jié)論當(dāng)成條件來用，是一個錯誤證法。這個證明是美國數(shù)學(xué)家斯圖爾特在《平面與立體幾何》中所給出的?？梢姅?shù)學(xué)家也會犯錯誤。今后大家在數(shù)學(xué)學(xué)習(xí)中遇到挫折千萬不要氣餒，要對自己有信心。

師：其實在歷史的長河中，對于線面垂直判定的證明，除了剛剛提到的那些證明方法，還有很多不同的證明方法。數(shù)學(xué)家們都在為找到更完美的證明方法而努力，從不準(zhǔn)確到準(zhǔn)確，從煩瑣到簡潔，數(shù)學(xué)家們這種精益求精的精神是值得我們學(xué)習(xí)的。

教師請一位學(xué)生總結(jié)線面垂直的判定定理，并向?qū)W生說明無須保證這兩條相交直線與已知直線有公共點。

5應(yīng)用練習(xí)

學(xué)生順利完成了證明，并能推斷該圖形的四個面都是直角三角形。教師指出，在中國古代，該立體圖形被稱為鱉臑。鱉臑意為甲魚前肢下半截的骨頭，該圖形因與鱉臑相像而得名。

① 證明EO垂直于平面ABCD，并求EO的長。

② EO與平面ADP有怎樣的位置關(guān)系？求EO到面ADP的距離。

③ 直線PC與直線AD 有怎樣的位置關(guān)系？能求它們之間的距離嗎？

[XCM21.TIF][TS（] [HT5"H]圖[STFZ]10[STBZ][TS）]

在解決例2的同時，教師首先介紹幾種空間距離，如： EO垂直于平面ABCD，故EO是點E到平面ABCD的距離； 線面距離問題可轉(zhuǎn)化成點面距離問題，面面距離問題也是如此；給出公垂線的定義，并引導(dǎo)學(xué)生找到異面直線的公垂線，解決異面直線的距離問題。教師用PPT呈現(xiàn)空間距離，比文字定義更容易讓學(xué)生接受；將新知識融入例題講解，節(jié)約了大量教學(xué)時間。

然后，教師播放微視頻，介紹中國古代三個重要立體圖形——塹堵、陽馬和鱉臑，并用動畫演示劉徽原理，揭示中國古代數(shù)學(xué)家在幾何學(xué)領(lǐng)域的重要成就。

6課堂小結(jié)

在本教學(xué)環(huán)節(jié)，教師引導(dǎo)學(xué)生回顧本節(jié)課學(xué)習(xí)的內(nèi)容，點明本節(jié)課的重要思想。

師：今天這節(jié)課我們學(xué)了哪些內(nèi)容？

生：這節(jié)課我們學(xué)了線面垂直的定義、性質(zhì)與判定定理，求空間距離，認(rèn)識了中國古代三個重要立體圖形——塹堵、陽馬、鱉臑。

師：好的，以上內(nèi)容希望大家掌握并熟練運用。本節(jié)課，我們還一同分享了一些國外數(shù)學(xué)家對線面垂直判定定理的證明方法，以及中國古代數(shù)學(xué)家對立體幾何領(lǐng)域所做出的貢獻(xiàn)。希望大家能學(xué)習(xí)數(shù)學(xué)家們精益求精的精神，并為中國文化的博大精深感到自豪。

四、學(xué)生反饋

課后筆者收集全班33名學(xué)生對本節(jié)課的反饋信息，主要從概念、應(yīng)用、思想方法和思想情感等方面對學(xué)生進(jìn)行了調(diào)查。

在問及線面垂直的數(shù)學(xué)概念時，學(xué)生想到了數(shù)學(xué)史相關(guān)的內(nèi)容（如鱉臑）、生活中的線面垂直例子（如旗桿與地面的位置關(guān)系），以及相關(guān)的數(shù)學(xué)知識（如線線垂直）。關(guān)于所學(xué)知識在問題解決中的應(yīng)用，大部分學(xué)生沒有填寫。填寫正確的學(xué)生能思路清晰地解答問題，填寫錯誤的原因包括兩種：一種是解題思路正確，但在書寫中存在問題；另一種是解題思路不正確。

% 的學(xué)生覺得線面垂直判定定理的證明方法難，不太容易理解；4545[WTXT]% 的學(xué)生覺得有點難度，大概能理解；3636% 的學(xué)生覺得不難，可以理解。所有學(xué)生都認(rèn)為，有必要在本節(jié)課中講授線面垂直判定定理的證明；8485[WTXT]% 的學(xué)生喜歡教師在課堂上講錯誤的證明方法，以及中國古代的特殊立體圖形。

大部分學(xué)生體會到了化歸的數(shù)學(xué)思想，還有部分學(xué)生提到數(shù)形結(jié)合、由繁化簡以及空間邏輯思維等思想。

學(xué)生的反饋說明，學(xué)生對于中國古代的特殊幾何體（陽馬、鱉臑）特別感興趣。一名學(xué)生提到，數(shù)學(xué)家證明線面垂直的方法是錯誤的，讓他了解到數(shù)學(xué)的另一面，相信自己能夠正確對待學(xué)習(xí)中出現(xiàn)的錯誤，樹立數(shù)學(xué)學(xué)習(xí)的自信心。

五、結(jié)語

在本節(jié)課中，教師引導(dǎo)學(xué)生運用對稱法證明線面垂直判定定理，又通過微視頻，向?qū)W生展示了勒讓德的證明方法，利用數(shù)學(xué)史揭示了“方法之美”。追溯線面垂直判定定理的歷史，讓學(xué)生了解不同時空數(shù)學(xué)家的貢獻(xiàn)，突顯人文元素，展現(xiàn)了“文化之魅”。歷史上的證明方法有助于培養(yǎng)學(xué)生的邏輯推理、直觀想象素養(yǎng)，達(dá)成了“能力之助”。教師引導(dǎo)學(xué)生證明定理，穿越時空與數(shù)學(xué)家對話，讓學(xué)生樹立數(shù)學(xué)學(xué)習(xí)的自信心；再現(xiàn)數(shù)學(xué)家的錯誤，讓學(xué)生正確認(rèn)識數(shù)學(xué)研究作為一種文化活動的本質(zhì)，改變他們對于數(shù)學(xué)課本知識一成不變的刻板印象。數(shù)學(xué)家不斷探求定理的新證明，讓學(xué)生感悟數(shù)學(xué)背后的人文精神。對中國古代數(shù)學(xué)的介紹，激發(fā)了學(xué)生的民族自豪感，數(shù)學(xué)史彰顯了“德育之效”。

考慮到教學(xué)內(nèi)容，為了能夠完全達(dá)成教學(xué)任務(wù)，本節(jié)課的定理證明環(huán)節(jié)基本上按照預(yù)設(shè)展開，教師沒有給予學(xué)生更多的探究機會和思考空間，從而未能完全實現(xiàn)數(shù)學(xué)史的“探究之樂”這一教育價值。探究活動的設(shè)置與教學(xué)任務(wù)之間的平衡，正是未來HPM視角下的數(shù)學(xué)教學(xué)需要解決的重要問題之一。

參考文獻(xiàn)：

[1]郭佩華，陳光立.關(guān)注概念生成，發(fā)展學(xué)生思維：“直線與平面垂直”的教學(xué)設(shè)計與反思[J].中學(xué)數(shù)學(xué)月刊，2014（6）：29-31

[2]郭虹賓.“直線與平面垂直的判定”的教學(xué)難點及教學(xué)設(shè)計[J].數(shù)學(xué)教學(xué)通訊，2013（11）：9-11

[3]竇楚翹.“直線與平面垂直的判定”課堂實錄[J].中學(xué)數(shù)學(xué)教學(xué)參考，2016（22）：9-12.

[4]方志平.“直線與平面垂直的判定”教學(xué)設(shè)計[J].中小學(xué)數(shù)學(xué)（高中版），2014（10）：31-34

[5]蔣明建.談新課程中面面平行、線面垂直判定定理教學(xué)的困惑與思考[J].中小學(xué)數(shù)學(xué)（高中版），2013（3）：14-16.

[6]宮前長.“厘清”思路抓本質(zhì)，“講究”邏輯煉能力：新課程“線面垂直”一課的教學(xué)思考及感悟[J].中學(xué)數(shù)學(xué)，2016（5）：13-17.

[7]費麗靚，楊光偉.線面垂直判定的實驗教學(xué)[J].數(shù)學(xué)教學(xué)研究，2011（3）：63-65.

[8]蔣秀梅，黃海生.感知探究重過程，明義辨析揚理性：“直線與平面垂直的判定”教學(xué)與反思[J].中小學(xué)數(shù)學(xué)（高中版），2018（3）：34-38.

[9]許金松.探索發(fā)現(xiàn)創(chuàng)新[J].數(shù)學(xué)教學(xué)通訊，2001（6）：18-19.

[10]汪曉勤.HPM：數(shù)學(xué)史與數(shù)學(xué)教育[M].北京：科學(xué)出版社，2017.

[11]沈中宇，汪曉勤.20世紀(jì)中葉以前西方幾何教科書中的線面垂直判定定理[J].中學(xué)數(shù)學(xué)月刊，2017（1）：44-47.