定理及其证明 http://www.cnblogs.com/wangxiaodai/p/9758242.html 简单代码实现 https://www.cnblogs.com/SUMMER20020929/p/9752372.html