sympy中实数x对应的1/(1-x)的is_real返回None而非True如何解决

sympy的is_real属性返回None是因为表达式1/(1-x)存在未定义的奇点：当x=1时分母为0，表达式既不属于实数域也不属于复数域，sympy无法判定该表达式在所有x的合法定义域内都满足实数值，因此不会直接返回True。

• 方法1：添加额外的定义域约束，在校验时排除奇点
  如果你能确定x的取值范围不会覆盖奇点，可以通过sympy的assumptions体系添加约束校验：

  from sympy import Symbol, ask, Q
  x = Symbol('x', real=True)
  expr = 1/(1-x)
  # 增加x不等于1的约束后再校验实数属性
  print(ask(Q.real(expr), Q.ne(x, 1)))
  

  这种方法会返回True，符合预期结果。

• 方法2：忽略未定义点，校验有定义处的实数属性
  如果你的使用场景不需要考虑无定义的奇点，只需要判断表达式在有定义时是否一定为实数，可以提取表达式的虚部，判断虚部是否恒为0：

  from sympy import im
  print(im(expr).simplify() == 0)
  

  输出为True，说明表达式有定义时虚部恒为0，属于实数。

• 方法3：针对具体数值代入校验
  如果是要校验某一个具体x取值下表达式是否为实数，直接代入数值后判断即可：

  print(expr.subs(x, 2).is_real) # x=2时输出True
  print(expr.subs(x, 1).is_real) # x=1时输出None，符合无定义的情况
  

内容的提问来源于stack exchange，提问作者Михаил Лактионов