数学常用公式及规律、结论（一）

• $\sum_{i=m}^nt^i=\frac{t^m(1-t^{n-m+1})}{1-t}$（一般形式的等比数列求和公式）

• 斐波那契（递归定义）：

  $$a_n=\left\{ \begin{split} &a_{n-1}+a_{n-2},\\ &1,&n\leq 2 \end{split} \right. ⇒ a_n=\frac{\sqrt 5}{5}\left(\left(\frac{1+\sqrt 5}{2}\right)^n-\left(\frac{1-\sqrt 5}{2}\right)^n\right)$$

• 序列求和：

  $$\sum_{n=1}n^2=\frac{n(n+1)(2n+1)}6$$

• 三次项：

  $$\begin{split} &x^3-y^3=(x-y)(x^2+xy+y^2)\\ &(x-y)^3=x^3-3x^2y+3xy^2-y^3（二项式展开） \end{split}$$

1. 等比数列前n项和 $S_n$

$$S_n=\frac{a_1(1-q^n)}{1-q}$$

尤其注意这里的下标，$a_1,q^n$，考虑 $1+2+4+8+16=2^0+2^1+2^2+2^3+2^4$，

$$1+2+4+8+16=\frac{1(1-2^5)}{1-2}$$
也即，此时 $n=5$，

如果此时求 $\sum_{i=2}^52^i$ 呢，也即：$4+8+16+32$，此时：

$$\sum_{i=m}^nt^i=\frac{t^m(1-t^{n-m+1})}{1-t}$$

2. 点到直线的距离

我们首先来看三角形的高（不失为某一顶点到其对边的距离）：
根据三角形的两种面积计算公式可得：

$$S_\triangle=\frac{\|x\|\|y\|\sin \theta}2=\frac{\|x\times y\|}2\\ S_\triangle=\frac{\|z\|h}2\\ \Downarrow\\ \frac{\|x\times y\|}2=\frac{\|z\|h}2\quad \Rightarrow\quad h=\frac{\|x\times y\|}{\|z\|}$$
其中 $x\times y$ 表示 $x$ 与 $y$的叉积，其中 $z$又可被表示为 $z=x-y$， $\|\cdot\|$表示向量的长度；

一个更为传统的更为经典的点（$(x_0,y_0)$）到直线（$ax+by+c=0$）的距离公式为：

$$d=\frac{|ax_0+by_0+c|}{\sqrt{a^2+b^2}}$$

3. 泰勒展开

数学上，一个在实数或复数 $a$邻域上的无穷可微实变函数或复变函数 $f(x)$的泰勒级数是如下的幂级数：

$$f(x)=\sum_{n=0}^\infty\frac{f^{(n)}(a)}{n!}(x-a)^n$$
所以 $e^{x}$在 $a=0$处的展开为：
$$\begin{split} &e^x=\sum_{n=0}^\infty\frac{e^0}{n!}x^n=\sum_{n=0}^\infty\frac{x^n}{n!}\\ &e^x=1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots \end{split}$$
所以这里有一个自然的推论是：
$$e^x\geq 1+x$$

4. 数列大小

$$n<m\\ \Downarrow\\ \frac{n-i}{m-i}<\frac{n}m$$
因为：
$$n(m-i)-m(n-i)=mi-ni=(m-n)i>0\\ \Downarrow\\ n(m-i)>m(n-i)\\ \Downarrow\\ \frac nm>\frac{n-i}{m-i}$$