数形结合方式分析复变函数z^3根的特点以及代数基本定理
复变函数:
我们生活的世界是三维的,需要三个坐标信息才能清晰描述一个物体的位置,所以,人类很容易就能够理解三维以下的物体形状,二维笛卡尔坐标系和三维立体坐标系就是用来分析此类问题的数学工具。
但对于复变函数,情况有所不同。
以下面的复函数为例
就无法像实变函数那样,在二维或者三维笛卡尔坐标系下绘制其图像。
将函数展开,令
,
则可以得到:
所以:
所以很明显,一元复变函数可以分解成两个二元函数,所以,无论在二维还是三维笛卡尔坐标系中,都无法表示四元
坐标的位置。
在matlab中,是通过分解函数的实部和虚部来实现的,实部用三维笛卡尔坐标系的z轴表示,虚部用颜色表示,xOy表示整个复平面,绘制出来是这个样子:
颜色分析并不直观,有没有办法可以将虚轴的值也通过坐标截距表示出来呢?
问题转化为,如果用三维空间笛卡尔坐标系标识四维函数的问题,方法有两个:
1.用两个笛卡尔坐标系, 分别绘制
2.在一个笛卡尔坐标系内,分开绘制
这有点像变成领域的,空间时间互换问题,二者不可兼得,这也是大自然的普遍规律。
下面采用第二种,用geogebra 将
分别绘制在一个笛卡尔坐标系内:
图有些乱,但大体上能够看出绿色和品红色的是两个不同函数的图形,绿色是X(x,y),品红色是Y(x,y)左边是整个立体图形在XOY平面上的投影,立体上,两个图形完全一样,只是旋转了角度。
XOY平面上一条条的是图形的等高线,也是图像上具有相同实部和虚部的点在XOY平面上的投影,每个投影有三条分支,围绕中心原点在圆上呈现对称分布,由于两个图形完全相似,所以XOY平面有两组一共六条投影线,
每两条分别来自不同函数的等高线的交点在复平面上的坐标表示方程
的一个解,也就是图中等边三角形的三个顶点,所以可以看到,对于任何,方程均有三个解,围绕圆周均匀分布。
当的时候,也就是
得出的方程是每个图像的各三条渐近线.
模曲面:
从几何的角度看问题,在每个复数点上安置立坐标垂线,它的长度等于多项式f(z)在这一点的模,这些立坐标的端点形成某一曲面M,我们把它叫做多项式f(z)的模曲面,这样就可以将复变函数的实部和虚部一起考虑,而不用分别
绘制实和虚部.
模曲面有一些性质:
1.在全部复平面内,模曲面不会下降到复平面以下,模不可能是负的。
2.对于复平面上任何一点z,这个曲面上有一点,并且仅有一点位于这个点的上面或者就是这个点本身,说明与复平面接触。
3.当z在复平面上连续运动时,这个曲面的点的立坐标连续变动。
下面绘制
的模曲面:
设
则:
所以
图形为:
三个实根的情况:
octave求得算数解:
图中可见,模曲面方程和复平面有三个交点,就好像有三根支柱将整个曲面支撑起来,不断变化a,b,c的值,这三个支柱相对位置在复平面上会发生变化,但始终在复平面上,
这表示复平面上始终有三个点,使=0,由于
为0的充分必要条件是
,也即是:
等价于,多项式=0有三个根。
这是由代数基本定理决定的:代数基本定理是说,任何复系数一元n次多项式 方程在复数域上至少有一根(n≥1),由此推出,n次复系数多项式方程在复数域内有且只有n个根(重根按重数计算)。代数基本定理在代数乃至整个数学中起着基础作用。 据说,关于代数学基本定理的证明,现有200多种证法。
代数基本定理强调的有一个根,而不是n个根,之所以这样,是因为多根可以由1个根推导出来,设:
设是f(z)的一个根,用
去除以,由于除式是1次的,因此余数就是一个常数
(根据多项式整除规则,如果遗留带z的多项式做余数,则整除规则可以继续下去,直到只剩下常数项),所以:
式中是一个n-1次的多项式,而R是常数,用
代入:
由于
所以
R=0
即
同理,如果代数基本定理正确的话,必定
..............
所以,如果存在1个根,就一定存在n个根,代数基本定理只需要说明1根的情况即可。
数形结合能够反映代数和几何之间的深层联系,感受数学之美。