Posts Tagged 数学分析

两道和无理数有关的证明题

两道题均是Introduction to Calculus and Analysis I的习题

0.证明两个有理数间存在无穷多个无理数

1.证明p次根号n是无理数

, , ,

No Comments

一道与向量有关的证明题

题目来自《高等数学引论》中的一道习题,和平面向量有关。

题目描述如下:

求证已知起点相同的三个向量a,b,c其终点共线的充要条件是存在不全为0的三个数λ,μ,ν,使得λ+μ+ν=0并且λabc=0

对于三点共线,我们可以转换为两个向量平行。由此我们可以得到必要性的证明

到此,必要性成立。

充分性的证明类似,只需要从反方向入手。

因为三个向量共面,所以三个向量必然线性相关,所以存在不全为0的三个数λ,μ,ν,使得λabc=0

再利用a-b = t(b-c)得到λ+μ+ν=0成立即可。

最后,三个向量的问题可以扩展到四个,即

已知起点相同的四个向量a,b,c,d其终点共面的充要条件是存在不全为0的四个数λ,μ,ν,p,使得λ+μ+ν+p=0并且λabc+pd=0

处理方法和三个向量类似:将四点共面转换为一个向量可用另外一组基地表示。

详细证明过程在此不再阐述

, , , ,

No Comments

利用De Moivre定理求倍角公式

这两天在看华罗庚老先生那本《高等数学引论》时发现了利用De Moivre定理求倍角公式的方法,而且此推导方法直接以n倍角进行分析。

在推导前首先要了解下De Moivre定理

一般的,可以用a+bi来表示一个复数,而在一个复平面上,复数a+bi可以表示为向量p=(a,b)

这是在直角坐标系下得到的,类似的,我们可以将这个向量表示在极坐标系下。

我们令

a=ρcosθ,b=ρsinθ,ρ>=0,且θ(- [0,2π)

那么复数a+bi在极坐标下可以表示为

ρ(cosθ+isinθ),ρ>=0,且θ(- [0,2π)

De Moivre定理表述如下:

对任一整数n,都有

(ρ(cosθ+isinθ))n = ρn(cosnθ+isinnθ)

此定理的证明可以通过数学归纳法得到:

当n为自然数时,直接使用数学归纳法。当n为负数时,利用

(cosθ+isinθ)-1 = (cos(-θ)+isin(-θ))

转化后利用数学归纳法证明。上面的等式可以通过复数除法得到。

现在介绍如何利用De Moivre定理推导n倍角公式。

我们对对定理左边的式子二项式适当展开,如下


PS:由于编辑公式时的疏忽,导致sinnθ推导最后一步-1的幂次存在错误。当n为偶数时,幂次是(n-2)/2,当n为奇数时,幂次是(n-1)/2

由于复数的运算是封闭的,所以运算两边实部和虚部的数对应相等,由此可以得到推导的结果

注意:由于公式图片比较大,如果部分被遮住,请利用页面上方的<>按钮对页面进行调整

, , , , ,

No Comments

证明任意两个有理数间必有无穷个有理数

证法0:

假设有两个非负的有理数a/b和c/d,且满足a/b < c/d.

只需要证明

因为我们证明两个有理数间还存在另一有理数,接下来只需要不断重复这个操作即可得证。

现在证明上面不等式成立

由于上面的证明是建立在均非负的基础上,所以有必要对其他情况进行逐一讨论

(1)如果均为负数,那么可以转化为非负情形

(2)如果有一个正数,一个负数,那么两个数间必然包含0,取0,转化为非负情形

(3)一个非负,一个0,转化为非负情形

第一个证法需要讨论的情形比较多,我们可以稍稍改变策略,避免讨论

证法1:

设两个不相等的有理数x,y,且满足x < y。则必有

我们仍然得到了一个夹在中间的有理数,重复操作即可证明。

这种思想被称为Bolzano均分,也应用于证明有界数列必有收敛的子数列

上面两个证明方法的大前提都是有理数的四则运算是封闭的,这点可以认为是不证自明

而且两个证法的本质相同,即找到有一个有理数,在数学分析证明中,有一个和有无穷个往往等价

, , , ,

1 Comment