• 
    

    
    

      99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看

      ?

      關(guān)注數(shù)學(xué)算法 創(chuàng)作數(shù)學(xué)命題*
      ——以一個(gè)不等式問(wèn)題證明為例

      2019-07-24 10:07:20余繼光張新志
      關(guān)鍵詞:命題證明人工智能

      ●余繼光 ●張新志

      (柯橋中學(xué),浙江 紹興 312030)(姜堰第二中學(xué),江蘇 泰州 225500)

      算法是指解題方案的準(zhǔn)確而完整的描述,是一系列解決問(wèn)題的清晰指令.算法代表著用系統(tǒng)的方法描述解決問(wèn)題的策略機(jī)制.進(jìn)入人工智能時(shí)代,數(shù)學(xué)起著關(guān)鍵性作用,而人工智能的本質(zhì)之一就是算法的升級(jí)與算法思想的研究,人工智能的發(fā)展對(duì)數(shù)學(xué)教學(xué)研究具有促進(jìn)作用[1].從算法的視角看數(shù)學(xué)命題創(chuàng)作值得思考,建立在數(shù)學(xué)基礎(chǔ)知識(shí)、基本能力、基本思想之上的算法值得基礎(chǔ)數(shù)學(xué)教學(xué)研究者關(guān)注,現(xiàn)以一個(gè)不等式問(wèn)題的證明入手來(lái)審視算法的作用與影響.

      1 一個(gè)不等式證明的算法啟示

      預(yù)備不等式:當(dāng)x>0時(shí),

      (1)

      (2)

      于是問(wèn)題1轉(zhuǎn)化為證明:

      (3)

      事實(shí)上,由基本不等式(a+b)(ab+1)≥b(a+1)2,即

      評(píng)注 由式(1)到式(2)是一個(gè)結(jié)構(gòu)一致、思維跳躍的智慧點(diǎn),因?yàn)樗鼈冊(cè)跅l件abcd=1下是一致的,從而使不等式的結(jié)構(gòu)隱藏得更深.

      2 關(guān)注數(shù)學(xué)命題算法的意義

      數(shù)學(xué)命題算法有三層意義:一是破解,二是更新,三是創(chuàng)新.在具體實(shí)踐中,這三層意義是遞進(jìn)的.這一過(guò)程在命題實(shí)踐中是經(jīng)常采用的,比如在各地高考數(shù)學(xué)模擬測(cè)試中,很多命題并不是原創(chuàng)的,而是根據(jù)現(xiàn)有的某個(gè)命題進(jìn)行改編的,其中一個(gè)途徑就是在算法上進(jìn)行變通[2].

      2.1 算法破解

      首先,式(1)來(lái)自何處?引入待定系數(shù)k,使得4x2-x+1≤(xk+1)2成立,展開(kāi)得x2k-1+2xk-1+1≥4x.如何讓這一不等式恒成立呢?注意到左式的系數(shù)和為1+2+1=4恰好等于右式的系數(shù),于是自然而然地就可以聯(lián)想到利用四元均值不等式使得該不等式恒成立,從而得到待定系數(shù)k.由

      1.2 算法更新

      其次,能否更新一種算法,命制一個(gè)新的數(shù)學(xué)問(wèn)題呢?更新建立在已經(jīng)具備的數(shù)學(xué)算法知識(shí),比如利用向量數(shù)量積的運(yùn)算性質(zhì)的算法構(gòu)造一個(gè)較容易證明的不等式.

      令x=2a+b,y=c+2d,p=a+b,q=c+d,即可證明原不等式.

      1.3 算法創(chuàng)新

      再次,能否創(chuàng)新一種算法,命制一個(gè)新的數(shù)學(xué)問(wèn)題呢?創(chuàng)新需要靈感,靈感來(lái)自于長(zhǎng)期創(chuàng)作實(shí)踐的基礎(chǔ),構(gòu)造思想是數(shù)學(xué)命題的創(chuàng)新之源.

      證明 由ax+by+cz+dw=1,構(gòu)造表達(dá)式λ(ax+by+cz+dw-1)=0(其中λ為實(shí)常數(shù)),則

      ax2+by2+cz2+dw2=ax2+by2+cz2+dw2+λ(ax+by+cz+dw-1)=

      此證明的算法本質(zhì)是構(gòu)造思想.而構(gòu)造思想也是創(chuàng)新思想的基礎(chǔ),此問(wèn)題的呈現(xiàn)形式也可以是“正數(shù)a,b,c,d滿足ax+by+cz+dw=1,則ax2+by2+cz2+dw2的最小值是______”,并期待其在高考數(shù)學(xué)命題中出現(xiàn).

      基礎(chǔ)數(shù)學(xué)教學(xué)中的問(wèn)題研究,尋找一般模型最重要.在由特殊到一般的探尋過(guò)程中,算法思想可以是不變的,抽象表達(dá)是關(guān)鍵,理解算法思想的內(nèi)涵是根本.

      3 變式體驗(yàn)算法內(nèi)涵

      證明 引入待定系數(shù)k,使得5x2-2x+1≤(xk+1)2成立,從而

      x2k-1+2xk-1+2≥5x,

      令4k-3=5,得k=2,從而5x2-2x+1≤(x2+1)2,利用式(3)即可得證.

      證明 引入待定系數(shù)k,使得6x2-3x+1≤(xk+1)2成立,從而

      x2k-1+2xk-1+3≥6x,

      3.1 一般模型

      問(wèn)題7 設(shè)a,b,c,d>0,abcd=1,n∈N+,求證:

      證明 引入待定系數(shù)k,使得(n+3)x2-nx+1≤(xk+1)2成立,從而

      x2k-1+2xk-1+n≥(n+3)x,

      由(n+3)元均值不等式可得

      3.2 引伸變通

      證明 tanα1tanα2=tanα3tanα4等價(jià)于tanα1tanα2cotα3cotα4=1,所證不等式等價(jià)于

      令tanα1=a,tanα2=b,cotα3=c,cotα4=d,則原命題轉(zhuǎn)化為問(wèn)題5(下略).

      數(shù)學(xué)命題的核心之一是算法,人工智能的核心也是算法.根據(jù)《普通高中數(shù)學(xué)課程標(biāo)準(zhǔn)(2017年版)》的學(xué)業(yè)質(zhì)量評(píng)價(jià)水平,“能夠在綜合的情境中,發(fā)現(xiàn)其中蘊(yùn)含的數(shù)學(xué)關(guān)系,用數(shù)學(xué)的眼光找到合適的研究對(duì)象,用恰當(dāng)?shù)臄?shù)學(xué)語(yǔ)言予以表達(dá),并運(yùn)用數(shù)學(xué)思維進(jìn)行分析,提出數(shù)學(xué)問(wèn)題”,此命題在此背景下創(chuàng)作而成,問(wèn)題結(jié)構(gòu)簡(jiǎn)潔、整齊,數(shù)學(xué)語(yǔ)言表達(dá)美;問(wèn)題結(jié)構(gòu)隱藏深,挖掘深,數(shù)學(xué)模型美;求解過(guò)程轉(zhuǎn)化思想靈,拓展寬,將三角函數(shù)與代數(shù)結(jié)構(gòu)有機(jī)結(jié)合,算法嚴(yán)謹(jǐn),深化了求解人的數(shù)學(xué)思維層次,此問(wèn)題對(duì)優(yōu)秀學(xué)生的數(shù)學(xué)思維也是一次挑戰(zhàn)[3].

      猜你喜歡
      命題證明人工智能
      獲獎(jiǎng)證明
      判斷或證明等差數(shù)列、等比數(shù)列
      2019:人工智能
      商界(2019年12期)2019-01-03 06:59:05
      人工智能與就業(yè)
      數(shù)讀人工智能
      小康(2017年16期)2017-06-07 09:00:59
      下一站命題
      下一幕,人工智能!
      證明我們的存在
      證明
      2012年“春季擂臺(tái)”命題
      海口市| 沅陵县| 来安县| 剑阁县| 葫芦岛市| 内丘县| 扬中市| 陆丰市| 铜梁县| 庄河市| 固安县| 团风县| 巢湖市| 南皮县| 上高县| 望城县| 五华县| 荥阳市| 长丰县| 上虞市| 长丰县| 九龙城区| 依安县| 英山县| 云安县| 大埔县| 肃南| 台南市| 文安县| 舞阳县| 临夏市| 辛集市| 科尔| 河南省| 呼和浩特市| 苍梧县| 大港区| 武定县| 二连浩特市| 正安县| 翁牛特旗|