对 【科普】如何优雅地"注意到"关于e、π的不等式 中内容的 C++ 实现。

简单来讲,欲证明 $A + B\alpha\gt 0$,可以构造固定区间上定积分使其结果为 $A + B\alpha$,且被积函数在区间上恒非负。

一般来说,将项目所有文件放在同一文件夹下,编译 solve.cpp 即可。

推荐的编译选项如下

g++ solve.cpp -o solve -std=c++17 -O3 -ffast-math

命令行语法为

solve <type> <B> <A> [<limit=64>]

• <type> 是用于指定类型的字符串;
• <B> 是指定无理数的系数,要求为整数;
• <A> 是常数项系数,要求为整数;
• <limit> 指定尝试构造积分 <limit> 次时停止。

更详细的说明参见项目 Wiki。

本项目引用了 Baobaobear/MiniBigInteger,其使用了 MIT 许可证,已经复制到相关文件内。但是,本项目对这些文件有修改,不建议直接引用;具体修改内容请自行对比。

本项目使用 MIT 许可证,许可证作用范围包括对 MiniBigInteger 项目文件的修改。