不等式
的整数解的个数为
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
根号和对数先共同限制正性,再把不同底数的对数归一。
构造单调差函数后,找一个准确零点即可确定所有整数解。
定义域为 。令 ,则 ,故原不等式等价于
对于全部 ,
而 ,所以原式恰在 成立,即 。其中整数为1至24,共有 个。
时两边均为1,应排除。正整数计数针对 ,而非针对换元后的 ; 无须是整数。严格单调性已保证没有另一段未计入的解。
不同底数对数的比较可统一为自然对数差。若导数全域定号,再找到一个准确零点,就能直接确定解区间并进行整数计数。
根式换元后统一对数底数,构造严格单调的对数差,定位准确零点并按原变量计数整数解。
已记下,谢谢!