文档详情

一元三次不等式解法

mg****85
实名认证
店铺
DOC
305.50KB
约15页
文档ID:33985794
一元三次不等式解法_第1页
1/15

三次方程是未知项次数为 3 的整式方程,一般形式為,其中 , , 和 ( )是屬於一個域的數字,通常這個域為 R 或 C历史波斯数学家 欧玛尔·海亚姆( 1048 年- 1123 年)通过用圆锥截面与圆相交的方法构建了三次方程的解法他说明了怎样用这种几何方法利用三角法表得到数字式的答案中国南宋的数学家秦九韶在他 1247 年编写的世界数学名著《数书九章》一书中提出了数字一元三次方程与任何高次方程的解法“正负开方术”,提出“商常为正,实常为负,从常为正,益常为负”的原则,纯用代数加法,给出统一的运算规律,并且扩充到任何高次方程中去这个方法比几百年以后欧洲数学家所提出的计算方法要高明许多现在,这种方法被后人称为“秦九韶程序”世界各国从小学、中学到大学的数学课程,几乎都接触到他的定理、定律和解题原则在十六世纪早期,意大利数学家费罗找到了只能解一种三次方程的方法,也就是形如 的方程事实上,如果我们允许 , 是复数,所有的三次方程都能变成这种形式,但在那个时候人们不知道复数费罗一直保守着这个秘密,直到死之前才把它告诉了他的一个学生塔塔利亚(Tartaglia)听说了这件事并很快自己找到了一种方法。

他把他的方法透露给了卡尔丹诺,后者把它发表在《数学大典》(又名《大術》, 1545 年)上卡尔丹诺注意到塔塔利亚的方法有时需要他给负数开平方他甚至在《数学大典》裡包括了这些複數的计算,但他并不真正理解它 拉斐罗·邦别利(Rafael Bombelli)详细地研究了这个问题,并因此被人们认为是複数的发现者三次方程解法求根公式由此可簡化成,红色字体部分为判别式 , 当 时,方程有一实根和两共轭复根; 当 时,方程有三重实根; 当时,方程有三实根.三角函数解卡尔丹诺的方法令 為域,可以進行開平方或立方運算要解方程只需找到一個根 ,然後把方程 除以 ,就得到一個二次方程,而我們已會解二次方程在一個代數封閉域,所有三次方程都有三個根複數域就是這樣一個域,這是代數基本定理的結果解方程步驟: 把原來方程除以首項係數 ,得到:,其中 , ,  代換未知項 ,以消去二次項當展開 ,會得到 這項,正好抵消掉出現於的項 故得:,其中 和 是域中的數字 記 前一方程化為 展開: 重組: 分解: 因為多了一個未知項( 和 代替了 ),所以可加入一個條件,就是: ,由此導出  設 和 我們有 和 因為 所以 和 是輔助方程的根,這方程我們已會解出。

接下來, 和 是 和 的立方根,適合 , ,最後得出 在域 裡,若 和 是立方根,其他的立方根就是 和 ,當然還有 和 ,其中 是單位的立方根因為乘積 固定,所以可能的 是 , 和 因此三次方程的其他根是和 判别式最先嘗試解的三次方程是實係數(而且是整數)因為實數域並非代數封閉,方程的根的數目不一定是 個所遺漏的根都在 裡,就是 的代數閉包其中差異出現於 和 的計算中取平方根時取立方根時則沒有類似問題可以證明實數根數目依賴於輔助方程的判別式 , 若 ,只有一個實根,其他兩個是共軛複根 若 ,至少有一對實重根:1:三重實根,或 2:一個二重實根和一個單實根 若 ,有三個實根: 其中 注意到至少有一實根存在,這是因為非常數多項式在 和 的極值是無窮大,對奇次多項式這兩個極限異號由於多項式是連續函數,從介值定理知道它在某點的值為 第一個例子解 我們依照上述步驟進行: (全式除以 ) 設 ,故 ,代換: ,再展開  , , 設 和 和 是 的根和 ,和 t = x − 1 = u + v − 1,该方程的另外两个根:,,第二个例子这是一个历史上的例子,因为它是邦别尼考虑的方程。

方程是 从函数 算出判别式的值 ,知道这方程有三实根,所以比上例更容易找到一个根首两步都不需要做做第三步: , , 和 是 的根这方程的判别式已算出是负数,所以没有实根很吊诡地,这方法必须用到复数求出全是实数的根这是发明复数的一个理由:复数是解方程必需工具,即使方程或许只有实根我们解出 和 取复数立方根不同于实数,有两种方法:几何方法,用到辐角和模(把辐角除以 取模的立方根);代数方法,分开复数的实部和虚部: 现设 等价于: (实部)(虚部)(模)得到 和 ,也就是 ,而 是其共轭: 归结得 ,可以立时验证出来其他根是 和 当 是负, 和 共轭,故此 和 也是(要适当选取立方根,记得 ); 所以我们可确保 是实数,还有和 极值驻点的公式设将其微分,可得极值设 ,可得 在 中的极值(极大或极小值), 将 代入 ,可得 的极值拐点设 ,可得 中的拐点驻点的类型从二阶导数测试,, 在 中是极大值;, 在 中是极小值;, 在 中是一个拐点可见如:, 的驻点为极小值;, 的驻点为极大值 的驻点为拐点。

下载提示
相似文档
正为您匹配相似的精品文档