本文章是[学习笔记]生成函数进阶的一部分
本来不想单独弄成一个博客的,毕竟有点短。
但如果把它直接放在OGF、EGF里面是不是不太好啊…
1 定义
证明它的话需要学洛必达法则,证明洛必达法则又需要几个步骤,具体是:
费马定理->罗尔中值定理->柯西中值定理->洛必达法则
说人话就是你在
x
0
x_0
x0位置上泰勒展开的次数越多,你得到的函数就与
f
(
x
)
f(x)
f(x)在
x
0
x_0
x0附近的值越接近。
在OI中我们用到的函数在
x
0
=
0
x_0=0
x0=0处展开显然简洁方便,因此我们只需要知道麦克劳林公式就好了:
f
(
x
)
=
f
(
0
)
+
f
′
(
0
)
x
+
f
′
(
0
)
2
!
x
2
+
.
.
.
+
f
′
(
n
)
(
0
)
n
!
+
o
(
x
n
)
f(x)=f(0)+f'(0)x+\frac{f'(0)}{2!}x^2+...+\frac{f'^{(n)}(0)}{n!}+o(x^n)
f(x)=f(0)+f′(0)x+2!f′(0)x2+...+n!f′(n)(0)+o(xn)