方程
的最小的解为
(其中 表示不超过 的最大整数)。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
先证明解必为整数,再用整数除法的小数部分给出精确下界。
左端为整数,故任何解x都是整数。将取整写为实数减小数部分,得 。整数x使三项分别不超过 ,故 ,即 。当 时,三项取整分别为 ,和恰为−85。因此最小解为 。
取整是向负无穷取,不是向0截断;负数候选已直接代回。下界对所有实解有效,因为先证明了整数性。
取整方程可先利用整数性把小数部分上界收紧。
先证明解必为整数,再用整数除法的小数部分给出精确下界。 需完成对应解答中的转化并核验等号或端点,按 F3 评定。
已记下,谢谢!