设集合 。如果方程
至少有一个根 ,就称该方程为合格方程,则合格方程的个数为。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
数方程而不是数根,要先避免同一方程按多个根重复登记。
常数项为零时统一处理;常数项为正时两根异号,合格的非负根只能有一个,可用这个正整数根和它与 m 的差唯一参数化,再按差分类。
当 时, 是方程的根, 共给出 个合格方程。 当 时,两根异号,至多有一个非负根;合格等价于存在唯一正整数根 。 由 ,令 ,则
反之,每个这样的整数对 都给出 、,且 是合格根。 正根的唯一性保证没有重计。由 ,只需分三类:
因此所求总数为 。
先把所有含零根的方程单列,再用唯一正根和差值作参数,避免一个方程因多个根被重复计算。
含零根的方程须单列,其余可用唯一正整数根和差值作可逆参数化;先证明有限停止界,再按参数类型列尽并利用正根唯一性防重计。
已记下,谢谢!