방정식에 해가 효과적으로 있는지 여부를 확인하는 방법은 무엇입니까?

Question

방정식 집합에 해가 있는지 알고 싶습니다. 그리고이를 달성하기 위해 solve(f)!=[] (파이썬 sympy)을 사용합니다. 하지만 솔루션이 있는지 여부 만 알면되므로 많은 시간을 소비 할 모든 솔루션을 찾을 필요가 없습니다. 효율적으로 할 수있는 방법이 있습니까?

Answer 1

[]를 제공하는 sympy.solve가 방정식이 해결책이 없다는 것을 반드시 의미하는 것은 아닙니다. 그것은 단지 아무 것도 찾을 수 없다는 것을 의미합니다. 일부 방정식에는 해가 있지만 닫힌 형식 (예 : cos (x) = x)으로 표현할 수 없습니다. sympy.solveset은 완전한 솔루션을 제공하지만 일반적인 솔루션 세트 만 반환한다고 말할 수없는 경우에 사용합니다.

원래의 질문에 관해서는 일반적으로 그것을 할 방법이 있는지 나는 모른다. 실제 연속 함수 만 처리하는 경우 해당 함수가 도메인에 대해 엄격하게 양수인지 음수인지를 확인할 수 있습니다. Sympy는 사용자의 도움없이이 문제를 확인하는 가장 강력한 도구가 없습니다.