设函数
则该函数图象上整点的个数为。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
先用单调性限制可能的整点纵坐标,再为每个允许的整数纵坐标找到唯一对应输入。
三个底数均介于 与 ,所以 在 严格递减,并且 。若图上是整点,其纵坐标只能为 。计算得
以及
严格单调性保证这三个水平值各只有一个输入,所以整点恰为 ,个数为 。
不是整数;当 时,,也不会出现其他整点。纵坐标 只是无穷远极限,不在任何有限输入处取到。
整点计数先限制整数纵值的有限范围,再用严格单调性证明每个水平线最多有一个交点;找出特殊输入后仍要排除其余可能。
先由严格单调性把可能的整点纵坐标限制为少数整数,再用准确的特殊输入逐个实现并排除余项;不能把趋于零的极限误当作图上的整点。
已记下,谢谢!