题目

Wolfram Mathematica 如何用枚举搜索方程无解
如何用枚举搜索方程无解?
例如方程：FindInstance[
2 x1 + 3 x2 + 4 x3 == 20 && 5 x1 + 6 x2 + 7 x3 + 1 == m*y &&
0 < x1 < 13 && 0 < x2 < 30 && 0 < x3 < 30 ,{x1,x2,x3,
y},Integers]
请问：m等于哪些整数时方程无解,可以指定m的一个区间,如何枚举那些m使得方程无解的值?
上面方程若设m的枚举区间为：5

提问时间：2021-02-12

答案

这样吧：
DeleteCases[
Table[If[FindInstance[
2 x1 + 3 x2 + 4 x3 == 20 && 5 x1 + 6 x2 + 7 x3 + 1 == m*y &&
0 < x1 < 13 && 0 < x2 < 30 && 0 < x3 < 30,{x1,x2,x3,y},
Integers] == {},m],{m,6,14}],Null]