2023年全國碩士研究生考試考研英語一試題真題(含答案詳解+作文范文)_第1頁
已閱讀1頁,還剩27頁未讀 繼續(xù)免費閱讀

下載本文檔

版權說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權,請進行舉報或認領

文檔簡介

1、數(shù)學實驗之十五---初等幾何定理的計算機證明,中國科學技術大學數(shù)學系陳發(fā)來,主要內(nèi)容,符號計算與自動推理幾何問題代數(shù)化代數(shù)關系式的推導與驗證自動推理,1、符號計算與自動推理,符號計算 精確的、帶未知變元的、公式的推導與驗證。 符號運算 自動推理自動推理 從已知條件推導出結果,即計算機自動證明定理、或推導出新的未知的結論。,,數(shù)學定理的機器證明 把一

2、類定理作為一個整體加以考慮,建立一個統(tǒng)一的、確定的證明程序,對該類定理中的每一個定理,應用證明程序進行有限步推理之后即可從命題的假設推出命題的結論。 計算機自動推理實例 計算機象棋、四色定理、初等幾何定理 的計算機證明,2、幾何問題代數(shù)化,解析幾何是基礎 笛卡兒名言: 一切問題都可以化為數(shù)學問題 一切數(shù)學問題都可以化為代數(shù)問題 一切代數(shù)問題都可以化為方程求解,點

3、 坐標線 方程幾何圖形 方程組幾何關系 方程組條件 方程組結論 方程組,,,,,,,例 1 證明平行四邊形兩對角線相互平分,,,,,,,,B,A,C,D,,,N,建立直角坐標系如圖。A,B,C的坐標如下,其中 為自由參數(shù)。再設D,N的坐標為

4、 , 則 可以由 所表示。 利用條件AB//CD, AC//BD,可得,于是,利用條件(1),條件(2)可以簡化為,再由A,N,D共線,B,N,C共線有,由此,,至此,定理的條件化為(1)--(4)。由AN=ND,BN=NC,定理的結論化為,例 2 證明三角形三邊上的垂線交于一點。,,,,,,,A,B,C,D,E,F,G,建立坐標

5、系如圖。設,由B,D,C共線及AD與BC垂直有,因此,,同理,由A,E,C共線及BE與AC垂直有,再由A,G,D與B,G,E分別共線有,結論:,兩個問題:1、方程與給定的條件與結論是否等價?2、如何由給定的一組方程推出另外一 組方程成立?下面以例1為例來說明問題1。 在條件: 下等價。,3、代數(shù)關系式的推導與驗證,給定多項式方程組:,其中 為參數(shù)。如何從上述方程組推

6、導出,思路:尋找函數(shù)i=1,…,n, 使得則由(I)可以推出(II)。吳方法可以實現(xiàn)上述過程。,吳方法的步驟:1、將方程組(I)化為三角型方程組:,2、計算 g 對 整除所得的余式:,其中 表示以 為主變元, 被 整除所得到的偽余式。3、如果 ,則在某些條件下,可以從(I) 推導出 (II)。,偽

7、除法:給定兩個多項式,其中 是關于 的多項式,且 。 以 做主變元做多項式除法其中 是有理式,分母都是 的某個次冪(設為 s)。用 同乘上式兩邊,這里 是關于 的多項式。 稱為f 被 g 整除的偽余式。例如,對于,因此,吳方法

8、的實現(xiàn)第一步:消元。通過偽除法實現(xiàn)。例如,從下列方程組中消去,第二步:逐次偽除法。,從上式得其中 為多項式。,如果 ,則在條件下,由 (I)可以推出 (II)。例 1(續(xù)):我們要從方程組(1)—(4)推出(5)與(6)。為此,先三角化方程組(1)—(4).,由此,(5)在條件 下成立。,4、自動推理,由一些變量之間的已知關系推

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
  • 4. 未經(jīng)權益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負責。
  • 6. 下載文件中如有侵權或不適當內(nèi)容,請與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論