MA.1.0 ~ 1.1 Intro, 实数

2023-09-26

几何 代数 分析
Fermat数:如果正多边形的边数符合,则可尺规作图
Eular、Laplace

什么是数分?

{微分(导数)积分

有限到无穷——希尔伯特旅馆

平直到弯曲——质变


学习要求

不含数学符号的描述 多尝试 独立思考

证明有理数、无理数

反证法

  • 存在性
  • 无穷性
  • 否定性

有理数即有限小数/循环小数

  • pq
    • 余数为0:有限
    • 余数不为0:至少重复q次一定重复

实数域

实数完备性公理、 #实数公理

数轴

逻辑符号" tabindex="-1">补充:逻辑符号

#逻辑

ForAll∀Exist∃LogicNot¬⋯命题的否定≠否命题LogicAnd∧LogicOr∨

逻辑否定

P:∀M>0,∃ n∈N 使得 |xn|≥M¬P:∃M>0,∀ n∈N 有 |xn|<M

不等式" tabindex="-1">不等式

#不等式

Bernoulli 不等式

(1+x)n≥1+nx

均值不等式(AGH不等式)

G:最适用于 不全相同但接近

n1x1+1x2+⋯+1xn≤x1x2x3⋯xnn≤x1+x2+x3⋯xnn其中等号当且仅当x1=x2=x3=⋯=xn成立

例题4:设en=(1+1n)n. 证明数列{en}单调递增且en<4.
证明:^1e9a3c

en=(1+1n)(1+1n)⋯(1+1n)⋅1<(n(1+1n)+1n+1)n+1=(n+2n+1)n+1=(1+1n+1)n+1=en+1en=4[(1+1n)(1+1n)…(1+1n)⋅12⋅12]<4(n(1+1n)+12+12n+2)n+2=4

^ce32e4