\(\lim_{x \to x_0} f(x)\)
考虑运算法则:
但是例外:
考虑极限约去 \(x - 3\) 得到:
如果约不掉?但是……
考虑 \(2x - 3\) 不为 \(0\),所以 \(= \infty\)
总结到一般的高次多项式?
若 \(m > n\) 则 \(= \infty\)
若 \(m = n\) 则 \(= \frac {a_0}{b_0}\)
若 \(m < n\) 则 \(= 0\)
发散?收敛?看是否存在可数的上下界
考虑 \(\lim \frac 1x = 0\),而 \(\sin x\) 是有界函数,故 \(\lim \frac {\sin x} x = 0\)(\(0\) 乘上一个有界函数)
重要的极限:
可以利用夹逼定理证明 \((1)\)。考虑:
发现三个面积有:
整理一下:
根据夹逼定理,有 \(\lim \frac x {\sin x} = 1\)。
对于 \(f(x)\),\(f'(x)\) 表示函数在 \(x\) 时的斜率。
常见的导数:
\(f(x)\) | \(f'(x)\) |
---|---|
\(C\) | \(0\) |
\(x^\mu\) | \(\mu x ^{\mu - 1}\) |
\(\sin x\) | \(\cos x\) |
\(\cos x\) | \(-\sin x\) |
\(a^x\) | \(a^x \ln a\) |
\(\log_ax\) | \(\frac 1{x \ln a}\) |
运算法则:
\([u(x) \pm v(x)]' = u'(x) \pm v'(x)\)
\([u(x)v(x)]' = u(x)v'(x) + u'(x)v(x)\)
\([\frac {u(x)}{v(x)}]' = \frac {u'(x)v(x) - u(x)v'(x)}{v^2(x)}\) 这是子导母不导减去母导子不导。
考虑一下常用导数:
对于反函数:
有:
于是对于 \(f(x) = \arctan x\),有:
对于复合函数 \(y = f(g(x))\) 求导。
令 \(u = g(x)\),于是 \(\to y = \frac {du}{dy}, u' = g'(x) = \frac {dx}{du}\)。
也就是 \(y' = f'(x) \cdot g'(x)\)。
例如 \(e^{x^3}\) 的导数相当于 \(f(x) = e^x, g(x) = x^3\) 函数复合求导。
于是 \((e^{x^3})' = f'(x)\cdot g'(x) = e^x \cdot 3x^2\)。
柯西中值定理 描述的是:
若在 \([a, b]\) 上 \(f(x), F(x)\) 连续,在 \((a, b)\) 上 \(f(x), F(x)\) 可导且 \(\forall x \in (a, b) F'(x) \ne 0\) 那么一定至少存在一个点 \(\xi\) 使得:
那么对于洛必达法则:
当 \(x \to a\) 时,\(f(x), F(x)\) 都趋近于 \(0\)。
\(\lim_{x \to a} \frac {f'(x)}{F'(x)}\) 存在(或为无穷大)
那么:
考虑转化为:
如果满足了第一个条件,那么可以依据柯西中值定理构造出:
\(\xi\) 在 \(a, x\) 之间。那么原式成立。
既然洛必达法则存在,那么考虑泰勒展开逼近:
考虑展开 \(\ln(1 + x)\) 有:
于是
对于每一个本原勾股数组 \((a, b, c)\),都可以从如下公式推出:
本原勾股数组:满足 \(\gcd(a, b, c) = 1\) 且 \(a^2 +b^2 = c^2\) 的数组。
特别的,如果取 \(t = 1\),那么可以得到三元组:
对于 \(\varphi(x)\):
基于概率的证明
基于积性函数的证明
考虑 \(\Z_p\) 的完全剩余系的大小,即是 \(\varphi(p)\)。
对于 \(f: \Z_n\),记其循环长度为 \(N(n)\)。
可以有:
也可以有:
那么现在的问题是 \(N(p)\),观察可知:
\(p \equiv \pm 1 \pmod {10} \implies N(p) | p - 1\)
\(p \not\equiv \pm 1 \pmod {10} ~and~ p \not\equiv 5 \pmod {10} \implies N(p) | 2p + 2\)
\(\cdots\)
但是考虑有点小小的刻意,所以考虑 \(\bmod 5\)。
特殊的 \(N(5) = 20\)。
特殊的等式:
可以如下解:
于是如果可以解出一组 \((x, y)\),那么可以构造 \((x^2 + Dy^2, 2xy)\) 作为新的解。
可以简单记为一个序列 \([a_0, a_1, a_2, \cdots ]\)。
连分数递推公式,用于求解 \(p_n, q_n\)。
有:
考虑归纳证明即可。