Hexo 插件 — 在线 HTML 编辑器
前几天拿我开发的 TIY 写了个 Hexo 封装版本，叫 hexo-tag-tiy，可用作在线 HTML 代码展示、运行和调试.
「离散傅里叶变换」和「离散傅里叶反变换」
离散傅里叶变换（Discrete Fourier Transform, DFT）和离散傅里叶反变换（Inverse Discrete Fourier Transform, IDFT） 是鼎鼎大名的快速傅里叶变换（Fast Fourier Transform, FFT）的前置知识.
其中 FFT 用于加速两个多项式 $A(x)$、$B(x)$ 的乘积 $C(x)$ 的计算，DFT 和 IDFT 是 FFT 的两个中间步骤.
使用复数方法寻找凸多边形的费马点
费马点（Fermat’s point）又称托里切利点（Torricelli’s Point），
费马点 $O$ 是位于凸多边形内的一个点，
它满足到各顶点距离之和最小，
这样的点是存在且唯一的.
定理如下：
对于任意 $n$ 边形，其顶点为 $A_1..A_n$，
取 $O$ 点满足 $\angle A_1OA_2=\angle A_2OA_3=\cdots=\dfrac{2\pi}{n}$
那么对于任意点 $P$，有：
实际上这里的 $O$ 点就是费马点.
下面对该定理进行证明.
后缀表达式
后缀表示法（Postfix notation），又称逆波兰表示法，
其所有操作符置于操作数的后面，使用后缀表示法表示的表达式称为后缀表达式.
使用后缀表示法，能较大地简化计算机表达式求值.
我们通常使用的带括号的表达式即为中缀表达式（Infix expression），例如 $1+(2\times3)$，其对应的后缀表达式是 $1\ 2\ 3\ \times\ +$.
本文主要介绍后缀表达式的计算机求值和将中缀表达式转化为后缀表达式.
另一种计算 π 的方法
可以证明:
也就是说一共有 $n+1$ 个根号。注意最外层根号里是减号，最内层为 $\sqrt{3}$.
由魔方问题引出的思考
证明以下内容后经群友提醒才确定这属于群论，那本文就当作是循环群的通俗解释吧.
对任意封闭体系内的元素进行互换位置的操作，
一定能在有限次操作后恢复到操作前的状态，
且这有限次操作的次数是可以计算的.
下面尝试给出其证明，若有误欢迎指出.