Is there a "test" to see if a number is positive or negative?

78 Views Asked by At

This might be a silly question, but I'm curious if there is some sort of test to see if a number is positive or negative. What I mean by a test is that there is something that can be computed. For example, one test you might do to check to see if a complex number is real is that if $\overline{z}=z$, then we can conclude that $z\in\mathbb{R}$. Such a property like this is fairly useful and can be used to show that for example the eigenvalues of a self-adjoint operator are real. Furthermore, the complex conjugate is "nice" in the sense that $\overline{z\cdot w}=\overline{z}\cdot\overline{w}$ and $\overline{z+w}=\overline{z}+\overline{w}$, so if I have an algebraic expression that I am working with and wish to show is real, I can just apply the complex conjugation to each term individually.

This suggests the test that $x\in\mathbb{R}$ is positive if $\vert x\vert= x$. However, this "test" seems a little more unsettling to me for the reason that $\vert\cdot\vert$ does not have the same algebraic properties that complex conjugation enjoys (it is multiplicative, but we can't separate addition the best we can do is use the triangle inequality which doesn't seem helpful if we are looking at some large algebraic expression). Thus, I am curious if there might be a different test that might be a bit "nicer" in that it has more exploitable algebraic properties.

Edit: Perhaps to add some more context, I am not working with explicit numbers as it is pretty clear that if I have say $-2$ it is negative as compared with $6$ it will be positive. What I am more interested in is if there is some algebraic expression for example if we have some exponential sum like a Ramanujan sum

$$ c_q(n)=\sum_{\substack{1\leq a\leq q\\ (a,q)=1}}e^{2\pi i\frac{an}{q}} $$

Then using the complex conjugation trick shows that $c_q(n)$ must always be real; however, the sign can be either positive or negative. Similarly, if I have some convergent series $$ \sum_{n=1}^\infty a_n=L $$ where the $a_n\in\mathbb{R}$, could there be some sort of test to see if $L$ is postive or negative without knowing the value of $L$. That is can there be some kind of algebraic trick or test or algorithm that is nicer than taking the absolute value?