CyrusLi

摘要： 如能理解|a - b|<ε^n => a=b，则就可以轻松理解lim[f(x)g(x)]=limf(x)limg(x)的证明过程。 阅读全文

摘要： 解方程：(x-2)/2025 + (x-1)/2026 + (3-x)/1012 = 0. 下面给出相应的LaTex. 1 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2 % A Simple Proof Template 3 % 阅读全文

摘要： 本文基于1030的结论，证明当n≥4时，2^n≥4n. 阅读全文

摘要： 本文基于求导给出函数f(x)=2^x-4x在[3, +∞)上单调递增的证明。 阅读全文

摘要： 从数值计算的角度，我们很容易证明log(5, 3)>log(8, 7)。例如： >>> from math import log >>> log(5, 3) 1.4649735207179269 >>> log(8, 7) 1.0686215613240664 >>> log(5, 3) > log 阅读全文

摘要： 下面给出[log(m,a)]+1=⌈log(m+1,a)⌉的证明，证明过程非常丝滑。特别地，令a=2，则有1025的结论。 阅读全文

摘要： 若m和n均为整数，则m>n ⇔ m≥n+1. 下面给出相应的证明。 阅读全文

摘要： 为了进一步简化海明码校验位数最小值的求解公式，我们在这里先证明[logm]+1=⌈log(m+1)⌉。 阅读全文

摘要： 下面给出丑陋的真子集符号⫋的由来。该调查完成于2021年10月1日。 阅读全文

摘要： 柯西不等式是数学中最基础的不等式之一，建立了“平方和的乘积”与 “乘积和的平方”之间的不等关系，其形式简洁，实用性极强。下面给出其简洁证明。 阅读全文