Syntax 检查sin（x）=5的解是否为真

我试过这个，结果是“真的”

然而，预期的答案是“假”，我错过了什么

我只是想用编程的方式检查一下，什么时候我有一些方程的真实解

我还尝试了

len（a）

，它返回“1”，这也是不正确的，因为存在无限多的[非实]解

---

我还尝试了a=solve（sin（x）==1，x）print（a[0].rhs（）这可能是因为

sage: n(arcsin(5))
NaN

虽然可能这也不应该出现在

RR

中。有趣的是，

NaN

不在

ZZ

中

至于你的另一个问题,

sage: a = solve(sin(x)==1, x); print(bool(a[0].rhs()<pi))

sage:a=solve（sin（x）==1，x）；print（bool（a[0]。rhs（）让我们备份一下

sin（x）==5有无穷多个解。
它们可以用集合来表示
q*（-1）^n+n*pi
对于整数n，其中q是5的主弧弦，
例如
大约q=1.57079636267948966192-2.2924316695611776878*i

那么问题是什么呢？我们可以观察到没有一个解决方案是真实的，
但也许Sage无法做出这样的观察

Arcin（5）的数值应该是
不是NaN，因为它肯定是一个数字，只是不是一个真实的数字。
除非Sage的Arcin不知道复数。
Downvoter，你可能应该解释你的投票，尽管我同意第一个问题可能不是编程问题。但是，第二个问题肯定是，我已经回答了（我希望）.thx@Richard我知道有无限多的解决方案，但我想知道如何让Sage在我使用“bool（a[0].rhs（）时计算实际解决方案的数量
sage: a = solve(sin(x)==1, x); print(bool(a[0].rhs()<pi))