論非線性代數(shù)方程組的消去法

定　價：￥98.00

作　者：	朱望規(guī)
出版社：	學(xué)苑出版社
叢編項：
標(biāo)　簽：	暫缺

購買這本書可以去

京東 (￥93.10)

ISBN：	9787507754964	出版時間：	2017-03-01	包裝：
開本：	其他	頁數(shù)：		字?jǐn)?shù)：

內(nèi)容簡介

　　本書選擇對Morley定理的證明用非線性消去法，在消去過程結(jié)束后，很后的殘量gj本書選擇對Morley定理的證明用非線性消去法，在消去過程結(jié)束后，很后的殘量，不能判定或，致使定理的結(jié)論無法獲得。本書又選擇對Morley定理的27個三角形都適用的公式組，說明它不能用代數(shù)方法得到三角陣列的公式組，從而無法進行非線性消去法。進一步，又指出上述公式組，用多項式代數(shù)歸化成為27個線性代數(shù)方程組時，由于其系數(shù)不是多項式或有理分式，它們的解不具有代數(shù)形式，從而使很后殘量，不能判定或，定理結(jié)論無法獲得。

作者簡介

　　朱望規(guī)，1962年7月畢業(yè)于西安交通大學(xué)應(yīng)用數(shù)學(xué)專業(yè)。開發(fā)完成“751光筆圖形顯示器基本軟件系統(tǒng)”，1977年獲得靠前屆全國科技大會重大科技成果獎，1978年獲得陜西省首屆科技成果一等獎，1980年獲得四機部電子工業(yè)科技成果二等獎（首屆，當(dāng)年優(yōu)選獎）。1983年2月起參加全國高校師資數(shù)據(jù)庫研制工作。1986年受聘中央廣播電視大學(xué)靠前屆離散數(shù)學(xué)主講教師，錄有100學(xué)時教學(xué)錄像帶。1995年-2002年作為靠前主要起草人制定國家標(biāo)準(zhǔn)：信息處理系統(tǒng)CGM（四本）、CGI（六本）?？壳巴獍l(fā)表多篇重要論文。1985年投入人工智能及機器證明領(lǐng)域?，F(xiàn)為北京化工大學(xué)計算機系教授，享受國家政府津貼。

圖書目錄

緒論
第一篇用經(jīng)典方法證明初等幾何定理
第一章 Morley定理與三角、解析幾何證明
1．1 Morley定理概述
1．1．1 ti，si，t'i，s'i，t i，s i 直線方程
1．1．22 7個點
1．1．3 Morley定理百年前的證明與結(jié)論
1．2 （用三角與解析幾何）證明Morley定理
1．2．1 證明△DEF為正三角形
1．2．2 證明△D11E11F11為正三角形
1．2．3 證明△D22E22F22為正三角形
1．2．4 證明一組平行線之一與另一組平行線之一夾角為60°
1．2．5 證明Morley定理有27個正三角形
1．3 M0rley定理有多少三角形
1．3．1 形如△DqyEypFpq（簡化為△[p，q，y]）的三角形（見圖1-8）
1．3．2 形如△LqyMypNpq（簡化為△[p，g，y]）的三角形
1．3．3 另有6個非正三角形
1．3．4相應(yīng)對1．3．3的共軛三角形
1．3．5 另有18個有一個角為60°的非正三角形
第二章 Morley定理的Gauss消去法證明
2．1 坐標(biāo)的數(shù)字化
2．2 27個正三角形的證明
第三章實例
第二篇初等幾何定理的機器證明
第四章初等幾何定理的坐標(biāo)化
4．1 范例1的坐標(biāo)化
4．2 范例2的坐標(biāo)化
4．2．1 hi公式組的推導(dǎo)
4．2．22 7個三角形的驗證
4．2．3 由hi公式組反解出27個三角形
4．3 其他定解條件
4．3．1 另一種定解條件
4．3．2 再一種定解條件
第五章 hi=O公式組或Fi=0公式組的經(jīng)典代數(shù)解法
5．1 范例1的代數(shù)解法
5．1．1 范例l的Fi=0公式組的第一種解法
5．1．2 范例1的Fi=O公式組的第二種解法
5．2 范例2的hi=0公式組的解法
第六章 Grobner基算法
6．1 范例1的Grobner基算法
6．2 范例2的Grobner基算法
第七章國內(nèi)引入的非線性消去法（推演范例1）
7．1 對g1（從Fi解出xi=時，改為fi）
7．2 對g2
7．3 對g3
7．4 用實例簡化
第八章引入gj=0公式組所產(chǎn)生的問題
第九章 △ABC外接圓的同心圓上一點到△ABC三邊垂足形成的三角形面積問題
9．1 關(guān)于Simson線
9．2 面積問題
參考文獻
后記