如何用mathematica證明下述方程只有唯一實根,且該實根為無理根?

時間 2021-06-19 06:10:52

1樓:

用軟體證明是無理根還是奇怪了點。

不過其實你可以直接證明該多項式在Q上面不可約,從而根不可能是有理根。

對於這種級數截斷,當你截斷的地方是個質數的時候,可以輕鬆使用Eisenstein判別法判斷。

當你截斷的地方不是個質數的時候,就稍微要用到一點點代數知識。利用準素分解就能得到結果,這個東西應該是叫Schur定理來著,可以輕鬆找到證明。

2樓:大魔導師

Mathematica有乙個最起碼的能力上限,它不能處理數學上本身無法處理的問題.5次以上方程無一般根式解.

其實初中數學可知就算有根式解你也不能判斷是不是有理數.兩個三次方根之和是有理數的經典問題.

既然你已經證明了方程唯一實根,當然已經發現了函式是單調的,下面就不證了

不妨設有理根 0;p,q\in \mathbb" eeimg="1"/>

兩邊乘以,可得

,考慮可得,,從而是的整數倍

但是由顯然0" eeimg="1"/>,故,沒有的整倍數

從而方程無有理解

如何用Mathematica簡潔快速地實現氣泡排序?

簡潔和快速不容易兼得,寫了兩個版本,較簡潔的速度慢一些bsort1 Compile Module Do If a j a j 1 a CompilationTarget C RuntimeOptions Speed bsort2 Compile Module Do If a j a j 1 tmp ...

Mathematica如何生成MeshShading的顏色張量?

cvgmt r 5 n 10 meshshading Array RGBColor RandomReal,RandomReal,RandomReal Table 2,n normals Normalize RandomReal 1,dists RandomReal n ContourPlot3D x...

Mathematica 中如何定義 f x y f x f y ?

Attributes f HoldAll f a Plus f Unevaluated a 寫完了才想起來上面這種複雜的寫法其實毫無必要。最簡單的就足夠了 ClearAll f Attributes f HoldAll f x y f x f y f a b c f a f b f c 因為Plus...