设函数
其中 互质且 。则满足 ,且 的 值的个数是。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
函数值只看既约分母,严格阈值把分母限制到三个小整数,再列各自的既约分子。
要有 ,必须 为所述既约分数且 。因此分母仅二、三、四,位于 的对应既约分数为
共有 个。
严格大于排除分母五;零和一的既约分母为一,不符合 ,不能算进来。既约表示唯一,所以不同分母列表不会重复。
按既约分母定义的函数取阈值时,先限制分母,再用互素性筛分子并检查区间端点。
需把严格函数值阈值转换成分母界,再枚举互素分子,注意零、一与阈值端点。
已记下,谢谢!