「学习笔记」Fast Fourier Transform 快速傅里叶变换

前言

快速傅里叶变换（$\text{Fast Fourier Transform,FFT}$ ）是一种能在$O(n\log n)$的时间内完成多项式乘法的算法，在$OI$中的应用很多，是多项式相关内容的基础。下面从头开始介绍$\text{FFT}$。

前置技能：弧度制、三角函数、平面向量。

多项式

形如$f(x)=a_0+a_{1}x+a_2{x}^2+...+a_n{x}^n$的式子称为$x$的$n$次多项式。其中$a_0,a_1,...,a_n$称为多项式的系数。

系数表达法

上面定义中的表示就是系数表达法。其系数可看成$n+1$维向量$\vec{a}=(a_0,a_1,...,a_n)$。

点值表达法

把多项式看成一个函数，点值表示就用它图像上的$n+1$个不同的点$(x_0,y_0),...,(x_n,y_n)$来确定这个多项式。多项式有不止一个点值表示，可以证明每个点值表示确定唯一的系数表达多项式。

复数

虚数单位

$i$被称为虚数单位。规定$i=\sqrt{-1}$。

复平面

复数的平面由$x,y$轴组成。$x$轴称为实轴，$y$轴称为虚轴。平面内的每一个从原点到某个点$(a,b)$的向量$\vec{a}=(a,b)$表示复数$a+bi$.

复数的模长：$\sqrt{a^2+b^2}$.实轴到复数向量的转角$\theta$称为幅角。

复数的基本运算

• 复数的加（减）法：$(a+bi)+(c+di)=(a+c)+(b+d)i$

• 复数的乘法：$(a+bi)(c+di)=(ac－bd)+(bc+ad)i$

• 一个结论：复数乘法，模长相乘，幅角相加。

共轭复数

$a+bi$与$a-bi$互为共轭复数。

单位根

$n$次单位根是满足$z^n=1$的$n$个复数，它们均分复平面的单位圆（如图）。

这些复数满足模长为$1$，幅角的$n$倍是$2\pi$的倍数

根据欧拉公式：

欧拉公式：$e^{xi}=\cos x+i\sin x$，其中$e$为自然对数的底数，$i$为虚数单位。

可得$n$次单位根为$e^{\frac{2\pi ki}{n}},k\in [0,n-1]$

得：记${\omega }_n=e^{\frac{2\pi i}{n}},$则$n$次单位根为${\omega }_n^0,...,{\omega }_n^{n-1}$

单位根的性质

性质$1$：根据定义得到：${\omega }_{2n}^{2k}={\omega }_n^k$（消去定理的特殊情形）

性质$2$：${\omega }_n^{\frac{n}{2}+k}=-{\omega }_n^k$

证明：

${\omega }_n^{\frac{n}{2}}=e^{\frac{2\pi i}{n}\frac{n}{2}}=e^{\pi i}=\cos \pi +i\sin \pi =-1$

${\omega }_n^{\frac{n}{2}+k}={\omega }_{}$