数学Math_公式,可导可微连续,命题证明

命题证明–附加条件

在证明 (洛必达法则)时:
$$\text{洛必达: 若f(x) g(x)满足:}\{\begin{array}{l}{\lim }_{x\to a}f(x)=0,{\lim }_{x\to a}g(x)=0\\ 在\mathring{U}(a)有,f(x)g(x)可导,且g^{{}^{\prime }}(x)\ne 0\end{array}$$
$$则有:\underset{x\to a}{\lim }\frac{f(x)}{g(x)}=\underset{x\to a}{\lim }\frac{f^{{}^{\prime }}(x)}{g^{{}^{\prime }}(x)}$$

我们在 (证明洛必达)时,

• 第一步是, 令, f(a) = g(a) = 0, 然后, (他满足 “柯西中值”, 使用柯西中值后, 得到一个等式, 然后, 对这个等式 两侧取极限)

我们关键看, 为什么, 前提可以令 f(a) == g(a) == 0???

---

虽然, f(a)和g(a) 与 命题的 (条件 和 结论), 都无关; 命题的 (条件和结论), 都没有涉及到: f(a), g(a)

我们简化下这个命题, 在条件A 和 B下, 得到结论C ---- 命题1; 这个f(a) = g(a) = 0 称为 条件D

但是, 如果我们这样证明了: 在条件A 和 B 和 D下, 得到结论C ---- 命题2, 命题2为真, 从而说明了: 命题1是 真命题

即, 反证出了: 在条件A 和 B下, 得到结论C

那么, 对于一个 在条件A 和 B 和 ~D下, 得到结论C ---- 命题3, 他是 包含于 该命题条件AB里的, 即 (命题1是真, 则说明: 命题3是真)

即按理说, 命题3是真的; 但是, 我们知道, 命题1的证明, 完全根据 命题2的证明; 而, 命题2 与 命题3, 是完全无关的…

为什么, 这是可行的呢???

---

若有条件A 和 B, 则有结论C --- 命题1

此时有条件D 且, 条件D, 与 条件AB 结论C, 完全无关

若有条件A 和 B 和 D, 则有结论D --- 命题2

依据: (命题, 充分必要条件, 附加无关命题是: 充分不必要条件)定理, (若命题2, 则有: 命题1)

---

即:

• 1, 命题D, 必须与 (A, B, C) 毫无相关!!!
• 2, 证明 (命题2)为真, 因为是(充分性), 则得到: (命题1)为真
• 3, 解释 (冲突性)
  千万不要认为: 对于 一个(满足: A, B, ~D)的情况, 他是否满足 命题1呢? 或命题1是否还成立呢?
  首先第1点: 命题1一定成立!!! (第2步, 已经证明了, 命题1是真);
  iiiiiii则就说明: 命题1为真, 永远