Skip to main content
2 of 3
edited title
van abel
  • 1.2k
  • 1
  • 11
  • 27

Resolve a conditional expression including exists and forall

I don't know the Resolve function exactly, especially when involved with Exists and ForAll, could you please help me in the following example?

$\forall C$, can we find some $x>0$, such that $$ c(x)=(C+2x)x^2+C^2x+2Cx^2+C\geq0, $$ and $$ C<-2x $$ holds at the sametime?

van abel
  • 1.2k
  • 1
  • 11
  • 27